[TYPES/announce] Call For Papers: FoSSaCS 2007

[Kumar Neeraj Verma]

                    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 of abstracts (strict deadline)
    * 13 Oct 2006:  Submission of full versions (strict deadline)
    *  8 Dec 2006:  Notification of acceptance
    *  5 Jan 2007:  Camera-ready versions due

CONFERENCE DESCRIPTION

    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.

ROGRAMME 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 (USA)

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 ( http://www2.in.tum.de/~seidl ) prior
    to submitting.

SPECIAL ISSUE

    If the quality of the accepted submissions warrants it, there will be
    a special issue of the electronic Journal Logical Methods in Computer
    Science devoted to selected papers from the conference.