LNCS 4362
Track: Foundations of Computer Science
Chair: Giuseppe F. Italiano
At the heart of Computer Science Foundations lie many areas, including algorithms and data structures, computational complexity, cryptography, program semantics and verification, automata theory, and the study of randomness. Work in this field is distinguished by its emphasis on mathematical techniques and rigor but it is often of significant impact on practical applications and systems. Those subjects have traditionally received a lot of attention at the SOFSEM conference, since its birth in 1974. All contributions to the Foundations of Computer Science are solicited, and contributions that illustrate the value of fundamental research for fielded applications are especially welcome.
Invited Speakers
- Andrew Goldberg (Microsoft, USA)
Point-to-Point Shortest Path Algorithms with Preprocessing - Tom Henzinger (EPFL Lausanne, CH)
Games, Time, and Probability: Graph Models for System Design and Analysis - David Peleg (Weizmann Institute, IS)
Distributed Models and Algorithms for Mobile Robot Systems
Contributions
Track Program Committee
Nicolas Beldiceanu | Ecole de Mines de Nantes, France |
Hans Bodlaender | University Utrecht, The Netherlands |
Veronique Bruyere | University of Mons-Hainaut, Mons, Belgium |
Camil Demetrescu | University of Rome "La Sapienza", Italy |
Yefim Dinitz | Ben-Gurion University, Beer-Sheva, Israel |
Marcelo Fiore | University of Cambridge, UK |
Roberto Grossi | University of Pisa, Italy |
Mika Hirvensalo | University of Turku, Finland |
Giuseppe F. Italiano (chair) | University of Rome "Tor Vergata", Italia |
Ludek Kucera | Charles University, Czech Republic |
Kim Larsen | Aalborg University, Denmark |
Yishay Mansour | Tel Aviv University, Israel |
Uli Meyer | Max-Planck-Institut Informatik, Germany |
Petra Mutzel | University of Dortmund, Germany |
Sotiris Nikoletseas | Patras University, Greece |
Jose Rolim | University of Geneva, Switzerland |
Francesca Rossi | University of Padova, Italy |
Branislav Rovan | Comenius University in Bratislava, Slovakia |
Vladimiro Sassone | University of Southampton, UK |
Andrzej Tarlecki | Warsaw University, Poland |
Jan van Leeuwen | University Utrecht, The Netherlands |
Dorothea Wagner | University Karlsruhe, Germany |
Jiri Wiedermann | Institute of Computer Science, Czech Republic |