Part of the CLAS 2022 |

Site Search

PROGRAM OF THE BASIC TRACK

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