~~NOCACHE~~
/* DO NOT EDIT THIS FILE               */
/* THIS FILE WAS GENERATED             */
/* EDIT THE FILE "indexheader" INSTEAD */
/* OR ACCESS THE DATABASE              */

{{page>.:indexheader}}

\\ ==== Next talk ====
[[en:seminaires:gel:index|Graphs and Logic]]\\
Wednesday April 30, 2025, 1:30PM, Salle 1021\\
**Sylvain Schmitz** (IRIF) //Well quasi-orders and preservation theorems for First-Order Logic - Part II//
<button type="link" size="xs" collapse="b34-4643">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b34-4643" collapsed="true">
<well size="sm">
Continuation of part I. I intend to cover

   - applications of WQOs in algorithmic graph theory,
   - a focus on classes of graphs that are well-quasi-ordered by the induced subgraph ordering, along with Pouzet’s Conjecture,
   - the generalisation to preservation properties in first-order logic.
</well>
</collapse>


\\ ==== Previous talks ====
\\ === Year 2025 ===

{{page>.:gel2025}}