[AI-announce] Invitation to inaugural lecture: Logic and Formal Verification

[CCS-Marketing]

Dear students,

the Center of Computer Science kindly invites you to Prof. Dr. Thomas
Zeume’s inaugural lecture “Sketches of Dynamic Descriptive Complexity”!

Become familiar with Prof. Zeume’s research interests and discover the
logical perspective of answering database queries in dynamic data contexts. 
Find out more about the topic that touches many modern areas of computer
science in the abstract in the attachment.

When? 16th of December 2020, 04:00 PM

Where? Via Zoom
<https://ruhr-uni-bochum.zoom.us/j/94968843467?pwd=TEdRc3FmeERlYWZzVVpMdnJMU
jVlQT09>  (Meeting-ID: 949 6884 3467, Password 540950)

Anyone interested is warmly welcome – no registration is needed. 

Follow your interests and get inspired! We are looking forward to your
participation.

 

Best wishes,

Charlotte Schab
Marketing und PR

Ruhr-Universität Bochum
Center of Computer Science (CCS)

ccs-marketing at rub.de <mailto:ccs-marketing at rub.de> 
Tel.: +49 (0)234 32-19251

 
<https://deref-web.de/mail/client/Tw6-xsrchb0/dereferrer/?redirectUrl=https%
3A%2F%2Finformatik.ruhr-uni-bochum.de> https://informatik.ruhr-uni-bochum.de


 

 

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.ruhr-uni-bochum.de/pipermail/ai-announce/attachments/20201126/18548c52/attachment.htm>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : Invitation Inaugural Lecture Zeume.pdf
Dateityp    : application/pdf
Dateigröße  : 285519 bytes
Beschreibung: nicht verfügbar
URL         : <http://lists.ruhr-uni-bochum.de/pipermail/ai-announce/attachments/20201126/18548c52/attachment.pdf>