|
home |
Editorial positions: Editor-in-Chief of Journal of Artificial Intelligence Research. Editor-in-Chief of AI Communications (retired). Editorial board of Constraints, Journal of Automated Reasoning and Logical Methods in Computer Science. Guest editor of Journal of Automated Reasoning, SAT 2005. Guest editor of Journal of Automated Reasoning, SAT 2000, Vol 24, Issue 1/2 and Issue 4. Conference and Programme chairs: Program Chair of IJCAI-2011, Barcelona, 2011. Conference Chair of CP-2008, Sydney, 2008. Conference and Program Chair of SAT-2005, St Andrews, 2005. Conference Chair of IJCAR-2004, Cork, 2004. Program Chair of CP-2001, Cyprus, 2001 (accepted papers). Chair of AAAI 2001 Fall Symposium on Using Uncertainty within Computation. Chair of SARA-2000, Austin 2000. Awards: 2008. Elected AAAI fellow. 2006. CP-2006. Best Poster award. 2006. ECAI 2006. Best Poster award. 2006. ECAI 2006. Paper voted one of the best 10 submissions. 2004. ECAI 2004. Paper voted one of the best 10 submissions. 2003. Elected ECCAI fellow. 2000. AAAI 2000 Outstanding Paper award. Other chairs: Chair of 2nd International Summer School of the Association for Constraint Programming, Samos, 2006. Workshop chair of ECAI-2006, Trento, 2006. Poster Chair of IJCAI-2003, Acapulco, Mexico, August 2003. Tutorial chair of IJCAR-2001, Siena 2001. Tutorial and workshop chair of CP-2000, Singapore 2000. Chair of inaugural ConsNet-99 meeting, Edinburgh, 1999. Other activities: Keynote speaker at AI'06 and MICAI-2004 (ppt slides). Some other invited talks include AAAI'07, PDPAR'04 (ppt slides), CP-2003 (ppt slides), SAT-2003 (ppt slides), AWCL-2002, ICTP 2002 conference, DX-02, ICTP 1999 conference, DARPA ANTS-99, ISIF 1998 conference. Senior programme committee of AI'08, AAAI-2008, AI'07, AAAI-2007, AI'06, IJCAI-2005. Elected CP organizing committee (2003-2005), appointed secretary. Elected trustee of the Conference on Automated Deduction (2002-2005). Area chair (automated reasoning) for CologNet. Programme committee of AI'08, AAAI-2008, AAMAS-2008, AI & Maths-2008, AIMSA-2008, ICAI-2008, IJCAR-2008, JELIA-2008, PRICAI-2008, SAT-2008, SBIA-2008, STAIR-2008, AI'07, AAAI-2007, ASCM-2007, CADE-21, CAEPIA-2007, CP-2007, IJCAI-2007, LPAR-2007, MICAI-2007, SARA-2007, SAT-2007, AI'06, AAAI-2006, AI & Maths-2006, CG'2006, CP-2006, ECAI-2006, ICAPS-2006, JELIA-2006, KR-2006, MICAI-2006, PRICAI-2006, SAT-2006, AI'05, AAAI-2005, CADE-20, CP-2005, ICAPS-2005, IJCAI-2005, KI-05, MICAI-2005, SARA-2005, AI'04, AAAI-2004, AI & Maths-2004, FLAIRs-04, IBERAMIA-2004, JELIA-2004 , KI-04, KR-2004, LPAR-2004, MICAI-2004, SAT-2004, AI'03, CADE-19, CP-2003, CP-AI-OR'03, FLAIRs-03, LPAR-2003, SAT-2003, AAAI-2002, AI'02, CADE-18, ECAI-2002, KR-2002, MICAI-2002, SARA-2002, SAT-2002, ICLP-2001, Calculemus-2001, SAGA-2001, SAT-2001, AAAI-2000, CL-2000, CP-AI-OR'00, ECAI-2000, KR-2000, MICAI-2000, IJCAI-99, CP-99, AAAI-98, AI'98, AIMSA-98, SARA-98, ECP-97, AAAI-96. Member of the IEE Professional Group committee for AI. EPSRC Peer Review College member, 2000-date. Founder of CSPLib, a benchmark library for constraints. |