Conferences in Glasgow

3 conferences found
Upcoming 1 Past 2 All 3
Year: All 2025 2 2027 1
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
In-Person
Education
2027 8th International Conference on Education Development and Studies (ICEDS 2027)
Apr 15 - 17, 2027
Deadline passed