Activities of the Area

Automated Reasoning, Deduction, Theorem Proving and Model-Checking
CologNet , the Network of Excellence in Computational Logic

CADE-18:
CologNet sponsored a joint panel of the 2nd Workshop on the Role of Automated Deduction in Mathematics (RADM), and the Workshop on Problems and Problem Sets (PaPS). Panelists included Peter Andrews, Alan Bundy, William McCune, and Simon Colton. Panel debated the topic "Challenge problems for automated deduction (with special emphasis on mathematics)".


Calculemus-2002:
CologNet sponsored the invited speaker, Thomas Sturm who talked about the "Integration of quantifier elimination with constraint logic programming". In addition, there was a panel on "Challenging Mathematical Problems" featuring James Davenport, Jorg Siekmann, Jacques Calmet (chair), Thomas Sturm, Alain Colmerauer and Claude Kirchner.


ARW-2003:
CologNet supported a panel on "Grand Challenges for Automated Reasoning" at the Tenth Workshop on Automated Reasoning 2003. Panelists included Volker Sorge (chair), Trevor Bench-Capon, Tom Melham and Renate Schmidt


CADE-19:
CologNet sponsored a workshop on Grand Challenges for Automated Reasoning held alongside CADE-19 in Miami in July 2003. CologNet also provided support for the invited speakers to the main conference.


IJCAI-2003:
CologNet supported one of the main invited speakers, Andrei Voronkov. He talked about "New Trends in Automated Reasoning".


UNIF-03:
CologNet supported a panel on "Open problems in Unification".


SAT-03:
CologNet supported an invited talk on "Challenges in SAT and QBF research".


Calculemus-03:
CologNet sponsored a joint panel with TABLEAUX and TPHOLs 2003 led by Jacques Calmet on Are there true Grand Mathematical Challenges in Mechanized Mathematics?


SAT-04:
CologNet is supporting an European invited speaker.


IJCAR-04:
CologNet is supporting the doctoral programme.