This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

====== COST Action Meeting in Tallinn, 2012 ====== Meeting of the [[http://richmodels.epfl.ch|Rich Model Toolkit]] COST Action IC0901, is organized in Tallinn, Estonia, right after [[http://www.etaps.org/|ETAPS 2012]], in coordination with the [[http://pauillac.inria.fr/~herbelin/aipa2012/index.html|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 discussion session and our usual MC meeting on 1st of April 2012. The program includes invited talks (speakers to be announced). [[http://users.ics.tkk.fi/~kepa|Keijo Heljanko]] and [[http://yquem.inria.fr/~herbelin/index-eng.html|Hugo Herbelin]] are the program organizers and [[http://cs.ioc.ee/~tarmo/|Tarmo Uustalu]] and [[http://ati.ttu.ee/~jaan/|Jaan Raik]] as local organizers on behalf of the IC0901 Action.