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

{{page>.:indexheader}}

\\ ==== Prochaine séance ====
[[seminaires:gel:index|Graphes et Logique]]\\
Mercredi 30 avril 2025, 13 heures 30, Salle 1021\\
**Sylvain Schmitz** (IRIF) //Well quasi-orders and preservation theorems for First-Order Logic - Part II//
<button type="link" size="xs" collapse="b34-4641">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b34-4641" 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>


\\ ==== Séances passées ====
\\ === Année 2025 ===

{{page>.:gel2025}}