Group session next week cancelled
The group session on Monday 25. of November is cancelled.
There will probably be a session sometime in the beginning of December instead for the SAT-solver competition.
Publisert 18. nov. 2019 14:37
- Sist endret 18. nov. 2019 14:37