[BBC] Discrete models and formal verification in biology - 29-31 August 2018 - open for registration!