* LFMTP 2010 at FLoC: Call for participation
@ 2010-05-07 16:50 Marino Miculan
0 siblings, 0 replies; only message in thread
From: Marino Miculan @ 2010-05-07 16:50 UTC (permalink / raw)
To: acl2-NZpS4cJIG2HvQtjrzfazuQ,
agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB,
appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ,
caml-list-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1, categories,
cav-all-oS8o3PUfrYnTnL/BiviY71hkA7yGAbr7, coq-club
-----------------------------------------------------------------------------------------------------
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-SKCg+tzqgwRqE5k7x5A0cw@public.gmane.org http://www.dimi.uniud.it/miculan/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-05-07 16:50 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-05-07 16:50 LFMTP 2010 at FLoC: Call for participation Marino Miculan
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).