[TYPES] IFIP TCS 2004

[Jean-Jacques Levy]

Dear colleague,

please notice the deadline for paper submissions of IFIP TCS 2004 has
been redefined. Best regards, -JJ-
----------------------------------------------------------------

                    3RD CALL FOR PAPERS -- TCS 2004

	   3rd IFIP International Conference on Theoretical
	  Computer Science (Foundations of Global Computing)
                  August 23-26, 2004, Toulouse, France

                URL: http://jeanjacqueslevy.net/TCS2004

TCS2004 will be held as part of the IFIP 2004 World Computer Congress.

TCS2004 will be composed of two distinct, but interrelated tracks:
   Track 1  Algorithms, Complexity and Models of Computation,
   Track 2  Logic, Semantics, Specification and Verification.

Submissions are limited to 14 A4 pages, in 11 point or larger font,
LNCS style. The Proceedings will be published by Kluwer, the official
publisher of IFIP.  For detailed information, please visit the web
site.

IMPORTANT DATES

Submission: March 31, 2004 <--------------- NEW DATE
Notification: April 21, 2004

Given the very short delay between the dates for submission and for
notification of acceptance, authors are asked to submit final versions
of their articles. Authors are strongly encouraged to submit papers
before the deadline for submission.

The IFIP TCS2004 conference is sponsored by IFIP TC1 on Foundations of
Computer Science in cooperation with SIGACT, EATCS and INRIA. The IFIP
World Computer Congress has 60 grants of 500 euros each which can be
awarded to students presenting a paper at one of the congress event.

PROGRAM COMMITTEE

Track 1:
-------
Farid Ablayev, State University, Kazan
Hagit Attiya, The Technion
Sorin Istrail, Celera Genomics
Stefano Leonardi, Universita di Roma
Maurice Margenstern, Université de Metz
Ernt Mayr, Technische Universität München (chair)
Satoru Miyano, University of Tokyo
Jean-Eric Pin, LIAFA, CNRS
Nicola Santoro, Carleton University
Thomas Schwentick, Philipps-Universität Marburg
Sandeep Sen, Indian Institute of Technology Delhi
Subhash Suri, University of California Santa Barbara
Osamu Watanabe, Tokyo Institute of Technology

Track 2:
-------
Roberto Amadio, Université de Provence
Luca Cardelli, Microsoft Research Cambridge
Giuseppe Castagna, École Normale Supérieure
Hubert Comon-Lundh, École Normale Supérieure de Cachan
Adriana Compagnoni, Stevens Institute of Technology
Drew Dean, SRI
Marcelo Fiore, University of Cambridge
Giorgio Ghelli, Università di Pisa
Martin Hofmann, Universität München
Alan Jeffrey, DePaul University
Bruce Kapron, University of Victoria
Orna Kupferman, Hebrew University
John Mitchell, Stanford University, (chair)
George Necula, University of California Berkeley
Catuscia Palamidessi, INRIA Futurs
Martin Rinard, MIT
Davide Sangiorgi, University of Bologna
Vladimiro Sassone, University of Sussex
Vitaly Shmatikov, SRI
Martin Wirsing, Ludwig-Maximilians-Universität

LIST OF AREAS

Track 1 (Algorithms, Complexity and Models of Computation): Analysis
and design of algorithms, Automata and formal languages, Cellular
automata and systems, Combinatorial, graph and optimization
algorithms, Computational and mathematical finance, Computational
learning theory, Continuous algorithms and complexity, Computational
complexity, Computational geometry, Cryptography, Distributed
computing, Descriptional complexity, Evolutionary and genetic
computing, Experimental algorithms, Mobile computing, Molecular
computing and algorithmic aspects of bioinformatics, Network
computing, Neural computing, Parallel and distributed algorithms,
Probabilistic and randomized algorithms, Quantum computing, Structural
information and communication complexity

Track 2 (Logic, Semantics, Specification and Verification):
Concurrency theory, Constructive and non-standard logics in computer
science, Foundations of global computing, Foundations of mobile
computing, Foundations of security, Foundations of system
specification, Foundations of wide area programming, Logic and
semantics for programs and languages, Logic, specification and
verification of hybrid and real-time systems, Proofs and
specifications in computer science, Term rewriting systems,
Theoretical aspects of software concepts, Theoretical aspects of
specification, and verification of hardware and software, Theoretical
foundations of databases, Theoretical foundations of open systems,
Theory of Internet languages and systems, Theory of parallel and
distributed systems, Type and category theory in computer science.


SPECIAL FOCUS

The IFIP TCS2004 conference will have a special focus on Foundations
of Global Computing.  Original and significant contributions on the
special focus and on foundational questions are sought from all areas
of theoretical computer science.


CONTACT

Jean-Jacques Levy
INRIA Rocquencourt
78153 Le Chesnay Cedex
France

email: jean-jacques.levy at inria.fr
Tel: +33 1 39 63 56 89