[Agda] LFMTP 2010 at FLoC: Call for participation

[Marino Miculan]

-----------------------------------------------------------------------------------------------------

                  CALL FOR Participation

                 Logical Frameworks and Meta-languages: Theory and Practice
                                   (LFMTP 2010)
                   Wednesday, July 14, 2010, Edinburgh, UK

                A LICS 2010-affiliated workshop at FLoC 2010

                 http://lfmtp10.dimi.uniud.it/

-----------------------------------------------------------------------------------------------------

EARLY REGISTRATION until 17 MAY 2010


INVITED SPEAKERS:

Frank Pfenning (Carnegie Mellon University)

Chung-chieh Shan (Rutgers, The State University of New Jersey)


CONTRIBUTED TALKS:

A Monadic Formalization of ML5
Dan Licata and Robert Harper

Pure Type Systems without Explicit Contexts
Herman Geuvers, Robbert Krebbers, James McKinna and Freek Wiedijk

Representing Isabelle in LF
Florian Rabe

Explicit substitutions for contextual type theory
Andreas Abel and Brigitte Pientka

Pattern Unification for the Lambda Calculus with Linear and Affine Types
Anders Schack-Nielsen and Carsten Schuermann
 
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernandez and Murdoch Gabbay

Generating Bijections between HOAS and the Natural  Numbers
John Boyland


See you in Edinburgh in July!

Karl and Marino

--
Marino Miculan - Dept Math Compu Sci, University of Udine
miculan at dimi.uniud.it      http://www.dimi.uniud.it/miculan/