http://richmodels.epfl.ch/ 2012-05-17T00:38:58+02:00 http://richmodels.epfl.ch/ http://richmodels.epfl.ch/lib/images/favicon.ico text/html 2012-04-01T12:51:45+02:00 Enric Rodriguez Carbonell http://richmodels.epfl.ch/start?rev=1333277505&do=diff [COST LOGO] 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 20 countries, over 50 research groups. The unifying idea of rich models is to explore precise mathematical and … text/html 2012-04-01T08:41:10+02:00 Viktor Kuncak http://richmodels.epfl.ch/manchester12?rev=1333262470&do=diff This meeting of the Rich Model Toolkit COST Action meeting is organized by Viktor Kuncak in collaboration with the VERIFY workshop and is collocated with IJCAR 2012 and part of the 2012 Alan Turing year celebration. The joint workshop will take place on June 30th and July 1st. text/html 2012-03-14T23:57:21+02:00 Keijo Heljanko http://richmodels.epfl.ch/tallinn12?rev=1331765841&do=diff 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 talks from IC0901 Action participants, and informal technical …