Iyad Kanj

The complexity of tree partitioning
Wednesday, August 23, 2017 at 11:30 s.t.

LogicLounge in Memoriam Helmut Veith. Logic in Computer Science: A Teaching Perspective

Logic in Computer Science: A Teaching Perspective
Friday, October 6, 2017 at 12:00 s.t.