Decision Procedures and Verification - Points
Last update: 6. 3. 2018
News:
13.1.2014: | Points updated and homeworks evaluated, credit indicated |
2.1.2014: | Points updated and homeworks evaluated |
17.12.2013: | Points updated and homeworks evaluated |
Name and Surname | Presence | Activity | Tasks | Credit |
Rima Al Ali | 4 | 2 | 18 | Yes |
Jakub Daniel | 8 | 10 | 19 | Yes |
Ilias Gerostathopoulos | 6 | 7 | 9 | Yes |
Milan Ježek | 7 | 7 | 3 | Yes |
Michal Kit | 3 | 4 | 16 | Yes |
Ondřej Majerech | - | - | 27 | Yes |
Marek Vandas | 6 | 4 | 3 | Yes |