Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://iks.cs.tu-berlin.de/etaps2000/fossacs.html
Organizers: Jerzy Tiuryn
Deadline for abstracts: October 18, 1999
Description:
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
Speakers: Abbas Edalat (Imperial College, London)
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.