l FoSSaCS 2012

FoSSaCS 2012

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
(ETAPS 2012)

March 24 - April 1, 2012, Tallinn, Estonia

Conference Proceedings   |  Call for Papers   |  Important Dates   |  Submission Guidelines   |  Programme Committee   |  Invited SpeakerAccepted Papers


ACCEPTED PAPERS

The list of accepted papers can be found here.


CONFERENCE PROCEEDINGS

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.


CALL FOR PAPERS

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 domain-specific, terms.


IMPORTANT DATES

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:

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.


SUBMISSION GUIDELINES

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.

PROGRAMME COMMITTEE CHAIR

INVITED SPEAKER

PROGRAMME COMMITTEE