[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
------------------------------------------------------------------------------
Get a FREE DOWNLOAD! and learn more about uberSVN rich system,
user administration capabilities and model configuration. Take
the hassle out of deploying and managing Subversion and the
tools developers use with it. http://p.sf.net/sfu/wandisco-d2d-2
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
