| Program | Monday, 22/06/2009 | Tuesday, 23/06/2009 | Wed, 24/06/2009 | Thursday, 25/06/2009 | Friday, 26/06/2009 |
| 08:30h – 09:00h | Registration | ||||
| 09:00h – 09:30h | Opening | Introduction
to Tree Automata Hitoshi Ohsaki (Osaka - Japan) |
Traditional and non
Traditional Typed
λ-calculi Fairouz Kamareddine (Edinburgh – Scotland) |
Traditional and non
Traditional Typed
λ-calculi Fairouz Kamareddine (Edinburgh – Scotland) |
Traditional and non
Traditional Typed
λ-calculi Fairouz Kamareddine (Edinburgh – Scotland) |
| 09:30h – 10:00h | Introduction to Term
Rewriting Franz Baader (Dresden – Germany) |
||||
| 10:00h – 10:30h | |||||
| 10:30h – 11:00h | Coffee-Break | Coffee-Break | Coffee-Break | Coffee-Break | Coffee-Break |
| 11:00h – 11:30h | Introduction to Term
Rewriting Franz Baader (Dresden – Germany) |
Introduction
to Tree Automata Hitoshi Ohsaki (Osaka - Japan) |
Traditional and non
Traditional Typed
λ-calculi Fairouz Kamareddine (Edinburgh – Scotland) |
||
| 11:30h – 12:00h | |||||
| 12:00h – 12:30h | |||||
| 12:30h – 14:30h | Lunch | Lunch | Lunch | Lunch | Lunch |
| 14:30h – 15:00h | Introduction to Term
Rewriting Franz Baader (Dresden – Germany) |
Excursion | |||
| 15:00h – 15:30h | |||||
| 15:30h – 16:00h | |||||
| 16:00h – 16:30h | |||||
| 16:30h – 17:00h | Coffee-Break | ||||
| 17:00h – 17:30h | Introduction to Term
Rewriting Franz Baader (Dresden – Germany) |
||||
| 17:30h – 18:00h | |||||
| 18:00h – 18:30h |
| Program | Monday, 22/06/2009 | Tuesday, 23/06/2009 | Wed, 24/06/2009 | Thursday, 25/06/2009 | Friday, 26/06/2009 |
| 08:30h – 09:00h | Registration | ||||
| 09:00h – 09:30h | Opening | Conditional
Rewriting
Bernhard Gramlich (Wien – Austria) |
Equational
Tree
Automata Hitoshi Ohsaki (Osaka - Japan) |
Nominal
Rewriting Maribel Fernandez (London - UK) |
Nominal
Rewriting Maribel Fernandez (London - UK) |
| 09:30h – 10:00h | Advanced Topics in
Termination
Aart Middeldorp (Innsbruck – Austria) |
||||
| 10:00h – 10:30h | |||||
| 10:30h – 11:00h | Coffee-Break | Coffee-Break | Coffee-Break | Coffee-Break | Coffee-Break |
| 11:00h – 11:30h | Conditional
Rewriting
Bernhard Gramlich (Wien – Austria) |
Advanced Topics in
Termination
Aart Middeldorp (Innsbruck – Austria) |
Equational
Tree
Automata Hitoshi Ohsaki (Osaka - Japan) |
Higher-Order Rewriting with
Resources Delia Kesner (Paris - France) |
Higher-Order Rewriting with
Resources Delia Kesner (Paris - France) |
| 11:30h – 12:00h | |||||
| 12:00h – 12:30h | |||||
| 12:30h – 14:30h | Lunch | Lunch | Lunch | Lunch | Lunch |
| 14:30h – 15:00h |
Extensions of Typed λ-calculi with Applications in
Logic, Programming Languages and Formalisation of
Mathematics Fairouz Kamareddine (Edinburgh – Scotland) |
Extensions of Typed λ-calculi with Applications in
Logic, Programming Languages and Formalisation of
Mathematics Fairouz Kamareddine (Edinburgh – Scotland) |
Excursion | Advanced Topics in
Termination
Aart Middeldorp (Innsbruck – Austria) |
Advanced Topics in
Termination
Aart Middeldorp (Innsbruck – Austria) |
| 15:00h – 15:30h | |||||
| 15:30h – 16:00h |
Extensions of Typed λ-calculi with Applications in
Logic, Programming Languages and Formalisation of
Mathematics Fairouz Kamareddine (Edinburgh – Scotland) |
Extensions of Typed λ-calculi with Applications in
Logic, Programming Languages and Formalisation of
Mathematics Fairouz Kamareddine (Edinburgh – Scotland) |
Conditional
Rewriting
Bernhard Gramlich (Wien – Austria) |
Conditional
Rewriting
Bernhard Gramlich (Wien – Austria) |
|
| 16:00h – 16:30h | |||||
| 16:30h – 17:00h | Coffee-Break | Coffee-Break | Coffee-Break | Coffee-Break | |
| 17:00h – 17:30h | Parametric
Lambda Calculus Luca Paolini (Torino - Italy) |
Parametric
Lambda Calculus Luca Paolini (Torino - Italy) |
Parametric
Lambda Calculus Luca Paolini (Torino - Italy) |
Parametric
Lambda Calculus Luca Paolini (Torino - Italy) |
|
| 17:30h – 18:00h | |||||
| 18:00h – 18:30h |