Section: Exercises | Games, Automata, Logics, and Formal Verification | SKOS

Section outline

- Select activity Week 2
  
  Week 2 File
- Select activity Week 3
  
  Week 3 File
- Select activity Week 4
  
  Week 4 File
- Select activity Week 5
  
  Week 5 File
- Select activity Week 6
  
  Week 6 File
- Select activity Week 7; deadline (EXTENDED): Apr 11, 11:11
  
  Week 7; deadline (EXTENDED): Apr 11, 11:11 File
- Select activity Solutions
  
  Solutions Assignment
  
  Send a txt file containing a link to a git repository or an archive if you hate git.
- Select activity Final results
  
  Final results Page
  
  Not available unless: Your Email address is not empty
- Select activity Week 8
  
  Week 8 File
- Select activity Week 9
  
  Week 9 File
- Select activity Week 10
  
  Week 10 File
- Select activity Week 11
  
  Week 11 File
- Select activity Week 12
  
  Week 12 File
- Select activity Week 14; Deadline: Jun 13, 13:13
  
  Week 14; Deadline: Jun 13, 13:13 File
- Select activity Test #1 to Excercise 3
  
  Test #1 to Excercise 3 File
- Select activity Test #2 to Excercise 3
  
  Test #2 to Excercise 3 File
- Select activity Solutions
  
  Solutions Assignment
  
  Send a txt file containing a link to a git repository or an archive if you hate git.