Seminar Formal System Analysis (2IF96)
Last update May 26, 2015.

In 2014/2015 this seminar will be held in quartile 4. The first meeting will be on Monday, April 20, 2015, hours 1/2, multi-media paviljoen lecture room 1.

Primary supervisor:
J.F. Groote, Metaforum 6.079b, tel. 5003/5010,
(only in 2014/2015. The regular supervisor of this course is H. Zantema, Metaforum 6.078, tel 2749,

Goal, contents:

In this seminar, a group of master students will get in touch with research as it is done in the FSA group, as a preparation to the master's project. This will be done in the following ways:

Guidelines for grading
The following issues are the ingredients of the grading:

Staff members:
Julien Schmaltz, email:
Wieger Wesselink, email:
Erik de Vink, email:
Bas Luttik, email:
Tim Willemse, email:
Herman Geuvers, email:
Jan Friso Groote, email:
Hans Zantema, email:

Participating students (2015, preliminary list):
M.E.C. van Delft
R.J.W. Jonk
P. Ramamurthy
M.W. Tam
Q. Xiao

Preliminary schedule:

date speakers topic
Monday, April 20 Jan Friso Groote Overview, choosing topics
Thursday, April 23 Students 10 minutes presentation of chosen topic
Monday, May 18 Students 10 minutes presentation of chosen topic
Thursday, May 21 Students 10 minutes presentation of chosen topic
Monday, June 1 staff members presentation of master project topics
Monday, June 1 How to write a report and how to write a review
Monday, June 15 Participants Final presentations
Thursday, June 18 Participants Final presentations

Some final reports of last years:
Report of Diana Koenraadt
Report of Frank Staals
Report of Vincent Kusters
Report of Ruud Koolen
Report of Kevin vd Pol
Report of Tali Milea
Report of Vivek Vishal

For presentations the LaTeX beamer package may be used, see here for the documentation and an extensive example in TU/e style. See here for a smaller example not in TU/e style.
Further documentation is found in this document describing the latex beamer class.