15th International Conference on
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
A member conference of the European Joint Conferences
on Theory and Practice of Software
March 24 - April 1, 2012, Tallinn, Estonia
Conference Proceedings |
Call for Papers
| Important Dates
| Submission Guidelines
| Programme Committee
| Invited Speaker
| Accepted Papers
The list of accepted papers can be found here.
The proceedings of FoSSaCS 2012 will be published by Springer-Verlag in the
Lecture Notes in Computer Science series.
FoSSaCS is a member conference of the European Joint Conferences on
Theory and Practice of Software (ETAPS), which is the primary European
forum for academic and industrial researchers working on topics
relating to Software Science.
ETAPS, established in 1998, is a confederation of five main annual
conferences (CC, ESOP, FASE, FOSSACS, and TACAS) accompanied by
satellite workshops and other events. The fifteenth edition, ETAPS
2012, will take place in Tallinn, Estonia.
FoSSaCS seeks original papers on foundational research with a clear significance for software science.
The conference invites submissions on theories and methods to support the analysis, integration, synthesis,
transformation, and verification of programs and software systems.
The specific topics covered by the conference include, but are not limited
to, the following:
As FoSSaCS addresses a heterogeneous audience, potential authors are
strongly encouraged to write about their ideas and findings in general
and jargon-independent, rather than in application- and
- Automata and language theory,
- Behavioural equivalences,
- Categorical models,
- Infinite state systems,
- Modal, spatial, and temporal logics,
- Models of concurrent, reactive, distributed, hybrid, and mobile systems,
- Process algebras and calculi,
- Semantics of programming languages,
- Software specification and refinement,
- Type systems and type theory.
- Fundamentals of security
- Semi-structured data
- Program correctness and verification
ETAPS 2012 conferences and other satellite events will be held
March 24 - April 1, 2012.
As a part of ETAPS, FoSSaCS adheres to ETAPS submission and notification
deadlines, but FoSSaCS will also include an author response period:
- Friday, October 7, 2011 (23:59 Apia, Samoa time)
|Submission of abstracts.
- Friday, October 14, 2011, 23:59 Apia, Samoa time (worldclock,
|Strict deadline for submission of full papers.
- Thursday and Friday, December 8-9, 2011
- Friday, December 16, 2011
|Notification of acceptance
- Friday, January 6, 2012
|Camera-ready paper versions due
- March 24 - April 1, 2012
|FoSSaCS 2012 Conference
The paper submission deadline is STRICT. Making
the deadline for submission of abstracts a week early allows the
programme committee to start work before full versions are
available. Obviously, there is no need to wait with submission of the
full version until the final deadline.
Submission of an abstract implies no obligation to submit a full
version; abstracts with no corresponding full versions by the final
deadline will be treated as withdrawn, but authors are strongly
encouraged, in this case, to explicitly withdraw their submission by
sending an e-mail to the chairman.
Research papers cover one or more of the topics above and
are evaluated by the FoSSaCS Program Committee.
Submitted research papers must:
Submissions deviating from these instructions may be rejected without review. A condition of submission is that, if the submission is accepted, one of the
authors attends the conference to give the presentation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series.
Final papers will be in the format specified by Springer-Verlag. Please note that FOSSACS does not accept tool demonstration papers.
Authors will have 48 hours to read reviews and respond to them, see
the list of important dates above.
Any questions regarding the submission guidelines
should be directed to the Program Committee Chair Lars Birkedal
prior to submitting.
- be in English and have a maximum of 15 pages (including
figures and bibliography). Additional material intended for the referee
but not for publication
in the final version - for example details of proofs - may be placed
in a clearly marked appendix that is not included in the page limit,
- present original research which is unpublished and not
submitted elsewhere (conferences, journals, books,...) -- in particular,
simultaneous submission of the same contribution to multiple ETAPS
conferences is forbidden.
- use the Springer-Verlag
- be submitted electronically in PDF via the
EasyChair FoSSaCS 2012 Conference Service
- Luca Aceto (Reykjavik Univ., Iceland)
- Roberto Amadio (Univ. of Paris 7, France)
- Torben Amtoft (Kansas State Univ.)
- Lars Birkedal (IT University of Copenhagen, Denmark)
- Mikolaj Bojanczyk (Warsaw University, Poland)
- Thierry Coquand (Chalmers Univ. of Technology, Sweden)
- Andrea Corradini (Univ. of Pisa, Italy)
- Volker Diekert (Univ. of Stuttgart, Germany)
- Maribel Fernandez (King's College London, UK)
- Kohei Honda (Queen Mary, Univ. of London, UK)
- Bart Jacobs (Radboud Univ. of Nijmegen, Netherlands)
- Joost Pieter Katoen (RWTH Aachen, Germany)
- Olivier Laurent (ENS Lyon, France)
- Rupak Majumdar (Max Planck Inst. for Software Systems, Germany)
- Markus Mueller-Olm (Univ. of Muenster, Germany)
- Joachim Parrow (Uppsala Univ., Sweden)
- Dusko Pavlovic (Univ. of Oxford, UK)
- Hanne Riis Nielson (Technical Univ. of Denmark)
- Alex Simpson (Univ. of Edinburgh, UK)
- Carolyn Talcott (SRI International, USA)
- Yde Venema (Univ. of Amsterdam, Netherlands)
- Tomas Vojnar (Brno University, Czech Republic)