Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
10November2009
[Talk] Ondrej Majer on Relevant Epistemic Logic
Posted by Olivier Roy under: Activities; Courses, seminars and special lectures.
5October2009
FIRST PhD Autumn School on Modal Logic
Posted by Rasmus Rendsvig under: Activities; Computer Science; Conference and workshop announcements; Modal Logic; Proof Theory.
Loading...