PC Memberships of Agostino Dovier
International meetings of (constraint/functional) logic programming.
-
ICLP'03 Mumbay (India),
ICLP'06 Seattle (USA),
ICLP'07, Porto (Workshop Chair),
ICLP'08 Udine (General chair),
LPRNM09 Postdam (Germany),
PPDP09 Coimbra (Portugal),
FLOPS10 Sendai (Japan),
ICLP10 Edinburgh (Scotland),
PADL 2011 (Austin, Texas),
LPNMR 2011 (Vancouver, BC, Canada),
ICLP11 Lexington (Kentucky - USA),
PADL 2012 (Philadelphia),
ICLP 2012 (Budapest: program chair),
CP 2012 (Quebec City, Canada),
LPNMR 2013 (La Coruna, Spain),
PPDP 2013 (Madrid, Spain),
ICLP 2013 (Istanbul, Turkey),
PADL 2015 (Portland, Oregon, USA),
LPNMR 2015 (Lexington, Kentucky),
ICLP 2015 (Cork, Ireland),
PADL16 (St Petersburger, Florida),
PPDP16 (Edinburgh, Scotland),
ICLP16 (New York),
ICLP 2017 (Melbourne, Australia),
LPNMR 2017 (Aalto, FI),
CP 2018 (Lille, France),
LOPSTR 2018 (Frankfurt, DE),
LPNMR 2019 (Philadelphia, USA),
ICLP 2019 (Las Cruces, USA),
CP 2019 (Stamford, USA),
ICLP 2020 (Unical, Italy),
HLPP 2020 (Porto, PT),
DIP2020 Bologna,
ICLP 2021 (Porto, PT),
LPNMR 2022 Logic Programming and Non-monotonic Reasoning (Genova, IT),
CP 2022 Principles and Practice of Constraint Programming (Haifa, Istrael),
ICLP 2022 (Haifa, Istrael),
ICLP 2023 (London, UK),
-
BeyondFD'05 Sitges (SP),
WCB'05 (co-chair) Sitges (SP),
WCB'06 (co-chair) Nantes (FR),
WFLP'06 Madrid (SP),
WCB'07 Porto (PT).
WCB'08 (co-chair) Paris (FR),
MASBIO08 Cagliari (IT),
WCB'09 Lisbon (PT),
BIO-LOGICAL 2009 Reggio Emilia (IT),
WCB'10Edinburgh (chair),
ASP competition 2011 (LPNMR Vancouver),
LPMAS'11 Lexington (Kentucky - USA).
WCB'11 Perugia (chair),
WCB'12 Budapest,
ASP competition 2013 (LPNMR La Coruna),
WCB'13 Uppsala (Sweden) chair,
COPLAS 2014 (Portsmouth, USA),
WCB14 Lyon (France),
WCB15 (co-chair) Cork (Ireland),
WCB16 (co-chair) Toulouse (France),
PAoASP 2017 Espoo (Finland),
DECLARE 2017 Wurzburg (Germany),
INAP 2019 (Cottbus, Germany),
OptLearnMAS20 (Auckland, NZ),
GDE 2022 (London, UK),
International Meetings of Artificial Intelligence
-
ECAI 2010 Lisbon,
IJCAI 2011 Barcelona,
SOFSEM 2012 Spindleruv Mlyn, Czech Republic,
AAAI2012 Toronto, Canada,
WEB Reasoning and Rule Systems (RR) 2013, Mannheim (GE).
IJCAI 2013 Beijing, China,
ECAI 2014, Prague, Czech Republic (Tutorial Chair),
PAIS 2014 (Praque, Czech Republic),
Web Reasoning and Rule Systems (RR) 2014 Athens (Greece),
AAAI-15 Austin, Texas,
Web Reasoning and Rule Systems (RR) 2015 Berlin (Germany)
ICAART 2015 Lisbon (PT)
COPLAS 2015 Jerusalem, Israel,
IJCAI 2015 Buenos Aires (Argentina)
ICAART 2016 Roma,
ISAIM2016 (Fort Lauderdale, Florida),
IJCAI 2016 (New York),
COPLAS 2016 (London),
KnowProS 2016 (New York),
ECAI 2016 (Amsterdam),
PAIS 2016 (The Hague, Holland),
KnowPros2017 San Francisco (USA),
IJCAI 2017 Melbourne (Australia),
ISAIM 2018 (Fort Lauderdale, FL),
IJCAI-ECAI 2018 (Stockholm, SW),
OptMAS-19 (Montreal, Canada),
IJCAI 2019 (Macao, China),
AAAI 2020 (New York, USA),
ECAI 2020 (Santiago de Compostela, Espana),
IJCAI-PRICAI 2020 (Yokohama, JAPAN),
KR 2020 (Rhodes, GR),
IJCAI 2021 (Montreal, Canada)
NMR 2022 (Haifa, Israel)
UAI 2022 (Eindhoven, Netherlands),
Convegni italiani di logica computazionale
Convegni italiani di intelligenza artificiale
-
AI*IA:Agenti e Vincoli'04 Perugia,
AI*IA:RCRA 2005 Ferrara,
AI*IA:RCRA 2006 Udine,
AI*IA:RCRA 2007 Roma,
AI*IA:RCRA 2009 Reggio Emilia,
AI*IA:RCRA 2011 Barcelona (Spain).
AI*IA:RCRA 2013 Roma.
Popularize Artificial Intelligence 2013 Torino.
:AI*IA 2015, Ferrara.
RCRA 2015, Ferrara.
AI*IA 2016, Genova;
AI*IA 2017, Bari;
AI*IA 2018, Trento;
RCRA 2019, Rende,
AI*IA 2019 Rende,
RCRA 2020, Torino,
AI*IA 2020 (reboot), Torino,
RCRA 2021 (reboot), Torino,
AIxIA 2022 Program co-chair, Udine.