HSB 2014 - 3rd International Workshop on Hybrid Systems Biology
Date2014-07-09 - 2014-07-23
Deadline2014-03-10
VenueVienna, Austria
Keywords
Websitehttps://vsl2014.at/floc-ws
Topics/Call fo Papers
The program committee of HSB'14 is shown below.
Marco Antoniotti (DISCo Universit Milano Bicocca)
Ezio Bartocci (TU Wien)
Gregory Batt (INRIA Paris-Rocquencourt)
Luca Bortolussi (University of Trieste)
Thao Dang (VERIMAG)
Vincent Danos (CNRS)
Hidde De Jong (INRIA)
Alexandre Donzé (UC Berkeley, EECS Department)
François Fages (INRIA Rocquencourt)
Eric Fanchon (CNRS, TIMC-IMAG)
Hans Geiselmann (University of Grenoble)
Radu Grosu (Stony Brook University)
Adam Halasz (West Virginia University) - chair
Thomas Henzinger (IST Austria)
Jane Hillston (University of Edinburgh)
Agung Julius (Rensselaer Polytechnic Institute)
Heinz Koeppl (ETH Zurich)
Hillel Kugler (Microsoft Research)
Marta Kwiatkowska (Oxford University)
Pietro Lio (University of Cambridge)
Oded Maler (CNRS-VERIMAG) - chair
Bud Mishra (New York University)
Chris Myers (University of Utah)
Casian Pantea (West Virginia University)
Carla Piazza (University of Udine)
Ricardo Sanfelice (University of Arizona)
P S Thiagarajan (National University of Singapore)
Verena Wolf (Saarland University)
David Šafránek (Masaryk University)
Marco Antoniotti (DISCo Universit Milano Bicocca)
Ezio Bartocci (TU Wien)
Gregory Batt (INRIA Paris-Rocquencourt)
Luca Bortolussi (University of Trieste)
Thao Dang (VERIMAG)
Vincent Danos (CNRS)
Hidde De Jong (INRIA)
Alexandre Donzé (UC Berkeley, EECS Department)
François Fages (INRIA Rocquencourt)
Eric Fanchon (CNRS, TIMC-IMAG)
Hans Geiselmann (University of Grenoble)
Radu Grosu (Stony Brook University)
Adam Halasz (West Virginia University) - chair
Thomas Henzinger (IST Austria)
Jane Hillston (University of Edinburgh)
Agung Julius (Rensselaer Polytechnic Institute)
Heinz Koeppl (ETH Zurich)
Hillel Kugler (Microsoft Research)
Marta Kwiatkowska (Oxford University)
Pietro Lio (University of Cambridge)
Oded Maler (CNRS-VERIMAG) - chair
Bud Mishra (New York University)
Chris Myers (University of Utah)
Casian Pantea (West Virginia University)
Carla Piazza (University of Udine)
Ricardo Sanfelice (University of Arizona)
P S Thiagarajan (National University of Singapore)
Verena Wolf (Saarland University)
David Šafránek (Masaryk University)
Other CFPs
- Interpolation: From Proofs to Applications
- 7th International Workshop on Numerical Software Verification
- Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation
- Third International Workshop on Memory Consistency Models
- Reactive Systems: Directions in Development and Analysis
Last modified: 2014-01-19 14:59:54