[Prev][Next][Index][Thread]
FOSSACS'2000: Call for papers
-
To: cs-staff@cs.bham.ac.uk, research-students@cs.bham.ac.uk, cphc-conf@mailbase.ac.uk, comprox@doc.ic.ac.uk, stochver@cs.bham.ac.uk, papm@dcs.ed.ac.uk, performance@haven.epm.ornl.gov, PetriNets@daimi.au.dk, theorem-provers@ai.mit.edu, isabelle-users@cl.cam.ac.uk, categories@mta.ca, types@cis.upenn.edu
-
Subject: FOSSACS'2000: Call for papers
-
From: Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
-
Date: Thu, 23 Sep 1999 14:09:54 +0100 (BST)
-
Cc: M.Z.Kwiatkowska@cs.bham.ac.uk
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).