Please note -- page is under construction 

Further information can be obtained from the official conference website!

Network visualization, standards, and software

under construction.

If you have further questions please contact Herbert Sauro, Systems Biology Lab, Keck Graduate Institute, CA, USA

 

---

 

Infrastructures for Systems Biology

under construction.

If you have further questions please contact Frank Bergmann, Systems Biology Lab, Keck Graduate Institute, CA, USA

 

---

 

Exploiting Data Exchange and Data Base Technology for Computational Biology

The development within systems biology generates new data in an increasing rate. Important for a complete understanding of the complex biological machinery are methods for efficient data exchange and data storage for biological data. Such technology would make results available for an as large part of the research community as possible and also increase the possibility to further exploit data by importation to different kind of tools. Topics for this session include but are not limited to:

• Databases and data base technology for systems biology
• Methods and representations for data exchange
• Standards and standardization to allow easy data exchange
• Data integration for systems biology
• Schema matching for systems biology

If you have further questions please contact Lena Stromback, IISLAB - Laboratory for Intelligent Information Systems, Linkoping University, Sweden

 

---

 

Complexity Reduction

One important aspect of computational research in systems biology is the development of methods for complexity reduction of biochemical networks. The issue cut across biology, mathematics, computer science and engineering very thoroughly. So in this session we welcome researches from all this disciplines to exchange ideas in complexity reduction approaches. Topics of interest include (but are not limited to:)

• sensitivity analysis based methods
• time scale analysis based methods
• reaction and species lumping techniques
• stochastic model reduction methods

If you have further questions please contact Irina Surovtsova, EML Research Heidelberg , Germany

 

---

 

Verification and Simulation

Simulation is widely used for modeling engineering artifacts and natural phenomena to gain insight into the operation of those systems. Formal verification is concerned with proving or disproving the correctness of a system with respect to a certain property. Despite of these different objectives, the fields of simulation and verification address similar research challenges. Particularly, in the application area of systems biology simulation and verification are moving together. Please see also Dagstuhl Seminar on Verification and Simulation of Dynamic Systems
Topics of interest include (but are not limited to:)

• combination of simulation and verification
• modeling formalism for biological systems
• Transformation between modeling formalisms
• biological inspired formal methods
• Detailed case studies based on formal methods

If you have further questions please contact
Adelinde Uhrmacher, Modeling and Simulation Lab , University of Rostock, Germany
 

 

---

 

Modelling and Simulation for a better Understanding of the Wnt Signalling Pathway

under construction.

If you have further questions please contact
Arndt Rolfs, Neurobiological Lab , University, Rostock, Germany

 

---