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, J.F.Groote@tue.nl
(only in 2014/2015. The regular supervisor of this course is H. Zantema, Metaforum 6.078, tel 2749, h.zantema@tue.nl)


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:

• Every student chooses a topic. This can be a topic of the students own interest, or a topic from this list of topics proposed by researchers in the group. For each assignment a group member is contacted to act as the direct supervisor of the assignment. For the proposed assignments it is logical to choose the group member who proposed it. The topic and the assignment must be chosen before Thursday April 23, and every student will present the topic of his choice on this in a time slot of appr. 10 minutes (multimedia paviljoen lecture room 2).
• Every student will have a meeting once a week with the supervisor of the topic to speak about progress. Moreover, every student takes care that he sends a short progress report to the primary supervisor by mail on each Thursday about the progress made in that week. Preferably, there is also a short weekly chat with the primary supervisor each week about the content of the assigment.
• All students are invited to participate in the weekly informal research meeting, that takes place each Thursday from 12.45 to 13.45, generally in room MF 6.131. During this meeting ongoing research within FSA is being discussed.
• Research papers and/or book chapters will be studied and presented by the students, with a focus on research questions.
• Examples related to the presented material or other investigations will be elaborated. If suitable, experiments related to these examples will be executed, either by using existing implementations or by developing ad hoc implementation.
• Every student will give a final presentation of of 45 minutes on Monday, June 15 or Thursday, June 18, although the precise details of this final presentation will be addressed when it is clear how many participants there are.
• Conclusions of the investigations are presented in a report. This report has the format of a paper with introduction, conclusions and bibliography, has a size of at most 40 pages, but preferrably much less. A first version should be handed in no later than June 5, 2015.
• This version will be considered by two other students which have to provide a one-page review on this report within one week, so no later than June 12, 2015.
• All students are present at all presentations, and participate in discussions.

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

• The quality and contents of the presentations.
• The quality and contents of the report.
• The process of dealing with the topic, the initiatives taken and the amount of supervision required.
• The quality of the reviews.
• The way of participation during all meetings.

Staff members:
Julien Schmaltz, email: j.schmaltz@tue.nl
Wieger Wesselink, email: j.w.wesselink@tue.nl
Erik de Vink, email: e.p.d.vink@tue.nl
Bas Luttik, email: s.p.luttik@tue.nl
Tim Willemse, email: t.a.c.willemse@tue.nl
Herman Geuvers, email: herman@cs.ru.nl
Jan Friso Groote, email: j.f.groote@tue.nl
Hans Zantema, email: h.zantema@tue.nl

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.