703352 VU Advanced Topics in Logic and Learning A: Selected Topics in Term Rewriting
summer semester 2023 | Last update: 02.05.2023 | Place course on memo list703352
VU Advanced Topics in Logic and Learning A: Selected Topics in Term Rewriting
VU 3
5
weekly
every 2nd year
English
Students who have completed this course will have a thorough understanding of term rewriting. They are prepared to further develop term rewriting with independent research contributions.
The course will cover advanced and current developments in term rewriting:
- conditional term rewriting
- proof terms
- context-sensitive rewriting
- confluence criteria
- …
Continuous assessment (based on regular written and/or oral contribution by participants).
Continuous assessment based on regular written and oral contributions. An optional written test is offered at the end of the course.
Extensive slides. Accompanying literature will be linked from the course website.
Familiarity with the basics of term rewriting (as thought in the bachelor course on Term Rewriting).
see dates
- Faculty of Mathematics, Computer Science and Physics
- "Doctor of Philosophy" - Doctor of Philosophy Programme Computer Sciences according to the Curriculum 2009 (180 ECTS-Credits, 6 semesters)
- Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)
- Interdisciplinary and additional courses
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2023-03-06
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-03-13
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-03-20
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-03-27
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-04-17
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-04-24
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-05-08
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-05-15
|
12.15 - 14.45 | rr 18 rr 18 | Barrier-free | |
|
Mon 2023-05-22
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-06-05
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-06-12
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-06-19
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Mon 2023-06-26
|
12.15 - 15.00 | 3W03 3W03 | Barrier-free | |