CONCUR20: CONCUR 2020: 31ST INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
PROGRAM FOR WEDNESDAY, SEPTEMBER 2ND: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
12:00-13:00 Social Lunch and Test-of-Time Award (CET time)
13:00-13:25
J. Wagemaker, P. Brunet, S. Docherty, T. Kappé, J. Rot, A. Silva
13:25-13:50
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
13:50-14:15
L. Aceto, V. Castiglioni, A. Ingolfsdottir, B. Luttik, M.R. Pedersen
13:00-13:25
Krishnendu Chatterjee, Thomas Henzinger, Jan Otop
13:50-14:15
E.M. Hahn, M. Perez, S. Schewe, F. Somenzi, A. Trivedi, D. Wojtczak
14:15-14:45 Breakout (CET time)
14:45-15:10
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
15:10-15:35
Paolo Baldan, Barbara König, Tommaso Padoan
15:35-16:00
P. Bouyer, S. Le Roux, Y. Oualhadj, M. Randour, P. Vandenhove
14:45-15:10
Dmitry Chistikov, Stefan Kiefer, Andrzej Murawski, David Purser
15:10-15:35
Damien Busatto-Gaston, Debraj Chakraborty, Jean-Francois Raskin
15:35-16:00
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
16:00-16:30 Breakout (CET time)
16:30-17:30
Thomas A. Henzinger