[Prev][Next][Index][Thread]

FOSSACS'2002 - Call for papers

                          CALL FOR PAPERS

                   Foundations of Software Science
                      and Computation Structures
                            (FOSSACS'2002)

April 6 - 14, 2002                                    Grenoble, France


           URL:  http://www.brics.dk/fossacs02


                   A member conference of the
  European Joint Conferences on Theory and Practice of Software
                          (ETAPS'2002)

           URL:  http://www-etaps.imag.fr/

CONFERENCE DESCRIPTION

FOSSACS seeks papers which offer progress in foundational research
with a clear significance to Software Sciences. Central objects of
interest are the algebraic, categorical, logical, and geometric
theories, models, and methods which support the specification,
synthesis, verification, analysis, and transformation of sequential,
concurrent, distributed, and mobile programs and software systems.

Topics covered are semantic and syntactic foundations of Computation
and Software Sciences, for instance:

  Computation processes over discrete and continuous data, methods and
  techniques for their manipulation, and analysis of their algorithmic
  properties.

  Type theory, domain theory, category theory.

  Models of concurrency, and corresponding calculi, algebras, and
  logics.

  Techniques for proving properties of protocols.

  Formal descriptions of general frames for the integration of
  specification techniques.

SUBMISSION

See http://www.brics.dk/fossacs02 for further details. In brief,
papers must

- be in English
- present original research which is unpublished and not submitted
  elsewhere
- be no more than 15 pages long in Springer-Verlag format
- be submitted electronically in Postscript/PDF form (contact the
  chair if this is impossible)

IMPORTANT DATES

October 19,   2001         Submission deadline
December 14,  2001         Notification of acceptance/rejection
January 18,   2002         Camera-ready version due
April 6 - 14, 2002         Conference dates

INVITED SPEAKER

The invited speaker at FOSSACS'2002 will be prof. Bruno Courcelle, 
LaBRI, Université Bordeaux.

PROGRAM COMMITTEE

  David Basin (Freiburg, Germany)
  Julian Bradfield (Edinburgh, UK)
  Thomas Erhard (Marseille, France)
  Marcelo Fiore (Cambridge, UK)
  Carl Gunter (Upenn, USA)
  Furio Honsell (Udine, Italy)
  Mogens Nielsen, chair (Aarhus, Denmark)
  Fernando Orejas (Barcelona, Spain)
  Antoine Petit (Cachan, France)
  Frank Pfenning (CMU, USA)
  Sanjiva Prasad (IIT Delhi, India)
  Vladimiro Sassone (Sussex, UK)
  Andrzej Tarlecki (Warsaw, Poland)
  Frits Vaandrager (Nijmegen, Holland)
  Martin Wirsing (München, Germany)


CONTACT

Mogens Nielsen
BRICS, Department of Computer Science
University of Aarhus
Ny Munkegade Bldg 540
8000 Aarhus Denmark

email: fossacs02@brics.dk
Tel/Fax: +45 8942 3260/3255