Konferenzen  >  Informatik  >  Informationstheorie und Grundlagen der Informatik  >  Österreich

Wählen Sie ein Land aus
1
Vienna Inner Model Theory 2024
24. Jun 2024 - 05. Jul 2024 • Wien, Österreich
Zusammenfassung:
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.
Eintrags-ID:
1617417
2
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:
1617627
Verwandte Fachgebiete:


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