Διάλεξη του Καθηγητή κ. Makoto Tatsuta (National Institute of Informatics, Japan)

02 August 2021

Ημιόροφος κτιρίου Βιολογίας, Αίθουσα H6 (πρώην B)

17:00

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

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

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