Track: Foundations of Computer Science

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


Contributions


Track Program Committee

Nicolas BeldiceanuEcole de Mines de Nantes, France
Hans BodlaenderUniversity Utrecht, The Netherlands
Veronique BruyereUniversity of Mons-Hainaut, Mons, Belgium
Camil DemetrescuUniversity of Rome "La Sapienza", Italy
Yefim DinitzBen-Gurion University, Beer-Sheva, Israel
Marcelo FioreUniversity of Cambridge, UK
Roberto GrossiUniversity of Pisa, Italy
Mika HirvensaloUniversity of Turku, Finland
Giuseppe F. Italiano
(chair)
University of Rome "Tor Vergata", Italia
Ludek KuceraCharles University, Czech Republic
Kim LarsenAalborg University, Denmark
Yishay MansourTel Aviv University, Israel
Uli MeyerMax-Planck-Institut Informatik, Germany
Petra MutzelUniversity of Dortmund, Germany
Sotiris NikoletseasPatras University, Greece
Jose RolimUniversity of Geneva, Switzerland
Francesca RossiUniversity of Padova, Italy
Branislav RovanComenius University in Bratislava, Slovakia
Vladimiro SassoneUniversity of Southampton, UK
Andrzej TarleckiWarsaw University, Poland
Jan van LeeuwenUniversity Utrecht, The Netherlands
Dorothea WagnerUniversity Karlsruhe, Germany
Jiri WiedermannInstitute of Computer Science, Czech Republic