Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
tallinn12 [2012/03/10 14:56] vkuncak |
tallinn12 [2012/03/10 14:57] vkuncak |
||
|---|---|---|---|
| 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 | ||