From BIMIB

Unconventional models of computation

Italian Conference on Theoretical Computer Science

Colloquium 'Unconventional Models of Computation'

September 28, 2009 - Politecnico di Milano, Sede di Cremona

The colloquium is devoted to various aspects of unconventional computation, with contributions ranging from theory to experiments and applications. Some of the topics that will be covered include molecular and membrane computing, nature-inspired computational paradigms, algorithmic bioprocesses.

This colloquium will gather together major scientists working in both theoretical and experimental aspects of the field, with the goal of discussing past and present research as well as prospectives for future applications.

This colloquium is held in honor of Giancarlo Mauri, on the occasion of his 60th birthday. Giancarlo Mauri has influenced many of us over the years during the course of his extensive research. His contributions cover several different areas of Computer Science: formal languages and automata, algorithms and computational complexity, computational learning theory, neural networks, cellular automata, and, in the last years, bioinformatics and natural computing. In these areas, he has published more than 200 scientific papers in international journals, contributed volumes and conference proceedings.

He has been President of the Italian chapter of EATCS (European Association of Theoretical Computer Science) from 1991 to 1998, President of the Working Group IFIP (International Federation of Information Processing) on Cellular Automata from 1998 to 2003, and he is the Secretary of EMCC (European Molecular Computing Consortium) since 1999.

Conference Location

The colloquium is co-located with ICTCS, the 11th Italian Conference on Theoretical Computer Science, and it will be held on September 28, 2009. Partecipation to the colloquium is free.

Program

Invited talks

• 10.30 - 11.30 Interaction between biochemical reactions - Natural Computing point of view
  

  Grzegorz Rozenberg, director of the Leiden Center for Natural Computing, Leiden University

• 11.30 - 12.00 Splicing systems

  Clelia De Felice, Università di Salerno

• 12.00 - 12.30 Distributed, probabilistic and quantum automata: a uniform compositional approach

  Nicoletta Sabadini, Università dell'Insubria

Contributed talks

• 12.30 - 12.50 On regular languages with equal generating functions

  Jacques Sakarovitch, Ecole nationale supérieure des télécommunications, Paris

• 13.00 - 14.30 Lunch

Invited talks

• 14.30 - 15.30 Ask not what stringology can do for you - Advances in pattern matching and discovery driven by computational biology

  Alberto Apostolico, Università di Padova and Georgia Institute of Technology

• 15.30 - 16.00 Grammatical compression

  Alberto Bertoni, Università di Milano

• 16.00 - 16.15 Coffee break

• 16.15 - 16.45 A catalog of metabolic oscillators

  Vincenzo Manca, Università di Verona

Contributed talks

• 16.45 - 17.05 Stochastic modeling and simulation of biological systems

  Daniela Besozzi, Università di Milano

• 17.05 - 17.25 Solving computationally difficult problems by polarizationless recognizer P systems

  Alberto Leporati, Università di Milano-Bicocca

• 17.30 Discussion

Full program with abstracts (link).

A social dinner in honor of Giancarlo Mauri will follow the talks (dinner details).

Travel Information

The colloquium is co-located with ICTCS and it will take place at Politecnico di Milano, Sede di Cremona (Via Sesto, 39, 26100 Cremona).

Detailed information about the location of the colloquium can be found on the main website of ICTCS at http://www.cremona.polimi.it/ictcs09/travel.html .

Organizers

• Paola Bonizzoni
• Daniela Besozzi
• Gianluca Della Vedova
• Claudio Ferretti
• Alberto Leporati
• Yuri Pirola
• Raffaella Rizzi
• Claudio Zandron

Acknowledgements

Funding for the colloquium has been made available through the Department of Informatics, Systems , and Communications (DISCo) of the University of Milano-Bicocca.