Archive for the ‘Computer Science’ Category
29January2010
REPORT: Formal Models of Norm Change
Posted by Rasmus Rendsvig under: Artificial Intelligence; Computer Science; Conference and workshop reports; Deontic Logic; Dynamic Epistemic Logic; Dynamic Logic; Preferences, Intentions, Emotions; Social Software.
22January2010
COST-ADT Doctoral School on Computational Social Choice in Estoril, April 9-14.
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Computational Social Choice; Computer Science; Conference and workshop announcements; Decision Theory; Social Choice Theory.
12January2010
CfP: Computability in Europe 2010 — Programs, Proofs, Processes
Posted by Rasmus Rendsvig under: Activities; Call for papers; Computer Science; Conference and workshop announcements; Programming Theory; Proof Theory.
5January2010
REPORT: Structural Aspects of Rationality (STAR) – IIT Kanpur, India, December 13-14, 2009
Posted by Olivier Roy under: Agent diversity and bounded rationality; Computer Science; Conference and workshop reports; Epistemic Logic; Game Theory; Imperfect Information; Modal Logic; Reasoning; Strategies.
16December2009
“Hybrid Logic and its Proof-Theory” Doctorate Thesis Defence now Online
Posted by Rasmus Rendsvig under: Computer Science; Courses, seminars and special lectures; Hybrid Logic; Proof Theory.
15December2009
Call for Papers: ECAI-2010
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Call for papers; Computer Science; Conference and workshop announcements.
Loading... 
