Invited Speaker

Marco Cadoli is, or has been, invited speaker at the following conferences

Complexity-theoretic and Recursion-theoretic methods in Databases, Artificial Intelligence and Finite Model Theory. FLOC-99 workshop, Trento, July 6, 1999. AI*IA'99. Sixth Congress of the Italian Association for Artificial Intelligence (winner of the AI*IA award). Bologna, 14-17 September 1999. LPNMR'99. 5th International Conference on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas USA, December 2-4, 1999. 2nd International Workshop on Complexity in Automated Deduction, a satellite workshop of CADE-18 within the conference FLoC'02 in Copenhagen, Denmark. July 25-26, 2002.
AI*IA'99. Sixth Congress of the Italian Association for Artificial Intelligence (winner of the AI*IA award). Bologna, 14-17 September 1999. LPNMR'99. 5th International Conference on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas USA, December 2-4, 1999. 2nd International Workshop on Complexity in Automated Deduction, a satellite workshop of CADE-18 within the conference FLoC'02 in Copenhagen, Denmark. July 25-26, 2002.
LPNMR'99. 5th International Conference on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas USA, December 2-4, 1999. 2nd International Workshop on Complexity in Automated Deduction, a satellite workshop of CADE-18 within the conference FLoC'02 in Copenhagen, Denmark. July 25-26, 2002.
2nd International Workshop on Complexity in Automated Deduction, a satellite workshop of CADE-18 within the conference FLoC'02 in Copenhagen, Denmark. July 25-26, 2002.

home page of Marco Cadoli