/2022-08-25-thejaswini-parity-games 2022-08-25T00:00:00+00:00 /2022-09-08-balasubramanian-depth-bounded-processes 2022-09-08T00:00:00+00:00 /2022-09-22-ritam-raha-oca 2022-09-22T00:00:00+00:00 /2022-10-06-ruiwen-dong-identiy-problem-unitriangular-matrices 2022-10-06T00:00:00+00:00 /2022-10-27-moritz-lichter-rank-logic 2022-10-27T00:00:00+00:00 /2022-11-17-henry-sinclair-banks-complexity-fixed-dimension-vass 2022-11-17T00:00:00+00:00 /2022-12-01-soumodev-mal-satisfiability-cfg-constraints 2022-12-01T00:00:00+00:00 /2022-12-15-quentin-guilmant-surreal-numbers 2022-12-15T00:00:00+00:00 /2024-12-11-lucie-guillou-safety-analysis-of-parametrized-network 2024-12-11T00:00:00+00:00 /2025-02-20-aditya-prakash-recognizing-history-determinism 2025-02-20T00:00:00+00:00 /2025-03-11-ehsan-goharshady-termination-to-ltl 2025-03-11T00:00:00+00:00 /2025-03-24-dominik-klumpp 2025-03-24T00:00:00+00:00 /2025-04-10-lukasz-kaminski 2025-04-10T00:00:00+00:00 /2025-05-20-leonard-brice 2025-05-20T00:00:00+00:00 /2025-09-12-neha-rino 2025-09-12T00:00:00+00:00 /2025-10-23-sarah-larroze-jardine 2025-10-23T00:00:00+00:00 /about / /previous-talks /upcoming-talks