[Agda] Call for Participation: LFMTP/MLPA, August 26, Nijmegen
Florian Rabe
f.rabe at jacobs-university.de
Wed Aug 17 14:40:09 CEST 2011
[Note the change of date for LFMTP]
The 6th International Workshop on
Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2011)
http://lfmtp11.cs.umn.edu/
and
The 3rd Workshop on
Modules and Libraries for Proof Assistants (MLPA-11)
http://kwarc.info/frabe/events/mlpa-11/
will take place jointly
August 26, 2011
Nijmegen, The Netherlands
after the Conference on Interactive Theorem Proving (ITP 2011)
Invited speakers
* Henk Barendregt
* Derek Dreyer
* Aleksandar Nanevski
* Michael Norrish
The combined LFMTP/MLPA workshop offers a joint program and joint registration for the LFMTP and MLPA workshops affiliated with ITP.
Program: http://lfmtp11.cs.umn.edu/Site/Programme.html
Registration: http://itp2011.cs.ru.nl/ITP2011/Registration_-_Open.html
Organizers
* Herman Geuvers
* Gopalan Nadathur
* Florian Rabe
* Carsten Schuermann
More information about the Agda
mailing list