Startseite / Konferenzkalender / Mathematik / Computer-gestütztes Beweisen / Österreich

Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Österreich

Wählen Sie ein Land aus
Deutschland (5)  Georgien (1)  Großbritannien (2)  Kanada (1)  Portugal (1)  Österreich (1)
Österreich
1
ISR 2024 — 14th International School on Rewriting
25. Aug 2024 - 01. Sep 2024 • Obergurgl, Österreich
Zusammenfassung:
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.
Eintrags-ID:
1617561
Verwandte Fachgebiete:
Informationstheorie und Grundlagen der Informatik,    Softwareentwicklung
Webseite:
http://cl-informatik.uibk.ac.at/events/isr-2024/


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 2. Mai 2024