Please note that this newsitem has been archived, and may contain outdated information or links.
Best paper award for Jan Rooduijn
Jan Rooduijn won the award for the Best Paper by a Junior Researcher at the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021) for his contribution Cyclic hypersequent calculi for some modal logics with the master modality.
For more information, see
https://tableaux2021.org/#best
or contact Jan Rooduijn at j.m.w.rooduijn at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.