Archive for the ‘Activities’ Category
9December2009
Special Lecture at Groningen: Reasoning About Social Preferences
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Hybrid Logic; Preferences, Intentions, Emotions.
9December2009
Logic and Games Seminar at CUNY: Dualising Intuitionist Negation
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Proof Theory.
8December2009
Artificial Intelligence Colloquium at Gronigen: Belief flow in Assertion networks
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Courses, seminars and special lectures; Dynamic Logic.
8December2009
Final CFP: Formal Epistemology Workshop 2010
Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Formal Epistemology.
3December2009
ILLC Workshop: New Directions in Preference Representation
Posted by Rasmus Rendsvig under: Activities; Conference and workshop announcements; Preferences, Intentions, Emotions.
3December2009
Final Call for Wokshop Proposals: ECAI-2010
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Call for papers; Conference and workshop announcements.
Loading...