<div dir="ltr">Dear DL and KR Community Members,<br><br>We are happy to announce that the next Description Logic Seminar will take place on Friday June 19, 2026, at 2pm CEST via Zoom.<br>Our next speaker is        Vladislav Ryzhikov from Birkbeck, University of London and the topic of the talk is Reverse Engineering and Learning of Temporal Logic Queries.<br><br>Abstract:<br>In reverse engineering of database queries, one aims to learn a query from two given sets of examples where answers are supposed to be positive and negative. The query can then be used to find explanation of the answers and non-answers, and also as a classifier for new data instances. We start by formulating a general separation problem in the setting where the queries are temporal logic formulas, and the data instances are finite sets of temporal facts. We present a number of examples to motivate the problem. We present our recently obtained results related to the computational complexity of computing separating linear temporal logic (LTL) queries.<br><br><br>Zoom link will be provided on our webpage: <a href="https://dl.kr.org/seminar/">https://dl.kr.org/seminar/</a><br><br>See you there!<br>Bartosz Bednarczyk, Elena Botoeva, Maurice Funk, and Quentin Manière.</div>