Part of the CLAS 2022 |
TIME | Mon, 19/09/2022 | Tue, 20/09/2022 | Wed, 21/09/2022 | Thu, 22/09/2022 | Fri, 23/09/2022 | Sat, 24/09/2022 |
08:00-09:00 | Registration | |||||
09:00-10:30 | Lecture on rewriting theory | Lecture on rewriting theory | Lecture on rewriting theory | Exercises on rewriting theory | Lecture on rewriting theory | Exercises on rewriting theory |
10:30-11:00 | Coffee break | Coffee break | Excursion & Dinner | Coffee break | Coffee break | Coffee break |
11:00-12:30 | Lecture on rewriting theory | Lecture on rewriting theory | Lecture on rewriting theory | Lecture on rewriting theory | Lecture on rewriting theory | |
12:30-14:00 | Lunch | Lunch | Lunch | Lunch | Lunch | |
14:00-15:30 | Lecture on rewriting theory | Exercises on rewriting theory | Lecture on rewriting theory | Lambda Calculus | Lambda Calculus | |
15:30-16:00 | Coffee break | Coffee break | Coffee break | Coffee break | Coffee break | |
16:00-17:30 | Exercises on rewriting theory | Lecture on rewriting theory | Exercises on rewriting theory | Lambda Calculus | Lambda Calculus |