BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260627T233351Z
UID:42597e17-b570-4ed6-9d19-e0457069d100
DTSTART:20160907T000000Z
DTEND:20160907T000000Z
DESCRIPTION:SASB is a one day workshop that aims at promoting discussions a
 nd collaborations at the intersection inbetween the specific field of form
 al methods covering modelling languages and static analysis\, and the foll
 owing fields: (i) systems biology targetting a system-level understanding 
 of biological systems\, (ii) synthetic biology targetting functional modif
 ications to naturally occurring systems\, (iii) molecular programming and 
 development of engineered biological and chemical systems.\n\nThe workshop
  targets biological networks and executable models of biological systems a
 nd molecular devices\, focusing on their formal specification and static a
 nalysis. A special emphasis is given to rule-based or process-algebraic la
 nguages that have the advantage of compact representation and provide a ro
 bust tool for systems and synthetic biology as well as a good base for mol
 ecular programming languages.\n\nSince the state space explodes combinator
 ially with number of possible states of biochemical substances\, static an
 alysis allows investigation of important features from a model without its
  exhaustive execution. In particular\, it allows to pre-process molecular 
 programs and optimise their implementation in DNA\; ease characterization 
 of the behaviors of a model\; abstractions that prevent a full exploration
  of the potential concrete behaviors\; model reductions\, that decrease th
 e dimension of a model while preserving important behaviors\; characteriza
 tion of dynamical properties with respect to the topology of the model\; e
 tc. All these features empower and strengthen applicability and efficiency
  of dynamical analysis and verification.\n
SUMMARY:SASB 2016
URL;VALUE=URI:http://sasb2016.fi.muni.cz
END:VEVENT
END:VCALENDAR