Conducted in
terms:
2025, 2026
ECTS credits:
6
Language:
English
Organized by:
Faculty of Mathematics, Informatics, and Mechanics
Research seminar "Semantics, Logic, Verification and its Applications" 1000-2S22SLW
- https://mimuw.edu.pl/pl/seminaria/semantyka-logika-i-weryfikacja-oraz-wiele-ich-ciekawych-aplikacji/
This course has not yet been described...
Course coordinators
Assessment criteria
A PhD candidate must give one talk in each semester to get credit for the seminar.