FOSSACS'03 call-for-papers; deadline Friday October 18

Dear Type Theorists,

I warmly encourage you to submit to FOSSACS 2003.  Type theory has
been a popular topic over the years at FOSSACS.  I attach the
call-for-papers.  The deadline is October 18.  Time to get writing!


         Foundations of Software Science and Computation Structures
                                FOSSACS 2003 

                          A member conference of the
        European Joint Conferences on Theory and Practice of Software
                     ETAPS 2003, Warsaw, April 5-13, 2003 =============================================================================

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; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; type systems and type theory.

Prior meetings were in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genova (2001), and Grenoble (2002).

Samson Abramsky (UK)

Andrew Gordon (UK)

Witold Charatonik (Germany and Poland)
Adriana Compagnoni (USA)
Vincent Danos (France)
Roberto Gorrieri (Italy)
Marta Kwiatkowska (UK)
Eugenio Moggi (Italy)
Uwe Nestmann (Switzerland)
Mogens Nielsen (Denmark)
Flemming Nielson (Denmark)
François Pottier (France)
Francesco Parisi Presicce (Italy)
Dusko Pavlovic (USA)
P.S. Thiagarajan (Singapore)
Igor Walukiewicz (France)
Pierre Wolper (Belgium)

Submitted papers must be in English and must describe work unpublished in refereed venues, and not submitted for publication elsewhere.  Papers should be no more than 15 pages in the Springer LNCS style (see http://www.springer.de/comp/lncs/authors.html for details).  Submission must be carried out electronically via the web; see http://www.research.microsoft.com/~adg/Fossacs03/ for details. Papers must be submitted as PostScript documents that are interpretable by Ghostscript, or in PDF format, and they must be printable on both USLetter and A4 paper.  (If this requirement is a hardship, please contact the Programme Chair.)

October 18, 2002    Submission deadline 
December 13, 2002   Notification of acceptance/rejection 
January 17, 2003    Camera-ready version due 
April 7-11, 2003    FOSSACS 2003, as part of ETAPS 2003 

FOSSACS 2003 call-for-papers, September 2002. http://www.research.microsoft.com/~adg/Fossacs03/