Campus Event Calendar - ($Calendar)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Calendar

Previous Page | Next Page | Show: 1day | 2 days | 1 week | 2 weeks | 1 month | year

May 2025

May 2025

19 Monday

Thursday 22

13:00

-

13:30

Danupon Nanongkai: "On the Limitations of the Transformer Architecture (Brief Paper Presentation)"
E1 4 - 024

20 Tuesday

11:00	-	12:00		Ahana Ghosh: "Quizzes in Elementary-Level Visual Programming: Synthesis Methods and Pedagogical Utility" E1 5 - 029
13:00	-	13:30		Yanheng Wang: "How Fast Can You Estimate the Volume of a Union?" E1 4 - 024

Friday 23

21 Wednesday

10:00	-	11:00		Pascal Fontaine: "Around Congruence Closure" E1 4 - 024
11:30	-	12:00		D1 Group Members: "D1 Group Meeting" E1 4 - D1 Rotunda
12:00	-	13:30		Hendrik Leidinger: "SCL(EQ): Simple Clause Learning in First-Order Logic with Equality" E1 4 - 024

Saturday 24

Sunday 25

Previous Page | Next Page | Show: 1day | 2 days | 1 week | 2 weeks | 1 month | year

Copyright 2025 by Max Planck Institute for Informatics
Imprint / Impressum | Data Protection / Datenschutzhinweis