[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Participation: LFMTP/MLPA, August 26, Nijmegen



[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