Advanced Topics in Computational Logic: Programme

Saarland University Computer Science

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 |