# -*- mode: rec -*-

%rec: School
%doc: A summer or winter school. Repeat Topic and Language for multiple values.
%key: Id
%mandatory: Name Start End City Country Url
%allowed: Id Name Start End City Country Topic Deadline Url Description Updated
%type: Name line
%type: Start date
%type: End date
%type: Deadline date
%type: Updated date
%type: City line
%type: Country line
%type: Url line
%sort: Start

Id: cyclic-2027
Name: The 2027 Dutch Winter School on Logic and Verification
Start: 2027-01-18
End: 2027-01-22
City: Leiden
Country: Netherlands
Topic: software verification
Topic: logic
Topic: type theory
Deadline: 2027-01-07
Url: https://cyclic-structures.nl/winter-school/2027.html
Updated: 2026-10-29

Id: adjoint-2027
Name: The Adjoint School 2027
Start: 2027-07-05
End: 2027-07-09
City: Erlangen
Country: Germany
Topic: category theory
Url: https://adjointschool.com/2027.html
Updated: 2026-10-29

Id: workshopncat-2027
Name: Theory and Applications of (∞,n)-Categories
Start: 2027-07-04
End: 2027-07-09
City: Kelowna
Country: Canada
Topic: category theory
Url: https://lynemoser.com/workshopncat
Updated: 2026-10-29

Id: qcomical-2026
Name: QCOMICAL School 2026
Start: 2026-11-16
End: 2026-11-20
City: Pisa
Country: Italy
Topic: quantum programming languages
Url: https://qcomical2026.github.io
Updated: 2026-10-29

Id: lss-2026
Name: 34th Annual Logic Summer School
Start: 2026-12-07
End: 2026-12-18
City: Canberra
Country: Australia
Topic: logic
Url: https://comp.anu.edu.au/lss
Updated: 2026-10-29

# End of schools.rec