% programme.txt -*- text -*-
% Version of 01 October 2009, 10:45

----------

Saturday 3 October 2009

09h30-10h00: Coffee and tea.

10h00-10h45: - Presentation of the Symposium and practical details
             - Erik Meineche Schmidt, Aarhus University
             - Marco Carbone, Frank Valencia and Pawel Sobocinski
10h45-11h15: Talk #1
             Gudmund S. Frandsen, Aarhus University:
             "A Singular Choice for Multiple Choice"
11h15-11h45: Talk #2
             Glynn Winskel, Cambridge University:
             "Primes, presheaves and (co)reflections"

11h45-13h15: lunch

13h15-13h45: Talk #3
             P.S. Thiagarajan, National University of Singapore:
             "Probabilistic Approximations of Signaling Pathways Dynamics"
13h45-14h15: Talk #4
             Robin Milner, University of Cambridge and University of Edinburgh:
             "What is a Process?"

14h15-14h45: break

14h45-15h15: Talk #5
             Ulrich Kohlenbach, University of Darmstadt:
             "Applied Proof Theory"
15h15-15h45: Talk #6
             Peter Mosses, Swansea University:
             "On Bisimulation and Modularity"

15h45-16h15: break

16h15-16h45: Talk #7
             Pawel Sobocinski, University of Southampton:
             "The Wire Calculus"
16h45-17h15: Talk #8
             Luca Aceto, Reykjavik University:
             "Characteristic Formulae for Fixed-Point Semantics:
              A General Framework"
17h15-17h45: Talk #9
             Henrik Reif Andersen, Configit A/S, Copenhagen:
             "Interactive Configuration Problems"

18h30-22h30: dinner

----------

Sunday 4 October 2009

10h00-10h30: Talk #1
             Madhavan Mukund, Chennai Mathematical Institute:
             "Specifying Interacting Components
              with Coordinated Concurrent Scenarios"
10h30-11h00: Talk #2
             Jooyong Lee, Kansas State University:
             "Efficient Symbolic Execution Algorithms
              for Programs Manipulating Dynamic Heap Objects and Contracts"

11h00-11h30: break

11h30-12h00: Talk #3
             Christian Damsgaard Jensen, Technical University of Denmark:
             "The Role of Trust in Computer Security"
12h00-12h30: Talk #4
             Vladimiro Sassone, University of Southampton:
             "Exponential Decay in Probabilistic Trust Models"

12h30-13h30: lunch

13h30-14h00: Talk #5
             Julian Bradfield, University of Edinburgh:
             "Model-checking Games for Fixpoint Logics
              with Partial Order Models"
14h00-14h30: Talk #6
             Nikola Benes and Jan Kretinsky, Masaryk University, Brno
             Kim G. Larsen and Jiri Srba, Aalborg University:
             "On Determinism in Modal Transition Systems"
14h30-15h00: Talk #7
             Martin Lange, University of Munich:
             "Extended Computation Tree Logic"

15h00-15h30: break

15h30-16h00: Closing talk: Mogens Nielsen

----------

end of programme.txt