Talks

(subscribe: list, rss feed, calendar feed)
Jun
29

Dana S. Scott

Can Modalities Save Naive Set Theory?

Jul
8

Peter Stadler

Dynamic Programming for Lazy Bastards

Jun
24

Wolfgang Gatterbauer

The Linearization of Pairwise Markov Random Fields

Jun
10

Tomas Vojnar

From Pointers to List Containers

May
21

András Vörös

Saturation-based incremental LTL model checking with inductive proofs

May
18

Wolfgang Dvorak

Welfare Maximization with Friends-of-Friends Network Externalities

News