Preliminary program

Monday 1 July

Wivace 2013 workshop (program TBA)

CoSMoS 2013 workshop (program TBA)

09:00–10:00 Registration

11:30–12:30 Tutorial by Grzegorz Rozenberg (shared with CiE 2013)

18:00–19:00 Welcome cocktail

Tuesday 2 July

Wivace 2013 workshop (program TBA)

09:00–10:30 Session 1

  • Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, and Andreas Richter, Towards Computation with Microchemomechanical Systems
  • Danuta Makowiec, Modeling Heart Pacemaker Tissue by a Network of Stochastic Oscillatory Cellular Automata
  • Luca Manzoni and Antonio E. Porreca, Reaction Systems Made Simple: A Normal Form and a Classification Theorem

10:30–11:00 Coffee break

11:00–12:00 Tutorial by Gilles Brassard (shared with CiE 2013)

12:00–13:00 Invited speaker: Xin Yao

13:00–14:00 Lunch & poster session

14:00–15:30 Session 2

  • Lila Kari, Steffen Kopecki, and Amirhossein Simjour, Hypergraph Automata: A Theoretical Model for Patterned Self-Assembly
  • Jennifer E. Padilla, Matthew J. Patitz, Raul Pena, Robert T. Schweller, Nadrian C. Seeman, Robert Sheline, Scott M. Summers, and Xingsi Zhong, Asynchronous Signal Passing for Tile Self-Assembly: Fuel Efficient Computation and Efficient Assembly of Shapes
  • Shinnosuke Seki, Combinatorial Optimization in Pattern Assembly

15:30–16:00 Coffee break

16:00–17:00 Invited speaker: Enrico Formenti (shared with Wivace 2013)

17:00–18:30 Tutorial Membrane Computing by Alberto Leporati

Wednesday 3 July

09:00–10:30 Tutorial Membrane Computing by Alberto Leporati

10:30–11:00 Coffee break

11:00–12:00 Tutorial by Gilles Brassard (shared with CiE 2013)

12:00–13:00 Tutorial by Grzegorz Rozenberg (shared with CiE 2013)

13:00–14:00 Lunch & poster session

14:00– Social event

Thursday 4 July

09:00–10:30 Session 3

  • Sama Goliaei and Mohammad-Hadi Foroughmand-Araabi, Light Ray Concentration Reduces the Complexity of the Wavelength-Based Machine on PSPACE Languages
  • Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker, On the Power of Threshold Measurement as Oracles
  • Dima Grigoriev and Vladimir Shpilrain, Secure Information Transmission Based on Physical Principles

10:30–11:00 Coffee break

11:00–12:00 Session 4

  • Olivier Bournez and Jonas Lefèvre, Population Protocols on Graphs: A Hierarchy
  • Takaaki Mizuki, Isaac Kobina Asiedu, and Hideaki Sone, Voting with a Logarithmic Number of Cards

12:00–13:00 Tutorial by Grzegorz Rozenberg (shared with CiE 2013)

13:00–14:00 Lunch

14:00–15:30 Session 5

  • Erzsébet Csuhaj-Varjú and György Vaszil, On the Power of P Automata
  • Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, and K.G. Subramanian, Array Insertion and Deletion P Systems
  • Ajeesh Ramanujan and Kamala Krithivasan, Control Languages Associated with Tissue P Systems

15:30–16:00 Coffee break

16:00–17:00 Invited speaker: Endre Szemerédi (shared with CiE 2013)

17:00–18:00 Invited speaker: Lila Kari

Friday 5 July

BioChemIT 2013 workshop (program TBA)

09:00–10:30 Session 6

  • Maria Paola Bianchi, Carlo Mereghetti, and Beatrice Palano, Size Lower Bounds for Quantum Automata
  • Benjamin Russell and Susan Stepney, Geometric Methods for Analysing Quantum Speed Limits: Time-Dependent Controlled
    Quantum Systems with Constrained Control Functions
  • Benjamin Russell and Susan Stepney, Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions

10:30–11:00 Coffee break

11:00–12:00 Tutorial by Gilles Brassard (shared with CiE 2013)

12:00–13:30 Session 7

  • Cristian Calude and Kohtaro Tadaki, Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability
  • Ella Gale, Ben de Lacy Costello, and Andrew Adamatzky, Boolean Logic Gates from a Single Memristor via Low-Level Sequential Logic
  • Naveen Sundar Govindarajulu, John Licato, and Selmer Bringsjord, Small Steps Toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation

13:30–14:30 Lunch

Advertisements