Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Aktuelles / Invitation to the Informatik-Kolloquium


Inhaltsbereich

Invitation to the Informatik-Kolloquium

Derek Dreyer (MPI-SWS): "RustBelt: Logical Foundations for the Future of Safe Systems"

Termindetails

Wann

20.04.2018
von 14:00 bis 15:30

Wo

80538 München, Oettingenstr. 67, Raum 151

Termin übernehmen

Derek Dreyer (MPI-SWS) presents:

RustBelt: Logical Foundations for the Future of Safe Systems Programming

 

Get more informations:

https://www.ifi.lmu.de/forschung/kolloquium

Artikelaktionen

Funktionsleiste