[PlanetKR] DL Seminar Series

Mon Nov 27 16:30:31 UTC 2023

Dear members of the KR 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20231127/9841dc98/attachment.htm>