From Padova
Take a regional train from Padova to Terme Euganee–Abano–Montegrotto, then continue to the hotel. Alternatively, use a bus towards Montegrotto Terme and check the nearest suitable stop for Via Cataio.
The conference
About
Pollinating Syntax: Proofs, Modalities and Constructivism brings together researchers working at the intersections of proof theory, modal logic, and constructive reasoning. The conference explores how syntactic methods illuminate the structure of logical systems, connect different logical traditions, and open new perspectives on foundational questions. Through talks and discussions, the meeting aims to foster an exchange of ideas across these closely related areas of logic.
Scientific meeting
Programme
The detailed programme will be announced in due course.
The conference will begin on Monday afternoon and conclude on Wednesday before lunch.
Where we meet
Venue
Sala Veneto
Hotel Terme Millepini
Via Cataio 42
35036 Montegrotto Terme (PD), Italy
The conference takes place in Montegrotto Terme, in the Euganean Hills area near Padova.
How to get here
The closest railway station is Terme Euganee–Abano–Montegrotto . From the station, continue to Hotel Millepini on foot if convenient, by local bus where available, or by taxi. Check the walking route and local connections before travelling.
From Venice
Regional trains from Venezia Santa Lucia and Venezia Mestre, as well as buses from Marco Polo Airport, serve the Montegrotto area. Some services are direct; otherwise, a change in Padova may be required before continuing to the hotel.
From Bologna
Regional trains on the Bologna–Padova line serve Terme Euganee–Abano–Montegrotto, with direct services available on some departures. Continue locally to Hotel Millepini.
From Verona
Travel by train to Padova, then follow the directions from Padova to Montegrotto Terme.
Transport routes and timetables may change before January 2027. Please check the operators’ websites closer to your journey.
People
Organising Committee
Giulio Fellin ↗
Università degli Studi di Verona
Eugenio Orlandelli ↗
Università degli Studi di Bologna
Peter Schuster ↗
Università degli Studi di Verona
Matteo Tesi ↗
Scuola Normale Superiore, Pisa