Home

Themes

Main Speakers and Committees

Call for papers

Important dates

Conference Program

General Information

Contacts

Main Organizers

Useful links

Sponsors

The main themes of the conference are:

• Algorithmic Information Theory
  
• Formal Systems
  
• Symbolic Computation
  
• Cellular and Quantum Automata
  
• Operator and Spectral Theory