#### General

The proceedings of AB'08 have been published in the Springer LNCS series as volume 5147.The proceedings of AB'07 have been published in the Springer LNCS series as volume 4545.

An electronic version of the proceedings of AB'05 is available for download.

#### Preliminary Versions of the Papers (all zipped here)

Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura

Algorithms for Inference, Analysis and Control of Boolean Networks (Tutorial Talk)

Armin Biere

Tutorial on Model Checking Modelling and Verification in Computer Science (Tutorial Talk)

Francois Boulier, Francois Lemaire

Differential Algebra and System Modeling in Cellular Biology (Tutorial Talk)

Luca Bortolussi, Alberto Policriti

Hybrid Semantics for Stochastic pi-calculus

Francois Boulier, Marc Lefranc, Francois Lemaire, Pierre-Emmanuel Morant

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

Luca Cardelli, Gianluigi Zavattaro

On the Computational Power of Biochemistry

Kord Eickmeyer, Ruriko Yoshida

The Geometry of the Neighbor-Joining Algorithm for Small Trees

Erwin Engeler

Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets

Liliana Ironi, Luigi Panzeri, Erik Plahte

An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions

Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall

Property Preservation Along Embedding of Biological Regulatory Networks

Chris McCaig, Rachel Norman, Carron Shankland

Process Algebra Models of Population Dynamics

Wei Niu, Dongming Wang

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems

Anne Shiu

The Smallest Multistationary Mass-Preserving Chemical Reaction Network

Heike Siebert

Local Structure and Behavior of Boolean Bioregulatory Networks

Thomas Sturm, Andreas Weber

Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

Takeyuki Tamura, Tatsuya Akutsu

An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes

Johannes Wollbold, Reinhard Guthke, Bernhard Ganter

Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods