|
home
personal
research
publications
activities
teaching
people
|
Editorial positions:
Editor-in-Chief of
Journal of Artificial Intelligence Research (retired).
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:
Co-Chair of COMSOC-2014, Pittsburgh, 2014.
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:
2011. AAAI 2011 Outstanding Paper award.
2011. TARK XIII Best Poster award.
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
on Optimisation, Kioloa, NSW, 2014.
Chair of 9th International Summer School
of the Association for Constraint Programming, Kioloa, NSW, 2013.
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:
Invited/keynote speaker
at
FOGA-2013 (slides),
ILP-2011,
CLIMA-2010,
ECAI-2010,
IPEC-2010,
PRICAI-2010,
STAIRS-2010,
AAAI-2009
Spring Symposium
(ppt slides),
ANZMC-2008,
AAAI'07,
AI'06,
MICAI-2004
(ppt slides).
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.
Area chair of
IJCAI-2013.
Senior programme committee of
AAMAS-2013,
AAAI-2013,
CP-2013,
AAMAS-2012,
CP-2012,
IJCAI-2009,
AI'08,
AAAI-2008,
AI'07,
AAAI-2007,
AI'06,
IJCAI-2005.
Elected AAAI Executive Council (2010-2013).
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
AAMAS-2013,
AAAI-2013,
ADT-2013,
BRACIS-2013,
CP-2013,
CPAIOR-2013,
IJCAI-2013,
KI-2013,
LION-7,
SARA-2013,
SAT-2013,
SoCS-2013,
AAAI-2012,
AAMAS-2012,
CICM-2012,
COMSOC-2012,
CP-2012,
ECAI-2012,
ICTAI-2012,
JELIA-2012,
KI-2012,
KR-2012,
LION-2012,
LPAR-18,
MICAI-2012,
PRICAI-2012,
SAT-2012,
SBIA-2012,
SOCS-2012,
AAAI-2011 (Nectar track),
ADT-2011,
AI'11,
CP-2011,
ICTAI-2011,
KI-2011,
LION-2011,
MICAI-2011,
SARA-2011,
SAT-2011,
SoCS-2011,
AI'10,
AAAI-2010,
AAMAS-2010,
AISC-2010,
COMSOC-2010,
CP-2010,
ECAI-2010,
IBERAMIA-2010,
ICAI-2010,
ICTAI-2010,
ISAIM-2010,
JELIA-2010,
KI-2010,
LION-2010,
LPAR-17,
LPAR-16,
MICAI-2010,
PRICAI-2010,
SAT-2010,
SBIA-2010,
SOCS-2010,
ADT-2009,
AI'09,
CP-2009,
FCST-2009,
ICTAI-2009,
IJCAI-2009,
KI-2009,
MICAI-2009,
SARA-2009,
SAT-2009,
SoCS-2009,
AI'08,
AAAI-2008,
AAMAS-2008,
AI & Maths-2008,
AIMSA-2008,
ICAI-2008,
IJCAR-2008,
JELIA-2008,
PRICAI-2008,
RAC-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.
|
|