Logic List Mailing Archive

CfR: ISR 2024: 14th International School on Rewriting, 25 Aug - 1 Sept, Obergurgl (Austria)

14th International School on Rewriting (ISR 2024)

August 25 - September 1, Obergurgl, Austria

http://cl-informatik.uibk.ac.at/isr24/

* early registration deadline: May 1

ISR 2024 is aimed at master and PhD students, researchers and practitioners
 interested in the study of rewriting concepts and their applications. It o
ffers three parallel tracks, taught by well-known experts:

- Track A: comprehensive introduction to first-order term rewriting
    lecturer: Aart Middeldorp

- Track B: comprehensive introduction to type theory and lambda calculus
    lecturers: Herman Geuvers and Niels van der Weide

- Track C: advanced courses on
    - Interoperability of Proof Systems using Lambdapi
      lecturer: Frederic Blanqui
    - Randomized Programming and Rewriting
      lecturer: Ugo Dal Lago
    - Tools in Rewriting
      lecturer: Nao Hirokawa
    - Termination and Complexity in Higher-Order Term Rewriting
      lecturer: Cynthia Kop
    - SAT/SMT Solving and Applications in Rewriting
      lecturer: Sarah Winkler

Each track consists of 20 slots of 90 minutes. Further details (including r
egistration information) can be found on the website of ISR
2024:

http://cl-informatik.uibk.ac.at/isr24/

ISR 2024 is organized by Aart Middeldorp, Georg Moser and Rne Thiemann.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php