Sunday, August 25, 2013

IMLA 2008: Pittsburgh

Sadly this LICS was the last time I saw John Reynolds, a very nice person as well as a great fore founder of our discipline.

Here's the very colourful program of IMLA, reproduced in B&W below:

MONDAY JUNE 23 IMLA Workshop Steinberg Auditorium, Baker Hall A53
8:30-9:30 Registration
10:00-10:45 Invited Talk: Frank Pfenning
10:45-11:00 Break
11:00-11:30 Kensuke Kojima, Atsushi Igarashi:
On Constructive Linear-Time Logic
11:30-12:00 Rene Vestergaard, Pierre Lescanne, Hiroakira Ono: Constructive rationality implies backward induction for conscientious players
12:00-12:30 Simon Kramer: Reducing Provability to Knowledge in Multi-Agent Systems
12:30-2:00 Lunch
2:00-3:00 Invited Talk: Torben Brauner
3:00-3:30 Neelakantan Krishnaswami: A Modal Sequent Calculus for Propositional Separation Logic
3:30-4:00 Break
4:00-4:30 Didier Galmiche, Yakoub Salhi: Calculi for an Intuitionistic Hybrid Modal Logic
4:30-5:00 Kurt Ranalter: Two-sequent K and simple fibrations
5:00-5:30 Deepak Garg: Principal-centric Reasoning in Constructive Authorization Logic

No comments:

Post a Comment