CMACS workshop NYC 2012 " Programs as models " project Import tools from theoretical computer science in order to describe and analyze biological systems Develop new technique to cope with the complexity of the cell Theoretical computer science Abstract interpretation Concurrency theory Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinato...
