***** Apologies for multiple copies *****
-------------------------------------------------------------------------
34th International Colloquium on Automata, Languages and Programming
ICALP 2007
Wroclaw - Poland
http://icalp07.ii.uni.wroc.pl/
CALL FOR PAPERS -- FIRST ANNOUNCEMENT
Conference Dates: July 9-13, 2007
Affiliated Workshop Dates: July 8, 9, 14, and 15, 2007
--------------------------------------------------------------------------
The 34th 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 9th to the 13th
of July 2007 in Wroclaw, Poland. This year the conference will be
colocated with 22nd Annual IEEE Symposium on Logic in Computer Science
(LICS 2007) and Logic Colloquium 2007.
Following the successful experience of the last two years, ICALP 2007 will
complement the established structure of the scientific program based on
Track A on Algorithms, Automata, Complexity and Games, and Track B on
Logic, Semantics, and Theory of Programming, corresponding to the two main
streams of the journal Theoretical Computer Science, with a special Track C
on Security and Cryptography Foundations.
The aim of Track C is to allow a deeper coverage of a particular topic,
selected for each year's edition of ICALP on the basis of its timeliness
and relevance for the theoretical computer science community.
Papers presenting original research on all aspects of theoretical computer
science are sought. Typical but not exclusive topics of interest are:
Track A - Algorithms, Automata, Complexity and Games
PC Chair: Lars Arge, University of Aarhus, Denmark
* Algorithmic Aspects of Networks
* Algorithmic Game Theory
* Automata Theory
* Combinatorics in Computer Science
* Computational Biology
* Computational Complexity
* Computational Geometry
* Data Structures
* Design and Analysis of Algorithms
* Internet Algorithmics
* Machine Learning
* Parallel, Distributed and External Memory Computing
* Quantum Computing
Track B - Logic, Semantics, and Theory of Programming
PC Chair: Andrzej Tarlecki, University of Warsaw, Poland
* Algebraic and Categorical Models
* Automata and Formal Languages
* Emerging and Non-standard Models of Computation
* 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 Theory, Typed Calculi
Track C - Security and Cryptography Foundations
PC Chair: Christian Cachin, IBM Zurich Research Laboratory, Switzerland
* 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
SUBMISSION GUIDELINES
*********************
Authors are invited to submit an extended abstract presenting original
research. The abstract should not exceed 10 single-spaced pages
including title and abstract, but excluding bibliography and appendices,
should be in single-column format, use at least 11-point fonts, and have
reasonable margins. If the authors believe that more details are essential
to substantiate the main claims of the paper, they may include a clearly
marked appendix that will be read at the discretion of the program
committee. Submissions deviating significantly from these guidelines
risk rejection without consideration of their merits.
Submissions should indicate to which track (A, B, or C) the paper is
submitted. No simultaneous submission to other publication outlets
(either a conference or a journal) is allowed.
PROCEEDINGS
***********
The proceedings will be published in the Lecture Notes in Computer
Science Series by Springer-Verlag. The final version of each accepted
paper must be submitted in electronic form conforming to the LNCS
style and not exceeding 12 pages.
IMPORTANT DATES
***************
* Submission: January 25, 2007
* Notification: April 5, 2007
* Final version due: April 23, 2007
* Deadline for workshop proposals: November 30, 2006
* Notification for workshop proposals: December 17, 2006
PROGRAM COMMITTEE
*****************
To be announced shortly
INVITED SPEAKERS
****************
To be announced shortly
CONTACT ADDRESSES
*****************
For further information see: http://icalp07.ii.uni.wroc.pl/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
