[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FINAL CALL FOR PAPERS FOR FoSSaCS 2008
--------------------------------------
Eleventh International Conference on
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
A member conference of the European Joint Conferences
on Theory and Practice of Software (ETAPS 2008)
(March 29 - April 6, 2008, Budapest, Hungary)
DATES FOR SUBMISSION VIA http://fossacs08.pps.jussieu.fr/
# Friday 5 October, 2007, Strict deadline for submission of abstracts.
# Friday 12 October, 2007, Strict deadline for submission of full versions.
TOPICS The specific topics covered by the conference include,
but are not limited to, the following:
* Algebraic models,
* Automata and language theory,
* Behavioural equivalences,
* Categorical models,
* Computation processes over discrete and continuous data,
* Infinite state systems,
* 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,
* Type systems and type theory.
* Fundamentals of security
* Semi-structured data
* Program correctness and verification
PROGRAMME COMMITTEE
Luca Aceto, Reijkjavik
Roberto Amadio (chair), Paris
Lars Birkedal, Copenhagen
Roberto Bruni, Pisa
Hubert Comon, Cachan
Thierry Coquand, Göteborg
Zoltan Esik, Szeged
Dan Ghica, Birmingham
Juergen Giesl, Aachen
Martin Hofmann, Munich
Radha Jagadeesan, Chicago
Petr Jancar, Ostrava
Leonid Libkin, Edinburgh
Dale Miller, Palaiseau
Eugenio Moggi, Genova
Anca Muscholl, Bordeaux
Vincent van Oostrom, Utrecht
Prakash Panangaden, Montreal
Jean-Francois Raskin, Bruxelles
David Sands, Göteborg
Colin Stirling, Edinburgh
Pawel Urzyczyn, Warszawa
Nobuko Yoshida, London
Thomas Wilke, Kiel
-------------------------------------------------------
