[Agda] Call for Participation: FLoC Workshop on Modules and
Libraries for Proof Assistants
Florian Rabe
f.rabe at jacobs-university.de
Wed Apr 28 13:37:59 CEST 2010
Call for Participation
Second International Workshop on
Modules and Libraries for Proof Assistants
(MLPA'10)
July 15, 2010
http://kwarc.info/frabe/events/mlpa-10.html
Affiliated with FLoC
Edinburgh, Scotland, July 9-21, 2010
EARLY REGISTRATION DEADLINE: May 17
Program:
The formal part of the workshop program will consist of invited talks by
* Adam Chlipala http://adam.chlipala.net/ A Bottom-Up Approach to Safe Low-Level Programming
* Gerwin Klein http://www.cse.unsw.edu.au/~kleing/ Large-scale proof and libraries in Isabelle
* Ulf Norell http://www.cse.chalmers.se/~ulfn/ TBA
* Don Sannella http://homepages.inf.ed.ac.uk/dts/ TBA
* Andrzej Trybulec http://math.uwb.edu.pl/~trybulec/ TBA
See http://kwarc.info/frabe/events/mlpa-10.html for details.
Description:
This is the second workshop on module systems and libraries for proof assistants, which succeeds MLPA-09 held during CADE-22. It aims to attract and bring together researchers and practitioners with background and experience in module systems from different logic based systems, such as theorem provers, proof assistants, and programming languages. It will provide a fertile venue for the exchange of ideas and experiences and has the potential to impact the way we organize proofs and programs in
the future.
Program Committee:
* Stefan Berghofer, Institut für Informatik, Technische Universität München
* Derek Dreyer, Max Planck Institute for Software Systems, Saarbrücken
* Georges Gonthier, Microsoft Research, Cambridge
* Zhaohui Luo, Royal Holloway, University of London,
* Till Mossakowski, German research center for artificial intelligence, Bremen,
* Scott Owens, Computer Laboratory, University of Cambridge
* Florian Rabe, Jacobs University Bremen (chair)
* Carsten Schürmann, IT University of Copenhagen (chair)
Organizers:
Florian Rabe Carsten Schuermann
f.rabe at jacobs-university.de carsten at itu.dk
Jacobs University IT University of Copenhagen
Bremen, Germany Copenhagen, Denmark
More information about the Agda
mailing list