ISCTE - Instituto Universitario de Lisboa
Avenida das Forcas Armadas, 1649-026 Lisbon, Portugal
Lisbon, Portugal
12 Accommodations
10 Conferences held
Accommodations
Conferences
Conference on Theory and Applications of Satisfiability Testing 2026
Symposium on Logic in Computer Science 2026
International Conference on Principles of Knowledge Representation and Reasoning 2026
Conference on Interactive Theorem Proving 2026
International Joint Conference on Automated Reasoning 2026
Conference on Logic Programming 2026
Conference on Formal Structures for Computation and Deduction 2026
IEEE Computer Security Foundations Symposium 2026
Conference on Principles and Practice of Constraint Programming 2026
International Conference on Computer Aided Verification 2026
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.