Agenda
News :
Introducing the future LIPN building !
You can follow the construction progress on the new MathSTIC building, which will house the LIPN, LAGA and L2TI laboratories at the Villetaneuse campus of Sorbonne Paris Nord University, on this timelapse.
Florent Koechlin, brand new CNRS researcher at the combinatorics, algorithms and interactions (CALIN) team !
Read more...Back-to-the-lab day at the LIPN
On October 10, the laboratory held its back-to-school day. It was an opportunity to hear from new lab members, announce the year’s news and key deadlines, and take part in a bilingual theater play on Read more...
Gender-balanced, inclusive theater in the lab!
On October 10, during LIPN’s Annual General Meeting, the Entrée de jeu theater company staged a play about parity and academic inclusivity in computer science. The play was staged in collaboration with the IRIF Read more...
Morgan Rogers, new Associate Professor in Category Theory at the Logic and Verification (LoVe) team
We are thrilled to welcome Morgan Rogers as an Associate Professor. He is a researcher in category theory, looking for abstractions that isolate the essential features of a solution to a problem.
His specialty is toposes of actions of monoids, but the toolkit is always expanding.
Read more... Events :
Coalition Strategy Logic: Model Checking et Completude
#SéminaireLoVe
Davide Catta
2024-12-10 14:00:00, #SéminaireLoVeSalle A303, LIPN
On the Computation of Strategyproof and Fair Picking Sequences
#AOC Seminar
Hugo Gilbert
2024-12-05 11:00:00, #SéminaireAOCSalle G203
Intelligent Facilitation of Deliberation in Online Debates
#A3 Seminar
Caren Al Anaissy
2024-12-05 12:15:00, #SéminaireA3Salle B107, bâtiment B, Université de Villetaneuse
Parsing Correctness Criterion for Second Order Multiplicative Linear Logic
Past seminar
Adrien Ragot
2024-11-28 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Benders Adaptive-Cuts Method for Two-Stage Stochastic Programs
Past seminar
Eduardo Moreno
2024-11-28 10:30:00, #SéminaireAOCSalle C314
Permanent posts:
Full professor position in Computer Science
Permanent posts
Teaching: Computer Science department – Institut Galilée
Research: Any team
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in Combinatorics
Permanent posts
Teaching: Computer science – GEA department – IUT de Saint Denis
Research: CALIN team
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in Formal Verification
Permanent posts
Teaching: Computer Science department – IUT Villetaneuse
Research: LoVe team, Verification axis
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in Combinatorial Optimization, NLP or Knowledge Graphs
Permanent posts
Teaching: Computer Science department – IUT Villetaneuse
Research: RCLN and/or AOC teams
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in logic and theory of programming languages
Permanent posts
Teaching: Computer science – GEA department – IUT de Saint Denis
Research: LoVe team, Logic axis
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm