News and Events: Projects and Awards

Please note that this newsitem has been archived, and may contain outdated information or links.

Best Paper Award at FORTE 2024

Nick Bezhanishvili and co-authors (Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink and Erik De Vink) received the best paper award at Forte 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems - for their work on polyhedral modal logic, paper titled "Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη".

Please note that this newsitem has been archived, and may contain outdated information or links.