Thomas Seiller
@seiller.bsky.social
CNRS researcher, mathematical foundations of computer science, philosophy of computation. Scientific secretary of CoNRS section 06, member of the board of CoNRS interdisciplinary committee CID 53. 🐘@[email protected] 🏠https://www.seiller.org
Reposted by Thomas Seiller
Michelle Audin n'est plus
c'est triste purée
mais regardez ce merveilleux travail qu'elle faisait
Il y a ce livre, et ce blog, une véritable mine de trésors et de connaissances
macommunedeparis.com
c'est triste purée
mais regardez ce merveilleux travail qu'elle faisait
Il y a ce livre, et ce blog, une véritable mine de trésors et de connaissances
macommunedeparis.com
La Commune de Paris
Blog de Michèle Audin
macommunedeparis.com
November 15, 2025 at 6:45 AM
Michelle Audin n'est plus
c'est triste purée
mais regardez ce merveilleux travail qu'elle faisait
Il y a ce livre, et ce blog, une véritable mine de trésors et de connaissances
macommunedeparis.com
c'est triste purée
mais regardez ce merveilleux travail qu'elle faisait
Il y a ce livre, et ce blog, une véritable mine de trésors et de connaissances
macommunedeparis.com
Reposted by Thomas Seiller
Hey authors, the official list of Anthropic works is available for searching.
secure.anthropiccopyrightsettlement.com/lookup
secure.anthropiccopyrightsettlement.com/lookup
Submit a Claim
secure.anthropiccopyrightsettlement.com
October 2, 2025 at 1:29 AM
Hey authors, the official list of Anthropic works is available for searching.
secure.anthropiccopyrightsettlement.com/lookup
secure.anthropiccopyrightsettlement.com/lookup
Reposted by Thomas Seiller
⏰ The 🧑🎓 travel support application and 👶 childcare support applications are both due in ~25h!
The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees!
Links below↴
The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees!
Links below↴
September 19, 2025 at 10:34 AM
⏰ The 🧑🎓 travel support application and 👶 childcare support applications are both due in ~25h!
The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees!
Links below↴
The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees!
Links below↴
Reposted by Thomas Seiller
❓ Do we really know what an algorithm is? To learn more about interdisciplinary work between philosophy and computer science, check out the CNRS online journal:
lejournal.cnrs.fr/nos-blogs/fo...
🤝 This is part of a joint project between the LIPN and the IHPST, carried out by T. Seiller and A. Naibo.
lejournal.cnrs.fr/nos-blogs/fo...
🤝 This is part of a joint project between the LIPN and the IHPST, carried out by T. Seiller and A. Naibo.
« Algorithme », un mot simple plein d'ambiguïtés
lejournal.cnrs.fr
September 4, 2025 at 7:31 AM
❓ Do we really know what an algorithm is? To learn more about interdisciplinary work between philosophy and computer science, check out the CNRS online journal:
lejournal.cnrs.fr/nos-blogs/fo...
🤝 This is part of a joint project between the LIPN and the IHPST, carried out by T. Seiller and A. Naibo.
lejournal.cnrs.fr/nos-blogs/fo...
🤝 This is part of a joint project between the LIPN and the IHPST, carried out by T. Seiller and A. Naibo.
Reposted by Thomas Seiller
Dans ses discours, le Ministère de l'Éducation nationale prétend soutenir une Tech "sobre et souveraine", sans dépendance aux GAFAM.
Dans les faits, Amazon héberge massivement les données scolaires. Exemple avec cette photo attachée au mail envoyé hier par la Ministre à tous les personnels.
Dans les faits, Amazon héberge massivement les données scolaires. Exemple avec cette photo attachée au mail envoyé hier par la Ministre à tous les personnels.
August 30, 2025 at 8:59 AM
Dans ses discours, le Ministère de l'Éducation nationale prétend soutenir une Tech "sobre et souveraine", sans dépendance aux GAFAM.
Dans les faits, Amazon héberge massivement les données scolaires. Exemple avec cette photo attachée au mail envoyé hier par la Ministre à tous les personnels.
Dans les faits, Amazon héberge massivement les données scolaires. Exemple avec cette photo attachée au mail envoyé hier par la Ministre à tous les personnels.
Admissibility results for the CNRS competitions 53/02 and 53/03 are now online on the CID53 website.
www.cid53.fr/en
www.cid53.fr/en
CID53 Website | CID53
Website of the interdisciplinary commission CID53 of CoNRS
www.cid53.fr
May 16, 2025 at 12:47 PM
Admissibility results for the CNRS competitions 53/02 and 53/03 are now online on the CID53 website.
www.cid53.fr/en
www.cid53.fr/en
Results for the CNRS competition 53/01 (senior positions, interdisciplinary committee “Science in society”) are now available online on the CID53 website.
www.cid53.fr/en
www.cid53.fr/en
CID53 Website | CID53
Website of the interdisciplinary commission CID53 of CoNRS
www.cid53.fr
April 24, 2025 at 4:12 PM
Results for the CNRS competition 53/01 (senior positions, interdisciplinary committee “Science in society”) are now available online on the CID53 website.
www.cid53.fr/en
www.cid53.fr/en
Reposted by Thomas Seiller
I wrote a book about AI, AI Fears, and Capitalism with my friend Ingeborg!
"Why We Fear AI" just went to the printers and comes out in March! You can pre-order it directly at the publisher @commonnotions.bsky.social or wherever you get your books
Quick🧵
"Why We Fear AI" just went to the printers and comes out in March! You can pre-order it directly at the publisher @commonnotions.bsky.social or wherever you get your books
Quick🧵
Why We Fear AI — Common Notions Press
www.commonnotions.org
January 14, 2025 at 2:47 PM
I wrote a book about AI, AI Fears, and Capitalism with my friend Ingeborg!
"Why We Fear AI" just went to the printers and comes out in March! You can pre-order it directly at the publisher @commonnotions.bsky.social or wherever you get your books
Quick🧵
"Why We Fear AI" just went to the printers and comes out in March! You can pre-order it directly at the publisher @commonnotions.bsky.social or wherever you get your books
Quick🧵
Reposted by Thomas Seiller
Happy to be at CUNY today to workshop about the theoretical foundations of AI! Fun to have several perspectives---math, philosophy, linguistics and more---together in one place!
w/@giannig.bsky.social @seiller.bsky.social J. Terilla et al.
itsatcuny.org/calendar/202...
w/@giannig.bsky.social @seiller.bsky.social J. Terilla et al.
itsatcuny.org/calendar/202...
Foundations of AI — Initiative for the Theoretical Sciences
Friday, 11 April 9:30 AM - 4:00 PM Rooms 9206/9207, Graduate Center CUNY Join us at the Initiative for Theoretical Sciences for an interdisciplinary exploration of the foundations of artificial i...
itsatcuny.org
April 11, 2025 at 2:15 PM
Happy to be at CUNY today to workshop about the theoretical foundations of AI! Fun to have several perspectives---math, philosophy, linguistics and more---together in one place!
w/@giannig.bsky.social @seiller.bsky.social J. Terilla et al.
itsatcuny.org/calendar/202...
w/@giannig.bsky.social @seiller.bsky.social J. Terilla et al.
itsatcuny.org/calendar/202...
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!
April 4, 2025 at 2:18 PM
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!
Le classement des candidat·e·s au concours DR2 2025 de la section 06 (06/01) par le jury d’admissibilité est disponible sur le site de la section: cn6.fr/#resultatsDR2025.
Comité national de la recherche scientifique – Section 6
cn6.fr
March 27, 2025 at 7:15 PM
Le classement des candidat·e·s au concours DR2 2025 de la section 06 (06/01) par le jury d’admissibilité est disponible sur le site de la section: cn6.fr/#resultatsDR2025.
Le classement des candidat·e·s au concours CRCN 2025 (06/02) par le jury d’admissibilité est disponible sur le site de la section 06: cn6.fr/#resultatsCR2025.
Comité national de la recherche scientifique – Section 6
cn6.fr
March 18, 2025 at 10:09 AM
Le classement des candidat·e·s au concours CRCN 2025 (06/02) par le jury d’admissibilité est disponible sur le site de la section 06: cn6.fr/#resultatsCR2025.
Reposted by Thomas Seiller
A friend included this anti-acknowledgement section on her PhD thesis. She also added the proposition: “Systematic bullying and undermining of girls and women in STEM starts early on and is the reason why they do not stay in science and related fields.”
Absurd we still need to go through this
🧪👩🔬
Absurd we still need to go through this
🧪👩🔬
March 6, 2025 at 4:40 PM
A friend included this anti-acknowledgement section on her PhD thesis. She also added the proposition: “Systematic bullying and undermining of girls and women in STEM starts early on and is the reason why they do not stay in science and related fields.”
Absurd we still need to go through this
🧪👩🔬
Absurd we still need to go through this
🧪👩🔬
The list of candidates selected for interviews for the CNRS hiring competitions 53/01, 53/02, and 53/03 is now available.
www.cid53.fr/en
www.cid53.fr/en
CID53 Website | CID53
Website of the interdisciplinary commission CID53 of CoNRS
www.cid53.fr
March 6, 2025 at 6:43 PM
The list of candidates selected for interviews for the CNRS hiring competitions 53/01, 53/02, and 53/03 is now available.
www.cid53.fr/en
www.cid53.fr/en
Reposted by Thomas Seiller
☀️The "Complexity as a Kaleidoscope" research school will be held at the CIRM from 31 March to 4 April 2025.
🧑🤝🧑 It is co-organized by T. Seiller (@seiller.bsky.social) and S. Perifel, researcher and Full Professor at the @LipnLab.
🔗 Program and information:
conferences.cirm-math.fr/3225.
🧑🤝🧑 It is co-organized by T. Seiller (@seiller.bsky.social) and S. Perifel, researcher and Full Professor at the @LipnLab.
🔗 Program and information:
conferences.cirm-math.fr/3225.
conferences.cirm-math.fr
March 4, 2025 at 9:26 AM
☀️The "Complexity as a Kaleidoscope" research school will be held at the CIRM from 31 March to 4 April 2025.
🧑🤝🧑 It is co-organized by T. Seiller (@seiller.bsky.social) and S. Perifel, researcher and Full Professor at the @LipnLab.
🔗 Program and information:
conferences.cirm-math.fr/3225.
🧑🤝🧑 It is co-organized by T. Seiller (@seiller.bsky.social) and S. Perifel, researcher and Full Professor at the @LipnLab.
🔗 Program and information:
conferences.cirm-math.fr/3225.
Aujourd’hui était organisée une journée autour de l’aide à la décision (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:
www.seiller.org/documents/Jo...
www.seiller.org/documents/Jo...
www.seiller.org/documents/Jo...
www.seiller.org/documents/Jo...
Journées aide à la décision | GDR Recherche Opérationnelle
gdrro.lip6.fr
February 25, 2025 at 5:48 PM
Aujourd’hui était organisée une journée autour de l’aide à la décision (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:
www.seiller.org/documents/Jo...
www.seiller.org/documents/Jo...
www.seiller.org/documents/Jo...
www.seiller.org/documents/Jo...
La liste des candidats et candidates auditionné•e•s sur les concours CNRS 06/01 (DR2) et 06/02 (CRCN) est disponible sur le site de la section 06: cn6.fr#auditions2025
Comité national de la recherche scientifique – Section 6
cn6.fr
February 13, 2025 at 10:29 AM
La liste des candidats et candidates auditionné•e•s sur les concours CNRS 06/01 (DR2) et 06/02 (CRCN) est disponible sur le site de la section 06: cn6.fr#auditions2025
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?
Slides can be found there: www.seiller.org/documents/Ch...
Slides can be found there: www.seiller.org/documents/Ch...
www.seiller.org
January 31, 2025 at 9:56 AM
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?
Slides can be found there: www.seiller.org/documents/Ch...
Slides can be found there: www.seiller.org/documents/Ch...
Reposted by Thomas Seiller
L'UMR 8068 TEMPS, qu'elle fasse partie des laboratoires élus ou non, se positionne fermement contre la réforme des KeyLabs qui viendrait déstabiliser la recherche publique sur la très longue durée. #HelloESR #VeilleESR
January 28, 2025 at 2:07 PM
L'UMR 8068 TEMPS, qu'elle fasse partie des laboratoires élus ou non, se positionne fermement contre la réforme des KeyLabs qui viendrait déstabiliser la recherche publique sur la très longue durée. #HelloESR #VeilleESR
Reposted by Thomas Seiller
#introduction
👋
The LIPN is a joint @cnrs.bsky.social and @univ-spn.bsky.social laboratory, with 6 research teams:
- Machine Learning,
- Combinatorial models,
- Algorithms and combinatorial optimization,
- Foundations of computation,
- Formal verification,
- NLP and knowledge representation.
👋
The LIPN is a joint @cnrs.bsky.social and @univ-spn.bsky.social laboratory, with 6 research teams:
- Machine Learning,
- Combinatorial models,
- Algorithms and combinatorial optimization,
- Foundations of computation,
- Formal verification,
- NLP and knowledge representation.
January 15, 2025 at 12:00 PM
#introduction
👋
The LIPN is a joint @cnrs.bsky.social and @univ-spn.bsky.social laboratory, with 6 research teams:
- Machine Learning,
- Combinatorial models,
- Algorithms and combinatorial optimization,
- Foundations of computation,
- Formal verification,
- NLP and knowledge representation.
👋
The LIPN is a joint @cnrs.bsky.social and @univ-spn.bsky.social laboratory, with 6 research teams:
- Machine Learning,
- Combinatorial models,
- Algorithms and combinatorial optimization,
- Foundations of computation,
- Formal verification,
- NLP and knowledge representation.
Reposted by Thomas Seiller
We are launching an 𝐮𝐧𝐨𝐟𝐟𝐢𝐜𝐢𝐚𝐥 and experimental online parallel event for the conference ITCS25, aimed at everyone who cannot attend the conference in person for whatever reasons. (1/2)
sites.google.com/view/itcs202...
#ITCS25 #ITCS2025 #OnlineParallels
sites.google.com/view/itcs202...
#ITCS25 #ITCS2025 #OnlineParallels
ITCS'25 online parallel
What we do
Welcome! This site is about an online parallel event for the conference ITCS'25 that aims to provide an inclusive platform for the TCS researchers unable to attend the conference in person....
sites.google.com
December 17, 2024 at 11:16 PM
We are launching an 𝐮𝐧𝐨𝐟𝐟𝐢𝐜𝐢𝐚𝐥 and experimental online parallel event for the conference ITCS25, aimed at everyone who cannot attend the conference in person for whatever reasons. (1/2)
sites.google.com/view/itcs202...
#ITCS25 #ITCS2025 #OnlineParallels
sites.google.com/view/itcs202...
#ITCS25 #ITCS2025 #OnlineParallels
“Does language have a logical structure?”
This is the title of a talk in which I discussed a recent collaboration with S. Jarvis and J. Terilla (CUNY), G. Gastaldi (ETH), and L. Pellissier (U. Créteil). It involves NLP, linear logic, categories and tropical geometry.
seiller.org/Normes24.pdf
This is the title of a talk in which I discussed a recent collaboration with S. Jarvis and J. Terilla (CUNY), G. Gastaldi (ETH), and L. Pellissier (U. Créteil). It involves NLP, linear logic, categories and tropical geometry.
seiller.org/Normes24.pdf
seiller.org
December 4, 2024 at 4:25 PM
“Does language have a logical structure?”
This is the title of a talk in which I discussed a recent collaboration with S. Jarvis and J. Terilla (CUNY), G. Gastaldi (ETH), and L. Pellissier (U. Créteil). It involves NLP, linear logic, categories and tropical geometry.
seiller.org/Normes24.pdf
This is the title of a talk in which I discussed a recent collaboration with S. Jarvis and J. Terilla (CUNY), G. Gastaldi (ETH), and L. Pellissier (U. Créteil). It involves NLP, linear logic, categories and tropical geometry.
seiller.org/Normes24.pdf
Great news! The next Caleidoscope research school (« Complexity as a kaleidoscope ») in computational complexity will be organised at CIRM in Marseille (and the national calanque park) from March 31st to April 4th 2025. Save the date for great science and amazing landscapes!
November 13, 2023 at 6:57 PM
Great news! The next Caleidoscope research school (« Complexity as a kaleidoscope ») in computational complexity will be organised at CIRM in Marseille (and the national calanque park) from March 31st to April 4th 2025. Save the date for great science and amazing landscapes!
Our lab @lipnlab.bsky.social will open 6 associate professor positions and one full professorship next year. Research at LIPN covers the following topics: logic, verification, combinatorics, combinatorial optimisation, mathematical programming, natural language processing, AI.
November 1, 2023 at 6:15 PM
Our lab @lipnlab.bsky.social will open 6 associate professor positions and one full professorship next year. Research at LIPN covers the following topics: logic, verification, combinatorics, combinatorial optimisation, mathematical programming, natural language processing, AI.