Lehrveranstaltungen
Wintersemester 2025/26
Einführende Veranstaltungen
-
Vorlesung Automated Theorem Proving
2+2-std., Blanchette -
Bachelor-Kurs Python für Anfänger
2-std., Graß, Blanchette -
Proseminar Scientific and Technical English for Computer Scientists
2-std., Blanchette -
Proseminar Functional Pearls
2-std., Desharnais, Blanchette -
Bachelor-Praktikum Softwareentwicklungspraktikum für Informatik im Nebenfach
3-std., Dannehl, Maio, Blanchette
Weiterführende Veranstaltungen
-
Hauptseminar Satisfiability Modulo Theories
2-std., Kondylidou, Blanchette -
Hauptseminar Type Theory
2-std., Guerdi, Blanchette -
Master-Praktikum Mobile Application Development
2+2-std., Toth, Blanchette -
Master-Praktikum Formalization in Lean
2+2-std., Généreux, Blanchette
Sonstige
- Oberseminar Theoretische Informatik und Theorembeweisen
2-std., Blanchette
Artikelaktionen