16th International Workshop on
Expressiveness in Concurrency
Saturday, September 5th, 2009
Bologna (Italy)
Affiliated with CONCUR 2009
[ Home]
Last modified: Thu Jul 21 12:23:59 CEST 2009

EXPRESS '09 -- Programme

9.00-10.00: Invited talk:
Samson Abramsky.
"Definability and Semantic (Non)-Expressiveness"
10.00-10.30: Maciej Gazda and Wan Fokkink
"Modal Characterizations and the Approximation Induction Principle in Process Algebra"
10.30-11.00: Coffee break
11.00-11.30: Joshua Guttman
"Security Theorems via Model Theory"
11.30-12.00 Luca Aceto, Anna Ingolfsdottir and Joshua Sack
"Characteristic Formulae for Fixed-Point Semantics: A General Framework"
12.00-12.30 Edgar Daylight, Sandeep Shukla and Davide Sergio
"Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic"
12.30-14.00: Lunch
14.00-15.00: Invited talk:
Davide Sangiorgi
"Termination in higher-order concurrent languages"
15.00-15.30: Matteo Cimini, Claudio Sacerdoti Coen and Davide Sangiorgi
"lambdabarmumutilde calculus, pi-calculus, and abstract machines"
15.30-16.00: Coffee break
16.00-16.30: Katrin Iltgen and Walter Vogler
"Robustness of a bisimulation-type faster-than preorder"
16.30-17.00: Tomáš Babiak, Vojtech Rehak and Jan Strejcek
"Almost Linear Büchi Automata"
17.00-18.00: Meeting of the Steering Committee

webadmin of this site: gorla "at" di dot uniroma1 dot it