The next Chocola seminar will take place on Thursday 22nd September 2022.
News
Séminaire LSC
The LSC seminar on formalization of graph theory may take place at a later date. Speakers could be Christian Doczkal, Jan Goedgebeur, Damien Pous and Nicolas Trotignon.