Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
9February2010
ECAI-2010 Workshop Programme
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Conference and workshop announcements.
3February2010
Dialogues and Games: Historical Roots and Contemporary Models, Lille, France
Posted by Olivier Roy under: Activities; Conference and workshop announcements; Dependence / Independence Logic; Games for logic, dialogic games.; Imperfect Information; Logics for Games.
Loading...