Please note that this newsitem has been archived, and may contain outdated information or links.
31 July 2022, LICS Workshop "Decidable Fragments of first-order modal logic", Haifa, Israel
Date: Sunday 31 July 2022
Location: Haifa, Israel
Deadline: Saturday 30 April 2022
We invite short abstracts of up to 5 pages in 12-point article style, outlining research in this area. We welcome accounts of already published research or work in progress. There will be no workshop proceedings, this abstract is only for sharing among participants.
Please note that this newsitem has been archived, and may contain outdated information or links.