Conference Calendar: Conference TABLEAUX
|
|
TABLEAUX 2017
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 26 Sep 2017 - 29 Sep 2017 (Brasília, Brazil) | abstracts: 18 Apr 2017 | papers: 25 Apr 2017 | notification: 08 Jun 2017 | |