[DL] DL Seminar Series

[Jean Christoph Jung]

Dear members of the DL community,

The next event in the DL Seminar Series (https://dl.kr.org/seminar) is coming up and it is our great pleasure to invite you to the talk by Frank Wolter (University of Liverpool, UK) on Dec 1st at 2pm (CET). 

Title: An Introduction to Craig Interpolation from a DL Perspective

The meeting takes place online via Zoom:
https://tu-dortmund.zoom.us/j/94952036704?pwd=RmdKQURRVUNVU2dyM0pjdmcrZjhKdz09

Meeting ID: 949 5203 6704
Passcode: 250565

Looking forward to seeing you there!

Best wishes,
Ana, Magdalena, Meghyn, and Jean

PS: Just a reminder that you can join the KR community Discord (and the #dl channel) via https://discord.gg/BBWpqEZT2v. Besides other relevant information regarding the KR & DL communities such as academic events and job offers, you will find talk announcements of the DL Seminar Series and other online events as well.