ISCTE - Instituto Universitario de Lisboa
Avenida das Forcas Armadas, 1649-026 Lisbon, Portugal
Lisbon, Portugal
4 Accommodations
1 Conference held
Accommodations
| Ibis Lisbon Liberdade | |
| NH Collection Lisboa Liberdade | |
| Bairro Alto Hotel | |
| EPIC SANA Lisboa Hotel |
ISCTE - Instituto Universitario de Lisboa is a public research university in the Entrecampos district of northern Lisbon, hosting FLoC 2026 (Federated Logic Conference) in July 2026. KR 2026 is one of the constituent conferences. The campus is served by Metro at Entre Campos station (Yellow line) and is about 15 minutes from the city center.