CALL FOR PAPERS: FoSSaCS 2007

		      Tenth International Conference on
          Foundations of Software Science and Computation Structures

			http://www2.in.tum.de/~seidl/fossacs07/

          Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal

IMPORTANT DATES

* 6 Oct 2006: Submission deadline (strict) for abstracts 
* 13 Oct 2006: Submission deadline (strict) for full versions 
* 8 Dec 2006: Notification of acceptance
* 5 Jan 2007: Camera-ready versions due

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.

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,
    * 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.

Programme Committee:

    * Martin Abadi, University of California at Santa Cruz and Microsoft Research
    * Michael Benedikt, Bell Laboratories
    * Ahmed Bouajjani, Université Paris 7
    * Cristiano Calcagno, Imperial College London
    * Didier Caucal, IRISA-CNRS, Rennes
    * Flavio Corradini, University of Camerino
    * Robert van Glabbeek, Stanford University
    * Andrew D. Gordon, Microsoft Research, Cambridge
    * Hendrik Jan Hoogeboom, Leiden University
    * Anna Ingolfsdottir, Aalborg University
    * Florent Jacquemard LSV, ENS de Cachan
    * Werner Kuich, TU Wien
    * Kamal Lodaya, Institute of Mathematical Sciences, Chennai
    * Antoine Miné, ENS Rue d'Ulm, Paris
    * Damian Niwinski, Warsaw University
    * David A. Schmidt, University of Kansas
    * Stefan Schwoon, Universität Stuttgart
    * Helmut Seidl, TU München (chair)
    * Scott A. Smolka, State University of New York at Stony Brook
    * P.S. Thiagarajan, National University of Singapore
    * Sophie Tison, Université des Sciences et Technologies de Lille
    * Heiko Vogler, TU Dresden
    * Christoph Weidenbach, Max-Planck-Institut für Informatik, Saarbrücken

Invited Speaker:

Radha Jagadeesan, DePaul University

SUBMISSION GUIDELINES

Papers should be submitted using the FoSSaCS 2007 Conference Service at:

     http://sttt.cs.uni-dortmund.de/fossacs07/servlet/Conference

Papers cover one or more of the topics above and are evaluated by
the FoSSaCS Program Committee.  Submitted papers must:

* be in English and have a maximum of 15 pages (including figures and
  bibliography)
* present original research which is unpublished and not
  submitted elsewhere (conferences or journals) -- in particular,
  simultaneous submission of the same contribution to multiple ETAPS
  conferences is forbidden
* use the Springer-LNCS style
* be submitted electronically in Postscript or PDF form via the FoSSaCS 2007
  Conference Service (abstract no later than 6 October, 2006, and full
  paper no later than 13 October, 2006)

Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Program Committee
Chair (www2.in.tum.de/~seidl) prior to submitting.