The LIPN is a computer science research laboratory of @CNRS and @univ_spn. @INS2I_CNRS 🐘 : @LipnLab@lipn.info
Villetaneuse, France
Joined October 2018
- Tweets268
- Following95
- Followers226
- Likes43
LIPN retweeted
#Distinction🏆 | Connaissez-vous la vérification formelle de système cyber-physique ?
@etienne_andre vous raconte pourquoi ce sujet de recherche est essentiel pour faire fonctionner fusées comme métros parisiens.
➡️ins2i.cnrs.fr/fr/cnrsinfo/et…
🤝@LipnLab @CNRS_Villejuif @univ_spn
LIPN retweeted
#Distinction🏆 | Félicitation à @etienne_andre, enseignant-chercheur à l'@univ_spn et membre du @LipnLab pour sa nomination comme membre junior de l'@InstUnivFr !
➡️ins2i.cnrs.fr/fr/cnrsinfo/et…
🤝@CNRS_Villejuif
LIPN retweeted
#EnDirectDesLabos 🔎 Nouvelles actualités scientifiques 🔬, création de laboratoires 👨🔬, annonce de prix 🏅... Retrouvez toutes les deux semaines les informations issues des laboratoires du @CNRS.
➡️ cnrs.fr/endirectdeslabos/Let…
LIPN retweeted
#Distinction 🏆| L'@AcadSciences récompense 3 lauréats issus du champ de recherche de CNRS Sciences informatiques, Patrice Abry, David Cohen, et Elsa Dupraz.
➡️ins2i.cnrs.fr/fr/cnrsinfo/pr…
🤝@CNRS_Paris @CNRS_dr17 @CNRS_dr07
LIPN retweeted
Florent Koechlin a rejoint en 2023 @LipnLab. Spécialiste en combinatoire analytique et théorie des automates, il a choisi la recherche au CNRS pour continuer à explorer et apprendre chaque jour.
➡️ ins2i.cnrs.fr/fr/cnrsinfo/fl…
🤝 @CNRS_Villejuif @univ_spn
LIPN retweeted
Au quotidien, Florent Koechlin allie combinatoire, théorie des automates et géométrie combinatoire. De la création de sites à la recherche scientifique, son parcours reflète une passion pour l'informatique.
➡️ ins2i.cnrs.fr/fr/cnrsinfo/fl…
🤝 @LipnLab @CNRS_Villejuif @univ_spn
LIPN retweeted
🖼 PORTRAIT -
L'IREM PARIS NORD, Département de mathématiques a reçu le prix Jacqueline Ferrand de la SOCIETE MATHEMATIQUE DE FRANCE.
Sylviane R. Schwer, directrice IREM PARIS NORD, elle nous explique le projet qui a valu cette récompense.
🔗 univ-spn.fr/prix-jacqueline-…
LIPN retweeted
La #JourneeInternationaleDesDroitsDesFemmes est l'occasion pour @CNRSinformatics de mettre à l'honneur celles et ceux qui s'appliquent à plus d'#egaliteFemmesHommes dans nos laboratoires. Revivez toutes leurs actions grâce au livret !
➡️ ins2i.cnrs.fr/fr/cnrsinfo/qu…
LIPN retweeted
@[email protected] 🔗 lipn.info/users/CoNRS6/statu…
-
La liste des candidats auditionnés sur les concours CNRS 06/01 (DR2) et 06/02 (CRCN) est disponible sur notre site : cn6.fr/#auditions2024
LIPN retweeted
Le prix du meilleur article académique #EGC2024 revient à Bilal Faye, Hanane Azzag, Mustapha Lebbah et Fangchen Fang "Normalisation Contextuelle : Une Nouvelle Approche pour la Stabilité et l’Amélioration des Performances des Réseaux de Neurones". Félicitations ! 7/
LIPN retweeted
@[email protected] 🔗 lipn.info/users/CoNRS6/statu…
-
Le CNRS recrute en 2024 en section 6 8 DR2 et 8 CRCN.
legifrance.gouv.fr/jorf/id/J…
legifrance.gouv.fr/jorf/id/J…
LIPN retweeted
🎆 Les membres du Labex EFL vous souhaitent à tous une très bonne année 2024 !
📝⭐️Puisse-t-elle être remplie de beaux projets en #linguistique et de rencontres fructueuses pour la diffusion du savoir scientifique.
@univ_paris_cite @univ_spn @Sorbonne_Nvelle @Inalco @CNRS
LIPN retweeted
🛡️Le Loria participe à la journée du PEPR #Cybersécurité au @CampusCyberFr, avec nos équipes dans plusieurs projets de recherche et une intervention de @Jean_YvesMarion sur les malwares
@Univ_Lorraine @CEA_List @CNRSinformatics @LipnLab @Inria @irisa_lab @EURECOM @centralesupelec
LIPN retweeted
@[email protected] 🔗 lipn.info/users/CoNRS6/statu…
-
Les classements que nous proposons au CNRS pour les promotions DRCE2, DRCE1, DR1, CRHC et CRHC échlon exceptionnel sont disponibles sur notre site cn6.fr/#promotions2023
LIPN retweeted
📌 Le @CNRS rebaptise ses instituts.
👉 cnrs.fr/fr/cnrsinfo/les-dix-…
🤖 🖥️ 🔐 👩💻 👨💻 Retrouvez toute l'actualité en Sciences informatiques sur @CNRSinformatics (anciennement @INS2I_CNRS)
LIPN retweeted
Symposium 2023
Axe 5
"Modèle non-linéaire pour l'analyse syntaxique en dépendances d'ordre supérieur"
par Joseph Le Roux (@LipnLab – @univ_spn)
tinyurl.com/nhd96yee
LIPN retweeted
Invité du Labex EFL dans le cadre de notre Chaire Internationale, Athanasios Georgakopoulos a donné quatre séminaires aux membres du Labex en début d'été.
Retour sur sa parenthèse parisienne en vidéo :
tinyurl.com/2u8zp42k
LIPN retweeted
RAPPEL
Le colloque MFCS se tiendra à l’Enseirb-Matmeca, du 28/08 au 01/09/2023 inclus.
En savoir plus, en consultant le site mfcs2023.labri.fr/
LIPN retweeted
C'est officiel : la Maison Poincaré, le lieu où les #maths prennent vie, ouvre ses portes le samedi 30 septembre 2023 ! 🎉
Et on en parle : francetvinfo.fr/culture/la-m…
LIPN retweeted
The final keynote from ETAPS 2023 is now on youtube:
Mooly Sagiv (@SagivMooly,@certora) - Scaling Formal Verification to Realistic Code with Applications to DeFi Verification
youtu.be/P7ZlnTIJtSk
@LipnLab @LIP6_lab