These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Click on an event to view details.

(Updated) 4 March 2026, LLAMA seminar, Johannes Kloibhofer

Date & Time: Wednesday 4 March 2026, 16:00-17:00

Speaker: Johannes Kloibhofer (ILLC)

Title: Interpolation with cyclic proofs

Location: ILLC Seminar Room F1.15, Science Park 107 and online (see website)

For more information, see https://events.illc.uva.nl/llama/#talk-kloibhofer-2026 or contact Marianna Girlando at m.girlando at uva.nl.

(New) 12 March 2026, ARA Seminar, Arie Soeteman and Balder ten Cate

Date & Time: Thursday 12 March 2026, 16:00-17:15

Speaker: Arie Soeteman and Balder ten Cate

Location: Room L2.07, ILLC Lab42, Science Park 900, Amsterdam

For more information, see https://events.illc.uva.nl/ARA/posts/talk07/ or contact Arie Soeteman at g.a.w.soeteman at uva.nl, or Balder ten Cate at b.d.tencate at uva.nl.

13 March 2026, DIP Colloquium, Michael Franke

Date & Time: Friday 13 March 2026, 16:00-17:30

Speaker: Michael Franke (Tübingen)

Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35273/Michael-Franke-Tübingen.

(New) 18 March 2026, LLAMA seminar, Tenyo Takahashi

Date & Time: Wednesday 18 March 2026, 16:00-17:00

Speaker: Tenyo Takahashi (ILLC)

Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam and online (see website)

For more information, see https://events.illc.uva.nl/llama/#talk-takahashi-2026 or contact Marianna Girlando at m.girlando at uva.nl.

20 March 2026, FOAM Seminar, John van de Wetering

Date & Time: Friday 20 March 2026, 15:00-16:15

Speaker: John van de Wetering (IvI)

Title: Picturing Quantum Software

Location: Room L1.07 (LAB42), Science Park 900, Amsterdam

For more information, see https://events.illc.uva.nl/FOAM/posts/talk31/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl.