This is an old revision of the document!

====== Richmodel Toolkit 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). ===== Registration ===== The **invited IC0901 participants** will be required to register and pay 40 Euros for two lunches through a Web based payment system (details will be provided here later). These fees can be later claimed from COST as lunch fees. For the invited IC0901 participants there will be no other registration fees, and **NO need to register to AIPA2012 through the ETAPS2012 system** for the two Workshop days. The participants who are **NOT invited IC0901 participants should register to AIPA2012 Workshop through the ETAPS2012 registration**, and pay the ETAPS fees for the two Workshop days. ====== Organizers ====== [[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.