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/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 |