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)