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

Call for Participation: Logical Frameworks and Meta-languages (LFM'99)



                        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)