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 |