Deadline:
August 25, 2024
Program Starts: August 25, 2024
Program Ends: September 01, 2024
Location(s)
Austria
Obergurgl
Overview
The 14th International School of Rewriting will be held on August 25 – September 1, 2024 in Obergurgl, Austria.
Details
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The 14th International School on Rewriting takes place in Obergurgl, Austria. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. The school offers three different tracks:
- A comprehensive introductory course to first-order term rewriting accompanied with exercise sessions, for participants without previous exposure to term rewriting,
- A comprehensive introductory course to lambda-calculus and type theory accompanied with exercise sessions, for participants without previous exposure to lambda-calculus and type theory,
- A series of more advanced courses on recent developments and applications.
The courses are taught by leading experts in the field:
- Frédéric Blanqui, Inria - track C
- Ugo Dal Lago, University of Bologna - track C
- Herman Geuvers Radboud, University Nijmegen - track B
- Nao Hirokawa, Japan Advanced Institute of Science and Technology - track C
- Cynthia Kop, Radboud University Nijmegen - track C
- Aart Middeldorp, University of Innsbruck - track A
- Niels van der Weide, Radboud University Nijmegen - track B
- Sarah Winkler, Free University of Bolzano Bozen - track C
Opportunity is About
Eligibility
Candidates should be from:
Description of Ideal Candidate
Dates
Deadline: August 25, 2024
Program starts:
August 25, 2024
Program ends:
September 01, 2024
Program Starts: August 25, 2024
Program Ends: September 01, 2024
Cost/funding for participants
Please note, that the regular registration fee is 350EUR / 400EUR (early / late) and the student registration fee is 200EUR / 250EUR (early / late)
Un-save Opportunity
Internships, scholarships, student conferences and competitions.
