Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
2February2010
Computational Logic Seminar at CUNY: Sergei Artemov, GC CUNY, “Knowing the model”
Posted by Olivier Roy under: Activities; Courses, seminars and special lectures; Epistemic Logic; Formal Epistemology; Game Theory.
Loading...