The next Chocola seminar will be held on Thursday 13th December. Speakers include Lê Thành Dũng Nguyễn.
Workshop on machine proofs of linear logic at ENS Lyon on Tuesday 18th December 2018.
The next LSC seminar will be held in the morning of Tuesday 18th December. Speakers are Hélène Coullon, Claire Maiza and Colin Riba.