Advanced Topics in Computational Logic: Programme

Saarland University

Computer Science

Programming Systems

Date	Topic	Supervisor	Presenter	Second Expert
Nov 13, 2009	Model Theory	Brown	Höschele	Mis
Nov 27, 2009	Modal Logic	Kaminski	Reinert
Dec 4, 2009	Completeness of HOL	Smolka	Tebbi	Höschele
Dec 11, 2009	Temporal Logic	Kaminski	Mis	Tebbi
Jan 15, 2010	Finite Model Theory	Smolka	Curticapean

The talks are at 16:15 in Room 528.

Last Change: Thu 01 Jan 1970 00:00:00 UTC |