The color coding means:


: all participate
: Doctoral students participate

Please find the abstracts below the schedule and note that some of the slides are made available here, internally.

Plenary seminar sessions are hosted on Zoom. Student seminar sessions are hosted on a local instance of BigBlueButton. Access links can be found in the timetable below. Passcodes are going to be sent via e-mail, to the internal mailing list.

The passcodes to the virtual meetings can also be inquired from Sandy Seifarth.


Timetable


Date Time Topic Speaker Room
Apr 12 2022 13:00-16:00 The Skolem Landscape Joël Ouaknine
(Max Planck Institute for Software Systems)
Link (Zoom)
  13:00-16:00 TBA TBA
()
Link (BBB)
TBA

TBA
()

  13:00-16:00

TBA

TBA
()
Link (Zoom)
  13:00-16:00 TBA TBA
()
Link (BBB)
TBA TBA
()
  13:00-16:00 TBA TBA
()
Link (Zoom)
  13:00-16:00 TBA TBA
()
Link (Zoom)
  13:00-16:00 TBA

TBA
()

Link (BBB)
TBA TBA
()
  13:00-16:00 TBA TBA
()
Link (Zoom)
  13:00-16:00 TBA TBA
()
 
  13:00-16:00 TBA TBA
()
Link (Zoom)
  13:00-16:00 TBA TBA
()
Link (BBB) 
TBA TBA
()

 


Abstracts


Joël Ouaknine: The Skolem Landscape