Hubie Chen

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

Yoram Moses

Principles of Coordination in Multi-agent Systems

Neng-Fa Zhou

The Picat Language and System

Andrej Bauer

An Introduction to Algebraic Effects and Handlers

PostDoc position within the project “Oligomorphic clones”

The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable.

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