Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
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...