Conferences in Glasgow

2 conferences found
Upcoming 1 Past 2 All 3
Year: All 2025 2 2027 1
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