Home | Sitemap | Kontakt | deutsch  | Impressum | Data Protection | KIT

Calendar of events

Meet & Prove

Thursday, 06 February 2020, 16:00
KIT-Fakultät für Informatik
Geb. 50.34, Raum 301

Am Lehrstuhl Anwendungsorientierte Formale Verifikation
Prof. Beckert in die Forschung hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und mit anschließendem Get-Together


Anmeldung:jonas schifflFez2∂kit edu (bis 3.2.2020)

Organizer
Service-Menu