ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 14:00 - 14:30 at JUPITER - Afternoon A

I’ll talk about work with and inspired by Mooly related to automatically checking the correctness of programs and conjectures.

Conference Day
Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Afternoon AMooly Fest at JUPITER
14:00
30m
Talk
Proofs and Counterexamples
Mooly Fest
Neil ImmermanUniversity of Massachusetts, Amherst
14:30
30m
Talk
Concurrency Control Contract Composition
Mooly Fest
G. RamalingamMicrosoft Research
15:00
30m
Talk
Special Relations for Special Relationships
Mooly Fest
Nikolaj BjørnerMicrosoft Research