The logo of ICE-TCS is courtesy of Emilka Bojanczyk.

ICE-TCS Workshop on Logic and Concurrency


15 September 2010, Reykjavik, Iceland

Room M1.15, Reykjavik University, Menntavegur 1

Organizers: Joshua Sack, Luca Aceto and Anna Ingolfsdottir

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

Please send comments and bug reports to Joshua Sack.