From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1229
Path: news.gmane.org!not-for-mail
From: Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
Newsgroups: gmane.science.mathematics.categories
Subject: FOSSACS'2000: Call for papers
Date: Thu, 23 Sep 1999 14:09:54 +0100 (BST)
Message-ID: <199909231309.OAA00477__11642.6545464948$1241017656$gmane$org@chip.cs.bham.ac.uk>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017655 30061 80.91.229.2 (29 Apr 2009 15:07:35 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:35 +0000 (UTC)
Cc: M.Z.Kwiatkowska@cs.bham.ac.uk
To: categories@mta.ca
Original-X-From: cat-dist Thu Sep 23 16:27:37 1999
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id NAA04342
	for categories-list; Thu, 23 Sep 1999 13:58:42 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
X-Sun-Charset: US-ASCII
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 98
Xref: news.gmane.org gmane.science.mathematics.categories:1229
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1229>

                          CALL FOR PAPERS

                          FOSSACS 2000
     Foundations of Software Science and Computation Structures
                 March 27-31, 2000, Berlin, Germany
	         http://fossacs.mimuw.edu.pl
	        Submision deadline: October 18, 1999


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

Conference decsription:

FOSSACS seeks papers which offer progress in foundational research
with a clear significance for software science. A central issue is
theories and methods which support the specification, transformation,
verification, and analysis of programs and software systems.

Topics covered are:

**    Computational and syntactic foundations of software science:
      computation processes over discrete and continuous data,
      techniques for their manipulation, and their algorithmic, 
      algebraic, and logical properties;

**   Transition systems, models of concurrency and reactive systems,
      and corresponding calculi, algebras, and logics;

**   Type theory, domain theory, and their connections to semantics
      of programming languages and software specification.

EATCS/EAPLS BEST PAPER AWARDS

There will be two awards for the best paper among all the papers presented
at any of the five main ETAPS conferences: EATCS award and EAPLS
award.

IMPORTANT DATES

    Monday 18th October 1999           Submission deadline
    Monday 13th December 1999          Notification of authors
    Thursday 13th January  2000        Final versions due
    March, 27 -- April, 1  2000        Conference dates


INVITED SPEAKER: Abbas Edalat (Imperial College, London)


SUBMISSION GUIDELINES

Submitted papers must be in English and must 
not have appeared in, or have been submitted to, other symposia 
or journals.  Papers should be no more than 15 pages in the 
Springer-Verlag LNCS style 
(see http://www.springer.de/comp/lncs/Authors.html for details).

Electronic submissions are strongly encouraged. An electronic
submission should consist of the cover letter, which contains a short
abstract in plane ASCII format, and a postscript file with the
paper. The postscript can be included as an attachment or can be send
as a separate e-mail. Electronic submissions should be send to the
address:

                 fossacs@mimuw.edu.pl

Authors will be notified by e-mail about the successful receipt of their
submission. 

Authors without access to internet can send six hard copies of the
paper to the Program Committee Chair:

Jerzy Tiuryn
Institue of Informatics 
Warsaw University
Banacha 2
02-097 Warsaw, Poland 

PROGRAM COMMITTEE

 Andre Arnold (Bordeaux)
 Mariangiola Dezani (Torino),
 Harald Ganzinger (Saarbr\"{u}cken),
 Georg Gottlob (Vienna),
 Fritz Henglein (Copenhagen),
 Jean-Pierre Jouannaud (Orsay),
 Dexter Kozen (Ithaca, NY),
 Marta Kwiatkowska (Birmingham),
 Giuseppe Longo (Paris),
 Andrew Pitts (Cambridge),
 Wolfgang Thomas (Aachen),
 Glynn Winskel (Aarhus),
 Moshe Y. Vardi (Houston, TX),
 Jerzy Tiuryn (Warsaw, chair).