ICE-TCS Workshop on Logic and Concurrency

Programme

15 September 2010, Reykjavik, Iceland

Room M1.15, Reykjavik University, Menntavegur 1

9:20 - 9:30 Welcome

9:30 - 10:15 Bryan Renne (Faculty of Philosophy, University of Groningen, NL)

Multi-Agent Justification Logic: Communication and Evidence Elimination [Slides (PDF)]

10:15 - 11:00 Joshua Sack (School of Computer Science, Reykjavik University)

Logic for Probability, Belief, and Change [Slides (PDF)]

11:00 - 11:15 Coffee break

11:15 - 12:00 Ignacio Fabregas Alfaro (Universidad Complutense de Madrid, Spain)

Logics for Contravariant Simulations [Slides (PDF)]

12:00 - 14:00 Lunch break

14:00 - 14:45 Francois Laroussinie (LIAFA, Paris Diderot, France)

Counting Temporal Logics [Slides (PDF)]

14:45 - 15:30 Miguel Palomino Tarjuelo (Universidad Complutense de Madrid, Spain)

Non-Strongly Stable Orders and Simulation Relations [Slides (PDF)]

15:30 - 16:00 Coffee break

The workshop is partly supported by

grant T10003 from Reykjavik University's Development Fund,
the project Processes and Modal Logics (project nr. 100048021) of the Icelandic Fund for Research,
the Jules Verne French-Icelandic cooperation project Algorithms and Formal Methods for Distributed Computing (RAN091009-2269) and
the Abel Extraordinary Chair programme of the NILS mobility project.

Please send comments and bug reports to Joshua Sack.