Latest Talks

(» further talks)
Nov
22

Luca Cardelli

Programming with Chemical Reactions
Thursday, November 22, 2018 at 16:00 c.t.

Nov
19

Vladimir Lifschitz

How We Studied the Input Language of gringo
Monday, November 19, 2018 at 12:30 s.t.

Nov
8

Moshe Vardi and Hans Akkermans

How the Hippies Destroyed the Internet
Thursday, November 8, 2018 at 18:15 s.t.

Nov
5

Martin Grohe

The Graph Isomorphism Problem
Monday, November 5, 2018 at 16:00 c.t.

Oct
31

Dale Miller

Separating Functional Computation from Relations
Wednesday, October 31, 2018 at 16:30 s.t.

Oct
25

Marcello D’Agostino

An informational view of classical logic
Thursday, October 25, 2018 at 16:30 s.t.