Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
13October2009
Computational Logic Seminar at CUNY: Infinite games played on finite graphs: decidability and complexity
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Game Theory.
Loading...