LARA: Laboratory for Automated Reasoning and Analysis lugano https://lara.epfl.ch/w/ 2026-07-02T00:10:32+0200 LARA: Laboratory for Automated Reasoning and Analysis https://lara.epfl.ch/w/ https://lara.epfl.ch/w/lib/tpl/epflv2/images/favicon.ico text/html 2010-10-28T11:31:33+0200 Anonymous (anonymous@undisclosed.example.com) lugano:program https://lara.epfl.ch/w/lugano/program?rev=1288258293&do=diff Program of AVM / COST Meeting in Lugano At the University in Lugano, collocated with FMCAD 2010. Click Here for More Background [AVM / COST Meeting in Lugano 2010] Like FMCAD, the event takes place in the Aula Magna convention hall of the University of Lugano. Monday, October 18, 2010 08:15 REGISTRATION in front of the conference hall 09:00 (15min) Viktor Kuncak: Welcome and Opening 09:00 (45min)