LipnLab Profile Banner
LIPN Profile
LIPN

@LipnLab

Followers
247
Following
49
Statuses
281

The LIPN is a computer science research laboratory of @CNRS and @univ_spn. @INS2I_CNRS 🐘 : @[email protected]

Villetaneuse, France
Joined October 2018
Don't wanna be here? Send us removal request.
@LipnLab
LIPN
2 years
We're on Mastodon ! Come and follow on @LipnLab@lipn.info ! #Mastodon #TwitterMigration
0
3
2
@LipnLab
LIPN
19 days
With this message, we make official our abandonment of this platform, and urge our subscribers to follow us on other social networks: - Mastodon - Bluesky - LinkedIn
0
0
0
@LipnLab
LIPN
2 months
RT @himiteins: l'enregistrement sera bientôt en ligne :) @ccsd_fr @univ_spn @LipnLab
Tweet media one
0
3
0
@LipnLab
LIPN
4 months
RT @CNRSinformatics: #Distinction🏆 | Connaissez-vous la vérification formelle de système cyber-physique ? @etienne_andre vous raconte pourq…
0
2
0
@LipnLab
LIPN
4 months
RT @CNRSinformatics: #Distinction🏆 | Félicitation à @etienne_andre, enseignant-chercheur à l'@univ_spn et membre du @LipnLab pour sa nomina…
0
4
0
@LipnLab
LIPN
4 months
RT @CNRS: #EnDirectDesLabos 🔎 Nouvelles actualités scientifiques 🔬, création de laboratoires 👨‍🔬, annonce de prix 🏅... Retrouvez toutes les…
0
19
0
@LipnLab
LIPN
4 months
RT @CNRSinformatics: #Distinction 🏆| L'@AcadSciences récompense 3 lauréats issus du champ de recherche de CNRS Sciences informatiques, Patr…
0
8
0
@LipnLab
LIPN
8 months
RT @CNRSinformatics: Florent Koechlin a rejoint en 2023 @LipnLab. Spécialiste en combinatoire analytique et théorie des automates, il a cho…
0
3
0
@LipnLab
LIPN
8 months
RT @CNRSinformatics: Au quotidien, Florent Koechlin allie combinatoire, théorie des automates et géométrie combinatoire. De la création de…
0
4
0
@LipnLab
LIPN
9 months
RT @univ_spn: 🖼 PORTRAIT -  L'IREM PARIS NORD, Département de mathématiques a reçu le prix Jacqueline Ferrand de la SOCIETE MATHEMATIQUE DE…
0
1
0
@LipnLab
LIPN
10 months
RT @himiteins: SynCoP Invited Speaker: Carlos Olarte from @LipnLab talking about rewriting logic and parameter synthesis
0
2
0
@LipnLab
LIPN
11 months
RT @CNRSinformatics: La #JourneeInternationaleDesDroitsDesFemmes est l'occasion pour @CNRSinformatics de mettre à l'honneur celles et ceux…
0
10
0
@LipnLab
LIPN
11 months
RT @CoNRS6: @CoNRS6@lipn.info 🔗 - La liste des candidats auditionnés sur les concours CNRS 06/01 (DR2) et 06/02 (CR…
0
12
0
@LipnLab
LIPN
1 year
💡The positions are focused on the research themes of the LIPN teams: - Combinatorics - Combinatorial Optimization - Formal Verification - Logic and theory of programming languages - Machine Learning - Natural Language Processing Do contact us if you intend to apply!
0
0
0
@LipnLab
LIPN
1 year
RT @CoNRS6: @CoNRS6@lipn.info 🔗 - Le CNRS recrute en 2024 en section 6 8 DR2 et 8 CRCN. h…
0
11
0
@LipnLab
LIPN
1 year
RT @LabexEFL: 🎆 Les membres du Labex EFL vous souhaitent à tous une très bonne année 2024 ! 📝⭐️Puisse-t-elle être remplie de beaux projets…
0
1
0
@LipnLab
LIPN
1 year
🤝 Laetitia Laversa is a new post-doctoral researcher @LipnLab, funded by the ANR BisoUS. ⌚️She studies opacity problems on timed automata with @etienneandre. 🔗
Tweet media one
0
0
0
@LipnLab
LIPN
1 year
RT @labo_Loria: 🛡️Le Loria participe à la journée du PEPR #Cybersécurité au @CampusCyberFr, avec nos équipes dans plusieurs projets de rech…
0
8
0