Conferences in Glasgow

2 conferences found
Upcoming Past 2 All 2
Year: All 2025 2
In-Person Past
Artificial Intelligence & Machine Learning
Thirty First Conference on Principles and Practice of Constraint Programming
Aug 10 - 10, 2025
Glasgow, Scotland
In-Person Past
Computer Science & IT
TYPES 2025: International Conference on Types for Proofs and Programs
Jun 09 - 09, 2025
Glasgow, Scotland
type theoryproof assistantsdependent types