Northern Paris Computer Science Lab
The Laboratoire d'Informatique de Paris-Nord (LIPN) is a joint research unit (UMR 7030) between the CNRS and the University of Paris XIII, called Université Sorbonne Paris Nord (USPN), with 150 researchers. Its main research thopics are machine learning, combinatorial optimization and high performance computing, design and analysis of combinatorial models at the interface of physics, geometry and algorithmics, foundations of computation and formal verification, automatic natural language processing and knowledge representation.
The LIPN offers theses, internships and postdocs. To see our offers in more detail, please visit the recruitment page !
See the offres...On our agenda you will be able to find all our articles grouped on one page and grouped by category so don't hesitate to have a look at it.
See the agenda...Optimisation problems
Bruno Escoffier
2023-01-16 14:30:00, #SéminaireCompHybride (Salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)
Directed homotopy type theory
Paige Randall North
2022-12-01 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Daniel Osorio
2022-12-02 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection
Contact: Tayssir TOUILI (touili@lipn.fr)
A PhD position is available in the “LoVe” team in the Laboratoire d’Informatique de Paris-Nord (LIPN), Villetaneuse, France.
The recruited PhD student is expected to investigate and develop novel techniques, algorithms and tools for
malware detection. The ultimate goal is to built Read more...
Titre bientôt disponible
Hugo Paquet
2023-02-02 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Non-deterministic abstract machines
Sergueï Lenglet
2023-01-05 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse