Séminaires : Séminaire des Thésards

Le séminaire des thésards est l'occasion pour les doctorants de présenter des résultats et des problématiques dignes d'intérêt devant un public de non-spécialistes. L'ambiance y est informelle ; poser des questions naïves est encouragé, et les questions moins naïves sont bienvenues dans la mesure où elles n'entravent pas le bon déroulement de l'exposé.

Un mercredi sur deux à 18h00, en alternance entre Jussieu et Sophie Germain.

Descriptive complexity aims to obtain logical characterisations of computational complexity classes, such as P, NP, PSPACE, EXPTIME, etc. The foundational theorem of the field is Fagin's theorem: it states that the class of properties decidable in nondeterministic polynomial time (NP) coincides with the class of properties expressible in existential second-order logic (ESO). We will begin by examining the foundations of descriptive complexity, and then we will attempt to generalise it to the enumeration framework