thomasseiller - Network

Admissibility results for the CNRS competitions 53/02 and 53/03 are now online on the CID53 website. https://www.cid53.fr/en

Admissibility results for the CNRS competitions 53/02 and 53/03 are now online on the CID53 website.

https://www.cid53.fr/en

Results for the CNRS competition 53/01 (senior positions, interdisciplinary committee “Science in society”) are now available online on...

Results for the CNRS competition 53/01 (senior positions, interdisciplinary committee “Science in society”) are now available online on the CID53 website.
https://www.cid53.fr/en

The MathStic federation (https://mathstic.univ-paris13.fr/) opened a call for applications for a postdoc position on topics at the interface...

The MathStic federation (https://mathstic.univ-paris13.fr/) opened a call for applications for a postdoc position on topics at the interface between mathematics and computer science (deadline May 26th). The postdoc should be co-hosted by two labs of MathStic. Projects in category theory in particular could be co-hosted by the algebraic topology team at LAGA (mathematics) and the LoCal (logic and computation) team at @LipnLab. Anyone interested can contact me for more information.

This was the first official appearance of our team’s logo (in my slides): https://www.seiller.org/documents/CUNY25.pdf

This was the first official appearance of our team’s logo (in my slides): https://www.seiller.org/documents/CUNY25.pdf

This week I am visiting City University New York! I will be participating in an exciting event tomorrow:...

This week I am visiting City University New York! I will be participating in an exciting event tomorrow: https://itsatcuny.org/calendar/2025/4/foundationsofai11. If you are around, do not hesitate to attend!

The Caleidoscope 2025 school on computational complexity is already over. We had a great week at CIRM, with exceptional lectures! Some...

The Caleidoscope 2025 school on computational complexity is already over. We had a great week at CIRM, with exceptional lectures! Some material (slides, as well as some recordings) should be available soon!

The list of candidates selected for interviews for the CNRS hiring competitions 53/01, 53/02, and 53/03 is now available....

The list of candidates selected for interviews for the CNRS hiring competitions 53/01, 53/02, and 53/03 is now available.

https://www.cid53.fr/en

Aujourd’hui était organisée une journée autour de l’aide à la décision (http://gdrro.lip6.fr/?q=node/340). Alberto Naibo et moi...

Aujourd’hui était organisée une journée autour de l’aide à la décision (http://gdrro.lip6.fr/?q=node/340). Alberto Naibo et moi avons présenté notre projet interdisciplinaire sur la notion d’algorithme. Voici les liens vers nos transparents:
https://www.seiller.org/documents/JourneeAAD.pdf
https://www.seiller.org/documents/JourneeAAD-Naibo.pdf

Last week I visited Chapman university and gave a talk titled “Logical structures arising from corpora”. It tackles the question: can...

Last week I visited Chapman university and gave a talk titled “Logical structures arising from corpora”. It tackles the question: can statistical data from a corpus be used to extract (some) mathematical structure of natural language?

This is a joint work in progress with Samantha Jarvis, Juan-Luis Gastaldi, Luc Pellissier, and John Terilla.

Slides can be found there: https://www.seiller.org/documents/Chapman2025.pdf

List of junior positions: https://www.legifrance.gouv.fr/jorf/id/JORFTEXT000050763136List of senior positions:...

List of junior positions: https://www.legifrance.gouv.fr/jorf/id/JORFTEXT000050763136

List of senior positions: https://www.legifrance.gouv.fr/jorf/id/JORFTEXT000050763138

The official list of open CNRS positions has been published. If you are interested in applying, you should contact potential hosting...

The official list of open CNRS positions has been published.

If you are interested in applying, you should contact potential hosting laboratories.

Note that some sections have their own websites with application guidelines, eg
CN6 (theoretical computer science): https://cn6.fr
CID53 (science in society, interdisciplinary): https://www.cid53.fr

Any questions left about the procedure? You can ask me!

Today Ulysse Léchine will be defending his PhD, which I supervised. He will present results in algebraic complexity, selection rules for...

Today Ulysse Léchine will be defending his PhD, which I supervised. He will present results in algebraic complexity, selection rules for normal numbers, and an improved time hierarchy theorem for time-bounded Kolmogorov complexity.

Defence is planned at 2.30pm CET. Zoom link: https://cnrs.zoom.us/j/95871906831?pwd=zfbwsdjY2p9mXSnseKeWrPE3PLzyS2.1

Yesterday, I gave a talk entitled “Does language have a logical structure?”.I discussed a very recent collaboration with S. Jarvis and...

Yesterday, I gave a talk entitled “Does language have a logical structure?”.

I discussed a very recent collaboration with S. Jarvis and John Terilla (CUNY), G. Gastaldi @giannigastaldi, and L. Pellissier @lucpellissier.

I am quite excited about this work which relates categorical structures (nuclei of an adjunction), models of linear logic, and some approaches in natural language processing, with hints of projective tropical geometry.

Slides are here: https://www.seiller.org/Normes24.pdf

Chirine Laghjichi, a PhD student I am happy and lucky to supervise, is organising a wonderful interdisciplinary conference around the notion...

Chirine Laghjichi, a PhD student I am happy and lucky to supervise, is organising a wonderful interdisciplinary conference around the notion of computation from December 17th to 19th.

More information here: https://lipn.univ-paris13.fr/~pac/

Positions offered in 2025 by the Computer Science institute (INS2I) of CNRS are listed:...

Positions offered in 2025 by the Computer Science institute (INS2I) of CNRS are listed: https://www.ins2i.cnrs.fr/en/cnrsinfo/researchers-competition-2025-list-positions-offered-cnrs-informatics.

Some positions will be open for interdisciplinary research, with one position in the CID53 interdisciplinary section (science in society) assigned in a computer science lab.

Anyone interested in applying to our team (logic, semantics, category theory, computability, complexity) may contact me.

The special session “proof theory and theoretical computer science” of the AMS-UMI joint meeting is already over! I understand the...

The special session “proof theory and theoretical computer science” of the AMS-UMI joint meeting is already over! I understand the slides will be uploaded on the website: https://sites.google.com/view/ptcs-palermo/home-page

In the meantime, mine are already available here: https://www.seiller.org/documents/Palermo24.pdf.

After a one-week break hiking with family, I am now in Palermo for the AMS-UMI international joint meeting...

After a one-week break hiking with family, I am now in Palermo for the AMS-UMI international joint meeting (https://umi.dm.unibo.it/jm-umi-ams/).

I will be talking about the formal definition of algorithms at the special session on proof theory and theoretical computer science.

My slides are not ready yet (!), but I plan on sharing them later.

This week I gave a talk on “unifying algebraic lower bounds, semantically” in Tallinn as part of the “Structure meets...

This week I gave a talk on “unifying algebraic lower bounds, semantically” in Tallinn as part of the “Structure meets Power”workshop. In this work, we exhibit how topological and geometric invariants can be used to prove complexity lower bounds in algebraic models of computation.

The slides are available there: https://www.seiller.org/documents/SmP2024.pdf

Further details can be found in an article with @lucpellissier and U. Léchine, or in my habilitation thesis.

I will defend my habilitation next week, on Tuesday June 18th at 2pm CET.It will be possible to attend the defence virtually, through the...

I will defend my habilitation next week, on Tuesday June 18th at 2pm CET.

It will be possible to attend the defence virtually, through the following zoom link: https://cnrs.zoom.us/j/93205663342?pwd=Y01NNloyUGR1TlErTStSYVRvbWsvQT09

The jury is composed of: Valerie Berthé, Anuj Dawar (reviewer), Christian Ikenmeyer, (reviewer), Ugo dal Lago (reviewer), Meena Mahajan, Nabil Mustafa, Joël Ouaknine (reviewer), Laure Petrucci.

A preliminary version of the manuscrit (which will be updated soon) can be found there:
https://www.seiller.org/HdR.pdf

Results for the CNRS hiring competition 53/02 for junior researcher positions are now online. https://www.cid53.fr/en

Results for the CNRS hiring competition 53/02 for junior researcher positions are now online.

https://www.cid53.fr/en