FoSSaCS 2011

14th 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 2011)

March 26 - April 3, 2011, Saarbruecken, Germany

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


CONFERENCE PROCEEDINGS

The proceedings of FoSSaCS 2011 will be published by Springer-Verlag in the Lecture Notes in Computer Science series as Volume 6604.


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 2011 is the 14th joint conference in this series and will be held in Paphos, Cyprus. The prior conferences have been ETAPS 1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble,  ETAPS 2003 in Warsaw, ETAPS 2004 in Barcelona, ETAPS 2005 in Edinburgh, ETAPS 2006 in Vienna, ETAPS 2007 in Minho, ETAPS 2008 in Budapest, ETAPS 2009 in York and ETAPS 2010 in Paphos, Cyprus .


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 2011 conferences and other satellite events will be held March 26 - April 3, 2011.

As a part of ETAPS, FoSSaCS adheres to ETAPS submission and notification deadlines:

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. Any questions regarding the submission guidelines should be directed to the Program Committee Chair Martin Hofmann prior to submitting.

PROGRAMME COMMITTEE CHAIR

INVITED SPEAKER

PROGRAMME COMMITTEE