Events in Computational Logic

2017

• July 3—6, 2017: The LPNMR 2017 Conference
  

2016

• December 8: Computational logic day 2016
• March 3: CS Match Making Event

2015

• December 8: Computational logic day 2015

2014

• December 16: Computational logic day 2014
• December 09: Roland Kindermann's doctoral defense
• November 21: Tero Laitinen's doctoral defense