Seminar: Advanced Automata Theory
Winter term 2016/17 in Braunschweig
During the winter term 2016/2017, the Institute of Theoretical Computer Science offers a seminar on Advanced Automata Theory, headed by Prof. Dr. Roland Meyer.
If you intend to participate, please apply for the seminar via the Stud.IP system.
Number of participants: We give topics to at most 12 students.
Target audience: Computer Science BA and MA students interested in Automata Theory.
Kick-Off Meeting: October 26, 16.00, Office of Prof. Dr. Meyer.
Entry in the list of lectures:
You can choose one out of several topics from the field of Automata Theory and you are asked to
Each seminar topic is assigned an advisor that you should contact in case you have questions.
There is a fixed meeting with your advisor scheduled two weeks before you hand in the seminar paper.
- write a seminar paper in English of 10 pages in lipics style, and
- prepare and give a talk of 30 minutes (including questions).
The content of the seminar are automata-theoretic models together with their algorithmic analyses.
(Additional information on Parikh's theorem should be provided.)
Well-structured transition systems
(Additional information on well-quasi orderings should be provided.)
(Additional information on lattices and fixed-point theorems should be provided.)
Storage and treewidth
(Additional information on tree width should be provided.)
Automatic structures and regular model checking
(Survey on regular model checking)
Higher order model checking and intersection types