Differences

This shows you the differences between two versions of the page.

--- 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
 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 =====
@@ 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.
-===== 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 **
@@ Line 136: / Line 80: @@
   * 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.)