Seminar Formal System Analysis (2IF96)

This seminar will be held in the fall of 2011, on Thursday 13:45-15:30 in room Potentiaal 6.23

Supervisor:
Prof Dr H. Zantema, HG 6.73, tel 2749, h.zantema@tue.nl

Goal, contents:

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

In the first few meetings several researchers in the area will give presentations about their work, and topics suitable to investigate in this seminar.
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 first presentation of 5 -10 minutes, a second presentation of 20 minutes and a final presentation of 45 minutes.
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 January 5, 2012 .
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 January 12, 2012. The final version of the report should be handed in no later than January 19, 2012 .
All students are present at all presentations, and participate in discussions.

Topics to be chosen are not fixed and may depend on the preference of the students. Topics will be proposed by several researchers in the group, and also supervision may be done by the researcher who proposed the topic.

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:
dr Suzana Andova, email: s.andova@tue.nl Presentation Suzana Andova
dr ing Anton Wijs, email: a.j.wijs@tue.nl Presentation Anton Wijs
dr ir Wieger Wesselink, email: j.w.wesselink@tue.nl Presentation Wieger Wesselink
dr Erik de Vink, email: e.p.d.vink@tue.nl Presentation Erik de Vink
dr Bas Luttik, email: s.p.luttik@tue.nl Presentation Bas Luttik
dr ir Tim Willemse, email: t.a.c.willemse@tue.nl Presentation Tim Willemse
prof dr Herman Geuvers, email: herman@cs.ru.nl Presentation Herman Geuvers
prof dr ir Jan Friso Groote, email: j.f.groote@tue.nl Presentation Jan Friso Groote
prof dr Hans Zantema, email: h.zantema@tue.nl Presentation Hans Zantema
dr Mohammad Mousavi, email: m.r.mousavi@tue.nl Presentation Mohammad Mousavi
prof dr Wan Fokkink, email: w.j.fokkink@vu.nl Presentation Wan Fokkink

Students:
Tom Boshoven
Bram Geron
Ruud Koolen
Tal Yosefa Milea
Jonathan Nelisse
Kevin van der Pol
Vikram Saralaya
Linda Spaninks
Vivek Vishal

Schedule:

date	speakers	topic
September 8	Hans Zantema, Suzana Andova, Anton Wijs, Wieger Wesselink	Overview, staff presentations
September 15	Jan Friso Groote, Erik de Vink, Hans Zantema, Herman Geuvers	Staff presentations
September 22	Bas Luttik, Tim Willemse, Mohammad Mousavi, Wan Fokkink	Staff presentations
September 29	All students	Small presentations on chosen topics
October 13	Kevin vd Pol and Tom Boshoven	Second presentations
October 20	Ruud Koolen and Vikram Saralaya	Second presentations
October 27	Jonathan Nelisse and Linda Spaninks	Second presentations
November 17	Vivek Vishal and Tal Milea	Second presentations
November 24	Bram Geron	Second presentation
November 24	Hans Zantema	How to write a report and how to write a review
December 1	Ruud Koolen and Kevin vd Pol	Final presentations
December 8	Tom Boshoven and Vikram Saralaya	Final presentations
December 15	Vivek Vishal and Bram Geron	Final presentations
December 22	Tal Milea and Jonathan Nelisse	Final presentations
January 12	Linda Spaninks, all	Final presentation, evaluation

Reviewing scheme:

student	will review report of	sends his/her report to
Tom	Kevin and Linda	Kevin and Vikram
Bram	Vivek and Jonathan	Ruud and Kevin
Ruud	Bram and Vikram	Tal and Vivek
Tal	Vikram and Ruud	Jonathan and Linda
Jonathan	Linda and Tal	Bram and Vikram
Kevin	Tom and Bram	Tom and Vivek
Vikram	Tom and Jonathan	Ruud and Tal
Linda	Vivek and Tal	Jonathan and Tom
Vivek	Kevin and Ruud	Linda and Bram

Some final reports of last years:
Report of Jeroen Keiren
Report of Maarten Meulen
Report of Sepideh Saeidi Mobarakeh
Report of Diana Koenraadt
Report of Frank Staals
Report of Vincent Kusters

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 at http://www.pvv.ntnu.no/~berland/latex/docs/beamer.pdf

Last change: December 5, 2011