Ce site est en cours de construction.
Pour plus d'informations vous pouvez consulter les sites de nos anciens laboratoires :
Site du LIF - Site du LSIS


LIS UMR CNRS 7020

LIS UMR 7020

Le LIS Laboratoire d’Informatique et Systèmes est une nouvelle structure issue de la fusion de deux UMR : le Laboratoire d’Informatique Fondamentale de Marseille (LIF) UMR 7279 et le Laboratoire des Sciences de l’Information et des Systèmes (LSIS) UMR 7296. C’est une Unité Mixte de Recherche (UMR) sous tutelles du Centre National de la Recherche Scientifique (CNRS) rattachée à l’Institut des sciences de l'information et de leurs interactions (INS2I), de l’Université d’Aix-Marseille (AMU) et de l’Université de Toulon (UTLN).

Prochains évènements

Retour à l'agenda
20 December 2018

Séminaire CaNa : 20 décembre à 14h : SAT est NP-complet, la preuve !

Résumé : Ne croyez pas ce que l'on vous a dit, le théorème de Cook-Levin n'est pas si difficile que cela à démontrer... J'ai longtemps admis cette preuve, et après l'avoir lue dans le livre de Sylvain Perifel, j'ai envie de la partager ! Venez ajouter LA brique de base à vos connaissances en complexité, ou simplement réviser :-)

Tutelles