Latest Talks

(» further talks)
Nov
22

Luca Cardelli

Programming with Chemical Reactions
Thursday, November 22, 2018 at 16:00 c.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.

Oct
5

Tomi Janhunen

Writing Declarative Specifications for Clauses
Friday, October 5, 2018 at 14:00 s.t.