@lea-linux.org
Compte officiel de l'association loi 1901 depuis 1998 sur les logiciels libres : https://lea-linux.org https://fr.m.wikipedia.org/wiki/Lea-Linux ̶t̶w̶i̶t̶t̶e̶r̶.̶c̶o̶m̶/lea_linux mastodon.cloud/@lealinux
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@bournez.bsky.social
Prof @Polytechnique Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
@cnrs-paris.bsky.social
Les actualités #sciences et #recherche du @CNRS à #Paris @CNRS_Paris sur Twitter
@irif-paris.bsky.social
IRIF is a research laboratory of CNRS and Université Paris Cité, also hosting one Inria project-team. The research conducted at IRIF is based on the study and understanding of the foundations of all computer science.
@mshparisnord.bsky.social
Maison des Sciences Humaines et sociales Paris Nord, structure d'impulsion de promotion et diffusion de la #recherche #SHS #HelloESR @cnrsshs.bsky.social, @univ-paris8.fr, @univ-spn.bsky.social
@univ-spn.bsky.social
Bienvenue sur le compte officiel de l'Université Sorbonne Paris Nord ! www.univ-paris13.fr
@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. 🐘@thomasseiller@lipn.info 🏠https://www.seiller.org
@cnrs.fr
Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance. #HelloESR
@cnrsinformatics.bsky.social
CNRS Sciences informatiques coordonne les recherches scientifiques en #Informatique, #Automatique, #Robotique, #Signal, #Image.
@cnrs-insmi.bsky.social
Institut national du @cnrs.fr dédié aux #mathématiques et à leurs interactions avec les autres sciences, les entreprises et la société 🧮 #HelloESR
@lipnlab.bsky.social
The Laboratoire d'Informatique de Paris-Nord (LIPN) is a joint research unit between the CNRS and the Université Sorbonne Paris Nord (USPN), with 150 researchers. https://lipn.univ-paris13.fr/home/
@mariekerjean.bsky.social
#CNRS Researcher in the LoCal team, at the LIPN. #Logic and Analysis, mainly. Pronouns : She/her
@etienneandre.bsky.social
Professeur des Universités LIPN (@lipnlab.bsky.social) Université Sorbonne Paris Nord (@univ-spn.bsky.social) Institut Universitaire de France (2024-2029) #FlyLess (no plane travel within Europe) (he/him)