[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for Participation %% %% %% %% TABLEAUX 2007 %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ GENERAL INFORMATION This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. INVITED SPEAKERS: Piero Bonatti, Università di Napoli John-Jules Meyer, Utrecht University Cesare Tinelli, University of Iowa TUTORIALS: The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré) Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari) Semistructured Databases and Modal Logic (S. Cerrito) COLOCATED WORKSHOP: AGENTS, LOGIC AND THEOREM PROVING 3 July 2007, http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html ON-LINE REGISTRATION is now open at: http://tableaux2007.univ-cezanne.fr Belaïd Benhamou Publicity Chair of TABLEAUX