Conference on Formal Structures for Computation and Deduction — 2027
August 23-26, 2027
Van der Valk Hotel Nijmegen-LentNijmegen, Netherlands
Logic Formal Methods Theory
FSCD, the International Conference on Formal Structures for Computation and Deduction, covers the theoretical foundations of computation and deduction, including rewriting, type theory, lambda calculus and proof theory. It was formed from the merger of the RTA and TLCA conferences and suits researchers whose contribution is a formal result about computation itself rather than a system or a tool. Ranked B by CORE. The 2027 edition is held jointly with CADE, sharing workshops and a venue, so one trip covers both the foundations and the automated reasoning built on them.
Venue
Van der Valk Hotel Nijmegen-Lent
Hertog Eduardplein 4, 6663 AN Lent, Nijmegen, Netherlands
🔗 View full venue details
Our picks for Conference on Formal Structures for Computation and Deduction attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
Boutique Hotels MANNA & Blue
Oranjesingel 2c, Nijmegen
Boutique hotel and well-regarded restaurant on the Oranjesingel, about 2.3 km from the venue and a few minutes from the centre. Best...
Hotel By Atelier
Van der Brugghenstraat 14, Nijmegen
Small design-led hotel in the city centre about 2.2 km from the venue, close to the old town and the restaurants. A...
Mercure Hotel Nijmegen Centre
Van Diemerbroeckstraat 2, Nijmegen
Dependable mid-range chain hotel by the station, about 2.4 km from the venue. The straightforward option for attendees arriving by train who...
The Rebyl Nijmegen
Vierdaagseplein 1, Nijmegen
Marriott Tribute Portfolio hotel on Vierdaagseplein in the centre, about 2.4 km from the venue. Suits attendees who want a recognisable international...
Van der Valk Hotel Nijmegen-Lent
Hertog Eduardplein 4, 6663 AN Lent, Nijmegen
The ICFP 2027 venue itself, a large modern hotel in Lent on the north bank of the Waal. The only hotel actually...
Conference on Formal Structures for Computation and Deduction 2026 — Lisbon, Portugal