ETAPS 2019 Mooly Fest

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Workshop will take place in the conference hotel — April 6th.

Speakers include: Patrick Cousot, Thomas Reps, Alex Aiken, Neil Immerman, Oded Padon, and more!

Please register to the MSWS event on the registration page.

	Title
	Calculational design of a static dependency analysis Patrick Cousot
	Concurrency Control Contract Composition G. Ramalingam
	Data Representation Synthesis: Past, Present and Future Alex Aiken
	Decidable Reasoning for Verification: How Far Can You EPR? Oded Padon
	Mooly: Mensch, Marathon, Method, Magic Thomas Ball
	Proofs and Counterexamples Neil Immerman
	The Dilemma of Shape Analysis Thomas Reps

No schedule or scheduled events are not visible yet, check back later

etaps-2019-Mooly-Fest	Not scheduled yet Talk	Mooly: Mensch, Marathon, Method, Magic	Thomas BallMicrosoft Research
etaps-2019-Mooly-Fest	Not scheduled yet Talk	Decidable Reasoning for Verification: How Far Can You EPR?	Oded PadonTel Aviv University
etaps-2019-Mooly-Fest	Not scheduled yet Talk	Data Representation Synthesis: Past, Present and Future	Alex AikenStanford University
etaps-2019-Mooly-Fest	Not scheduled yet Talk	Concurrency Control Contract Composition	G. RamalingamMicrosoft Research
etaps-2019-Mooly-Fest	Not scheduled yet Talk	Calculational design of a static dependency analysis	Patrick Cousot
etaps-2019-Mooly-Fest	Not scheduled yet Talk	The Dilemma of Shape Analysis	Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
etaps-2019-Mooly-Fest	Not scheduled yet Talk	Proofs and Counterexamples	Neil ImmermanUniversity of Massachusetts, Amherst