Valeria de Paiva
Valeria de Paiva
PARC, Palo Alto Research Center
Email: paiva at parc . com
Dr. Aleksandar Nanevski
Email: aleks at microsoft . com
Paper submission: April 25, 2008
Notification: May 23, 2008
Early registration: June 1, 2008
Final papers due: June 7, 2008
23 June 2008
24-27 June 2008
is handled centrally by CMU for all
All registrations include lunch, refreshment breaks and
wireless internet access for each day of attendance. You can book dorm
accommodation on campus with conference registration. In addition, LICS
CSF have also reserved blocks of rooms with local hotels.
- The deadline for early registration is 1 June 2008.
- The deadline for late online registration is
10 June 2008.
- After June 10 you must make special arrangements with
organizers to register on-site.
Intuitionistic Modal Logics and Applications Workshop
June 23, 2008
A Logic in Computer Science Conference affiliated
Theoretical and methodological issues center around the question of how
the proof-theoretic strengths of constructive logics can best be
combined with the model-theoretic strengths of modal logics.
Practical issues center around the question which modal connectives
associated laws or proof rules capture computational phenomena
accurately and at the right level of abstraction.
Constructive modal logics and type theories are of increasing
foundational and practical relevance in computer science. Applications
are in type disciplines for programming languages, and meta-logics for
reasoning about a variety of computational phenomena.
The workshop continues a series of previous LICS-affiliated
workshops, which were held as part of FLoC1999,
Trento, Italy, of FLoC2002, Copenhagen, Denmark and of LiCS2005, Chicago, USA.
9:30--10:30 Invited talk: Frank
Carnegie Mellon University, Pittsburgh, USA
10:30--11:00 Coffee break
11:00--12:30 Session 1
11:00--11:30 Kensuke Kojima and Atsushi Igarashi
On Constructive Linear-Time Temporal Logic
11:30--12:00 Rene Vestergaard, Pierre Lescanne and Hiroakira Ono
Constructive rationality implies backward induction for
12:00--12:30 Simon Kramer
Reducing Provability to Knowledge in Multi-Agent Systems
14:00--15:00 Invited talk: Torben
"From classical to intuitionistic hybrid logic",
15:00--15:30 Neelakantan Krishnaswami
A Modal Sequent Calculus for Propositional Separation
16:00--17:30 Session 2
15:00--16:30 Didier Galmiche and Yakoub Salhi
Calculi for an Intuitionistic Hybrid Modal Logic
16:30--17:00 Kurt Ranalter
Two-sequent K and simple fibrations
17:00--17:30 Deepak Garg
Principal-Centric Reasoning in Constructive Authorization
17:30--18:00 Closing remarks/ Discussion
For a version of schedule easier to print, click here.
is planned to publish workshop proceedings as Electronic Notes in
Theoretical Computer Science (ENTCS) or in CEURS, to be decided.
Authors please use the generic ENTCS macro package at
We strongly prefer papers under 10 pages long, excluding
submit (final versions) using EasyChair: