Marco Cadoli is, or has been, in the Program Commitee of the following conferences

  • AI&MATH96. Fourth International Symposium on Artificial Intelligence and Mathematics, Marina Marriott, Fort Lauderdale, Florida, January 3-5, 1996
  • AAAI-96. Thirteenth National (U.S.) Conference on Artificial Intelligence, Portland, Oregon, August 4 - 8, 1996.
  • ICDT '97. 6th International Conference on Database Theory, Delphi, Greece, January 8-10, 1997.
  • AAAI-97. Fourteenth National (U.S.) Conference on Artificial Intelligence, Providence, Rhode Island, July 27 -- 31, 1997.
  • Giornata ``Rappresentazione della conoscenza e tecniche ad oggetti nell'ingegneria del software'' AI*IA & TABOO, Bologna, 4 aprile 1997.
  • KR'98. Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, June 2 -- 5, 1998.
  • AAAI-98. Fiftheenth National (U.S.) Conference on Artificial Intelligence, Madison, Wisconsin, July 26-30, 1998.
  • AIMSA'98. AI: Methodology, Systems, Applications. Sozopol, Bulgaria, September 21-23, 1998.
  • Giornata ``Strumenti di organizzazione e accesso intelligente per informazioni eterogenee'' AI*IA, Padova, 23 settembre 1998.
  • ICDT '99. 7th International Conference on Database Theory, Jerusalem, Israel, January 10-12, 1999.
  • AAAI-99. Sixtheenth National (U.S.) Conference on Artificial Intelligence, Orlando, Florida, July 18-22, 1999.
  • APPIA-GULP-PRODE'99. 1999 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING L'Aquila, Italy, September 6--9, 1999.
  • Giornata ``Analisi sperimentale di algoritmi per l'IA'' AI*IA, Roma, 16 dicembre 1999.
  • AI&MATH2000. Sixth International Symposium on Artificial Intelligence and Mathematics, Marina Marriott, Fort Lauderdale, Florida, January 5-7, 2000.
  • NMR-2000. 8th Nonmonotonic Reasoning Workshop, April 9-11, 2000, at Breckenridge Resort, Colorado.
  • KR2000. 7th International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge (Colorado, USA) 12-17 April, 2000.
  • ECAI-2000. 14th EUROPEAN CONFERENCE ON AI, Berlin, 20-25 August 2000.
  • SARA2000.. Symposium on Abstraction, Reformulation and Approximation, Lake Travis, Texas, July 26-29, 2000.
  • APPIA-GULP-PRODE'00 (other link) 2000 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING La Habana, Cuba, December 4-7 2000
  • Giornata ``AGENTI INTELLIGENTI E INTERNET: TEORIE, STRUMENTI E APPLICAZIONI'' AI*IA, Milano, 13 settembre 2000
  • WOA 2001 -- Dagli oggetti agli agenti AI*IA, Modena, 4, 5 settembre 2001
  • AI&MATH02. Seventh International Symposium on Artificial Intelligence and Mathematics, Marina Marriott, Fort Lauderdale, Florida, January, 2002
  • 2nd Int. Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002) Schloss Salzau (near Kiel), Germany, February 19-23, 2002
  • KR2002. 8th International Conference on Principles of Knowledge Representation and Reasoning, April 22-25, 2002; Toulouse, France.
  • IEEE Symposium on Logic in Computer Science (LICS 2002) Copenhagen, Denmark, July 22-25, 2002
  • Workshop on Computational Complexity in Artificial Intelligence ECAI-2002, July 21-26, 2002, Lyon, France
  • AAAI-02. Eigtheenth National (U.S.) Conference on Artificial Intelligence, Edmonton, Alberta, Canada, July 28 - August 1, 2002.
  • WOA 2002 -- Dagli oggetti agli agenti Milano, 18, 19 novembre 2002
  • International Workshop on Reformulating Constraint Satisfaction Problems. To be held at the 8th International Conference on Principles and Practice of Constraint Programming (CP 2002) Cornell University, Ithaca, NY, USA 8 September 2002.
  • Workshop su agenti per la rappresentazione della conoscenza ed il ragionamento AI*IA, Siena, 11 settembre 2002
  • Second International Workshop on Reformulating Constraint Satisfaction Problems. Held at the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003) Kinsale, Ireland 29 September 2003.
  • WOA 2003 -- Dagli oggetti agli agenti Sistemi: Intelligenti e Computazione Pervasiva Villasimius (Cagliari) 10 - 11 Settembre 2003
  • KR2004. 9th International Conference on Principles of Knowledge Representation and Reasoning, June 2-5, 2004, Whistler Resort, Canada.
  • CILC04. Convegno Italiano Di Logica Computazionale, 16-17 Giugno 2004, Parma.
  • Giornata ``Agenti e Vincoli'' AI*IA, Perugia, 17 settembre 2004
  • WOA 2004 -- Sistemi Complessi e Agenti Razionali Torino 29 novembre - 1 dicembre 2004
  • Third International Workshop on Reformulating Constraint Satisfaction Problems. Held at the 10th International Conference on Principles and Practice of Constraint Programming (CP 2004) Toronto, Canada 27 September 2004.
  • iea/aie 2005. The 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems Bari, Italy, June 22-25, 2005.
  • IJCAI-05. Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland 30 July - 5 August 2005
  • Giornata ``Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale AI*IA, Ferrara, 10 giugno 2005
  • CILC05. Convegno Italiano Di Logica Computazionale, 21-22 Giugno 2005, Roma.
  • Fourth International Workshop on Reformulating Constraint Satisfaction Problems. Held at the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) Barcelona, Spain, 1 October 2005.
  • WOA 2005 -- Simulazione e analisi formale di sistemi complessi Camerino 14 novembre - 16 novembre 2005
  • KR2006. 10th International Conference on Principles of Knowledge Representation and Reasoning, June , 2006, UK
  • ECAI-2006. 17th EUROPEAN CONFERENCE ON AI, Riva del Garda, Italy, 28 August-1st September 2006.
  • Giornata ``Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale AI*IA, Udine, 23 giugno 2006
  • Lash06. Workshop Search and Logic: Answer Set Programming and SAT (Lash06), 16th August 2006.
  • Fifth International Workshop on Reformulating Constraint Satisfaction Problems. Held at the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006) Nantes, France, 25 September 2006.
  • LPNMR-07. 9th International Conference on Logic Programming and Nonmonotonic Reasoning. May 14-16, 2007, Tempe, Arizona.
  • WOA 2006 -- Sistemi Grid, P2P e Self-* Catania, 26 e 27 settembre 2006.

  • Back to home page of Marco Cadoli