Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
tallinn12 [2012/03/10 14:55]
vkuncak
tallinn12 [2012/03/10 14:57]
vkuncak
Line 12: 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. 
  
-====== Organizers ​======+===== 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. [[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.
  
-===== Preliminary ​Program =====+=====Program ​======
  
 ** Sat 31.3 AIPA+SVARM ** ** Sat 31.3 AIPA+SVARM **
Line 80: 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 =====+====== Registration =====
  
 The **invited IC0901 participants** will be required to register and pay 40 Euros for two lunches The **invited IC0901 participants** will be required to register and pay 40 Euros for two lunches