Logic List Mailing Archive
SOFSEM 2009: Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn (Czech Republic), 24-30 Jan 2009
:= SOFSEM 2009: 35th Conference on
Current Trends in Theory and Practice of Computer Science
CALL FOR PAPERS
January 24-30, 2009
Hotel Arnika, Spindleruv Mlyn, Czech Republic
http://www.sofsem.cz
[This information is being posted to multiple lists - we apologise if
you get it several times. Please, pass the information to whom it may
benefit. Thank you for understanding and cooperation. The organizers.]
IMPORTANT DATES
* Abstract Submission: August 17, 2008
* Paper Submission: August 24, 2008
* Notification: October 6, 2008
* Camera-Ready Papers: October 20, 2008
* Conference: January 24-30, 2009
An extended pdf version of this call can be found at
http://www.ksi.mff.cuni.cz/sofsem09/printouts/Sofsem09CFP.pdf
SOFSEM (SOFtware SEMinar) is the annual, international conference devoted
to the theory and practice of computer science. Its aim is to foster
cooperation among professionals from academia and industry working in all
modern areas of computer science.
SOFSEM 2009 Program Committee Chair: Mogens Nielsen, Aarhus, Denmark.
INVITED SPEAKERS
The invited speakers for SOFSEM will include:
* Christian Attiogbe (University of Nantes, France)
* Christel Baier (University of Bonn, Germany)
* Josh Berdine (Microsoft Research, Cambridge, UK)
* Nicole Immorlica (Northwestern University, USA)
* Radovan Janecek (BTO, HP Software)
* Marcin Jurdzinski (University of Warwick, UK)
* Giuseppe Longo (Ecole Normale Superieure, Paris, France)
* David Parkes (Harvard University, USA)
CONFERENCE TRACKS
For the SOFSEM 2009 the following 4 tracks have been chosen:
* Foundations of Computer Science
Chair: Catuscia Palamidessi (Paris, France)
Co-chair: Frank Valencia (Paris, France)
* Theory and Practice of Software Services
Chair: Petr Tuma, Prague, Czech Republic
* Game Theoretic Aspects of e-commerce
Chair: Peter Bro Miltersen (Aarhus, Denmark)
* Techniques and Tools for Formal Verification
Chair: Antonin Kucera (Brno, Czech Republic)
Moreover, for students, there is the
* Student Research Forum
Chair: Maria Bielikova (Bratislava, Slovakia)
Details on each track and the Forum can be found on the conference web
site.
PROCEEDINGS
Following the tradition of SOFSEM, the proceedings from SOFSEM 2009,
including invited and contributed papers, will be published in the Lecture
Notes in Computer Science Series by Springer-Verlag. Papers from the Studen
t
Research Forum will be published in local proceedings. The target paper siz
e
is 12 pages in LNCS format. Both proceedings will be distributed at the
conference.
LOCATION
The venue of Sofsem 2009 will be OREA Hotel ARNIKA, Spindleruv Mlyn, Czech
Republic. See www.sofsem.cz for further details.
********************************
FOUNDATIONS OF COMPUTER SCIENCE
TOPICS:
* algorithms and data structures including sequential, parallel,
distributed, approximation, and number-theoretic algorithms
* automata theory and languages
* complexity theory, both computational and structural
* foundations of security
* concurrency theory
* quantitative aspects of computing
* discrete mathematics related to computer science
* grammars and formal models
* program semantics, logic, and verification
PROGRAM COMMITTEE:
* Luca Aceto (Reykjavik University, Iceland)
* Frank de Boer (Leiden University, The Netherlands)
* Roberto Bruni (University of Pisa, Italy)
* Stefan Dantchev (Durham University, UK)
* Pierpaolo Degano (University of Pisa, Italy)
* Fedor Fomin (University of Bergen, Norway)
* Rachid Guerraoui (EPFL, Switzerland)
* Juraj Hromkovic (ETH Zurich, Switzerland)
* Thore Husfeldt (IT University of Copenhagen, Denmark and
Lund University, Sweden)
* Giuseppe F. Italiano (Universita di Roma "Tor Vergata", Italy)
* Riko Jacob (Technische Universitat Mnchen, Germany)
* Thomas Jensen (IRISA/CNRS, France)
* Juhani Karhumki (University of Turku, Finland)
* Joost-Pieter Katoen (Aachen University, Germany)
* Evangelos Kranakis (Carleton University, Canada)
* Stephan Merz (INRIA Nancy-Grand Est, France)
* Mike Mislove (Tulane University, USA)
* Catuscia Palamidessi (INRIA Saclay - le-de-France and Ecole
Polytechnique, France, co-chair)
* Wojciech Penczek (IPI PAN and University of Podlasie, Poland)
* Riccardo Pucella (Northeastern University, USA)
* Branislav Rovan (Comenius University, Slovakia)
* Geoffrey Smith (Florida International University , USA)
* Jiri Srba (University of Aalborg, Denmark)
* Frank Valencia (CNRS and cole Polytechnique, France, co-c
hair)
* Igor Walukiewicz (Universit de Bordeaux, France)
* Jir Wiedermann (Academy of Sciences, Czech Republic)
* Filip Zelezny (Czech Technical University in Prague, Czech
Republic)
********************************
THEORY AND PRACTICE OF SOFTWARE SERVICES
TOPICS:
* software engineering of service oriented systems
* formal methods for service oriented architectures
* service ontologies, semantic service description
* process modeling for service architectures
* service orchestration and coordination
* quality of service
* service negotiation and SLA
* service discovery and management
* support for dynamic binding of services
* platform specific services (web services, ESB, GRID, MANET, etc.)
* middleware for service oriented architectures
* security and trust issues in services
* business models for service architectures
* emerging service standards (W3C, OASIS, UN/CEFACT, etc.)
* convergence of services and other technologies
(components, semantic web, etc.)
* experience reports
PROGRAM COMMITTEE:
* Marco Aiello (University of Groningen, Netherlands)
* Grigoris Antoniou (University of Crete & FORTH, Greece)
* Achim Baier (Itemis, Germany)
* Walter Binder (University of Lugano, Switzerland)
* Paul Brebner (NICTA & Australian National University,
Australia)
* Vadim Ermolayev (Zaporozhye State University, Ukraine)
* Wilhelm Hasselbring (University of Oldenburg, Germany)
* Matthias Holzl (Ludwig-Maximilian University, Germany)
* Michael Huhns (University of South Carolina, USA)
* Borka Jerman Blazic (Jozef Stefan Institute, Slovenia)
* Paul Johanesson (Stockholm University & Royal Institute of
Technology, Sweden)
* Zhiming Liu (UNU IIST, China)
* George Papadopoulos (University of Cyprus, Cyprus)
* Andreas Rausch (Technical University Clausthal, Germany)
* Dumitru Roman (University of Innsbruck, Austria)
* Santosh Shrivastava (University of Newcastle upon Tyne,
United Kingdom)
* Bernhard Steffen (University of Dortmund, Germany)
* Jos Trienekens (University of Technology Eindhoven,
Netherlands)
* Petr Tuma (Charles University, Czech Republic, chair)
* Jian Yang (Macquarie University, Australia)
* Christian Zirpins (University of Karlsruhe, Germany)
********************************
GAME THEORETIC ASPECTS OF E-COMMERCE
TOPICS:
* automated and algorithmic mechanism design,
* computational pricing,
* auction theory geared towards e-commerce, such as auctions for
digital goods, sponsored search auctions and combinatorial auctions
* game theoretic aspects of trading agent systems
* game theoretic aspects of networks and network formation
* game theoretic aspects of cryptographic protocols
PROGRAM COMMITTEE:
* Arne Andersson (Uppsala University and Trade Extensions,
Sweden)
* Felix Brandt (University of Munich, Germany)
* Giorgos Christodoulou (MPII Saarbruecken, Germany)
* Artur Czumaj (DIMAP, University of Warwick, UK)
* Edith Elkind (University of Southampton, UK)
* Rica Gonen (Yahoo! Research, USA)
* Jason Hartline (Northwestern, USA)
* Kamal Jain (Microsoft Research, USA)
* Vangelis Markakis (CWI, The Netherlands)
* Peter Bro Miltersen (University of Aarhus, Denmark, chair)
* Martin Pal (Google, USA)
* David Parkes (Harvard, USA)
* Paolo Penna (Universita di Salerno, Italy)
* Carmine Ventre (University of Liverpool, UK)
********************************
TECHNIQUES AND TOOLS FOR FORMAL VERIFICATION
TOPICS:
* formal models (process calculi, Petri nets, timed automata,
message sequence charts, hybrid systems, domain theoretic models,
probabilistic systems, etc.)
* specification languages (temporal logics, semantic equivalences
and preorders, etc.)
* verification techniques (model checking, equivalence checking,
abstract interpretation, race detection, static analysis,
testing and run time analysis, theorem proving, true concurrency
techniques, symbolic representation techniques, etc.)
* software tools for automatic analysis, verification, and
validation of computer systems (including case studies)
PROGRAM COMMITTEE:
* Patricia Bouyer (LSV, ENS de Cachan, France)
* Javier Esparza (TU Munchen, Germany)
* Jan Friso Groote (Eindhoven University of Technology,
The Netherlands)
* Keijo Heljanko (Helsinki University of Technology, Finland)
* Thomas Henzinger (EPFL Lausanne, Switzerland)
* Gabriel Juhas (Slovak University of Technology in
Bratislava, Slovak Republic)
* Marta Kwiatkowska (Oxford University, UK)
* Antonin Kucera (Masaryk University, Czech Republic, chair)
* Viktor Kuncak (EPFL Lausanne, Switzerland)
* Kim Larsen (Aalborg University, Denmark)
* Madhavan Mukund (Chennai Mathematical Institute, India)
* Andreas Podelski (University of Freiburg, Germany)
* Davide Sangiorgi (University of Bologna, Italy)
* Tomas Vojnar (Brno University of Technology, Czech Republi
c)
* Nobuko Yoshida (Imperial College London, UK)