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 discussion session and our usual MC meeting on 1st of April 2012.

The program includes invited talks (speakers to be announced).

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.

Keijo Heljanko and Hugo Herbelin are the program organizers and Tarmo Uustalu and Jaan Raik as local organizers on behalf of the IC0901 Action.