[Prev][Next][Index][Thread]
Call for Participation: Logical Frameworks and Meta-languages (LFM'99)
-
To: bra-types@cs.chalmers.se, appsem@cs.chalmers.se, coq-club@pauillac.inria.fr, info-hol@leopard.cs.byu.edu, isabelle-users@cl.cam.ac.uk, pvs@csl.sri.com, logic@theory.lcs.mit.edu, lprolog@central.cis.upenn.edu, rewriting@ens-lyon.fr, theorem-provers@ai.mit.edu, types@cis.upenn.edu, qed@mcs.anl.gov, softverf@leopard.cs.byu.edu
-
Subject: Call for Participation: Logical Frameworks and Meta-languages (LFM'99)
-
From: Amy Felty <felty@research.bell-labs.com>
-
Date: Wed, 18 Aug 1999 23:10:48 -0400
CALL FOR PARTICIPATION
LFM'99: Workshop on Logical Frameworks and Meta-languages
28 September 1999, Paris, France
http://www.cs.bell-labs.com/~felty/LFM99/
Part of the Colloquium on Principles, Logics, and Implementations of
High-Level Programming Languages (PLI'99)
http://pauillac.inria.fr/pli/
PROGRAM
=======
----------------------------
8:30 - 9:30 PLI Invited talk
----------------------------
Objects, Classes and Modules in Objective Caml
Xavier Leroy (INRIA Rocquencourt and Trusted Logic, France)
-----------------------------------------
9:45 - 10:45 SESSION 1 (Chair: Amy Felty)
-----------------------------------------
The Context Calculus Lambda-c
Mirna Bognar and Roel de Vrijer (Vrije University, The Netherlands)
Explicit Substitutions for Linear Logical Frameworks
Iliano Cervesato (Stanford University, USA), Valeria de Paiva
(University of Birmingham, UK), and Eike Ritter (University of
Birmingham, UK)
--------------------------
10:45 - 11:15 Coffee Break
--------------------------
-------------------------------------------------
11:15 - 12:45 Session 2 (Chair: Raymond McDowell)
-------------------------------------------------
JaLoF: A Development Environment for Deduction Systems
Roderick Moten (Colgate University, USA)
Structured Type Theory
Catarina Coquand and Thierry Coquand (Chalmers University, Sweden)
Reflective Metalogical Frameworks
David Basin (University of Freiburg, Germany), Manuel Clavel
(University of Navarre, Spain), and Jose Meseguer (SRI International,
USA)
-------------------
12:45 - 14:30 Lunch
-------------------
--------------------------------------------------
14:30 - 16:00 Session 3 (Chair: Joelle Despeyroux)
--------------------------------------------------
A Logic Programming Approach to Implementing Higher-Order Narrowing
Murat Sinan Aygun (Bogazici University, Turkey)
The Type Theory and Type Checker of GF
Petri Maenpaa (Nokia Telecommunications, Finland) and Aarne Ranta
(Chalmers University, Sweden)
Pure Type Systems in Rewriting Logic
Mark-Oliver Stehr and Jose Meseguer (SRI International, USA)
----------------------
16:00 - 16:30 Tea Time
----------------------
--------------------------------------------
16:30 - 17:30 Session 4 (Chair: David Basin)
--------------------------------------------
On Equivalence and Canonical Forms in the LF Type Theory
Robert Harper and Frank Pfenning (Carnegie Mellon University, USA)
Type Checking Meta Programs
Nikolaj Bjorner, David Espinosa, and Doug Smith (Kestrel Institute,
USA)
REGISTRATION
============
See the main PLI page (http://pauillac.inria.fr/pli) for information
on how to register for LFM'99 and the other events of PLI'99.
The deadline for early registration is August 20.
PROGRAM COMMITTEE
=================
David Basin (Freiburg)
Iliano Cervesato (Stanford)
Joelle Despeyroux (INRIA)
Amy Felty (Bell Labs, Chair)
Sara Kalvala (Warwick)
Raymond McDowell (Kalamazoo)