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

Instantiation based reasoning for Effectively Propositional Reasoning has been unreasonably effective to classify decidable fragments for pointer manipulating programs and network protocols. Nevertheless, even transitive binary relations pose obstacles to scalability. As a special birthday feature for Mooly, I introduce native support in Z3 for a class of special relations, that capture several classes of binary relations with space-and-time efficient decision procedures.

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