Seminar: Advanced Automata Theory
Winter term 2016/17 in Braunschweig
Organisation
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:
Seminar Automatentheorie.
Requirements
You can choose one out of several topics from the field of Automata Theory and you are asked to
- write a seminar paper in English of 10 pages in lipics style, and
- prepare and give a talk of 30 minutes (including questions).
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.
Topics
The content of the seminar are automata-theoretic models together with their algorithmic analyses.
-
Availability languages
(Additional information on Parikh's theorem should be provided.)
-
Well-structured transition systems
(Additional information on well-quasi orderings should be provided.)
-
Safety games
(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
