Διάλεξη του καθηγ. Makoto Tatsuta (National Institute of Informatics, Japan) στο Τμήμα Πληροφορικής ΑΠΘ με θέμα:

“Brotherston’s Conjecture: Equivalence of Inductive Definitions & Cyclic Proofs”

τη Δευτέρα 23.04.2018 στις 5.00 μμ στην αίθουσα H6 (πρώην B)