W5
Intuitionistic Modal Logics and Applications
Program
Steering Committee
Message from the Chair
Sponsors
Secretariat
Conference registration
Registration Forms
Hotel Accommodation
Student Housing
Social Events
Excursions
Conference Location
How to get to Trento
Conference at a glance
Day by day program
CADE
CAV
LICS
RTA
Workshops
Tutorials
Keynote events
Internet and demo rooms
Exhibitors
Other events in Europe
Trento
Trentino
Free Time
Map of the city
July 6, 1999 - Room 4-L
9:00 - 10:00
INVITED TALK:
A Judgmental Reconstruction of Modal Logics
(
abstract
)
Frank Pfenning
10:00 - 10:30
COFFEE BREAK
10:30 - 10:55
The Russel-Prawitz Modality
(
abstract
)(
postscript
)
Peter Aczel
11:00 - 11:25
Deep isomorphism of modal
derivations and lambda-terms
(
abstract
) (
postscript
)
Sergei Artemov
11:30 - 11:55
Extracting information from intermediate T-systems
(
abstract
) (
postscript
)
Mauro Ferrari,
Camillo Fiorentini
and
Pierangelo Miglioli
12:00 - 14:00
LUNCH - INFORMAL DISCUSSION
14:00 - 14:25
Order-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 Proofs
(
abstract
)(
postscript
)
Jean Goubault-Larrecq
14:30 - 14:55
A First Order Modal Logic and its Sheaf Models
(
abstract
)(
postscript
)
Barney Hilken,
David Rydeheard
15:00 - 15:25
A constructive approach to state description semantics
(
abstract
)(
postscript
)
Ruurik Holm
15:30 - 16:00
COFFEE BREAK
16:00 - 16:25
Logical Modalities and Multi-Stage Programming
(
abstract
)(
postscript
)
Zine El-Abidine Benaissa,
Eugenio Moggi
,
Walid Taha
,
Tim Sheard
16:30 - 16:55
Primitive Recursion for Higher Order Abstract Syntax with Dependent Types
(
abstract
)(
postscript
)
Joelle Despeyroux
,
Pierre Leleu
17:00 - 17:25
Proof Search in Lax Logic
(
abstract
)(
postscript
)
Jacob Howe
17:30 - 18:00
OPEN DISCUSSION
ProgramProgram
