Seminar by Luca Aceto

SCHEDULE: 13th December 2017, 17:00, Room TBD SPEAKER: Luca Aceto (GSSI and School of Computer Science, Reykjavik University) TITLE: Computer Science and Logic: A Match Made in Heaven ABSTRACT: During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with […]

Continue reading