---------------------------------------------------------------------------------------------------- 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@dimi.uniud.it http://www.dimi.uniud.it/miculan/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]