Madrid / Verona / Ottawa / Freiburg / Paris / Pittsburg / Amsterdam / Vienna / Lyon / Grenoble / Porquerolles / Shanghai / Changsha / Boston / New York / Venice / Saarbruecken / Seoul / Cambridge / Luminy / Lausanne / Aix-enProvence / Dagstuhl / /
Company
AbsInt Angewandte Informatik GmbH / LANOS Working Group / Computer Sciences / Formal Methods Group / Open Journal / CONCUR / Computer Laboratory / Plectix BioSystems Inc. / Dependable Cyber Physical Software / Dassault Systems / 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 / National University of Defense Technology / University of Colorado / University of Lille / Butantan Institute / University of Cambridge / East China University / East China Normal University / Bellairs Institute / Seoul National University / /
IndustryTerm
feret@ens.fr Web page / biological networks / /
OperatingSystem
L3 / Aix / /
Organization
East China Normal University / Fortieth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / University of Verona / Seoul National University / East China University / University of Bologna / university of Trento / 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 / 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
Tatjana Petrov / Arlen Cox / Patrick Cousot / Vincent Danos / Nessim Morsli / Benjamin Audry / Mehdi Bouaziz / Emile Ferreux / Alessandro Romanel / Peter Kreyßig / Jean Krivine / Luca Grieco / Denis Thieffry / Vincent Scha / Jonathan Hayman / Roberto Giacobazzi / Maurizio Gabbrielli / Sylvain Pradalier / Norman Ferns / 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 / /