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:56]
vkuncak
tallinn12 [2012/03/10 14:57]
vkuncak
Line 16: Line 16:
 [[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