703771 Selected Topics in Term Rewriting

winter semester 2013/2014 | Last update: 11.06.2014 Place course on memo list
Department of Computer Science Department of Computer Science
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703771
Selected Topics in Term Rewriting
VO 2
4
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:

  • advanced confluence techniques
  • advanced termination techniques
  • complexity results
  • conditional rewriting
  • Gröbner bases
  • infinitary rewriting
  • modern completion techniques
  • modularity

Lecture, assessment is based on a single examination at the end of the course.

written exam

course notes will be made available from the accompanying web site

familiarity with the basics of term rewriting

The course is taught in English.

http://cl-informatik.uibk.ac.at/teaching/ws13/sttr/
14.10.2013
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2013-10-14
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-10-21
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-10-28
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-11-04
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-11-11
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-11-18
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-11-25
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-12-02
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-12-09
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2013-12-16
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2014-01-13
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2014-01-20
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2014-01-27
 14.45 - 16.30 3W04 3W04 Barrier-free
Mon 2014-02-03
 14.45 - 16.30 3W04 3W04 Barrier-free