FOAM Seminar

The FOAM Seminar, organised by computer scientists at the ILLC, features research on questions of a fundamental nature in computer science and AI, in research areas such as algorithms, optimisation, data management, planning, knowledge representation, and multiagent systems. Talks are intended to be broadly accessible and pitched at the level you might find at a plenary talk of a relevant conference (such as IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS, and SODA).

FOAM usually takes place on a Friday at 15:00. Talks are roughly 45 minutes long, followed by a brief discussion. Afterwards, you are invited to stay for a chat and a drink. Everyone is welcome to attend!

Upcoming Talks

Ulle Endriss (ILLC)

Automated Reasoning for Economic Theory

The research area of computational social choice deals with the application of techniques from computer science and AI to the design and analysis of economic mechanisms for collective decision maki...

Daira Pinto Prieto (ILLC)

Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence

One problem to solve in the context of information fusion, decision-making, and other artificial intelligence challenges is to compute justified beliefs based on evidence. In real-life examples, th...

Malvin Gattinger (ILLC)

The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable

It is known that without synchronization via a global clock one cannot obtain common knowledge by communication. Moreover, it is folklore that without exchanging higher-level information arbitrary ...







Past Talks

Wan Fokkink (VU)

Supervisor Synthesis: Turning Automata into Control Software

Supervisory Control Theory, initiated by Ramadge and Wonham, automatically transforms a formal system model and its safety requirements into a (minimally) restricted system that satisfies all safet...

Guido Schäfer (ILLC/CWI)

Social Welfare Loss in Hybrid Multi-Unit Auctions

Corruption in auctions, where an auctioneer engages in bid rigging with one (or several) of the bidders, occurs rather frequently in practice, especially in the public sector (e.g., in constructi...

Balder ten Cate (ILLC)

Data examples

Examples can be a useful tool when a formal specification must be synthesized or communicated. They sometimes provide a more convenient medium for communication than the formal specification itsel...

Rebecca Reiffenhäuser (ILLC)

Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria

(or how to be fair to deceptive egoists.) When allocating indivisible goods to a number of selfish agents, both fairness and truthfulness are main concerns: the allocation should guarantee everyon...

Gregor Behnke (ILLC)

Lifted Classical Planning via Propositional Logic Satisfiability

Planning models are usually defined in lifted, i.e., first order formalisms, while most solvers need (variable-free) grounded representations. Though techniques for grounding prune unnecessary part...