Conferences  >  Informatics  >  Information Theory, Foundations of Computer Science  >  Austria

Select a location
1
Vienna Inner Model Theory 2024
24 Jun 2024 - 05 Jul 2024 • Vienna, Austria
Abstract:
This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop.
Event listing ID:
1617373
2
ISR 2024 — 14th International School on Rewriting
25 Aug 2024 - 01 Sep 2024 • Obergurgl, Austria
Abstract:
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 at the University Center Obergurgl, Austria. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.
Event listing ID:
1617638


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 2 May 2024