FLoC 2026 Lisbon: Travel Guide and Where to Stay
Every four years the logic and formal methods community holds the Federated Logic Conference, and in 2026 it lands at ISCTE in Lisbon from July 20 to 29. FLoC 2026 is the 9th edition and gathers ten separate conferences under one roof, covering everything from the theory of logic to automated reasoning, verification, constraint solving, and security foundations. If you work anywhere near logic in computer science, this is the single biggest gathering of your field this year, and it is happening in one of Europe’s most enjoyable summer cities.
The conferences. FLoC runs in two waves with workshops in between. The first week (July 20 to 23) hosts LICS (A), KR (A), SAT, CP, ICLP, and FSCD. The second week (July 26 to 29) hosts CAV (A), IJCAR (A), ITP, and CSF. Affiliated workshops run on the flanking days, July 18 to 19 and July 24 to 25, and the FoPSS summer school runs the week before. Many attendees come for one conference and stay for the workshops or a neighboring event, so it is worth checking the full schedule before booking flights.
The venue. Everything takes place at ISCTE, the Instituto Universitario de Lisboa, on Avenida das Forças Armadas in the Avenidas Novas district north of the center. It is a working university campus rather than a hotel or convention center, with lecture halls and courtyards across a compact site. The key practical detail is that ISCTE sits right at Entre Campos metro station on the Yellow line, which makes it easy to reach from anywhere central.
Getting there. Humberto Delgado Airport (LIS) is only 7 km from the city, one of the closest major airports to its downtown in Europe. The Red metro line runs from the airport to the Oriente hub, where you change for the rest of the network, and the whole trip to the center takes 20 to 30 minutes. Taxis and rideshares reach the center in 15 to 20 minutes and are inexpensive by European standards. Once you are in town, an Andante rechargeable card covers the metro, trams, and buses, and the Yellow line connects the central districts directly to ISCTE at Entre Campos.
When to visit. Late July is peak summer in Lisbon, which means hot and dry, with daytime highs comfortably above 30C. The city handles it well with shade, tiled streets, and an Atlantic breeze on the hills, but pack light clothing, sun protection, and water, and expect lecture rooms to be heavily air-conditioned. Evenings are long and warm, which is when the city is at its best.
Where to stay. ISCTE sits in a business and university district without many hotels right beside it, so the practical approach is to stay in a central neighborhood with a quick metro ride to Entre Campos. The options below are all well connected to the Yellow line.
EPIC SANA Lisboa is the most convenient upscale base, a contemporary 5-star in the Amoreiras district only about 1.5 km from ISCTE and a short metro hop from Marquês de Pombal. The best choice for attendees who want luxury close to the venue.
Bairro Alto Hotel is the most characterful splurge, an iconic boutique 5-star at the top of Bairro Alto with a celebrated rooftop bar over the Tagus. Right in the historic center, a metro ride from the venue, and ideal for attendees who want Lisbon’s best neighborhood on the doorstep.
NH Collection Lisboa Liberdade is a well-positioned 4-star on the grand Avenida da Liberdade with a rooftop bar and direct Yellow line access to ISCTE. A solid mid-range pick with the best of central Lisbon at the door.
Ibis Lisbon Liberdade is the value option, a budget 3-star just off Avenida da Liberdade with compact rooms at low rates for such a central location. The practical pick for grad students and cost-conscious attendees.
If you would rather stay on the river, the Parque das Nações district in the east has a cluster of modern hotels including the 5-star Myriad by SANA beside the Vasco da Gama tower. It is a sleek, contemporary area on the metro Red line, though the commute to ISCTE is longer than from the center. It is also where Web Summit is held, if you find yourself back in Lisbon in November.
Food and neighborhoods. Lisbon’s food is reason enough to extend the trip. Start with pastéis de nata, the custard tarts that are best fresh and warm with a dusting of cinnamon. Seafood is everywhere, from grilled sardines to bacalhau (salt cod) prepared a hundred ways, and the Time Out Market in Cais do Sodré gathers many of the city’s best kitchens under one roof. For evenings, Bairro Alto is the classic going-out neighborhood, while Alfama, the old quarter below the castle, is the place to hear fado in a small traditional house. The Avenidas Novas area around ISCTE has plenty of straightforward lunch spots for the conference days.
If you have extra time. Lisbon rewards every extra day. Belém, west along the river, holds the Belém Tower and the Jerónimos Monastery, both UNESCO sites, and the original Pastéis de Belém bakery. The historic tram 28 rattles through the steepest hills past the cathedral and the best miradouros (viewpoints), though it is heavily touristed, so go early. The National Tile Museum is a quieter highlight. For a day trip, Sintra and its hilltop palaces are about 40 minutes by train and easily worth a full day.
For a fast and fun overview of the center, the Lisbon Tuk-Tuk Sightseeing Tour covers the hills and historic quarters in a half day, a good way to get your bearings on a free afternoon. And if you are extending the trip into a weekend, the Algarve and Benagil Caves Day Trip runs south to the dramatic sea caves and cliffs of the Algarve coast, with an optional boat tour, a long but memorable day out from the city.
For the full hotel comparison, venue map, and conference dates, see the conference pages linked above, the ISCTE venue page, and the Lisbon city guide.