31st International Colloquium on

Automata, Languages and Programming

ICALP'04 - LICS'04
ICALP schedule
Call for Papers
Accepted Papers
Travelling to Turku
Program committee
Invited speakers
Organizing committee
Previous conferences
Gödel Prize

Call for papers
Track A
Track B
Contact address
Important dates
July 12-16, 2004, Turku, Finland

Call for Papers

Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are:

Track A:

  • Algorithmic aspects of parallel and distributed computing
  • Algorithms and data structures
  • Algorithms and models for large networks
  • Algorithms for computationally hard problems
  • Automata theory and formal languages
  • Bioinformatics
  • Computational complexity
  • Combinatorics and structures in Computer Science
  • Cryptography
  • Machine learning
  • Molecular computing, neural and evolutionary algorithms
  • Proof complexity
  • Quantum computing

Track B:

  • Algebraic and categorical models
  • Applications of automata in logic
  • Concurrency, mobility and distributed systems
  • Databases, semi-structured data and finite model theory
  • Logics and their applications
  • Principles of programming languages
  • Program logics, formal methods and model checking
  • Security analysis and verification
  • Semantics of programming languages
  • Specification, refinement and verification
  • Type systems and typed calculi

Submissions: Authors are invited to submit a paper of no more than 12 pages in LNCS-style, presenting original research on the theory of computer science. Submissions should indicate which track the paper is submitted to. No simultaneous submission to other conferences with published proceedings is allowed. Accepted papers will be published in the Lecture Notes in Computer Science by Springer.

Contact address:
For further information see: http://www.math.utu.fi/icalp04/ or contact: icalp04@cs.utu.fi or karhumak@cs.utu.fi.

Important Dates:
Workshop proposals: November 30, 2003
Submissions: February 8, 2004
Notification: March 31, 2004
Final version: April 27, 2004

Petri Salmela
Last modified: Tue Jul 20 10:24:44 EEST 2004