[08/12/2021] Σεμινάριο Θεωρητικής Πληροφορικής και Διακριτών Μαθηματικών – Μαρία Πίττου, Extended Propositional Interaction Logic: A step beyond Propositional Configuration Logic

ΣΕΜΙΝΑΡΙΟ ΘΕΩΡHΤΙΚΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΔΙΑΚΡΙΤΩΝ ΜΑΘΗΜΑTΙΚΩΝ (Δ. Πουλάκης, Γ. Ραχώνης)

Τετάρτη 8-12-2021, 18:45
Μαρία Πίττου, υποψ. διδάκτωρ

Extended Propositional Interaction Logic: A step beyond Propositional Configuration Logic

zoom link:
https://authgr.zoom.us/j/98356355377?pwd=RUNsV1Z6S3d1bGU5ZFBUeUZXdlQyZz09
Meeting ID: 983 5635 5377
Passcode: 392455

Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα:
http://users.auth.gr/grahonis/seminar_TCS.htm