Wolfgang Pauli Institute (WPI)

	Wolfgang Pauli Institute (WPI) Vienna
Home	WPI in a nutshell	Practical Information	Events	People	WPI Projects
Login	Thematic Programs	Pauli Fellows	Talks	Research Groups	WPI Projects

Workshop on "SMT Reasoning for distributed systems" (external website )

Location: TU Wien

Thu, 11. Apr - Fri, 19. Apr 24

Organisation(s)
FOR(SYTE) @ TU Wien
WPI

Organiser(s)
Laura Kovacs (WPI c/o TU Wien)
Beatrix Buhl (TU Wien)