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
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
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
![TechTalk](/img/TechTalkLogo1200x800_rdax_1024x683_98s.jpg)