Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
tallinn12 [2012/01/19 22:09] keijo.heljanko |
tallinn12 [2014/05/07 22:48] (current) vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Richmodel Toolkit COST Action Meeting in Tallinn, 2012 ====== | + | ====== Richmodel Toolkit COST Action Meeting in Tallinn (SVARM 2012) ====== |
| Meeting of the [[http://richmodels.epfl.ch|Rich Model Toolkit]] COST Action IC0901, is organized in Tallinn, Estonia, | Meeting of the [[http://richmodels.epfl.ch|Rich Model Toolkit]] COST Action IC0901, is organized in Tallinn, Estonia, | ||
| Line 8: | Line 8: | ||
| additional invited talks, contributed talks from IC0901 Action participants, and informal technical discussion session and our usual MC meeting on 1st of April 2012. | additional invited talks, contributed talks from IC0901 Action participants, and informal technical discussion session and our usual MC meeting on 1st of April 2012. | ||
| - | ===== Call for Technical Contributions ===== | + | ===== Venue ===== |
| + | |||
| + | Campus of the Tallinn University of Technology, the building of the Tallinn School of Economics and Business Administration, Akadeemia tee 3. | ||
| + | |||
| + | ===== Organizers ===== | ||
| + | |||
| + | [[http://users.ics.tkk.fi/~kepa|Keijo Heljanko]] and [[http://yquem.inria.fr/~herbelin/index-eng.html|Hugo Herbelin]] are the program organizers. [[http://cs.ioc.ee/~tarmo/|Tarmo Uustalu]] and [[http://ati.ttu.ee/~jaan/|Jaan Raik]] as local organizers on behalf of the IC0901 Action. | ||
| + | |||
| + | ====== Program ====== | ||
| + | |||
| + | {{:tallinn.pdf|Archived PDF Page}}; original link: [[http://pauillac.inria.fr/~herbelin/aipa2012/program.html|Link to the AIPA+SVARM joint program page | ||
| + | ]] | ||
| + | |||
| + | ====== Registration ===== | ||
| + | |||
| + | The **invited IC0901 participants** will be required to register and pay 40 Euros for two lunches | ||
| + | and coffees by **9th of March 2012** through a Web based payment system provided by the local organizers: | ||
| + | |||
| + | [[https://purchase.ioc.ee/svarm12/|SVARM12 Electronic Payment of Lunch Fees]] | ||
| + | |||
| + | 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. | ||
| + | |||
| + | |||
| + | ===== (EXPIRED) Call for Technical Contributions ===== | ||
| We are planning to have a program including: | We are planning to have a program including: | ||
| - | * contributed talks from Action participants | + | * contributed talks from Action participants |
| - | * invited talks | + | * invited talks from: Chad E. Brown, Jean-Christophe Filliâtre, Jasmin Blanchette, and Serdar Tasiran |
| - | * informal technical discussion sessions | + | * informal technical discussion sessions |
| - | * our usual MC meeting | + | * our usual MC meeting |
| An informal technical discussion session is meant to be an opportunity | An informal technical discussion session is meant to be an opportunity | ||
| Line 30: | Line 58: | ||
| (A) If you wish to give a talk, please send title and abstract. | (A) If you wish to give a talk, please send title and abstract. | ||
| + | Optionally: Mention if you would prefer to be on the first day which | ||
| + | is mainly focused on topics related to Automation in Proof Assistants. | ||
| (B) If you wish to propose a topic for a technical discussion session, | (B) If you wish to propose a topic for a technical discussion session, | ||
| Line 36: | Line 66: | ||
| co-chair, or one of us may co-chair with you, if need be. | co-chair, or one of us may co-chair with you, if need be. | ||
| - | (Deadlines and submission details to be added.) | + | Please send both kinds of contributions ((A) and (B)) to both addresses |
| - | + | <keijo.heljanko@aalto.fi> and <hugo.herbelin@inria.fr> at your | |
| - | ===== Registration ===== | + | earliest convenience, but no later than |
| - | + | ||
| - | 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 ====== | + | March 1, 2012 |
| - | [[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. | + | (This deadline is for finalizing the technical program; COST invitations |
| + | are generated automatically for MC members and you'll receive one sooner.) | ||