more

Author: kondylidou

_bibliography/papers.bib

@@ -1,7 +1,7 @@
 ---
 ---
 
-@unpublished{taos,
+@incollection{taos,
   author    = {Lydia Kondylidou and Jasmin Blanchette and Marijn J.H. Heule},
   title     = {Tao's Equational Proof Challenge Accepted},
   booktitle = {IJCAR},
@@ -79,6 +79,22 @@ @incollection{tacas2025
   selected  = {true}
 }
 
+@unpublished{tptp-interpretations,
+  author    = {Geoff Sutcliffe and Alexander Steen and Pascal Fontaine and Lydia Kondylidou},
+  title     = {The TPTP Format for Interpretations},
+  booktitle = {PAAR},
+  year      = {2026},
+  abstract  = {This paper describes the TPTP format for representing interpretations.
+It provides a background survey that helped ensure that the representation format is adequate
+for different types of interpretations: Tarskian, Herbrand, and Kripke interpretations.
+The needs of applications that use models are considered. The syntax and semantics of the
+format are expounded in detail, with multiple examples. Verification of models is discussed.
+Some tools that support processing the format are noted. The properties of interpretations
+represented in the format are discussed.},
+  note      = {Submitted},
+  selected  = {false}
+}
+
 @unpublished{masters_thesis,
 title={Supporting a CDCL Sat Solver by BDD Methods - Masters Thesis},
 author={Lydia Kondylidou},

_data/cv.yml

@@ -113,6 +113,19 @@ cv:
     #     reference: Available upon request
 
     Teaching:
+      - title: Softwareentwicklungspraktikum für Informatik im Nebenfach
+        institution: Ludwig Maximilian University of Munich, Munich, Germany
+        year: WS26/27
+
+      - title: Automated Theorem Proving - Tutorial
+        institution: Ludwig Maximilian University of Munich, Munich, Germany
+        year: WS26/27
+
+      - title: Cryptography Practical Course
+        institution: Ludwig Maximilian University of Munich, Munich, Germany
+        year: SS26
+        description: <a href="https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/cryptography">Cryptography SS26</a>
+
       - title: SMT Seminar
         institution: Ludwig Maximilian University of Munich, Munich, Germany
         year: WS25/26