ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 16:00 - 18:00 at S5 - 25 Years TACAS

Moore’s law undoubtedly indicates impressive measurable success at the hardware front with enormous impact also at the software side: The impact of most analysis and verification tools strongly relies on today’s hardware performance. The panel will discuss means to support, measure, and exploit progress in tool development, their effectiveness, and their futures potential. The goal is to shape a sustainable research agenda for post-Moore’s law era.

Sun 7 Apr

16:00 - 18:00: TOOLympics - 25 Years TACAS at S5
etaps-2019-TOOLympics16:00 - 18:00
Marieke HuismanUniversity of Twente, Rance CleavelandUniversity of Maryland, Holger HermannsSaarland University, Kim LarsenAalborg University, Bernhard SteffenTechnical University Dortmund, Hubert Garavel