Talks

(subscribe: list, rss feed, calendar feed)
Nov
27

Lenore D. Zuck

Parameterized Verification: Theory and Practice
Thursday, November 27, 2014 at 15:30

Nov
20

Nathan Wasser

Abstraction On-Demand: Automatically Generating Invariants for Loops and Recursive Method Calls
Thursday, November 20, 2014 at 17:00

Nov
24

Vinay K. Chaudhri

An Architecture for Intelligence Using Prototypes, Composition and Analogy

Oct
8

Stefan Mengel

Understanding model counting for beta-acyclic CNF-formulas
Wednesday, October 8, 2014 at 11:00

Oct
9

Johann A. Makowsky

Sets and Logic for CS: How to teach what is useful

Oct
27

Marco Maratea

Multi-Engine Answer Set Programming
Monday, October 27, 2014 at 15:00

News