[TYPES] FOSSACS 2006 --- Final CFP

Luca Aceto luca at ru.is
Wed Oct 5 05:08:25 EDT 2005

**** We apologize for multiple postings ****

1. Executive Summary

DEADLINE FOR ABSTRACT SUBMISSIONS: Friday, 7 October 2005 (Strict)
DEADLINE FOR PAPER SUBMISSIONS: Friday, 14 October 2005 (Strict)
URL FOR SUBMISSIONS: http://sttt.cs.uni-dortmund.de/fossacs06/servlet/Conference

2. Call for Papers

      Foundations of Software Science and Computation Structures
                             FOSSACS 2006
                    A Member Conference of ETAPS 2006
              Vienna (Austria), March 27-March 31, 2006
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
Topics covered include, but are not limited to:
    * 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.
Friday 7 October 2005
Submission deadline for abstracts
Friday 14 October 2005
Submission deadline for full papers (strict)
Friday 9 December 2005
Notification of acceptance/rejection
Friday 6 January 2006
Camera-ready version due
Saturday 25 March to Sunday 2 April 2006
ETAPS 2006
Unlike other ETAPS conferences, FOSSACS only accepts research papers.
A condition of submission is that an author attends to give the
presentation. Submitted papers must be in English presenting original
research. All submitted papers must be unpublished and not submitted
for publication elsewhere. In particular, simultaneous submission of
the same contribution to multiple ETAPS conferences is forbidden.
Papers should be submitted electronically in PDF (preferably) or PS
(using Type 1 fonts). The URL for electronic submission is 


The proceedings will be published in the Springer-Verlag Lecture Notes in Computer
Science series. Final papers will be in the format specified by
Springer-Verlag at the URL:
It is recommended that submissions adhere to the specified format and
length.  Submissions that are clearly too long may be rejected
RESEARCH PAPERS: Final papers will be not more than 15 pages long, and
should present original research. 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.
Luca Aceto (Reykjavik University, IS, and BRICS, Aalborg University,
DK; Co-chair)
Luca de Alfaro (USC Santa Cruz, USA)
Roberto Amadio (Universite Paris 7, FR)
Bruno Blanchet (ENS Paris, FR)
Gerard Boudol (INRIA Sophia Antipolis, FR)
Nadia Busi (University of Bologna, I)
Luca Cardelli (Microsoft Research, UK)
Flavio Corradini (University of Camerino, I)
Zoltan Esik (University of Szeged, HU)
Tom Henzinger (EPFL, CH)
Anna Ingolfsdottir (Reykjavik University, IS, and BRICS, Aalborg
University, DK; Co-chair)
Bengt Jonsson (Uppsala University, SE)
Dexter Kozen (Cornell University, USA)
Antonin Kucera (Masaryk University, Brno, CZ)
Orna Kupferman (Hebrew University, IL)
Marta Kwiatkowska (Birmingham, UK)
Catuscia Palamidessi (INRIA/Futurs and LIX, FR)
Erik Poll (Raboud University Nijmegen, NL)
Alban Ponse (University of Amsterdam, NL)
Edmund Robinson (Queen Mary College, UK)
Vladimiro Sassone (University of Sussex, UK)
Steve Schneider (University of Surrey, UK)
Igor Walukiewicz (Labri, Bordeaux, FR)
Thomas Wilke (University of Kiel, DE)
Wan Fokkink (Free University, Amsterdam, NL)
For information about FOSSACS 2006, please send an email to the
address fossacs06 at ru.is.

More information about the Types-list mailing list