Laboratoire d'Informatique de Paris Nord
Le Laboratoire d'Informatique de Paris-Nord (LIPN) est une unité mixte de recherche (UMR 7030) entre le CNRS et l'Université Paris XIII, dite Université Sorbonne Paris Nord (USPN), réunissant 150 chercheurs. Ses principales thématiques de recherche sont l'apprentissage automatique, l'optimisation combinatoire et le calcul haute performance, la conception et l'analyse de modèles combinatoires à l'interface de la physique et de l'algorithmique, les fondements du calcul et la vérification formelle, le traitement automatique du langage naturel et la représentation des connaissances.
Le LIPN propose des offres de thèses, de stages, de postdocs. Pour voir plus en détails nos offres n'hésitez pas à regarder sur l'espace recrutement !
Voir les offres...Retrouvez-nous sur Twitter et Mastodon pour être informer en temps et en heure sur les dernières actualités du LIPN.
Sur notre agenda vous allez pouvoir retrouver l'entièreté de tous nos articles regroupés sur une seule page et regrouper par catégorie donc n'hésitez pas à y jeter un coup d'oeil.
Voir l'agenda...Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Coherence via strategic rewriting in higher Kleene algebras.
Cameron calk
2023-04-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Exact algorithms for linear matrix inequalities and application to the moment problem
Simone Naldi
2023-03-23 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Two non-linear stochastic problems with catastrophic consequences
Alberto Santini
2023-03-22 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Knowledge and Topology: Simplicial Models for Epistemic Logic
Jérémy Ledent
2023-03-16 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Robust min-max regret covering problems
Amadeu Almeida Coco
2023-03-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse