Welcome
ICALP/PPDP'05 Leaflet
Proceedings (LNCS 3580)
The 32nd International Colloquium on Automata, Languages and Programming,
the main conference and annual meeting of the European Association for Theoretical
Computer Science EATCS will take place from the 11th to the 15th of July 2005 in Lisboa, Portugal.
As a complement to the established Tracks on Algorithms, Automata,
Complexity and Games (A), and on Logic, Semantics,
and Theory of Programming (B), corresponding to the two main streams of the journal
Theoretical Computer Science,
ICALP'05 innovates on the structure of its traditional scientific program
with the inauguration of a new special Track (C)
Security and Cryptography Foundations. 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.
ICALP'05 will be colocated with the 7th ACM-SIGPLAN International Conference
on Principles and Practice of Declarative Programming PPDP'05.
Sponsors
Organization:
Departamento de Informática da
Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa.
|
