ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Mooly Fest /

Proofs and Counterexamples

ETAPS 2019 Mooly Fest
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.

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 Immerman University of Massachusetts, Amherst
14:30
30m
Talk
Concurrency Control Contract Composition
Mooly Fest
G. Ramalingam Microsoft Research
15:00
30m
Talk
Special Relations for Special Relationships
Mooly Fest
Nikolaj Bjørner Microsoft Research
Neil Immerman

Neil Immerman

University of Massachusetts, Amherst