• Home Page
• Call for Papers
• Invited Lectures
• Program
• Social Events
• Speakers and Committees
• Important Dates
• Organizers and Sponsors
• City Toruń
• Main Topics
• Contacts
• Videos
• Photos

MAIN TOPICS

• algorithms and data structures
• artificial intelligence
• automata and formal languages
• bioinformatics
• complexity
• concurrency
• cryptography
• logic and formal specifications
• models of computations
• parallel and distributed computing
• semantics