Madrid / Verona / Ottawa / Freiburg / Paris / Pittsburg / Amsterdam / Vienna / Lyon / Grenoble / Porquerolles / Shanghai / Changsha / Boston / New York / Venice / Saarbruecken / Atlanta / Seoul / Cambridge / Luminy / Lausanne / Aix-enProvence / Dagstuhl / /
Company
AbsInt Angewandte Informatik GmbH / LANOS Working Group / Computer Sciences / Formal Methods Group / Open Journal / Elsevier Inc / CONCUR / Computer Laboratory / IEEE Computer Society Press / Plectix BioSystems Inc. / Embedded Real Time Software / Abstract Interpretation / Dependable Cyber Physical Software / Dassault Systems / Aerospace Software / Microsoft / /
Country
Switzerland / Netherlands / France / Brazil / Canada / Korea / United Kingdom / China / India / Germany / Barbados / Italy / Austria / United States / Spain / South Korea / / /
Facility
University of Rennes / Marie-Curie University / University Paris-South / Jena University / University of Verona / University of Bologna / American Institute of Physics / National University of Defense Technology / University of Colorado / Public Library of Science / University of Lille / American Institute of Physics Conference Proceedings / Butantan Institute / American Institute of Aeronautics / University of Cambridge / East China University / East China Normal University / Bellairs Institute / Seoul National University / /
IndustryTerm
protein interaction networks / feret@ens.fr Web page / combinatorial dynamical systems / molecular systems / biological networks / /
OperatingSystem
L3 / Aix / /
Organization
East China Normal University / Fortieth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / University of Verona / American Institute of Physics / Seoul National University / East China University / University of Bologna / university of Trento / American Institute of Physics Conference Proceedings / American Institute of Aeronautics and Astronautics / Department of Systems Biology / Ecole Polytechnique / INVITED TALKS IN LAB / Ecole Normale Sup´erieure / National University of Defense Technology / Swiss National Science Foundation / Institute for Molecular Medicine and Cell Research / Marie-Curie University / Harvard Medical School / National Foundation of Research / Institut Pasteur / Butantan Institute / University of Lille / Harvard / Jena University / Institut Curie / Ecole Polytechnique F´ed´erale de Lausanne / University of Rennes 1 / INTERNATIONAL WORKSHOPS ORGANIZATION / External Reviewing Committee / National Academy of Sciences / Frontiers in Genetics / Ecole Centrale Nantes / University of Cambridge / University of Colorado / Boulder / Bellairs Institute / Open Journal of Modelling and Simulation / Music School / Frontiers / /
Person
Thomas Henzinger / Tatjana Petrov / Arlen Cox / Walter Fontana / Glynn Winskel / Patrick Cousot / Elaine Murphy / Vincent Danos / Nessim Morsli / Laurent Mauborgne / Stefana Nenova / Benjamin Audry / Chris Thompson-Walsh / Mehdi Bouaziz / Russ Harmer / Antoine Min / Stephan Wilhelm / Emile Ferreux / Heinz Koeppl / Alessandro Romanel / Peter Kreyßig / Jean Krivine / Luca Grieco / Eric J. Deeds / David Monniaux / Julien Bertrane / Denis Thieffry / Vincent Scha / Jonathan Hayman / Roberto Giacobazzi / Maurizio Gabbrielli / Neil D. Jones / Sylvain Pradalier / Norman Ferns / Russel Harmer / Bruno Blanchet / Russell Harmer / Mounir Assaf / Louis Le Grand / /
Position
Plenary invited speaker / Research associate / author / R&D Bioinformatics engineer / Chair of Programming / D. advisor / Systems Designer / Junior researcher / assistant / Post-doctoral researcher / teaching assistant / investigator / speaker at the workshop on Analysis and Verification / board member / speaker at the Systems / Site leader / Principal investigator / speaker / Consultant / Long-term Junior Chair / /
ProgrammingLanguage
R / /
ProvinceOrState
New York / Georgia / Colorado / /
PublishedMedium
Public Library of Science / PLOS Computational Biology / Logical Methods in Computer Science / PLoS ONE / Theoretical Computer Science / /
CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je