Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS et Université Paris Diderot
UMR 7089
   Annuaire      Contact      Accès au LIAFA      UFR d'informatique      Webmail   


English version




Page d'accueil de la Fédération de Recherche en Mathématiques de Paris Centre

Page d'accueil de la Fondation Sciences Mathématiques de Paris

Page d'accueil de Sciences En Marche
Actualités

16/10/2015 - Constantin Enea lauréat de l'ERC Starting Grant 2015

Constantin EneaLe projet FOVEDIS vise à developper des méthodes formelles automatisées pour construire des systèmes logiciels géo-distribués sûrs, supportant un grand nombre d'utilisateurs distribués à travers de larges zones géographiques et qui génèrent et échangent de grandes quantités de données. L'accent est mis sur les structures de données distribuées (SDD), qui sont des composantes cruciales de ces systèmes permettant l'accès rapide, la transformation, et l'échange de données à travers des réseaux à grande échelle. Le projet propose de développer (1) des spécifications formelles cohérentes qui fournissent des exigences précises au moment de la conception ainsi que des garanties explicites au cours de l'utilisation, (2) des principes de programmation pour construire des applications au-dessus des SDD, compatibles avec ces spécifications, et (3) des méthodes automatisées et techniques pour le débogage ou la validation des implémentations des SDD par rapport à leurs spécifications.

15/10/2015 - Zvi Lotker (Ben Gurion University) a obtenu une chaire junior de la FSMP

Zvi LotkerZvi Lotker, professeur au Department of Communication Systems Engineering de Ben Gurion University a obtenu une chaire junior de la Fondation Sciences Mathématiques de Paris et passera ainsi l'année 2015-2016 au sein des équipes Algorithmes et Complexité, et Algorithmique Distribuée et Graphes du LIAFA.

http://www.sciencesmaths-paris.fr/fr/chaire-junior-43.htm.

12/10/2015 - L'équipe Algorithmique distribuée et graphes calcule le diamètre du réseau routier mondial

World diameterLe diamètre d'un graphe est la distance entre les deux points les plus éloignés. Dans le réseau routier, la notion de distance qui nous intéresse le plus souvent est le temps de trajet. Trouver le diamètre du réseau routier mondial revient donc à trouver deux points tels que le temps de trajet pour aller de l'un à l'autre est maximal. Une fois ces deux points identifiés, on peut alors calculer le plus court trajet qui va de l'un à l'autre pour obtenir, en quelque sorte, le plus long "road trip" possible au monde. Calculer le diamètre d'un graphe requiert en général de calculer toutes les distances pour toutes paires de noeuds, ce qui est infaisable pour un graphe aussi grand. Cependant, l'équipe Algorithmique distribuée et graphes a développé des heurisitiques qui s'avèrent efficaces sur de nombreux graphes rencontrés en pratique dont les réseaux routiers. Grâce à OpenStreetMap, l'équipe a pu ainsi calculer le diamètre du monde (et d'autres parties plus restreintes du réseau routier) et les visualiser sur http://gang.inria.fr/road.

01/09/2015 - Mai Gehrke lauréate de l'ERC Advanced Grant 2015

Mai GehrkeLe projet DuaLL concerne la dualité entre les languages formels et la logique, en adoptant une approche unifiée de la complexité et de la sémantique. Les dualités entre les structures algébriques et topologiques sont très courantes dans les mathématiques et le passage entre elles a été souvent associé à des percées importantes. L'objectif principal de ce projet est d'amener ces dualités topo-algébriques à porter sur un certain nombre de sujets en informatique théorique en les faisant ainsi évoluer, systématiser et unifier. (Extrait du site du CNRS)

01/07/2015 - Amos Korman lauréat de l'ERC Consolidated Grant 2015

Amos KormanLe projet interdisciplinaire Distributed Biological Algorithms (DBA) vise à démontrer l'utilité de point de vue algorithmique distribuée dans la compréhension des systèmes biologiques complexes. L'accent est mis sur le domaine de la biologie du comportement animal collectif. Le projet propose de nouvelles méthodologies pour combiner les résultats algorithmiques théoriques avec les mesures expérimentales des paramètres biologiques. (Extrait du site du CNRS)

17/04/2015 - Les premiers résultats de l'enquête Algopol cités par Le Monde

Le MondeUne enquête sur les usages de Facebook réalisée dans le cadre du projet ANR Algopol, dont le Liafa est partenaire, regroupant sociologues et informaticiens. Les premiers résultats mettent en évidence trois grands profils d'utilisateurs.
Liens : l'article du Monde, premiers résultats.

12/01/2015 - Un trimestre de combinatoire à l'IHP!

Combinatoire à ParisL'IHP vient d'annoncer l'acceptation d'un trimestre de combinatoire pour 2017 de Janvier à Mars. Ce trimestre s'intitulera:
Combinatoire et interactions: à l'interface entre physique mathématique, théorie des représentations et probabilités.
Ce trimestre est organisé par Marie Albenque (CNRS LIX), Gaetan Borot (Bonn), Guillaume Chapuy (CNRS LIAFA), Valentin Feray (Zurich)
et le comité scientifique est formé de Alexei Borodin (MIT), Jérémie Bouttier (CEA et ENS), Sylvie Corteel (CNRS, LIAFA), Bertrand Eynard (CEA), Ian Goulden (University of Waterloo) et Jean-François Le Gall (Orsay).
Il sera entre autres financé par le projet Emergences "Combinatoire à Paris" porté par la Fondation Sciences Mathématiques de Paris.
http://combinatoire-a-paris.math.cnrs.fr/

18/12/2014 - École d'hiver "Big Data"

Big DataÉcole d'hiver "Big Data" organisée du 19 au 23 janvier 2015 à l'École Normale Supérieure de Lyon par Nicolas Schabanel.

Site web: http://www.liafa.univ-paris-diderot.fr/~nschaban/MSC/2014-2015/ER/index.html
Inscription: http://www.ens-lyon.fr/DI/?p=3312

07/10/2014 - Pierre Fraigniaud reçoit le Prix pour l'Innovation en Informatique Distribuée (SIROCCO award) 2014

Prize for Innovation in Distributed ComputingLors de la conférence SIROCCO 2014 (International Colloquium on Structural Information and Communication Complexity), Pierre Fraigniaud, directeur de recherche au CNRS, a reçu le Prix pour l'Innovation en Informatique Distribuée (aussi connu sous le nom de SIROCCO award) pour sa contribution dans la compréhension du routage dans les réseaux sociaux.

http://en.wikipedia.org/wiki/Prize_for_Innovation_in_Distributed_Computing
https://sites.google.com/site/sirocco2014japan/sirocco-award

29/09/2014 - Sylvie Corteel est Editrice en Chef du Journal of Combinatorial Theory Series A

Journal of Combinatorial TheorySylvie Corteel, directrice de recherche au CNRS, est devenue Editrice en Chef de Journal of Combinatorial Theory Series A.

http://www.journals.elsevier.com/journal-of-combinatorial-theory-series-a/

01/09/2014 - Nomination de Jean Mairesse en tant que Directeur Adjoint Scientifique à l'INS2I

Jean MairesseJean Mairesse, directeur de recherche au CNRS, a été nommé au 1er septembre 2014 directeur adjoint scientifique de l'INS2I, en charge du domaine "Informatique".

http://www.cnrs.fr/ins2i/spip.php?article865

15/06/2014 - L'application Algopol reçoit le premier prix de la recherche collaborative à Futur en Seine

Futur en SeineLe 15 Juin 2014, l'application Algopol, réalisée par Stéphane Raux, doctorant LIAFA / Linkfluence, et conçue avec Irène Bastard, doctorante en sociologie à Orange Labs, dans le cadre du projet ANR Algopol (Cams, LIAFA, Orange Labs, Linkfluence), pour étudier les usages de Facebook, a reçu le prix "Or" de la recherche collaborative au festival Futur en Seine organisé par Cap Digital.

Lien vers le site de l'application : http://app.algopol.fr/
Prix et récompenses de Futur en Seine : http://www.futur-en-seine.fr/fens2014/prix-recompenses/

06/03/2014 - Lauren Williams (University of California, Berkeley) a obtenu une chaire junior de la FSMP

Lauren WilliamsLauren Williams qui est Professeur Associée de Mathématiques à l'Université de Californie-Berkeley a obtenu une chaire junior de la Fondation Sciences Mathématiques de Paris et passera ainsi l'année 2014-2015 au sein de l'équipe Combinatoire du LIAFA.

http://www.sciencesmaths-paris.fr/fr/chaire-junior-43.htm

06/03/2014 - Jean-Éric Pin devient un "EATCS fellow"

Jean-Éric PinJean-Éric Pin qui est Directeur de Recherche dans l'équipe Automates et Application du LIAFA fait partie des premiers receveurs d'un 'EATCS fellowship' pour ses contributions remarquables en théorie algébrique des automates et des langages en rapport avec la logique, la topologie et la combinatoire ainsi que pour ses services rendus à la communauté européenne de l'informatique théorique.

http://www.liafa.univ-paris-diderot.fr/~jep/
http://eatcs.org/index.php/component/content/article/1-news/1863-atcs-fellows-class-of-2014-named

01/01/2014 - Création de la Fédération Paris Centre for Quantum Computing PCQC

PCQCLe Paris Centre for Quantum Computing regroupe des chercheurs en Informatique, en Physique théorique et expérimentale, ainsi qu'en Mathématiques, travaillant à Paris. PCQC aspire à ouvrir la voie à la création de nouvelles applications réalistes dans le traitement de l'information quantique en combinant les concepts du calcul quantique, de la complexité des communications, et de la cryptographie, afin de promouvoir la transition entre l'ordinateur personnel (PC) et l'ordinateur quantique (QC). Les tutelles de la fédération sont l'Université Paris Diderot, Télécom ParisTech, et le CNRS. L'Université Pierre et Marie Curie (UPMC), l'INRIA, le Commissariat à l'énergie atomique et aux énergies alternatives (CEA), l'Institut d'Optique, et Université Paris-Sud participent également à la fédération PCQC à travers des chercheurs de ces organismes. Pour des informations complémentaires, voir http://www.pcqc.fr.

01/01/2014 - Création de la Fédération d'Informatique Fondamentale de Paris Diderot

UPDLa fédération regroupe les deux UMR CNRS en informatique de l'université : LIAFA et PPS. Son principal objectif est de promouvoir les interactions scientifiques entre les deux laboratoires, et, plus généralement, de rapprocher ces deux UMR en vue d'une fusion au 1er janvier 2016. La fédération réunit plus d'une centaine de chercheurs et enseignants-chercheurs permanents, pour un effectif total d'environ 170 personnes. Ses tutelles sont l'université Paris Diderot et le CNRS, au travers des deux instituts INS2I et INSMI. Elle accueille en son sein deux équipe-projets INRIA : Pi-R2 et GANG. Site web: http://www.fifp.univ-paris-diderot.fr

17/12/2013 - Lancement de l'application Algopol, enquête sur la sociabilité en ligne

AlgopolDans le cadre du projet ANR Algopol (Cams, LIAFA, Orange Labs, Linkfluence), une vaste enquête sur la sociabilité en ligne a été lancée, sous la forme d'une jolie application Facebook réalisée par Stéphane Raux, doctorant LIAFA / Linkfluence, et conçue avec Irène Bastard, doctorante en sociologie à Orange Labs.

Cette enquête est tout à fait originale à deux titres. Tout d'abord elle combine l'analyse de réseaux sur des données massives, et des approches ethnographiques traditionnelles (entretiens en face à face) et de plus, elle fait appel à un panel représentatif des internautes français fourni par l'institut CSA.

Lien vers le site de l'application : http://app.algopol.fr/
La méthodologie est décrite en détail dans un texte sur le site Internetactu : http://www.internetactu.net/2013/12/13/travail-et-travailleurs-de-la-donnee/
Il a fait l'objet par ailleurs d'un article dans la rubrique Science du Monde.fr : http://www.lemonde.fr/sciences/article/2013/12/12/quand-la-recherche-like-facebook_4332566_1650684.html

30/10/2013 - Intervention de Frédéric Magniez au forum du CNRS "Les Fondamentales"

CNRSDu 14 au 16 novembre 2013, le CNRS organise à la Sorbonne le forum "Les Fondamentales" dédié aux sciences et dont l'objectif est de faire partager le sens et la portée des recherches. Le thème principal de ses rencontres avec des chercheurs de différents domaines scientifiques tourne autour de la question "que reste-t-il à découvrir ?". Lors de ce forum, Frédéric Magniez, membre du LIAFA, interviendra dans un débat avec le physicien Philippe Grangier sur "Les défis de l'ordinateur quantique". Ce débat aura lieu le vendredi 15 Novembre 2013 de 15h40 à 16h40 dans l'Amphithéâtre Liard de la Sorbonne.
Site web du forum Les Fondamentales : http://lesfondamentales.cnrs.fr/
Page web sur le débat "Les défis de l'ordinateur quantique" : http://lesfondamentales.cnrs.fr/programme/debat/les-defis-de-lordinateur-quantique

04/07/2013 - Ahmed Bouajjani nommé membre senior au prestigieux Institut Universitaire de France (IUF)

Ahmed BouajjaniAhmed Bouajjani, professeur d'Informatique à l'université Paris Diderot, et membre du LIAFA, vient d'être nommé membre senior au prestigieux Institut Universitaire de France (IUF). Cette nomination vient en reconnaissance de ses contributions scientifiques à la théorie de la vérification de programmes séquentiels ou concurrents.

20/06/2013 - Anna Pappa a reçu une bourse Google Anita Borg Memorial Scholarship 2013

Anna PappaAnna Pappa, doctorante sous la co-direction de Iordanis Kerenidis (LIAFA) et Eleni Diamanti (Télécom), a reçu une bourse Google Anita Borg Memorial Scholarship 2013. Google Anita Borg Memorial Scholarship honore la mémoire du Dr. Anita Borg qui a consacré sa vie à encourager la présence des femmes dans l'informatique. Tous les étudiants qui reçoivent des bourses poursuivent des études en informatique ou dans des domaines connexes dans les universités à travers l' Europe, le Moyen-Orient et en Afrique.

Pour plus d'informations, visitez le lien suivant.
http://googleblog.blogspot.fr/2013/06/google-scholarships-recognize-84.html

31/03/2013 - Légion d'honneur décernée à Valérie Berthé

Valérie BerthéValérie Berthé figure parmi les décorés de la promotion de Pâques 2013 de l'ordre national de la Légion d'honneur. Cette décoration qui récompense à juste titre le travail énorme que fournit Valérie pour les communautés informatiques et mathématiques françaises. (Vous trouverez ci-dessous une courte description de ces activités).

Valérie Berthé effectue une carrière brillante au CNRS. Ancienne élève de l'Ecole Normale Supérieure, elle obtient l'agrégation de mathématiques en 1992 et soutient une thèse de Mathématiques Pures à Bordeaux en 1994. Elle obtient alors immédiatement un poste de Chargée de Recherche CNRS en Section 01 (Mathématiques), affectée à l'Institut de Mathématiques de Luminy (IML). Elle soutient son Habilitation à Diriger les Recherches en 1999. Ses travaux à l'interface entre mathématiques et informatique l'amènent à rejoindre le Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM) au début des années 2000, où elle prend la direction du projet Arithmétique Informatique du département Informatique du laboratoire. Elle est promue Directrice de Recherche CNRS en 2006 en Section 07 (Informatique), et, en 2010, elle rejoint le Laboratoire d'Informatique Algorithmique (LIAFA) de l'université Paris Diderot. Depuis mars 2010, elle est directrice adjointe de ce laboratoire.

La brillante carrière de chercheuse de Valérie Berthé brièvement résumée ci-dessus démontre ses remarquables qualités de scientifique, au plus haut niveau international, à l'interface entre mathématiques et informatique (pavages et systèmes de numération, avec applications en géométrie discrète et en combinatoire). Mais il est surtout particulièrement notable qu'outre ses travaux de recherche, Valérie Berthé ait pu oeuvrer aussi intensivement pour la communauté tout au long de sa carrière. Ainsi, de 2007 à 2010, elle est chargée de mission CNRS auprès des Instituts INS2I (Institut des sciences informatiques et de leurs interactions) et INSMI (Institut des sciences mathématiques et de leurs interactions), pour les relations mathématiques-informatique. En 2011, elle devient directrice adjointe de la Fondation Sciences Mathématiques de Paris. Cette fondation de coopération scientifique créée fin 2006 est le seul RTRA (Réseau Thématique de Recherche Avancée) en France en sciences mathématiques. Ce réseau fédère 11 laboratoires de sciences mathématiques et d'informatique fondamentale, et réunit plus de 1200 chercheurs. La Fondation SMP est également porteuse du Laboratoire d'Excellence : le LabEx SMP. En outre Valérie Berthé est membre de nombreux conseils scientifiques, dont celui de la ville de Paris, du Centre International de Rencontres Mathématiques (CIRM), et du Réseau Africain de Géométrie et Algèbre Appliquées au Développement (RAGAAD). Elle est par ailleurs membre du Comité National Universitaire (CNU) en 25ème section (mathématiques), et est ou a été experte pour de nombreux programmes scientifiques nationaux et internationaux.

Par la qualité de ses travaux de recherche et par l'importance de son implication dans la vie scientifique, Valérie Berthé a oeuvré remarquablement au service de la communauté nationale et internationale. Elle fait sans nul doute partie des personnalités scientifiques de premier plan dont l'activité de recherche et d'animation permet à la communauté française en informatique fondamentale de se positionner au tout meilleur niveau international.

13/03/2013 - Journées d'Informatique Fondamentale de Paris Diderot

Bâtiment Sophie GermainPour inaugurer les nouveaux locaux, les laboratoires d'informatique de l'Université Paris Diderot - Paris 7, LIAFA et PPS, organisent une semaine d'exposés du 22 au 26 avril 2013. Une cérémonie de remise des Palmes Académiques à Maurice Nivat aura lieu le mercredi 24 avril à 18h, précédée par une session spéciale dédiée à la médaille d'argent du CNRS de Pierre Fraigniaud.
http://www.liafa.univ-paris-diderot.fr/jifp/

07/09/2012 - FPSAC'13 à l'Université Paris Diderot organisée par le LIAFA

FPSAC'13L'équipe combinatoire du LIAFA organise la conférence FPSAC13 du 24 au 28 Juin 2013 à l'Université Paris Diderot. C'est la 25eme édition de cette conférence. Cette conférence internationale est la conférence la plus importante en combinatoire et regroupe environ 180 combinatoristes du monde entier chaque année.
http://www.liafa.univ-paris-diderot.fr/fpsac13
Site permanent de la conférence: http://www.fpsac.org/

30/08/2012 - Iordanis Kerenidis lauréat de l'ERC Starting Grant 2012

Iordanis KerenidisGrâce à son projet "Communication et cryptographie quantique", Iordanis Kerenidis s'est vu attribuer la bourse ERC Starting Grants 2012.
Iordanis Kerenidis est titulaire d'un doctorat de l'Université de Berkeley (Californie) depuis 2004. Après un séjour postdoctoral à l'Institut de technologie du Massachusetts (MIT), il rejoint le CNRS en tant que chercheur et est actuellement basé au LIAFA à l'Université Paris Diderot.
Son projet ERC "Communication et cryptographie quantique" lui a permis de faire partie des lauréats ERC Starting Grants 2012. Son projet a pour but d'envisager l'avenir des technologies de l'information et de la communication comme un réseau d'agents classiques et quantiques ayant la capacité de communiquer d'une manière efficace et sécurisée.
Les objectifs du projet sont : de concevoir de nouvelles primitives cryptographiques qui restent sécurisés contre des adversaires quantiques et de les mettre en oeuvre avec des systèmes photoniques de pointe. L'étude des communications quantiques efficaces et des jeux multi-agents. Et, la compréhension de la mécanique quantique et de la théorie de la complexité au travers de l'information et de la cryptographie quantique. (Extrait du site du CNRS.)

25/06/2012 - Création du LEA FILOFOCS avec l'Université de Tel Aviv

LEA FILOFOCSTroisième laboratoire international associé créé avec Israël, le LEA "FILOFOCS" associe, pendant une période de 4 ans à compter du 1er janvier 2012, des équipes du Laboratoire d'Informatique Algorithmique : Fondements et Applications (LIAFA UMR 7089 unité mixte CNRS Université Paris Diderot) et de la Blavatnik School of Computer Science de la TAU, tout en étant très largement ouvert à d'autres laboratoires de recherche français, et israéliens. Les deux têtes de ponts sont Adi Rosén (DR CNRS au LIAFA) et Benny Chor (Professeur à la Blavatnik School of Computer Science).

L'objectif du LEA FILOFOCS est de produire des travaux scientifiques de haut niveau dans le domaine des sciences informatiques fondamentales, de favoriser l'émergence de nouvelles coopérations scientifiques dans ce domaine et d'établir un cadre de longue durée permettant d'exposer les communautés scientifiques française et israélienne, et en particulier les jeunes chercheurs, aux méthodes et écoles de recherche des deux pays. A cette fin, le LEA FILOFOCS mènera diverses actions : organisation conjointe d'un workshop annuel ayant lieu en alternance en France et en Israël, et d'écoles d'été ou printemps dans les deux pays ; échange de doctorants (dans le cadre d'un programme de co-tutelles entre TAU et UPD) et postdoctorants ; soutien à de courts séjours de chercheurs jeunes ou confirmés dans le cadre de coollaborations scientifiques spécifiques.

Le LEA FILOFOCS correspond à la première action d'envergure menée avec l'Université de Tel Aviv, premier partenaire israélien du CNRS en termes de co-publications. (Extrait du site du CNRS.)

07/06/2012 - Extrait de la vidéo du vendredi du CNRS "Le modèle Turing"

Alan Turing était mathématicien, cryptologue, pionnier de l'informatique, de l'intelligence artificielle et de la morphogenèse en biologie. A l'occasion du centenaire de sa naissance, ce film nous présente cet homme exceptionnel en retraçant sa vie, son oeuvre et son influence. La rencontre avec des chercheurs des différentes disciplines dans lesquelles Alan Turing a travaillé permet de découvrir petit à petit qui il était, ce qu'il a inventé et l'incidence que son travail a actuellement. Elle révèle ainsi les circonstances de l'émergence de cette science nouvelle : l'informatique.
Si le père de l'informatique théorique et de l'intelligence artificielle semble méconnu en France du grand public, il suscite en revanche un courant fort de sympathies chez les scientifiques, comme si la passion qui animait Turing incarnait celle des chercheurs actuels.
Cette vidéo a été réalisée avec la participation de Jean Mairesse et de Laurent Bienvenu, chercheurs CNRS au LIAFA. (Extrait du site du CNRS.)


16/04/2012 - Médaille d'argent du CNRS décernée à Pierre Fraigniaud

Pierre FraigniaudPierre Fraigniaud est lauréat 2012 de la Médaille d'argent du CNRS pour l'Institut des sciences de l'information et de leurs interactions (INS2I). Cette médaille distingue chaque année un chercheur pour l'originalité, la qualité et l'importance de ses travaux, reconnus sur le plan national et international.

Après ses études à l'ENSIMAG et à l'université Joseph Fourier de Grenoble, Pierre Fraigniaud a soutenu son doctorat à l'ENS Lyon en 1990. Recruté au CNRS en 1991, il a été successivement membre du LIP à Lyon, du LRI à Orsay, et enfin du LIAFA à l'université Paris Diderot. Il est actuellement directeur du LIAFA. Ses domaines de recherche ont évolué de la conception de programmes parallèles pour la résolution de problèmes numériques, à la conception et l'analyse d'algorithmes distribués, en passant par l'optimisation des procédures de communication pour les supercalculateurs parallèles. Ses recherches récentes en algorithmique distribuée traitent des compromis entre les performances d'un calcul distribué et la connaissance initiale dont les processeurs disposent sur leur environnement. Les domaines d'applications de ses recherches vont de la conception de réseaux de communication efficaces pour différents environnements (dont le "pair-à-pair"), à l'étude des réseaux sociaux (dont le phénomène "petit monde").

28/03/2012 - Fu Song et Tayssir Touili lauréats de EASST best paper award à ETAPS 2012

Fu Song and Tayssir Touili. "Pushdown Model-Checking for Malware Detectionr". In Proceedings 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). Volume 7214 of Lecture Notes in Computer Science. Springer. 2012.

Ce travail décrit une nouvelle approche de détection de virus informatiques qui est plus efficace et plus précise que les anti-virus existants. En effet, il n'existe malheureusement aucun moyen infaillible de déterminer si une application dans un marché est légitime ou non. Les techniques de détection de virus existantes sont basées sur la recherche de signatures dans le code suspect par une sorte de pattern matching. Seulement, il est très facile pour un concepteur de virus de contourner ces détecteurs de virus en changeant, même légèrement, la signature de son virus tout en gardant le même comportement viral. Pour contourner ce problème, il est plus judicieux de détecter les virus en analysant leur comportement, au lieu de faire une analyse syntaxique (tel que c'est le cas maintenant). Les techniques de model checking sont bien adaptées pour analyser les comportements des systèmes. Dans cet article, nous proposons des techniques innovantes de model-checking qui permettent de détecter les virus. Ces techniques ont été implantées dans un outil qui a permis de détecter plus de 400 virus. Plusieurs de ces virus n'ont pas pu être détectés par des anti-virus connus tels que Kaspersky, Avira, ou Avast.

26/03/2012 - Ecole de Printemps d'Informatique Théorique 2012

EPIT 2012L'Ecole de Printemps d'Informatique Théorique est une institution dans le domaine de l'Informatique Théorique en France. L'Ecole s'est développée sous la direction de Maurice Nivat en 1973. Durant ses 39 ans d'existence, elle a couvert un large spectre des thèmes porteurs en informatique théorique et elle représente maintenant le lieu de rencontre par excellence pour les nouvelles générations de chercheurs du domaine.

Edition 2012:
Pour cette année, l'algorithmique probabiliste sera mise en avant, et plus précisément ses mécanismes et bornes inférieures. Si l'algorithmique est le socle commun de la communauté informatique, l'algorithmique probabiliste est parfois assez peu connue des jeunes chercheurs. Pourtant, les algorithmes probabilistes ont changé en profondeur notre perception de l'informatique, des applications pratiques qu'ils fournissent, aux notions de complexité qu'ils ont revisitées. Cette école se propose d'en aborder certains aspects à fort impact.

Orateurs:
- Iordanis Kerenidis (LIAFA, Paris 7)
- Claire Mathieu (Brown University)
- Frédéric Magniez (LIAFA, Paris 7)
- Andrew McGregor (University of Massachussets)
- Nicolas Schabanel (LIAFA, Paris 7)
- Ronald de Wolf (CWI, Amsterdam)
Comité scientifique: Iordanis Kerenidis, Claire Mathieu, Frédéric Magniez
Organisation (LIAFA, Paris 7): Nathanaël François, Iordanis Kerenidis, Christian Konrad, Frédéric Magniez

09/12/2011 - André Chailloux lauréat du prix de thèse Gilles Kahn 2011

André ChaillouxLe prix SiF a été créé en 1998 pour récompenser chaque année une excellente thèse en informatique. Gilles Kahn a présidé les trois premiers jurys du prix, étant convaincu de l'intérêt de promouvoir les jeunes talents les plus prometteurs de notre discipline. En son honneur, le prix a pris depuis 2007 le nom de Prix de thèse Gilles Kahn et est patronné par l'Académie des Sciences qui rend ainsi hommage à un de ses membres éminents.
Le prix 2011 a été décerné à André Chailloux pour sa thèse intitulée "Quantum Coin Flipping and Bit Commitment: Optimal Bounds, Practical Constructions, and Computational Security", effectuée au Laboratoire de Recherche en Informatique (CNRS/Université Paris-Sud 11) sous la direction d'Iordanis Kerenidis, chercheur CNRS au LIAFA.

08/12/2011 - Conférence de lancement du LEA Struco avec l'Université Charles de Prague, République Tchèque

LEA STRUCOSTRUCO est un Laboratoire International Associé du CNRS entre IÚUK, Prague, et le LIAFA, Paris.

Le thème principal du laboratoire est la théorie des graphes, en particulier :
- graphes épars (classes de graphes nulle-part denses, classes de graphes d'expansion bornée) ;
- théorie extrémale des graphes ;
- coloration de graphes ;
- théorie de Ramsey, universalité et dualité de morphismes ;
- algorithmique des graphes et matroïdes, model checking.
STRUCO traite principalement de l'étude théorique d'objets combinatoires, avec une attention particulière portée à l'assimilation et la transmission des dernières théories et techniques développées. L'expérience ainsi acquise servira à obtenir de nouvelles avancées ainsi qu'à identifier de nouvelles directions de recherche pertinentes.

Un des objectifs principaux de STRUCO est de fournir une structure pérenne afin d'aider et d'inciter les coopérations entre chercheurs français et tchèques sur des projets à longs termes, de favoriser la dissémination des résultats aux étudiants des deux pays et de créer des liens entre ces étudiants. Les thèmes du projet couvrent en effet des questions pertinentes et opportunes, pour lesquelles une structure de coopération stable et importante est nécessaire. En rassemblant un grand nombre d'excellents chercheurs et étudiants, STRUCO crée l'environnement requis pour progresser sur ces problèmes, qui nécessitent non-seulement des visites de recherche de courte durée, mais également une implication forte des étudiants dans les coopérations et l'apprentissage des techniques récentes.

STRUCO est une plateforme naturelle pour fédérer et organiser les nombreuses coopérations bilatérales isolées entre nos deux pays. Ainsi, le projet assurera des coopérations à long terme et permettra aux jeunes chercheurs (et en particulier aux étudiants en thèse) de maintenir les échanges fructueux entre nos deux pays dans le futur, de manière fédérée et structurée.

Le LEA est géré par deux co-directeurs : Jaroslav Nešetřil (Charles University), République tchèque, Jean-Sébastien Sereni (CNRS), France.

22/12/2010 - Médaille de bronze du CNRS décernée à Thomas Colcombet

Thomas ColcombetThomas Colcombet est lauréat 2010 de la Médaille de bronze du CNRS pour l'Institut des sciences de l'information et de leurs interactions (INS2I). Cette médaille récompense les travaux brillants de Thomas sur les automates et leurs liens avec la logique. Elle est attribuée chaque année pour récompenser un jeune chercheur dont le travail fait de lui un spécialiste de talent dans son domaine.

22/10/2010 - Thomas Colcombet lauréat de l'ERC Starting Grant 2010

Thomas ColcombetLe troisième appel à proposition « Jeunes chercheurs » (Starting Grant) du Conseil Européen de la Recherche (ERC) a distingué cette année trois chercheurs de l'INS2I (35 au total au CNRS). Ce programme, d'un montant de 580 millions d'euros, récompense les jeunes talents susceptibles de porter des projets novateurs dans les différents domaines de la recherche au niveau de l'Europe et de ses partenaires (http://erc.europa.eu). La compétition, très sélective, a donc sélectionné Thomas Colcombet, CR au LIAFA (http://www.liafa.jussieu.fr/~colcombe), travaille sur la théorie des automates et ses liens avec la logique. (Extrait du site du CNRS.) En savoir plus sur le projet
 
 ©  LIAFA 1995, dernière mise à jour: Janvier 2016 webmestre[at]liafa.univ-paris-diderot.fr