[ BCTCS ] Malin's title

msp-strath · Feb 27, 2025 · 6d9981d · 6d9981d
1 parent 2fee121
commit 6d9981d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bctcs2025/abstracts.html b/bctcs2025/abstracts.html
@@ -45,7 +45,7 @@ <h1>BCTCS 2025: Accepted contributed talks</h1>
       <h2>Accepted contributed talks</h2>
       <ul>
         <li>Ignacio Bellas Acosta: <em>Quantale Enriched Semantics for Graph Mathematical Morphology</em></li>
-        <!--<li>Malin Altenm&uuml;ller</li>-->
+        <li>Malin Altenm&uuml;ller: <em>A data type of intrinsically plane graphs</em></li>
         <li>Pete Austin: <em>Temporal Explorability Games</em></li>
         <li>Jakub Bachurski: <em>Breaking records: structural subtyping as a language design principle</em></li>
         <li>Justus Becker: <em>Proof translations for structurally different sequent calculi of intuitionistic modal logic</em></li>