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 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).

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 our hardest parameter search problems in BIOCHAM-parallel.