Advanced Topics in Computational Logic

Saarland University Computer Science

Seminar, 7 Credit Points

Winter Term 2009/2010

Prof. Gert Smolka, Dr. Chad E Brown, Mark Kaminski,
Programming Systems Lab, Department of Computer Science, Saarland University

This seminar builds on the Introduction to Computational Logic course. The schedule with topics and presenters is here. Each talk should be 30 minutes, plus some time for discussion.

Last Change: Thu Dec 14 17:01:13 2017 |