Justification Logics seminar (Spring 2010)

Thursdays at 10-12 (unless stated otherwise) in lecture room A97.

Schedule