[TYPES] FOSSACS 2006 --- Call for Papers

Luca Aceto luca at ru.is
Fri Sep 16 05:26:57 EDT 2005

*** We apologize for multiple postings ***

      Foundations of Software Science and Computation Structures
                             FOSSACS 2006
                     A Member Conference of ETAPS 2006

              Vienna (Austria), March 25 - 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 will be
available at http://fossacs06.ru.is/ in due course.) 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 de 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, and University Rovira i
Virgili, Tarragona, S)
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