EEkiro
DONNERSTAG · 19. NOV. · 00:00–23:59TECHVeranstaltungssprache: Englisch

36. Nordischer Workshop zur Programmiertheorie (NWPT)

Ujula 4, 51008 Tartu
BEZAHLUNG VOR ORT: 300 EUROHNE PLATZBEGRENZUNG · ÖFFENTLICHES EVENT · TARTU
WANNDONNERSTAG · 19. NOV. · 00:00–23:59WOUniversity of Tartu's Institute of Sport Sciences and Physiotherapy - Ujula 4, 51008 Tartu

NWPT ist ein jährlicher regionaler Workshop zur Programmiertheorie, der sich vor allem an junge Forschende richtet. 2026 findet er in Tartu statt; Doktorandinnen, Doktoranden und Postdocs können aktuelle Ergebnisse oder laufende Arbeiten vorstellen und Kolleginnen und Kollegen aus den nordischen und baltischen Ländern treffen.

Themen sind unter anderem: Semantik von Programmiersprachen; Sprachentwurf und Programmiermethodik; Programmlogiken; formale Spezifikation und Verifikation von Programmen; Programmkonstruktion, -transformation und -verfeinerung; Werkzeuge für Verifikation und Konstruktion; Echtzeit-, Hybrid- und cyber-physische Systeme; Modelle von Nebenläufigkeit und verteilten Systemen; Modellprüfung; modellbasiertes Testen; sprachbasierte Sicherheit.

Universität Tartu, Institut für Sportwissenschaften und Physiotherapie, Ujula 4, Tartu.

Kostenpflichtige Veranstaltung. Tickets ab 300 EUR verkauft der Veranstalter online; die App ist an Zahlungen nicht beteiligt.
TICKETS KAUFEN
CMGASTGEBER
Chad Mitchell Nester
veranstaltet 1
IN EKIRO ÖFFNEN

Mit einem kostenlosen Konto siehst du die ganze Karte und kannst Chad Mitchell Nester nach einem Platz fragen. Der Gastgeber antwortet in der App.

36. Nordischer Workshop zur Programmiertheorie (NWPT) · Ekiro