Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameJUPITER
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

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

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
JUPITER