The two following tutorials will be included in the program of Tableaux 2013


Tutorial "Noetherian Induction for First-Order Reasoning", by Sorin Stratulat (LITA, Univ. de Lorraine)


Tutorial "Generating tableau provers using MetTeL2", by Dmitry Tishkovsky and Renate A. Schmidt (School of Computer Science, University of Manchester)

Région Lorraine Grand Nancy