Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tallinn12 [2012/03/09 23:38] keijo.heljanko |
tallinn12 [2012/03/10 14:57] vkuncak |
||
---|---|---|---|
Line 7: | Line 7: | ||
Automation in Proof Assistants topics, while the second day is more focused also on the other IC0901 topics, including | 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. | additional invited talks, contributed talks from IC0901 Action participants, and informal technical discussion session and our usual MC meeting on 1st of April 2012. | ||
- | |||
- | **Speakers will include, among others: Jean-Christophe Filliātre, Jasmin Blanchette, Chad E. Brown, Serdar Tasiran** | ||
- | |||
- | COST Management Committee Meeting will start on Sunday, April 1st, at **11:00** (NOTE THE TIME CHANGE) | ||
- | |||
- | ===== Call for Technical Contributions ===== | ||
- | |||
- | We are planning to have a program including: | ||
- | * contributed talks from Action participants | ||
- | * invited talks from: Chad E. Brown, Jean-Christophe Filliâtre, Jasmin Blanchette, and Serdar Tasiran | ||
- | * informal technical discussion sessions | ||
- | * our usual MC meeting | ||
- | |||
- | An informal technical discussion session is meant to be an opportunity | ||
- | to bring up and discuss a topic that is important for our research | ||
- | area, and perceived to be key for the success of our Action. The | ||
- | intention is to encourage us to have some form of technical | ||
- | interaction beyond talks. As examples of such discussions, one may | ||
- | think of technical discussion sessions at project meetings, or | ||
- | technical discussion session at workshops such as SMT, where there is | ||
- | usually such a session on SMT-LIB/SMT-COMP. | ||
- | |||
- | In order to assemble a program, we need to hear from you! | ||
- | |||
- | Therefore: | ||
- | |||
- | (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, | ||
- | please send title and paragraph of motivation, and be prepared to chair, | ||
- | or co-chair, the session you propose. We may help you to find a | ||
- | co-chair, or one of us may co-chair with you, if need be. | ||
- | |||
- | Please send both kinds of contributions ((A) and (B)) to both addresses | ||
- | <keijo.heljanko@aalto.fi> and <hugo.herbelin@inria.fr> at your | ||
- | earliest convenience, but no later than | ||
- | |||
- | March 1, 2012 | ||
- | |||
- | (This deadline is for finalizing the technical program; COST invitations | ||
- | are generated automatically for MC members and you'll receive one sooner.) | ||
- | |||
- | ===== 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. | ||
===== Venue ===== | ===== Venue ===== | ||
Line 69: | Line 12: | ||
Campus of the Tallinn University of Technology, the building of the Tallinn School of Economics and Business Administration, Akadeemia tee 3. | Campus of the Tallinn University of Technology, the building of the Tallinn School of Economics and Business Administration, Akadeemia tee 3. | ||
- | ===== Program ===== | + | ===== Organizers ===== |
- | Preliminary Program | + | [[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 ====== | ||
** Sat 31.3 AIPA+SVARM ** | ** Sat 31.3 AIPA+SVARM ** | ||
Line 136: | Line 80: | ||
* 16:00-16:30 Pierre Boutillier (Heterogeneous-equality-free compilation of dependent pattern-matching) | * 16:00-16:30 Pierre Boutillier (Heterogeneous-equality-free compilation of dependent pattern-matching) | ||
+ | ====== Registration ===== | ||
- | ====== Organizers ====== | + | 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]] | ||
- | [[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. | + | 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: | ||
+ | * contributed talks from Action participants | ||
+ | * invited talks from: Chad E. Brown, Jean-Christophe Filliâtre, Jasmin Blanchette, and Serdar Tasiran | ||
+ | * informal technical discussion sessions | ||
+ | * our usual MC meeting | ||
+ | |||
+ | An informal technical discussion session is meant to be an opportunity | ||
+ | to bring up and discuss a topic that is important for our research | ||
+ | area, and perceived to be key for the success of our Action. The | ||
+ | intention is to encourage us to have some form of technical | ||
+ | interaction beyond talks. As examples of such discussions, one may | ||
+ | think of technical discussion sessions at project meetings, or | ||
+ | technical discussion session at workshops such as SMT, where there is | ||
+ | usually such a session on SMT-LIB/SMT-COMP. | ||
+ | |||
+ | In order to assemble a program, we need to hear from you! | ||
+ | |||
+ | Therefore: | ||
+ | |||
+ | (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, | ||
+ | please send title and paragraph of motivation, and be prepared to chair, | ||
+ | or co-chair, the session you propose. We may help you to find a | ||
+ | co-chair, or one of us may co-chair with you, if need be. | ||
+ | |||
+ | Please send both kinds of contributions ((A) and (B)) to both addresses | ||
+ | <keijo.heljanko@aalto.fi> and <hugo.herbelin@inria.fr> at your | ||
+ | earliest convenience, but no later than | ||
+ | |||
+ | March 1, 2012 | ||
+ | |||
+ | (This deadline is for finalizing the technical program; COST invitations | ||
+ | are generated automatically for MC members and you'll receive one sooner.) | ||