|
> Congress / Call for contributions / Co-located IFIP conferences / TCS 2004
 |
TCS 2004 |
|
| Jean-Jacques Lévy , INRIA, France , |
| . |
Track (1): Algorithms, Complexity and Models of Computation Ernst Mayr, Technische Universität München, Germany |
| . |
Track (2): Logic, Semantics, Specification and Verification John Mitchell, Stanford University, USA |
|
| . Farid Ablayev , State University, Kazan, Russia,
. Hagit Attiya, The Technion, Israel ,
. Sorin Istrail , Celera Genomics,
. Stefano Leonardi , Universita di Roma, Italy,
. Maurice Margenstern , Université de Metz, France,
. Ernst Mayr , Technische Universitat Munchen, Germany,
. Satoru Miyano , Tokyo University, Japan,
. Jean-Eric Pin , LIAFA, CNRS, France,
. Nicola Santoro , Carleton University, Canada,
. Thomas Schwentick , Philipps-Universitat Marburg, Germany,
. Sandeep Sen , Indian Institute of Technology Delhi, India,
. Subhash Suri , University of California Santa Barbara, USA,
. Osamu Watanabe , Tokyo Institute of Technology, Japan,
|
. Roberto Amadio , Université de Provence, France,
. Luca Cardelli , Microsoft Research Cambridge, UK,
. Giuseppe Castagna , ENS, France,
. Hubert Comon-Lundh , ENS Cachan, France,
. Adriana Compagnoni , Stevens Inst. of Technol., USA,
. Drew Dean , SRI, USA,
. Marcelo Fiore , University of Cambridge, UK,
. Giorgio Ghelli , Università di Pisa, Italy,
. Martin Hofmann , Universität München, Germany,
. Alan Jeffrey , DePaul University, USA,
. Bruce Kapron , University of Victoria, Canada,
. Orna Kupferman , Hebrew University, Israel,
. Jean Jacques Levy , INRIA, France,
. John Mitchell , Stanford University, USA,
. George Necula , UC Berkeley, USA,
. Catuscia Palamidessi , INRIA Futurs, France,
. Martin Rinard , MIT, USA,
. Davide Sangiorgi , University of Bologna, Italy,
. Vladimiro Sassone , University of Sussex, UK,
. Vitaly Shmatikov , SRI, USA,
. Martin Wirsing , Ludwig-Maximilians-Universität, Germany,
|
Scope: foundations of global computing
In recent years, IT applications have evolved in innovative ways.
Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communication is cheap and widespread, and most of our computers are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically reconfigurable systems) has made it possible to exploit interaction in novel ways.
|
To harness the flexibility and power of these rapidly evolving, interactive systems, we need to come up with radically new foundational ideas and principles. Now is the time to develop the theoretical foundations required to design these systems and to cope with the many complex issues involved in their construction. Now is also the time to develop effective principles for building and analyzing such systems .
Our computational goal is to discover techniques, models and algorithms allowing us to construct systems that are flexible, dependable, secure, robust and efficient.
In terms of programming, it is interesting to note that Internet applications differ substantially from traditional applications in the following areas: scalability, connectivity, heterogeneity and autonomy.
Hence, new programming paradigms (thin client and application servers, peer-to-peer collaboration, code-on-demand, mobile agents) have been proposed for Internet applications. This scenario is appealing from a scientific point of view, since most of the open problems and several of the concepts requiring fine-tuning fall within the domain of computer science research. More specifically, there is a need for models, languages and logics that are distributed, interactive and concurrent; open and reconfigurable; higher order and typed; equipped with abstract compositional semantics; and efficiently verifiable.
| TCS 2004 will be composed of two distinct, but interrelated tracks: |
| . |
Track 1 will focus on Algorithms, Complexity and Models of
computation, while |
| . |
Track 2 will focus on Logic, Semantics, Specification and Verification.
The IFIP TCS 2004 conference is sponsored by IFIP TC1 on Foundations of Computer Science in cooperation with SIGACT and EATCS. |
|
Topics
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 learning theory |
| . |
Continuous algorithms and complexity |
| . |
Computational geometry |
| . |
Cryptography |
| . |
Distributed computing |
| . |
Evolutionary and genetic computing |
| . |
Mobile computing |
| . |
Molecular computing and algorithmic aspects of bioinformatics |
| . |
Network computing |
| . |
Probabilistic and randomized algorithms |
| . |
Quantum computing
|
Track 2: Logic, Semantics, Specification and Verification
| . |
Concurrency theory |
| . |
Foundations of global computing |
| . |
Foundations of security |
| . |
Foundations of system specification |
| . |
Logic and semantics for programs and languages |
| . |
Proofs and specifications in computer science |
| . |
Term rewriting systems |
| . |
Theoretical aspects of specification, and verification
of hardware and software |
| . |
Theoretical foundations of databases |
| . |
Theoretical foundations of open systems |
| . |
Theory of parallel and distributed systems |
| . |
Type and category theory in computer science |
Submissions on the above topics and related topics are invited. Particularly encouraged are submissions explicitly focusing on the Conference theme: Foundations of Global Computing. |
Submissions
A submission should consist of:
| 1. |
a cover page , including the track name, the title of the paper, names and affiliations of authors, an abstract up to 300 words, and the contact author's name, address, phone number, fax number, and email address; |
| 2. |
the paper , which should provide a summary of the main results and their details to allow the programme committee to assess their merits and significance, including references and comparisons. |
|
Submissions are limited to 14 A4-size pages , in 11 point or larger font. Proofs omitted due to space constraints must be put into a clearly marked appendix. The result of the paper must be unpublished and not submitted for publication elsewhere, including journals and the proceedings of other symposia or workshops.
Submit all material in electronic form through the web to www.wcc2004.org/tcs , by 31 March 2004.
Format: Portable Document Format (.pdf) files.
Please preview the manuscript in a viewer such as Acrobat to ensure its integrity before submitting. Make sure you visually check uncommon fonts, symbols, equations, etc. A defective print can undermine your chances of success. All submissions will be acknowledged electronically . If you have not received an acknowledgment within 72 hours of submitting your paper electronically, please contact tcs-submission@wcc2004.org .
At least one author of each accepted paper is required to register with the conference and present the paper.
The Proceedings will be published by Kluwer, the official publisher of IFIP. For detailed information, please visit:
http://jeanjacqueslevy.net/TCS2004/ |
. Submission : 31 March 2004
. Notification : 21 April 2004
. Camera-ready : 30 April 2004 |
|
