EN FR
EN FR
Bilateral Contracts and Grants with Industry
Bibliography
Bilateral Contracts and Grants with Industry
Bibliography


Section: Partnerships and Cooperations

National Initiatives

ANR Projects

  • ANR Blanc Hyclock (2014-2018) on “Hybrid modeling of time for Circadian Clock Biology and Chronopharmacology”, coordinated by F. Delaunay (CNRS, Nice), F. Lévi (INSERM Paris-Sud), G. Bernot (CNRS I3S, Nice), O. Roux (Ecle Centrale Nantes).

  • ANR Blanc Stoch-MC (2014-2018) on “Stochastic Models: Scalable Model Checking”, coordinated by Blaise Genest (Inria Rennes), with Grégory Batt, Wieslaw Zielonka (LIAFA), and Hugo Gimbert (LaBRI).

  • ANR Investissement Avenir Iceberg project (2011-2016) “From population models to model populations”, coordinated by Grégory Batt, with Pascal Hersen (MSC lab, Paris Diderot Univ./CNRS), Reiner Veitia (Institut Jacques Monod, Paris Diderot Univ./CNRS), Olivier Gandrillon (BM2A lab, Lyon Univ./CNRS), Cédric Lhoussaine (LIFL/CNRS), and Jean Krivine (PPS lab, Paris Diderot Univ./CNRS).

  • ANR Cosinus Syne2arti project (2010-2014) “From synthetic gene networks to artificial tissues” coordinated by Grégory Batt, with Oded Maler (CNRS Verimag), Dirk Drasdo (EPI Mamba), and Ron Weiss (MIT).

  • ANR Blanc BioTempo project (2010-2014) coordinated by Anne Siegel (EPI DYLISS), with Ovidiu Radulescu (U. Montpellier), O. Roux (Ecole Centrale de Nantes), Irina Rusu (U. Nantes).

  • ANR Blanc Net-WMS-2 (2011-2015) on “constraint optimization in Wharehouse Management Systems”, coordinated by F. Fages, with N. Beldiceanu (Ecole des Mines de Nantes, EPI TASC), and Abder Aggoun (KLS optim).

BPI-OSEO BioIntelligence Project

  • OSEO-BPI Biointelligence project (2009-2014) coordinated by Dassault-Systèmes, with Sobios, Aureus pharma, Ipsen, Pierre Fabre, Sanofi-Aventis, Servier, Bayer CropScience, INSERM, Genopole Evry, EPI Orpailleur.

GENCI Contract

  • GENCI (2009-) attribution of 300000 computation hours per year on the Jade cluster of 10000 cores of GENCI at CINES, Montpellier. Used for hardest parameter search problems in BIOCHAM-parallel.