https://events.illc.uva.nl/FOAM/ Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description. 2026-04-21T19:34:18+02:00 ILLC TCS Group https://events.illc.uva.nl/FOAM/ Jekyll © 2026 ILLC TCS Group /FOAM/assets/img/favicons/favicon.ico /FOAM/assets/img/favicons/favicon-96x96.png 2026-05-22T15:00:00+02:00 2026-05-22T15:00:00+02:00 https://events.illc.uva.nl/FOAM/posts/talk33/ Twan Kroll LAB42 L2.06

Online advertising systems have recently transitioned to autobidding, allowing advertisers to delegate bidding decisions to automated agents. Each advertiser directs their agent to optimize an objective function subject to return-on-investment (ROI) and budget constraints. Given their practical relevance, this shift has spurred a surge of research on the liquid welfare price of anarchy (POA) of...

2026-04-17T15:00:00+02:00 2026-04-17T15:00:00+02:00 https://events.illc.uva.nl/FOAM/posts/talk32/ Divya Ravi LAB42 L2.06

Secure multiparty computation (MPC) enables a set of mutually distrusting parties to jointly compute a function over their private inputs while revealing nothing beyond the final output. Such guarantees are useful in settings where sensitive data must be processed jointly, including applications in healthcare and finance. This talk introduces the foundational ideas behind MPC, including formal ...

2026-03-20T15:00:00+01:00 2026-03-20T15:00:00+01:00 https://events.illc.uva.nl/FOAM/posts/talk31/ John van de Wetering LAB42 L1.07

The ZX-calculus is a graphical language for reasoning about quantum processes. In this talk I will give an overview of how we can use ZX-diagrams and a small set of rewrite rules to prove interesting properties regarding optimisation, verification, classical simulation and quantum error correction.

2026-02-20T15:00:00+01:00 2026-02-20T15:00:00+01:00 https://events.illc.uva.nl/FOAM/posts/talk30/ Patrick Lederer LAB42 L2.06

Social choice theory is broadly concerned with the formal study of collective decision making: a set of agents report preferences over a set of candidates that need to be aggregated into a collective decision. In economic theory, the standard approach to evaluating mechanisms for such problems, so-called voting rules, is to formalize desirable behavior of mechanisms as rigorous mathematical axi...

2026-01-30T15:00:00+01:00 2026-01-30T15:00:00+01:00 https://events.illc.uva.nl/FOAM/posts/talk29/ Gaurav Rattan LAB42 L2.06

Graph Neural Networks (GNNs) are deep learning models for graphs and networks. Despite the widespread popularity of GNNs in the practical setting, the mathematical principles underlying the design and analysis of these models are still not very well-understood. This naturally calls for a first-principles approach to machine learning on graphs, rooted in classical graph theory, as opposed to lev...