tableaux2021.org - TABLEAUX 2021 - 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

home > domains > tableaux2021.org

Example domain paragraphs

The 30 th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021) will be hosted by the University of Birmingham, UK, 6-9 September 2021. It will primarily be a virtual conference , due to ongoing conerns about COVID-19. However it will be possible to attend the conference physically for those who are able to travel to Birmingham and take advantage of a hybrid format. More information can be found here .

TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organised on an annual basis (sometimes as a part of IJCAR).

TABLEAUX 2021 will be co-located with the 13 th International Symposium on Frontiers of Combining Systems ( FroCoS 2021 ). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.

Links to tableaux2021.org (3)

• jens-otten.de Jens Otten | University of Oslo
• frocos2021.github.io The 13th International Symposium on Frontiers of Combining Systems | [“FroCoS 2021”]
• logic.net.ua Український логічний портал • Ukrainian Logic Portal |