https://richmodels.epfl.ch/ 2026-04-05T14:57:26+02:00 https://richmodels.epfl.ch/ https://richmodels.epfl.ch/lib/tpl/bootstrap3/images/favicon.ico text/html 2010-07-13T16:57:55+02:00 https://richmodels.epfl.ch/svarm:mcagenda?rev=1279033075&do=diff Management Committee Meeting of Action IC0901, Edinbirgh, July 20, 2010 [Draft Agenda Following COST Office Template] * [doc version] text/html 2010-09-06T00:02:15+02:00 https://richmodels.epfl.ch/svarm:program?rev=1283724135&do=diff Synthesis, Verification, and Analysis of Rich Models (SVARM 2010) [Program in PDF Format] We are pleased to announce the program of SVARM 2010, joint with PSY and a shared EMSQMS panel. The program includes a number of invited talks as well as well as contributed presentations. SVARM is affiliated with text/html 2010-07-12T16:37:00+02:00 https://richmodels.epfl.ch/svarm:program1?rev=1278945420&do=diff text/html 2010-05-02T19:51:14+02:00 https://richmodels.epfl.ch/svarm:program2?rev=1272822674&do=diff Synthesis, Verification, and Analysis of Rich Models (SVARM 2010) Preliminary Program of SVARM Day 1: Synthesis and Infrastructure 09:00 (PSY) Ras Bodik 09:30 (PSY) Kim Larsen 10:00 - 10:30 Coffee Break 10:30 Alexander Rabinovich: Extensions of the Church synthesis Problem