Θέμα 1: A tournament problem (by L. R. Ford and S. Johnson).
Ομιλητής: Γεώργιος Αυδής.
Θέμα2: The Complexity of Theorem-Proving Procedures (by S. A. Cook).
Ομιλητής: Στέφανος Μήτσης-Κουτούκης.