Track A Algorithms, Automata, Complexity and Games
Giuseppe F. Italiano, Università di Roma "Tor Vergata", Italy (PC Chair)
- Algorithmic Aspects of Networks
- Algorithms and Data Structures
- Automata Theory and Formal Languages
- Combinatorics in Computer Science
- Computational Biology
- Computational Complexity
- Computational Geometry
- Internet Algorithmics
- Machine Learning
- Parallel and Distributed Computing
- Quantum Computing
Track B Logic, Semantics, and Theory of Programming
Catuscia Palamidessi, INRIA Futurs and LIX, France (PC Chair)
- Algebraic and Categorical Models
- Databases, Semi-Structured Data and Finite Model Theory
- Principles of Programming Languages
- Logics, Formal Methods and Model Checking
- Models of Concurrent, Distributed, and Mobile Systems
- Models of Reactive, Hybrid and Stochastic Systems
- Program Analysis and Transformation
- Specification, Refinement and Verification
- Type Systems and Typed Calculi
Track C Security and Cryptography Foundations
Moti Yung, Columbia University, USA (PC Chair)
- Cryptographic Notions, Mechanisms, Systems and Protocols
- Cryptographic Proof Techniques, Lower bounds, Impossibilities
- Foundations of Secure Systems and Architectures
- Logic and Semantics of Security Protocols
- Number Theory and Algebraic Algorithms in Cryptography
- Pseudorandomness, Randomness, and Complexity Issues
- Secure Data Structures, Storage, Databases and Content
- Security Modeling: Combinatorics, Graphs, Games, Economics
- Specifications, Verifications and Secure Programming
- Theory of Privacy and Anonymity
- Theory of Security in Networks and Distributed Computing
- Quantum Cryptography and Information Theory
|
|
As a complement to the established Tracks on Algorithms, Automata,
Complexity and Games (A), and on Logic, Semantics, and Theory of Programming (B),
ICALP'05 innovates on the structure of its traditional scientific program
with the inauguration of a new special Track (C). The aim of Track C is to
allow a deeper coverage of a particular topic, to be specifically selected for
each year's edition of ICALP on the basis of its timeliness and relevance
for the theoretical computer science community.
In recent years, cryptography and security research has been gaining
importance due to the development of the Internet and the distribution
of computations among possibly mistrusting entities.
The need to assure secure computing requires strong foundations and
basic theoretical treatment of the underlying principles.
ICALP'05 track C welcomes papers dealing with these subjects and
relating security and cryptography to other fields of
theoretical computer science.
Contributions
Authors are invited to submit an extended abstract of no
more than 12 pages in LNCS style presenting original research
on the theory of Computer Science.
Submissions should indicate to which track (A, B, or C) the paper is submitted.
No simultaneous submission to other conferences
is allowed.
The proceedings will be published in the Lecture Notes in Computer Science
Series by Springer-Verlag.
Prospective organizers of satellite workshops are invited to submit proposals.
Further details about the submission procedure are to appear in this website.
Dates
|
Paper submissions: | February 13, 2005
|
|
Notification: | April 8, 2005
|
|
Final version: | April 30, 2005
|
|
Submission of Workshop proposals: | November 15, 2004
|
|
Notification for Workshop proposals: | December 15, 2004
|
Contacts
|
Email: | icalp05(AT)di.fct.unl.pt
|
|
