Language: The course is held in English (unless all participants prefer German).
This course is primarily intended for students in computer science and mathematics, who are interested in the interface between logic and computer science. It is an optional or mandatory course, respectively, in the new Master Studies Computational Intelligence, Software Engineering & Internet Computing, Technische Informatik and in Computational Logic (European Masters Program in Computational Logic).
The first (mainly organisational) seminar meeting will take place
Friday, March 12, 2010, 12:00 - 13:00,Since topics, presentations, and all further dates will be fixed there, you can only join the seminar if you are present.
Seminarraum E185.2 (Seminar room of the Theory and Logic Group)
Favoritenstraße 9 / Stiege 1
3. Stock (= 4th floor), yellow zone
A general organisational meeting for all special courses of the Theory and Logic Group will take place
Monday, March 8, 11:30-12:30
Zemanek Room, Favoritenstraße 9-11, ground floor, (light green zone)
Registration: via TUWIS++, or if this fails, by email to chrisf@logic.at.
This year's seminar topic (again) is 'Games in Logic' and - depending on time and number of participants - probably also 'Logic in Games'
(We will only be able to cover a selection of the following topics:)Will be announced here after the organisational meeting on March, 12.
Further links to/copies of relevant course material, as well as hints on additional literature, will be provided in the seminar.
Participants have to prepare a short lecture on a selected topic. This talk should be accompanied by a brief summary (handout) of the relevant technical notions and results. Evaluation for 3.O ECTS points is based on the quality of the talk and the handout, and on regular participation.