https://richmodels.epfl.ch/ 2026-04-11T01:54:56+02:00 https://richmodels.epfl.ch/ https://richmodels.epfl.ch/lib/tpl/bootstrap3/images/favicon.ico text/html 2016-07-14T14:11:46+02:00 sysadmin https://richmodels.epfl.ch/start?rev=1468498306&do=diff [COST LOGO] Rich-Model Toolkit NEWS: Acta Informatica Special Issue About the Initiative This rich model toolkit initiative explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers. It includes participants from over text/html 2016-07-14T11:42:44+02:00 sysadmin https://richmodels.epfl.ch/test?rev=1468489364&do=diff Test latex: USER MAIL But also . Test VAr plugin: DATE USER Test bureaucracy: Test bureaucraty: text/html 2016-07-14T11:42:14+02:00 sysadmin https://richmodels.epfl.ch/test2?rev=1468489334&do=diff Test latex: End text/html 2014-09-17T11:03:45+02:00 cesar.sanchez https://richmodels.epfl.ch/malta13?rev=1410944625&do=diff Rich Model Toolkit COST Action Meeting, 16-17 June 2013 The workshop will be held in the Corinthia Palace Hotel, De Paule Avenue, San Anton. Participants will get special room rates - more information can be found in the Local Arrangements section. text/html 2014-09-17T11:01:49+02:00 cesar.sanchez https://richmodels.epfl.ch/?image=malta13-hermenegildo.pdf&ns=&rev=1410944509&tab_details=history&mediado=diff&do=media text/html 2014-05-07T22:48:52+02:00 vkuncak https://richmodels.epfl.ch/tallinn12?rev=1399495732&do=diff Richmodel Toolkit COST Action Meeting in Tallinn (SVARM 2012) Meeting of the Rich Model Toolkit COST Action IC0901, is organized in Tallinn, Estonia, right after ETAPS 2012, in coordination with the AIPA workshop. This is a two day meeting organized in coordination with AIPA where the first day 31st of March 2012 is mainly focusing on the Automation in Proof Assistants topics, while the second day is more focused also on the other IC0901 topics, including additional invited talks, contributed… text/html 2014-05-07T22:48:22+02:00 vkuncak https://richmodels.epfl.ch/?image=tallinn.pdf&ns=&rev=1399495702&tab_details=history&mediado=diff&do=media text/html 2014-01-13T15:48:19+02:00 cesar.sanchez https://richmodels.epfl.ch/acta_informatica_special_issue?rev=1389624499&do=diff Call For Articles: Acta Informatica Special Issue on COST Action Rich Model Toolkit Guest editors: Bernd Finkbeiner and Cesar Sanchez Submission deadline: 15-Jan-2014 31-Jan-2014 This special issue is devoted to the results obtained in the context of the COST Action Richmodel Toolkit IC0901 (see text/html 2013-11-11T07:59:57+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/madrid13?rev=1384153197&do=diff Final COST Action Meeting, Madrid, October 17-18, 2013 The workshop will be held at the IMDEA Software Institute in Madrid. There will be arrangements including transportation from a centric location near a hotel and special rates at the hotel. More information can be found in the Local Arrangements section. text/html 2013-11-11T07:59:39+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-tarmo-uustalu.pdf&ns=&rev=1384153179&tab_details=history&mediado=diff&do=media text/html 2013-10-30T14:27:40+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-pavle-subotic.pdf&ns=&rev=1383139660&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:33+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-willem-visser.ppt&ns=&rev=1382681013&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:27+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-gabriel-istrate.pdf&ns=&rev=1382681007&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:27+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-predrag-janicic.pdf&ns=&rev=1382681007&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:27+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-adam-rogalewicz.pdf&ns=&rev=1382681007&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:26+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-dana-drachsler.pdf&ns=&rev=1382681006&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:26+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-eivind-jahren.pdf&ns=&rev=1382681006&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:26+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-antti-hyvaerinen.pdf&ns=&rev=1382681006&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:03:19+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-grant-passmore.pdf&ns=&rev=1382680999&tab_details=history&mediado=diff&do=media text/html 2013-10-25T08:02:46+02:00 enric.rodriguez.carbonell https://richmodels.epfl.ch/?image=madrid13-slides-cesare-tinelli.pdf&ns=&rev=1382680966&tab_details=history&mediado=diff&do=media