Main Program
(updated: June 18th, 2010) '
&
$
%
Day 1: Monday, June 21
st9:00- 9:30 Registration
9:30- 9:45 Opening Address: Cristian S. Calude (⋆M. Hagiya)
9:45-11:00 Invited Talk
⋆ S. Murata ◃ Luca Cardelli (Microsoft):Algebras and Languages for Molecular Programming
11:00-11:30 Coffee Break
11:30-12:10
⋆ F. Peper
▹ Ruben Agadzanyan, R¯usin¸ˇs Freivalds (Univ. of Latvia): Finite State Transducers with Intuition
12:10-12:50 ▹ Jun Ohkubo(Univ. of Tokyo):Solving Partial Differential Equation via Stochas- tic Process
12:50-14:10 Lunch
14:10-14:50
⋆ J. D.-Lose
▹ Katsunobu Imai, Artiom Alhazov (Hiroshima Univ., Institute of Mathematics and Computer Science, Moldova):On Universality of Radius1/2Number-Conserving Cellular Automata
14:50-15:30 ▹ Genaro J. Mart´ınez, Kenichi Morita, Andrew Adamatzky, Maurice Margenstern (Univ. Nacional Aut´onoma de M´exico, Hiroshima Univ., Univ. West of England, Univ. de Metz): Majority Adder Implementation by Compet- ing Patterns in Life-like Rule B2/S2345
15:30-17:30 Poster Session
17:00-19:00 Welcome Reception (foods & drinks): Basement Floor, Sanjo Conference Hall
⋆ Session Chair ◃ Invited
▹ Contributed
'
&
$
%
Poster Session
▹ Bogdan Aman, Gabriel Ciobanu (Romanian Academy, Institute of Computer Science, Univ. of Las¸i): Formalizing the Behavior of Biological Processes with Mobility
▹ Ilze Dzelme-B¯erzin¸a (Univ. of Latvia): Quantum Finite State Automata over Infinite Words
▹ Anthony J. Genot, Jon Bath, Andrew J. Turberfield (Univ. of Oxford): A Geometrical Allosteric DNA Switch
▹ Yuuki Iwabuchi, Junichi Akita (Kanazawa Univ.): Properties of “Planar Binary (Butchi Num- ber)”
▹ Gareth Jones, Chris Lovell, Hywel Morgan, Klaus-Peter Zauner (Univ. of Southamp- ton): Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experi- mentation
▹ Alfonso Rodr´ıguez-Pat´on, Jos´e Mar´ıa Larrea, I˜naki Sainz de Murieta (Univ.
Polit´ecnica de Madrid): Inference with DNA Molecules
▹ Hideaki Suzuki, Hiroyuki Ohsaki, Hidefumi Sawai (NICT, Osaka Univ.): A Network-based Computational Model with Learning
▹ Hisako Takigawa-Imamura, Ikuko N. Motoike(Kyoto Univ., JST PRESTO):Image Processing with Neuron-like Branching Elements
'
&
$
%
Day 2: Tuesday, June 22
nd9:15-10:30 Invited Talk
⋆ K. Morita ◃ Shun-ichi Amari (RIKEN BSI):Computations Inspired from the Brain 10:30-11:00 Coffee Break
11:00-11:40
⋆ D. Stefanovic
▹ Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-Peter Za- uner (Univ. of Southampton):Characterising Enzymes for Information Processing:
Towards an Artificial Experimenter
11:40-12:20 ▹ Kyoung Nan Kim, Koshala Sarveswaran, Lesli Mark, Marya Lieberman (Univ. of Notre Dame, St. Joseph High.): DNA Origami as Self- assembling Circuit Boards
12:20-13:45 Lunch
13:45-15:00 Invited Talk
⋆ S.-I. Amari ◃ Jos´e F´elix Costa (Technical Univ. of Lisbon): Computable Scientists, Uncom- putable World
15:00-15:30 Coffee Break
15:30-16:10
⋆ H. Umeo
▹ Artiom Alhazov, Rudolf Freund, Kenichi Morita (Hiroshima Univ., Institute of Mathematics and Computer Science, Moldova, Vienna Univ. of Technology): Reversibility and Determinism in Sequential Multiset Rewriting
16:10-16:50 ▹ Liang Zhang (Univ. West of England): The Extended Glider-Eater Machine in the Spiral Rule
16:50-17:30 ▹ Song-Ju Kim, Masashi Aono, Masahiko Hara (RIKEN ASI):Tug-of-war Model for Multi-armed Bandit Problem
18:00 Bus starts from Entrance of Sanjo Conference Hall to Boat Bridge 19:00 Yakatabune Boat departs from Reimei-Bashi Bridge at Kachidoki 19:00-21:30 Banquet on Yakatabune Boat (Sumida River Cruise)
22:30 Bus arrives at Hongo Campus – Finish –
⋆ Session Chair ◃ Invited
▹ Contributed
'
&
$
%
Day 3: Wednesday, June 23
rd9:15-10:30 Invited Talk
⋆ J. F. Costa ◃ Franc¸oise Chatelin (Univ. of Toulouse 1): A Computational Journey into Nonlinearity
10:30-11:00 Coffee Break
11:00-11:40
⋆R. Freivalds
▹ Kohtaro Tadaki (Chuo Univ.): A New Representation of Chaitin Ω Number Based on Compressible Strings
11:40-12:20 ▹ Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu (Univ. of Auck- land): Synchronization in P Modules
12:20-13:40 Lunch
13:40-14:20
⋆ K. Svozil
▹ Rob C. Wagner, Mark S. Everitt, Viv M. Kendon, Martin L. Jones (Univ. of Leeds, National Institute of Informatics, Japan): Universal Con- tinuous Variable Quantum Computation in the Micromaser
14:20-15:00 ▹ Alina Vasilieva, Taisia Mischenko-Slatenkova (Univ. of Latvia): Quantum Query Algorithms for Conjunctions
15:00-15:40 Coffee Break
15:40-16:20
⋆M. Stannett
▹ Abuzer Yakaryılmaz, R¯usin¸ˇs Freivalds, A. C. Cem Say, Ruben Agadzanyan (B˘ogazic¸i Univ., Univ. of Latvia): Quantum Computation with De- vices Whose Contents Are Never Read
16:20-17:00 ▹ Oksana Scegulnaja-Dubrovska, Lelde L¯ace, R¯usin¸ˇs Freivalds
(Univ. of Latvia): Postselection Finite Quantum Automata
17:00-17:10 Invitation to UC11@Turku and Closing Remarks (UC Main Program)
⋆ Session Chair ◃ Invited
▹ Contributed
Â
Á
¿
À
Day 4: Thursday, June 24
th9:15-17:30 Workshop C: Computing with Spatio-Temporal Dynamics
'
&
$
%
Day 5: Friday, June 25
th – Full-Day Excursion to Nikko –8:00 Get Together at Entrance of Sanjo Conference Hall
8:30 Bus Departure Time
11:00 Arrival at Nikko
◃ Rinnoji Temple
◃ Toshogu Shrine
◃ Futarasan Shrine
12:30 Lunch
14:30 Arrival at Irohazaka Area
◃ Yutaki Waterfall
◃ Kegon Waterfall
19:00 Arrival at Entrance of Sanjo Conference Hall – Finish –