Annuaire
Projets
Logiciels
Publications
HAL
http://www-apr.lip6.fr
Photo Responsable

Équipe : APR - Algorithmes, Programmes et Résolution

Axes : SSR (👥👥), TMC (👥👥), ASN (👥).

Responsable :

Antoine Miné Campus Pierre et Marie Curie 25-26/311

Brève présentation

Les thématiques de l’équipe APR concernent l’algorithmique et les langages de programmation, sous des aspects fondamentaux à la fois théoriques et pratiques, en combinant l’approche langage (conception, implantation, analyse statique) et les besoins algorithmiques (modélisation algorithmique, analyse de complexité, génération aléatoire) dans des domaines d’application qui vont de la programmation des nouvelles architectures de machines au développement de langages pour la concurrence et la mobilité, des applications embarquées critiques au développement Web. De façon générale, nous développons dans l'équipe APR, des approches méthodologiques, formelles et mathématisées, en sémantique et en combinatoire, pour parvenir jusqu’à des objectifs très concrets, dans la construction de prototypes logiciels expérimentaux et la réalisation d’applications industrielles.

L'équipe APR est basée sur trois axes suivant un thème de recherche commun autour de la concurrence:


site Web APR

Génération aléatoire, Structures Combinatoires, Analyse d'Algorithmes, Modélisation et Applications. Conception et Implantation de langages, Analyses statiques, Typage, Interprétation Abstraite, Concurrence, Programmation Parallèle, Langage et Calcul.
RSS

Le LIP6 organise (APR)

  • Ajouter à votre agenda21/03/2019 - Questions de l’heure en combinatoire algébrique.
    Horaire : 14h
    Intervenant(s) : François Bergeron (Université du Québec à Montréal)
    Au cours des 40 dernières années, la combinatoire algébrique a émergée à partir de préoccupations convergentes des mathématiques discrètes, de l’informatique théorique, de la physique théorique, et de bien d’autres domaines, qui ont ceci en commun d’établir des liens naturels ent...
    LIP6, salle 405 (4ème étage), couloir 24-25, 4 place Jussieu, 75005 Paris
  • Ajouter à votre agenda28/03/2019 - An abstract domain for trees with numeric relations
    Horaire : 15h
    Intervenant(s) : Matthieu Journault (LIP6 - APR)
    We will present the definition of an abstract domain able to infer invariants on programs manipulating trees. Trees are defined over a finite alphabet and can contain unbounded numeric values at their leaves. The domain can infer the possible shapes of the tree values of each var...
    Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Archives

Sélection de publications

Toutes

Contact

Antoine.Mine (at) nulllip6.fr

 Mentions légales
Carte du site |