ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Sat 6 Apr

etaps-2019-Mooly-Fest
09:00 - 10:00: Mooly Fest - Morning A at JUPITER
etaps-2019-Mooly-Fest09:00 - 09:30
Talk
etaps-2019-Mooly-Fest09:30 - 10:00
Talk
Mooly SagivTel Aviv University
etaps-2019-Mooly-Fest
10:30 - 12:00: Mooly Fest - Morning B at JUPITER
etaps-2019-Mooly-Fest10:30 - 11:00
Talk
Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
etaps-2019-Mooly-Fest11:00 - 11:30
Talk
Alex AikenStanford University
etaps-2019-Mooly-Fest11:30 - 12:00
Talk
Thomas BallMicrosoft Research
etaps-2019-Mooly-Fest
14:00 - 15:30: Mooly Fest - Afternoon A at JUPITER
etaps-2019-Mooly-Fest14:00 - 14:30
Talk
Neil ImmermanUniversity of Massachusetts, Amherst
etaps-2019-Mooly-Fest14:30 - 15:00
Talk
G. RamalingamMicrosoft Research
etaps-2019-Mooly-Fest15:00 - 15:30
Talk
Nikolaj BjørnerMicrosoft Research
etaps-2019-Mooly-Fest
16:00 - 17:00: Mooly Fest - Afternoon B at JUPITER
etaps-2019-Mooly-Fest16:00 - 16:30
Talk
Oded PadonStanford University
etaps-2019-Mooly-Fest16:30 - 17:00
Talk
Eran YahavTechnion