Talks

(subscribe: list, rss feed, calendar feed)
May
6

Hubie Chen

The Logic of Counting Query Answers: A Study via Existential Positive Queries

Apr
30

Yoram Moses

Principles of Coordination in Multi-agent Systems

Apr
28

Neng-Fa Zhou

The Picat Language and System

Apr
27

Andrej Bauer

An Introduction to Algebraic Effects and Handlers

Apr
24

James Anderson

Graph Decomposition for Large-Scale Dynamical System Analysis

Mar
24

Hannes Strass

Abstract Argumentation and Approximation Fixpoint Theory
March 24, 2015

News