International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM 2016)

The 1st International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM) will take place on 20 September 2016 at the University of Cambridge's Computer Laboratory, and it will be co-located with CMSB 2016. ARSBM 2016 will focus on the theory of delta-satisfiability (Gao, Avigad, and Clarke, LICS 2012) and its biological applications. Participation is free, but we kindly ask you to register - see below.

ARSBM 2016 participants:

Venue:

The workshop will be held in Lecture Theatre 2, Computer Laboratory.

Program:

• 2:30-3.45pm: Nonlinear real arithmetic and delta-satisfiability (Paolo Zuliani, Newcastle, UK)
• 3.45-4.30pm: Delta-complete decision procedures and hands-on tutorial [Tool demo] (Damien Zufferey, MIT, USA)
• 4.30-4.45pm: Break
• 4.45-5:30pm: Stochastic hybrid systems: modelling cancer and psoriasis (Fedor Shmarov, Newcastle, UK)

Registration:

Please register so that we can order enough refreshments.

ARSBM 2016 Chairs:

• Paolo Zuliani, Newcastle University
• Pietro Lio', Cambridge University