Tue 14 Jun 2022 15:30 - 16:00 at Cockatoo - Tuesday Evening

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
Tuesday EveningCommute at Cockatoo
15:30
30m
Talk
Testing Distributed Protocols using Communication Closure
Commute
Constantin Enea Ecole Polytechnique / LIX / CNRS
16:00
10m
Live Q&A
Discussion
Commute

16:10
30m
Talk
Pretend synchrony: synchronous verification of asynchronous distributed programs
Commute
Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands
16:40
10m
Live Q&A
Discussion
Commute

16:50
10m
Day closing
Closing Remarks & Business Meeting
Commute
Eric Koskinen Stevens Institute of Technology, Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS