Veranstaltungskalender

 
Vortrag

The Human Factors of Formal Methods

Donnerstag, 13. Juni 2024, 15:45
Raum -101, Geb. 50.34
Referent/in
Shriram Krishnamurthi

Brown University
Veranstalter
Fakultät für Informatik
Karlsruher Institut für Technologie (KIT)
Am Fasanengarten 5
76131 Karlsruhe
Tel: 0721 / 608-48660
Fax: 0721 / 608-41777
E-Mail: pr ∂does-not-exist.informatik kit edu
https://www.informatik.kit.edu
Servicemenü

Tag der Informatik