posted by system || 3879 views || tracked by 5 users: [display]

FoSSaCS 2011 : 14th International Conference on Foundations Of Software Science And Computation Structures


Conference Series : Foundations of Software Science and Computation Structure
When Mar 26, 2011 - Apr 3, 2011
Where Saarbruecken, Germany
Abstract Registration Due Oct 4, 2010
Submission Deadline Oct 8, 2010
Notification Due Dec 10, 2010
Final Version Due Jan 3, 2011

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:

* Algebraic models,
* Automata and language theory,
* Behavioural equivalences,
* Categorical models,
* Computation processes over discrete and continuous data,
* Infinite state systems,
* Computation structures,
* Logics of programs,
* Modal, spatial, and temporal logics,
* Models of concurrent, reactive, distributed, 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

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.


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:

* Monday, October 4, 2010
Submission of abstracts (postponed from October 1, 2010)
* Friday, 8 October 2010, 23:00 Samoa-Apia Time (worldclock, countdown)
Strict deadline for submission of full papers.
* Friday, December 10, 2010
Notification of acceptance
* Monday, January 3, 2011
Camera-ready paper versions due
* March 26 - April 3, 2011
FoSSaCS 2011 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:

* 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 LNCS style.
* be submitted electronically in PDF via the EasyChair FoSSaCS 2011 Conference Service

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.

* Martin Hofmann, Ludwig-Maximilians-University, Munich


* Prakash Panangaden, McGill University, Montreal


* Amal Ahmed , University of Indiana
* David Basin, ETH Zurich
* Krishnendu Chatterjee, Institute of Science and Technology, Austria
* Giorgio Ghelli, University of Pisa
* Daniel Hirschkoff, ENS Lyon
* Martin Hofmann, Ludwig-Maximilians-University, Munich (chair)
* Marieke Huisman, University of Twente
* Petr Jančar, Technical University of Ostrava
* Andrew Kennedy, Microsoft Research Cambridge
* Barbara König, University of Duisburg-Essen
* Martin Lange, University of Kassel
* Francois Laroussinie, LIAFA (Paris 7)
* Markus Lohrey, University of Leipzig
* Heiko Mantel, TU Darmstadt
* Marino Miculan, University of Udine
* Andrzei Murawski, University of Oxford
* Peter O'Hearn, Queen Mary, University of London
* Dirk Pattinson, Imperial College London
* Olivier Serre, LIAFA (Paris 7 and CNRS)
* Natarajan Shankar, SRI International, Menlo Park
* Thomas Streicher, TU Darmstadt
* Igor Walukiewicz, Universite de Bordeaux
* Nobuko Yoshida, Imperial College London
* Greta Yorsh, IBM T.J. Watson Research Center

Related Resources

PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
WADS 2021   Algorithms and Data Structures Symposium
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
CEC 2021   IEEE Congress on Evolutionary Computation
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
6th London ICSSH September 2021   6th London – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
6th ICSTR London September 2021   6th ICSTR London – International Conference on Science & Technology Research, 09-10 September 2021
ESEC/FSE 2021   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering