frocos

Author: jcailler

_layouts/publications.html

@@ -46,7 +46,10 @@
           {{ post.author }}<br/>
           In: <i>{{ post.conf }}</i>.<br/>
           <!-- &nbsp; Publisher: {{ post.publisher }}.<br/> -->
-          &nbsp; <a href="{{ site.url }}{{ site.baseurl }}/assets/bibtex/{{ post.bibtex }}" target="_blank">BibTex</a> | &nbsp;  <a href="{{ post.doi }}" target="_blank">DOI</a>
+          &nbsp; <a href="{{ site.url }}{{ site.baseurl }}/assets/bibtex/{{ post.bibtex }}" target="_blank">BibTex</a> 
+          | &nbsp;  <a href="{{ post.doi }}" target="_blank">DOI</a> 
+          {% if post.slides %} | &nbsp; <a href="{{ site.url }}{{ site.baseurl }}/assets/pdf/{{ post.slides }}" target="_blank">Slides</a> {% endif %} 
+          {% if post.talk %} | &nbsp; <a href="{{ post.talk }}" target="_blank">Talk</a> {% endif %}
         </p>
       </li>
 
@@ -63,7 +66,7 @@
 
 
 <br/>
-<!-- Conf -->
+<!-- Workshop -->
 
 {% for category in sort_categories %}
 {% assign category_name = category | first %}
@@ -97,8 +100,10 @@
           {{ post.author }}<br />
           In: <i>{{ post.conf }}</i>.<br />
           <!-- &nbsp; Publisher: {{ post.publisher }}.<br/> -->
-          &nbsp; <a href="{{ site.url }}{{ site.baseurl }}/assets/bibtex/{{ post.bibtex }}" target="_blank">BibTex</a> |
-          &nbsp; <a href="{{ post.doi }}" target="_blank">DOI</a>
+          &nbsp; <a href="{{ site.url }}{{ site.baseurl }}/assets/bibtex/{{ post.bibtex }}" target="_blank">BibTex</a> 
+          | &nbsp; <a href="{{ post.doi }}" target="_blank">DOI</a>
+          {% if post.slides %} | &nbsp; <a href="{{ site.url }}{{ site.baseurl }}/assets/pdf/{{ post.slides }}" target="_blank">Slides</a> {% endif %} 
+          {% if post.talk %} | &nbsp; <a href="{{ post.talk }}" target="_blank">Talk</a> {% endif %}
         </p>
       </li>
 
@@ -146,7 +151,8 @@
 
       <li>
         {% assign ts = post.date | date: '%s' %}
-        <p><a href="{{ site.url }}{{ site.baseurl }}/assets/pdf/{{ post.attachment }}" target="_blank">{{ post.title }}</a><br/>
+        <p><a href="{{ site.url }}{{ site.baseurl }}/assets/pdf/{{ post.attachment }}" target="_blank">{{ post.title }}</a> {% if post.talk %} (&nbsp; <a href="{{ post.talk }}" target="_blank">Talk</a>) {% endif %}
+<br/>
           At: <i>{{ post.subtitle }}</i>.
         </p>
       </li>

_posts/2022-08-09-IJCAR2022.md

@@ -8,6 +8,7 @@ categories: [conferences]
 math: true
 mermaid: true
 attachment: ijcar2022.pdf
+slides: ijcar2022_talk.pdf
 bibtex: ijcar2022.txt
 doi: https://doi.org/10.1007/978-3-031-10769-6_22
 ---

_posts/2022-08-09-talk-IJCAR2022.md

@@ -1,7 +1,7 @@
 ---
 title: "Goéland: A Concurrent Tableau-Based Theorem
 Prover"
-subtitle: Workshop on Parallel and Distributed Automated Reasoning 2022 (PDAR2022)
+subtitle: Workshop on Parallel and Distributed Automated Reasoning 2022 (PDAR2022@IJCAR2022)
 author:
 date: 2022-08-11
 categories: [talks]

_posts/2022-08-11-talk-PDAR2022.md

@@ -1,6 +1,6 @@
 ---
 title: "SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus"
-conf: 9th Workshop on Practical Aspects of Automated Reasoning (PAAR'24)
+conf: 9th Workshop on Practical Aspects of Automated Reasoning (PAAR'24@IJCAR2024)
 author: Julie Cailler & Simon Guilloud
 publisher: Ceur
 date: 2024-07-02

_posts/2024-07-02-PAAR.md

@@ -2,7 +2,7 @@
 title: "Interoperability of Proof systems with SC-TPTP (System Description)"
 conf: 30th International Conference on Automated Deduction (CADE-30)
 author: Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, and Viktor Kunčak
-publisher: Springer
+publisher: Springer 
 date: 2025-07-29
 categories: [conferences]
 math: true

_posts/2025-07-29-CADE25.md

@@ -1,6 +1,6 @@
 ---
 title: "The ProoVer Competition"
-subtitle: The 14th TPTP Tea Party (CADE-30)
+subtitle: The 14th TPTP Tea Party (@CADE-30), Stuttgart, Germany
 author:
 date: 2025-08-02
 categories: [talks]

_posts/2025-08-02-talk-TPTPTP.md

@@ -1,10 +1,11 @@
 ---
 title: "Deskolemization: From Tableaux to Machine-Checkable Proofs"
-subtitle: Workshop on Automated Reasoning and Proof Logging EuroProofNet Symposium
+subtitle: Workshop on Automated Reasoning and Proof Logging EuroProofNet Symposium, Institut Pascal, Paris, France
 author:
 date: 2025-09-13
 categories: [talks]
 math: true
 mermaid: true
+talk: none
 attachment: epn_symposium.pdf
 ---

_posts/2025-09-13-talk-EPN.md

@@ -1,13 +1,14 @@
 ---
 title: "When GNNs Met a Word Equations Solver: Learning to Rank Equations"
-conf: 15th International Symposium on Frontiers of Combining Systems (FroCos 2025)
+conf: 15th International Symposium on Frontiers of Combining Systems (FroCoS 2025)
 author: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang & Philipp Rümmer 
 publisher: Springer
 date: 2025-10-01
 categories: [conferences]
 math: true
 mermaid: true
-attachment: frocos25.pdf
-bibtex: frocos25.txt
+attachment: frocos2025.pdf
+slides: frocos2025_talk.pdf
+bibtex: frocos2025.txt
 doi: https://doi.org/10.1007/978-3-032-04167-8_18
 ---