Laboratory Affiliation: Computational Logic Laboratory
Research:
- Publications
- Research Program
- Possible Thesis Topics
- Graduate Students
Teaching:
- Fall 2013: Satisfiability Based Problem Solving.
- Recent courses:
Data Structures and Programming (225);
Computability and Logic (701);
Intelligent Systems (417;827)
Events
- Current PCs: KR-2012; AAAI-2012; SAT-2012; NMR-2012; LaSh-2012
- Recent:
IJCAI 2011 (SPC),
Canadian AI 2011,
GTTV 2011 (co-organizer)
LaSh 2010 (co-organizer),
AAAI 2010,
SAT 2010,
ISAIM 2010,
IJCAI 2009,
SAT 2009,
CP 2009,