Composition du groupe

Nous présentons ici les différents laboratoires et équipes de recherche affiliés au groupe Bioss, par ordre alphabétique sur les villes.

Chambéry

  • Fédération MSIF, Équipe Gémini
    Contact : Laurent Vuillon
    Domaine : Systèmes dynamiques symboliques, auto-assemblage
    url : http://msif.cnrs.fr

Évry

  • IBISC, Équipe COSMO
    Contact : Franck Delaplace
    Domaine : Modèles concurrents, réseaux de Petri, réseaux booléens, langages de modélisation et de programmation
    url : https://www.ibisc.univ-evry.fr/cosmo

Grenoble

  • AGIM, Équipe GEM
    Contact : Jacques Demongeot
    Domaine : Réseaux booléens et continus, déterministes ou non, stochastiques ou non
    url : http://www.agim.eu/equipes/gem
  • INRIA, Équipe IBIS
    Contact : Hidde de Jong
    Domaine : Modèles discrets et linéaire par morceaux, analyse et simulation numériques
    url : url: http://team.inria.fr/ibis
  • TIMC-IMAG, Équipe BCM
    Contact : Éric Fanchon
    Domaine : Modèles discrets, programmation logique, systèmes dynamiques continus et hybrides
    url : http://www-timc.imag.fr/rubrique44.html
  • VERIMAG, Équipe TEMPO
    Contact : Oded Maler
    Domaine : Modèles discrets, contrôle de système temporels et hybrides
    url : http://www-verimag.imag.fr/Tempo,32.html

Jouy en Josas

  • INRA, Unité MaIAGE
    Contact : Laurent Tournier
    Domaine : Systèmes dynamiques, réseaux d'interactions
    url : http://maiage.jouy.inra.fr

Lille

  • Laboratoire Paul Painlevé, Équipe AGA
    Contact : Dmitry Grigoryev
    Domaine : Géomémétrie algébrique, théorie de la complexité
    url : http://math.univ-lille1.fr/d7/node/40
  • CRIStAL, Équipe BIOCOMPUTING
    Contact : Cédric Lhoussaine
    Domaine : Systèmes concurrents, sémantique des langages de programmation, modélisation stochastique
    url : http://cristal.univ-lille.fr/BioComputing
  • CRIStAL, Équipe Calcul Formel et Haute Performance
    Contact : François Boulier
    Domaine : Calcul symbolique
    url : http://cristal.univ-lille.fr/CFHP

Lyon

  • LBMC, Équipe SBDM
    Contact : Olivier Gandrillon
    Domaine : Prise de décision à l'échelle cellulaire
    url : http://www.ens-lyon.fr/LBMC/equipes/systems-biology-of-decision-making
  • LBBE, Équipe BAOBAB
    Contact : Marie-France Sagot
    Domaine : Intégration de données, réseaux métaboliques
    url : https://team.inria.fr/bamboo/
  • LIRIS, Équipe BEAGLE
    Contact : Guillaume Beslon
    Domaine : Évolution artificielle, dynamique inter-cellulaire
    url : https://team.inria.fr/beagle/
  • LIP, Équipe PLUME
    Contact : Russ Harmer
    Domaine : Modélisation à base de règles
    url : http://www.ens-lyon.fr/LIP/PLUME

Marseille

  • I2M, Équipe GDAC
    Contact : Pierre Guillon
    Domaine : Systèmes dynamiques, pavages, automates cellulaires
    url : https://www.i2m.univ-amu.fr/Equipe-Geometrie-Dynamique-Arithmetique
  • I2M, Équipe Mabios
    Contact : Élisabeth Remy
    Domaine : Modèles logiques, représentation et partitionnement de graphes
    url : http://mabios.math.cnrs.fr
  • I2M, Équipe PROBA
    Contact : Mathieu Sablik
    Domaine : Systèmes dynamiques, automates cellulaires
    url : https://www.i2m.univ-amu.fr/Equipe-Probabilites-PROBA
  • LIF, Équipe CANA
    Contact : Sylvain Sené
    Domaine : Calcul naturel, systèmes dynamiques, réseaux d'interactions, automates cellulaires
    url : http://cana.lif.univ-mrs.fr/
  • MIO, Équipe EMBIO
    Contact : David Nerini
    Domaine : Systèmes dynamiques, systèmes lents-rapides, dynamique adaptative, analyse de données fonctionnelles
    url : http://www.mio.univ-amu.fr/?-Equipe-5-Ecologie-Marine-et-

Montpellier

  • DIMNP, Équipe Biophysique théorique et biologie des systèmes
    Contact : Ovidiu Radulescu
    Domaine : Réduction de modèles
    url : http://www.dimnp.univ-montp2.fr/joomla/index.php?option=com_content&view=article&id=23&Itemid=131&lang=fr

Nancy

  • LORIA, Équipe CARTE
    Contact : Emmanuel Jeandel
    Domaine : Systèmes dynamiques, complexité, calculabilité
    url : http://carte.loria.fr/

Nantes

  • IRCCyN, Équipe MÉFORBIO
    Contact : Olivier Roux
    Domaine : Modèles concurrents, réseaux d'interactions, formalisation des conniassances, programmation logique
    url : http://www.irccyn.ec-nantes.fr/fr/equipes/meforbio
  • LINA, Équipe COMBI
    Contact : Jérémie Bourdon
    Domaine : modèles écologiques, analyse et modélisation statique, combinatoire
    url : http://www.lina.univ-nantes.fr/?-COMBI-.html

Nice

  • I3S, Équipe MDSC
    Contact : Enrico Formenti
    Domaine : Réseaux booléens, méthodes formelles, systèmes dynamiques, automates cellulaires
    url : http://www.i3s.unice.fr/mdsc
  • INRIA, Équipe BIOCORE
    Contact : Madalena Chaves
    Domaine : Modèles booléens, contrôle, réduction
    url : https://team.inria.fr/biocore

Orsay

  • LRI, Équipe BIOINFO
    Contact : Christine Froidevaux
    Domaine : Modèles concurrents, représentation des connaissances, analyse et simulation numériques de réseaux
    url : http://bioinfo.lri.fr

Paris

  • DIENS, Équipe ANTIQUE
    Contact : Jérôme Féret
    Domaine : Interprétation abstraite, analyse statique, modélisation à base de règles
    url : http://www.di.ens.fr/AntiqueTeam.html.fr
  • IBENS, Équipe BCS
    Contact : Denis Thieffry
    Domaine : Modèles logiques, simulations numériques
    url : http://www.ibens.ens.fr/spip.php?article26
  • INRIA, Équipe TAPDANCE
    Contact: Damien Woods
    Domaine : Calcul naturel, auto-assemblage, automates cellulaires
    url : https://www.inria.fr/equipes/tapdance
  • Institut Curie, Équipe BCSBC
    Contact : Laurence Calzone
    Domaine : Modèles booléens, modèles stochastique, simulations numériques
    url : http://ibis.inrialpes.fr
  • INSERM U1138, Équipe KROEMER
    Contact : Gautier Stoll
    Domaine : simulations logiques stochastiques
    url : http://www.crc.jussieu.fr/guido_kroemer2.html
  • IRCAM, Équipe MRT
    Contact : Jean-Louis Giavitto
    Domaine : Programmation spatiale, calcul amorphe, simulations numériques, biologie synthétique
    url : http://repmus.ircam.fr/giavitto
  • IRIF, Équipe ADG
    Contact : Nicolas Schabanel
    Domaine : Systèmes dynamiques, théorie des graphes, automates cellulaires, complexité
    url : https://www.irif.univ-paris-diderot.fr/equipes/adg/index
  • IRIF, Équipe PPS
    Contact : Jean Krivine
    Domaine : Modélisation à base de règles, modèles discrets
    url : http://www.irif.univ-paris-diderot.fr/~jkrivine
  • LACL, Équipe LCP
    Contact : Olivier Michel
    Domaine : Programmation spatiale, calcul amorphe, simulations numériques
    url : http://www.lacl.fr/fr/lcp
  • MAS, Équipe LOGIMAS
    Contact : Pascale Le Gall
    Domaine : Méthodes formelles, analyse, test, vérification
    url : http://www.mas.ecp.fr/cms/lang/fr/home/recherche_mas/equipes/logimas

Rennes

  • IRISA, Équipe Dyliss
    Contact : Anne Siegel
    Domaine : Intégration multi-échelle, modèles booléens, programmation logique, systèmes stochastiques
    url : http://www.irisa.fr/dyliss/

Saclay

  • INRIA, Équipe Lifeware
    Contact : François Fages
    Domaine : Vérification et synthèse de paramètres, programmation par contraintes, réduction, liens structure/dynamique
    url : http://lifeware.inria.fr
  • LIX, Équipe AMIB
    Contact : Mireille Régnier
    Domaine : Modélisation métabolique
    url : https://team.inria.fr/amib/fr