Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Georgien

Wählen Sie ein Land aus
1
ITP 2024 — 15th Conference on Interactive Theorem Proving
09. Sep 2024 - 14. Sep 2024 • Tbilisi – hybrid, Georgien
Eintrags-ID:
1617611


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