Le laboratoire Ibisc organise un séminaire d'informatique dans le petit amphithéâtre ou en salle de réunion d'Ibisc au 3ème étage de l'Institut de biologie génétique et bio-informatique (I.B.G.B.I.), dont l'entrée se trouve au 23, boulevard de France, à côté de Télécom sud Paris (un plan d'accès est disponible ici ; il faut compter environ 10 minutes à pied depuis la gare de RER Évry-Courcouronnes). L'objectif est d'accueillir toutes les trois semaines environ (les jeudis après-midi à 14h30) un orateur présentant des travaux et des résultats dans des thèmes connexes à ceux du laboratoire. Toute personne souhaitant assister à ces séminaires est la bienvenue. Si vous désirez présenter vos travaux, vous pouvez contacter l'un des organisateurs du séminaire (sylvain.sene [(arobase)] ibisc.univ-evry.fr et damien.regnault [(arobase)] ibisc.univ-evry.fr).


Année 2012-2013


23 mai 2013
•  Emmanuel Filiot (page web)
LTL synthesis revisited
Résumé téléchargeable ici


Séminaires passés


15 novembre 2012
•  Thomas Fernique (page web)
Quasicristaux: structure et croissance
Résumé téléchargeable ici

20 décembre 2012
•  Luidnel Maignan (page web)
Algorithmics on cellular automata: some geometric examples
Résumé téléchargeable ici

24 janvier 2013
•  Anne Siegel (page web)
Approches probabilistes pour intégrer des observations quantitatives à un modèle qualitatif de réseau biologique
Résumé téléchargeable ici

21 février 2013
•  Christoph Dürr (page web)
Contraintes d'ordre pour ordonnancement sur une machine avec coût polynomial
Résumé téléchargeable ici

28 février 2013
•  Francesca Poggiolesi (page web)
Analytic logic of proofs
Résumé téléchargeable ici

14 mars 2013
•  Dominique Perrin (page web)
Mots de Sturm, échanges d'intervalles et codes bifixes
Résumé téléchargeable ici

4 avril 2013
•  Emmanuel Jeandel (page web)
Langages rationnels en dimension 2 et complexité de communication
Résumé téléchargeable ici

25 avril 2013
•  Pierre-Étienne Meunier (page web)
Programmer avec de l'ADN
Résumé téléchargeable ici


Année 2011-2012


13 octobre 2011
•  Sylvain Sené (page web)
Réseaux booléens à seuil, environnement et (in-)stabilités
Résumé téléchargeable ici

3 novembre 2011
•  Nguyen Kim Thang (page web)
Congestion games with capacitated resources
Résumé téléchargeable ici

24 novembre 2011
•  Olivier Roux (page web)
Analyse formelle de grands réseaux de régulation biologique
Résumé téléchargeable ici

1er décembre 2011
•  Jacques Demongeot (page web)
Évolution des réseaux de régulation biologique
Résumé téléchargeable ici

19 janvier 2012
•  Jean-François Boulicaut (page web)
Calcul de motifs dans des tenseurs booléens
Résumé téléchargeable ici

2 février 2012
•  Étienne Birmelé (page web)
Détection de motifs locaux dans les réseaux biologiques
Résumé téléchargeable ici

1er mars 2012
•  Eric Goles (page web)
Dynamique et complexité des réseaux d'automates
Résumé téléchargeable ici

8 mars 2012
•  Pierre Lescanne (page web)
Coinduction, équilibres et rationalité de l'escalade
Résumé téléchargeable ici

29 mars 2012
•  Laurent Gourves (page web)
Solutions équitables approchées pour divers problèmes d'optimisation combinatoire
Résumé téléchargeable ici

12 avril 2012
•  Serge Haddad (page web)
Synthesis and analysis of product-form Petri nets
Résumé téléchargeable ici

3 mai 2012
•  Samir Tata (page web)
Modèles et algorithmes pour la coopération dans les entreprises virtuelles
Résumé téléchargeable ici

28 juin 2012
•  Stefano Moretti (page web)
Coalitional games applied to bioinformatics
Résumé téléchargeable ici


Année 2010-2011


28 octobre 2010
•  Mathilde Noual (page web)
Influence du mode de mise à jour sur la dynamique des réseaux d'automates booléens
Résumé téléchargeable ici

25 novembre 2010
•  Ioannis Milis (page web)
Generalized graph coloring problems
Résumé téléchargeable ici

6 janvier 2011
•  Gil Utard (page web)
Système de stockage pair à pair
Résumé téléchargeable ici

20 janvier 2011
•  Véronique Benzaken (page web)
CDuce a typeful XML-centric programming language
Résumé téléchargeable ici

17 février 2011
•  Adrien Richard (page web)
Théorèmes de point fixe dans les réseaux booléens
Résumé téléchargeable ici

3 mars 2011
•  Yannick Pencolé (page web)
Diagnostic, un raisonnement au cœur des systèmes embarqués
Résumé téléchargeable ici

11 mars 2011 - Séminaire de Méfosyloma
•  Sami Evangelista (page web)
Parallel nested depth-first searches for LTL model checking
Résumé téléchargeable ici
•  César Rodríguez (page web)
Efficient contextual unfolding
Résumé téléchargeable ici

7 avril 2011
•  MengChu Zhou (page web)
Sensor networks: recent advances and applications
Résumé téléchargeable ici

21 avril 2011
•  Nicolas Schabanel (page web)
Recherche de chemin optimal dans les petits-mondes : problèmes de dimension
Résumé téléchargeable ici

5 mai 2011
•  Valentin Goranko (page web)
A logical framework for capturing the dynamics of information and abilities of players in multi-player games: a preliminary report
Résumé téléchargeable ici

19 mai 2011
•  Olivier Grisel (page web)
Analyse sémantique de texte et utilisation du Web de données
Résumé téléchargeable ici

9 juin 2011
•  Arndt Benecke (page web)
Geometric reconstructions of the transcriptome phase space: Application to molecular signature definition and functional analysis of host pathogen interactions
Résumé téléchargeable ici

15 juin 2011
•  George Michailidis (page web)
Estimation of network Granger causality
Résumé téléchargeable ici

23 juin 2011
•  Laurent Trilling (page web)
Programmation logique (non monotone) pour une approche déclarative de la modélisation de réseaux géniques logiques
Résumé téléchargeable ici

7 juillet 2011
•  Franck Pommereau (page web)
Integrated Regulatory Networks (IRNs): spatially organized biochemical modules
Résumé téléchargeable ici
•  Damien Regnault (page web)
Automates cellulaires probabilistes
Résumé téléchargeable ici