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
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
