Programme
|
|
|||||||
|---|---|---|---|---|---|---|---|
|
|
Monday 18.10. | Tuesday 19.10. | Wednesday 20.10. | Thursday 21.10. | Friday 22.10. | ||
|
|
9:00-9:30 | Registration | |||||
|
|
9:30-10:00 |
Session 3
(Hall B)
Chair: Irina Kostitsyna Andrew Phillips: Computational Design of Nucleic Acid Circuits (Tutorial part 2) |
Session 6
(Hall B)
Chair: Pekka Orponen Mikko Möttönen : Superconducting Quantum Computers (Invited talk) |
Session 9
(Hall B)
Chair: Christian Scheideler Corentin Coulais : Machine Materials (Tutorial part 2) |
Session 11
(Hall B)
Chair: Pekka Orponen Cody Geary : Programming RNA to Fold (Invited talk) |
||
|
|
10:00-10:30 |
Registration |
|||||
|
|
10:30-11:00 | Coffee break | Coffee break | Coffee break | Coffee break | ||
|
|
11:00-11:15 |
Session 4
(Hall B)
Chair: Julien Bourgeois Daniel Hader , Matthew Patitz and Scott Summers: Fractal Dimension of Assemblies in the Abstract Tile Assembly Model (Remote talk) |
Session 7
(Hall B)
Chair: Mika Hirvensalo Tomoyuki Yamakami : Quantum Logical Depth and Shallowness of Streaming Data by One-Way Quantum Finite-State Transducers (Remote talk) |
Poster session (Lecture Halls foyer) |
Session 12
(Hall B)
Chair: Damien Woods Will Fletcher, Titus Klinge, James Lathrop, Dawn Nye and Matthew Rayman: Robust Real-time Computing with Chemical Reaction Networks |
||
|
|
11:15-11:30 | Opening (Hall B) | |||||
|
|
11:30-12:00 |
Session 1
(Hall B)
Chair: Pekka Orponen Susan Stepney: Time and Physical Reservoir Computing |
David Caballero, Timothy Gomez , Robert Schweller and Tim Wylie: The Complexity of Multiple Handed Self-Assembly (Remote talk) |
Abuzer Yakaryilmaz and Aliya Khadieva : Affine Automata Verifiers (Remote talk) |
Session 10
(Hall B)
Chair: Pekka Orponen Suthee Ruangwises and Toshiya Itoh: Physical ZKP for Connected Spanning Subgraph: Applications to Bridges Puzzle and Other Problems (Remote talk) |
Jaijeet Roychowdhury : Latch Ising Machines (Remote talk) |
|
|
|
12:00-12:30 |
Matthew Dale
, Simon O'Keefe, Angelika Sebald, Susan Stepney and Martin Trefzer: Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics
|
Martin Kutrib and Matthias Wendlandt : String Assembling Systems: Comparison to Sticker Systems and Decidability | Kamil Khadiev and Dmitry Kravchenko: Quantum Algorithm for Dyck Language with Multiple Types of Brackets (Remote talk) | Raimu Isuzugawa , Daiki Miyahara and Takaaki Mizuki: Zero-knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards (Remote talk) | Closing (Hall B) | |
|
|
12:30-13:30 | Lunch | Lunch | Lunch | Lunch | ||
|
|
|||||||
|
|
13:30-14:30 |
Session 2
(Hall B)
Chair: Irina Kostitsyna Andrew Phillips: Computational Design of Nucleic Acid Circuits (Tutorial part 1) |
Session 5
(Hall B)
Chair: Susan Stepney Damien Querlioz : Achieving Energy-Efficient AI by Exploiting Imperfect Nanodevices (Invited talk) |
Session 8
(Hall B)
Chair: Christian Scheideler Corentin Coulais: Machine Materials (Tutorial part 1) |
Business meeting (Hall B) | ||
|
|
|||||||
|
|
14:30-14:45 | Coffee break (M240) | Coffee break (M240) | Coffee break (M240) | Group photo | ||
|
|
14:45-16:15 |
Workshop
(Room M240)
Theoretical and Experimental Material Computing (TEMC 2021) |
Workshop
(Room M240)
Rapid Reconfiguration of Programmable Matter |
Workshop
(Room M240)
Rapid Reconfiguration of Programmable Matter |
Excursion Helsinki sights: Temppeliaukio church , Oodi library , Amos Rex art museum |
||
|
|
|||||||
|
|
|||||||
|
|
|||||||
|
|
16:15-16:30 | Coffee break | Coffee break | Coffee break | |||
|
|
16:30-18:00 |
Workshop
(Room M240)
Theoretical and Experimental Material Computing (TEMC 2021) |
Workshop
(Room M240)
Rapid Reconfiguration of Programmable Matter |
Workshop
(Room M240)
Rapid Reconfiguration of Programmable Matter |
|||
|
|
|||||||
|
|
|||||||
|
|
18:00-19:00 |
Welcome reception
(Lecture Halls foyer) |
Dinner Restaurant Vaakuna 10th Floor (Asema-aukio 2, Helsinki) |
||||
|
|
|||||||
|
|
19:00-21:00 | ||||||
|
|
|||||||
|
|
|||||||
|
|
|
|
|
|
Posters
- Ludmila Botelho, Jaroslaw Miszczak and Thiago Maciel. Self-Organized Maps and Quantum States Classification (Abstract)
- Michael Feldmann, Andreas Padalkin, Christian Scheideler and Shlomi Dolev. Coordinating Amoebots with Reconfigurable Circuits (Abstract)
- Tian Gan, Susan Stepney and Marting A. Trefzer. Tradeoffs with Physical Delay Feedback Reservoir Computing (Abstract)
- Viv Kendon, Nicholas Chancellor and Adam Callison. Quantum Computing with Continuous Time Evolution (Abstract)
- Natalio Krasnogor. NAOMEE: Nucleic Acid Origami Minimal Exchange Format (Abstract)
- Malgorzata Nowicka and Vinay Gautam. Automated Visualization of DNA Strand Displacement Systems (Abstract)
- Christian Scheideler and Daniel Warner. Fault Tolerant Shape Formation in the Amoebot Model (Abstract)