IMLA 2005: Chicago

The Chicago version of IMLA was organized by  Frank Pfenning and myself. It was (or  perhaps, it felt) more computationally oriented than the previous two, possibly because of Frank Pfenning's influence. Here's the webpage for the workshop.

It was  very hot  in Chicago in June, 30th, 2005.

Preliminary Program:

All talks will be in the School of CTI, DePaul University, 243 South Wabash Ave. The room is TBA.
9:40		Opening Frank Pfenning, Carnegie Mellon University
9:45		INVITED TALK: Checking Properties of Pointer Programs David Walker, Princeton University
10:30		Coffee Break
11:00		A Modal Calculus for Named Control Effects Aleksandar Nanevski, Carnegie Mellon University
11:30		A Computational Interpretation of Classical S4 Modal Logic Chun-chieh Shan, Harvard University
12:00		A Term Calculus for Dual Intuitionistic Logic Gianluigi Bellin, University of Verona & QMW College, University of London
12:30		Lunch
14:00		INVITED TALK: Intuitionistic Modal Logic: observations from algebra and duality Yde Venema, University of Amsterdam
14:45		Labeling Sequents: motivations and applications Patrick Girard, Stanford University
15:15		On the inferential role semantics of modal logic Charles Stewart, Dresden University of Technology
15:30		Coffee Break
16:00		SPECIAL CONTRIBUTION: Gödel's Interpretation of Intuitionism William W. Tait, University of Chicago
16:45		Constructive Description Logics: work in progress Valeria de Paiva, PARC
17:00		End