[TYPES] Fossacs 2005: Deadline approaching

[Vladimiro Sassone]

[[This conference call is relevant to the TYPES reader's interests]]

                              FOSSACS 2005

                    A member conference of ETAPS the
     European Joint Conferences on Theory and Practice of Software
                 2nd -- 10th April, 2005, Edinburgh, UK
             http://www.informatics.sussex.ac.uk/fossacs05

====================================================================
   Submissions to be received in two stages (strict deadlines):
         *  Registration & Abstract:  8th Oct, 2004;
         *  Papers:                  15th Oct, 2004;
====================================================================

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;
computation structures; logics of programs; modal, spatial, and
temporal logics; models of concurrent, reactive, distributed, and
mobile systems; models of security and trust; language-based security;
process algebras and calculi; semantics of programming languages;
software specification and refinement; type systems and type theory.

====================================================================
Instructions for submission (electronic only) at conference site
====================================================================

Important dates for authors

   * Oct  8,  2004 -- Deadline for registration and abstracts (strict)
   * Oct 15,  2004 -- Deadline for submissions of papers      (strict)
   * Dec 10,  2004 -- Notification of acceptance/rejection.
   * Jan  7,  2005 -- Camera-ready version due.
   * Apr 2-8, 2005 -- Conference.

Conference site: http://www.informatics.susx.ac.uk/fossacs05
Contact address: fossacs05 at sussex.ac.uk
ETAPS site:      http://www.etaps05.inf.ed.ac.uk

====================================================================
PC Committee

     * Luca Aceto         (Aalborg, DK)
     * Michele Bugliesi   (Venice, I)
     * Luis Caires        (Lisbon, P)
     * Giuseppe Castagna  (ENS Paris, F)
     * Witold Charatonik  (Wroclaw, PL)
     * Vincent Danos      (PPS Paris, F)
     * Robert Harper      (CMU, USA)
     * Petr Jancar        (Ostrava, CZ)
     * Naoki Kobayashi    (Tokyo, JP)
     * Orna Kupferman     (Jerusalem, IL)
     * Guy McCusker       (Sussex, UK)
     * Ugo Montanari      (Pisa, I)
     * Anca Muscholl      (LIAFA Paris, F)
     * Tobias Nipkow      (Munich, D)
     * Andrew Pitts       (Cambridge, UK)
     * Amir Pnueli        (Weizmann, IL and New York, USA)
     * David Sands        (Chalmers, S)
     * Vladimiro Sassone  (Sussex, UK;  chair)
     * Andre Scedrov      (UPenn, USA)
     * Peter Selinger     (Ottawa, CAN)
     * Wolfgang Thomas    (Aachen, D)
     * Glynn Winskel      (Cambridge, UK)
     * Nobuko Yoshida     (Imperial, UK)

Invited Speaker

     * Marcelo Fiore, University of Cambridge, UK