This international scientific event will bring together about 150 scientists from all over the world, including biologists, physicians, health professionals, environmental scientists and specialists in mathematical and computational modeling
BEeSy 2015
Perspectives in Environmental and Systems Biology
Perspectives in Environmental and Systems Biology, April 13-15 2015, Grenoble
View online : http://beesy2015.com
Browsing
Sections
-
Verimag
- Members
- Publications
- Tools
- Projects
- Partners
-
Workshops and Conferences
- 20 years of Verimag, September
- PERSYVAL-Lab Summer School on
- ACES’2008 September 29th, (...)
- ADSL 2018
- AlgoTel 2017
- ARCH14
- ARTIST Summer School in (...)
- ARTIST2 Summer School 2008 in
- AVM 2014
- AVoCS 2019
- BEeSy 2015
- CAS 2012, January 13, Grenoble
- CAV 2009 June 26 - July (...)
- EMSOFT 2009 October 12 - (...)
- ETAPS 2014
- Euro-Par 2016
- FAC 2014
- FIMCP 2013, May 2nd, Marrakech
- FORMATS 2014
- FORMATS 2015
- GreHack 2016
- GT Verif 2018
- HSB 2014
- HSCC 2012, Apr 17-19, Beijing
- ICDCN 2012, January 3-6, (...)
- IWHSB 2013
- MEMOCODE 2010, July 26-28,
- MEMOCODE 2011, July 11-13,
- MeTRiD 2018
- RESSI 2017
- RTNS 2017
- RV 2018
- SSS’2011, October 10-12, (...)
- SSS’2016
- SynCoP 2014
- Toward Systems Biology (...)
- VECoS 2018
- VVS
- WCET 2013, July 9, 2013, (...)
- WFAC’2008 - October 19th, (...)
- RESSI 2017 : les Rendez-vous
- Seminars
- Documents
- Teams
- Contact
- Site Map
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Argosim and Verimag in ``La Lettre Innovation du CNRS’’
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 2 July 2019 Indranil Saha : Developing autonomous multi-robot systems for complex missions
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
- 10 July 2019 Lionel Rieg: Integrating formal schedulability analysis into a verifed os kernel
- 11 July 2019 Eric Gascard: Quantitative analysis of dynamic fault trees by means of monte carlo simulations: (...)
Seminars
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
- Maxime Puys: Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
