Conferences in Glasgow 2025

2 conferences found
Year: All 2025 2
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
In-Person Past
Artificial Intelligence & Machine Learning
Thirty First Conference on Principles and Practice of Constraint Programming
Aug 10 - 10, 2025
Glasgow, Scotland