ETAPS 2019 (series) /
Mooly FestETAPS 2019
Workshop will take place in the conference hotel on Saturday, April 6th.
Slides for all talks are available here: http://bit.ly/2UYsu1F
Talks
| Title | |
|---|---|
Sat 6 Apr
| 09:00 - 09:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Mooly SagivTel Aviv University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Alex AikenStanford University | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Thomas BallMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Neil ImmermanUniversity of Massachusetts, Amherst | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | G. RamalingamMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Nikolaj BjørnerMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Oded PadonStanford University | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Eran YahavTechnion | |||||||||||||||||||||||||||||||||||||||||
Important Dates AoE (UTC-12h)
| Sat 6 Apr 2019 Mooly Fest |
