Deutsch Intern
29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026)

Tagungsort

Adresse

Informatik M2
Am Hubland
97074 Würzburg

 

Würzburg erleben

Sehenswürdigkeiten (externer Link)

Hotel Melchior Park in Nähe zum Tagungsort (externer Link)

Weitere mögliche Unterkünfte (externer Link)