Les projets de la communauté (depuis 2009)

PICS (Projets Internationaux de Coopération Scientifique)


  • PICS SPiNaCH (Secure and low-Power sensor Networks Circuits for Healthcare embedded applications, 2012-2014) : CAIRN (IRISA CNRS, Lannion) et Crypto Group (University College Cork, Ireland)
  • PICS "Efficient Arithmetic in Global Quadratic Fields" (2010-2013) : ARITH-ECO (LIRMM, Montpellier) et Calgary (Canada)

Projets ANR


  • ANR MetaLibm (INS, 2013-2017) : SOCRATE (Inria Rhône-Alpes et INSA Lyon)/Aric (LIP, ENS Lyon), Pequan (LIP6, UPMC Paris), DALI (UPVD/LIRMM, Perpignan) et CERN (Genève)
  • ANR CAFEIN (INS, 2013-2016) : CEA LIST (Saclay), ENSTA ParisTech, MAXPLUS (INRIA Saclay), ONERA/DTIM, Prover Technology, RCF/Rockwell Collins France et DALI (UPVD/LIRMM, Perpignan)
  • ANR CATREL (Blanc, 2013-2016) : CARAMEL (INRIA Nancy), GRACE (INRIA Saclay) et ARITH-ECO (LIRMM, Montpellier)
  • ANR PAVOIS (Blanc, 2012-2016) : CAIRN (IRISA CNRS, Lannion), DALI (UPVD/LIRMM, Perpignan) et ARITH-ECO (LIRMM, Montpellier)
  • ANR Verasco (INSE, 2011-2015) : Gallium/Abstraction (INRIA Paris-Rocquencourt), Celtique (IRISA, Rennes), VERIMAG (Grenoble), Toccata (INRIA Saclay) et Airbus (Toulouse)
  • ANR DEFIS (INS, 2011-2015) : CAIRN (IRISA, Lannion), Pequan (LIP6, UPMC Paris), DALI (UPVD/LIRMM, Perpignan), CEA LIST (Saclay), THALES (Paris) et Inpixal (Rennes)
  • ANR ARDyT (INS 2011, 2011-2014) : SCN (IETR, Nantes), CAIRN (IRISA Univ. Rennes 1, Lannion), MOCS/Lab-STICC (ENSTA-Bretagne/UBO, Brest), N2NV/MAE (IJL/Univ. de Lorraine, Nancy) et ATMEL (Nantes)
  • ANR HPAC (Blanc, 2011-2014) : CASYS (LJK, Grenoble), MOAIS (LIG, Grenoble), Arénaire/AriC (LIP, ENS Lyon), PolSys (LIP6, UPMC Paris), ARITH-ECO (LIRMM, Montpellier) et HPC Project CO (Montpellier)
  • ANR TaMaDi (Blanc, 2010-2013) : Arénaire (LIP, ENS Lyon), Marelle (INRIA Sophia-Antipolis) et Pequan (LIP6, UPMC Paris)
  • ANR CHIC (Blanc, 2009-2012) : équipe "Géométrie algébrique réelle, Calcul formel et Cryptographie" (IRMAR, Rennes), CACAO (INRIA Nancy) et IML (Marseille)
  • ANR FOST (Blanc, 2009-2012) : Toccata (INRIA Saclay), Pomdapi (INRIA Paris-Rocquencourt) et LCR (LIPN, Univ. Paris 13, Paris)
  • ANR U3CAT (Arpège 2008, 2009-2012) : ProVal (INRIA Saclay), Gallium (Inria Paris-Rocquencourt), Celtique (IRISA, Rennes), CEA LIST (Saclay), Atos Origin, Airbus, CNAM, Dassault, Sagem Défense et Sécurité et CS
  • ANR ASOPT (Arpège 2008, 2009-2012) : POPART (Inria Rhône-Alpes), VERIMAG (CNRS), LMeASI (CEA List), MAXPLUS (INRIA Saclay) et EADS Innovation Works (EADS)

Projets PEPS


  • PEPS QUARENUM (PEPS INS2I, 2013) : ParSys/Grand-Large (INRIA Saclay) et LRI (Orsay), Pequan (LIP6, UPMC Paris), AriC (LIP, ENS Lyon), DALI (UPVD/LIRMM, Perpignan) et ONERA (Châtillon)
  • PEPS RESYST (INSIS, 2010-2012) : équipe "Commande" (IRCCyN, Nantes), Pequan (LIP6, UPMC Paris) et "Dynamics, Simulation and Control Group" (Univ. of Cranfiled, UK)
  • PEPS DIAM-GPU (Interactions Maths-Informatique-Ingénierie, 2010-2012) : Pequan (LIP6, UPMC Paris)
  • PEPS LinBox (Interactions Maths-Informatique-Ingénierie, 2010-2012) : MOAIS (LIG, Grenoble)
  • PEPS PML (Interactions Maths-Informatique-Ingénierie, 2010-2012) : Logique (LAMA, Univ. de Savoie, Le Bourget-du-Lac) et Arénaire/AriC (LIP, ENS Lyon)

Projets Labex


  • HAH (Labex CominLabs & Lebesgue, Région Bretagne, 2014-2017), Hardware and Arithmetic for Hyperelliptic Curves Cryptography: CAIRN (IRISA), GAR (IRMAR)

Autres types de projets


  • Coquelicot (Fondation de Coopération Scientifique «Campus Paris-Saclay» and Digiteo, 2011-2014) : Toccata (INRIA Saclay), LIX et LIPN (Paris 13)
  • Projet Emergence-UPMC "Génération automatique de codes numériques parallèles pour l'assimilation de données" (2010-2012) : Pequan (LIP6, UPMC Paris)
  • Compil'HD (Appel à projets Chercheur d'Avenir de la Région Languedoc-Roussillon, 2010-2012) : DALI (UPVD/LIRMM, Perpignan)
  • Projet "Coup de pouce recherche" Polytech'Paris-UPMC GPUPS - "Calcul de pseudospectres sur GPU" (2010) : Pequan (LIP6, UPMC Paris)
  • SARDANES (Fondation de Recherche pour l'Aéronautique et l’Espace, 2009-2012) : équipe "Abstract interpretation and semantics" (ENS Paris), LabSTICC (Univ. de Bretagne Occidentale, Brest) et DALI (UPVD/LIRMM, Perpignan)
  • HISSEO (DIGITEO, 2008-2012) : Toccata (INRIA Saclay) et CEA LIST (Saclay)

GT Arith

GDR IM

Les RAIM

Blix theme adapted by David Gilbert, powered by PmWiki