Yoram Moses
Principles of Coordination in Multi-agent Systems
Category Talks
Neng-Fa Zhou
The Picat Language and System
Andrej Bauer
An Introduction to Algebraic Effects and Handlers
James Anderson
Graph Decomposition for Large-Scale Dynamical System Analysis
Hannes Strass
Abstract Argumentation and Approximation Fixpoint Theory
March 24, 2015
Roopsha Samanta
Succinct Representation of Concurrent Trace Sets
Iyad Kanj
On Bounded-Degree Plane Geometric Spanners
Helmut Seidl
Parametric Strategy Iteration
Gordon Cichon
Formal Semantics of Synchronous Transfer Architecture
Dec. 18, 2014