The webpage of the center and the call for positions available now! Deadline for applications is 15th January 2019. One PhD/postdoc position for formal modelling of collective behaviour!
Pavol Bokes’ visit
Pavol Bokes, a mathematician from Comenius University in Bratislava is visiting us 28.11.-4.12.2018! Pavol will give a talk.
Denis Repin’s stay
Denis Repin will join for several months as a research fellow. Denis will investigate how deep learning technology can help us in simulating large-scale, stochastic molecular interactions. Welcome, Denis!
Matej Hajnal’s stay
Matej Hajnal, a PhD student from Masaryk University will be a visiting researcher for several months. Matej works on model selection and parameter synthesis. Welcome, Matej!
Tropical Abstraction of Biochemical Reaction Networks with Guarantees
Joint work with Andreea Beica and Jerome Feret, on tropical abstractions of biochemical reaction networks, will be presented at the 9th Workshop on Static Analysis in Systems Biology, to be held in Freiburg, 28th August 2018. The poster will be presented at CMSB in Brno.
Tanja’s inaugural lecture
Details for the visitors.
title: Modelling complex self-organising systems
abstract: Uncovering the mechanisms of complex systems such as a biological cell or a flock of birds seems closer than ever with today’s measurement technology, powerful computers and algorithms. However, the arising combination of combinatorial and analytical complexity often requires novel methods at all modelling stages, including model representation, model reduction or model validation. If there is something more complex than biology, that is software. Billions of lines of code are written and executed daily, including those controlling the cars we drive or medical treatments we may need. By following the analogy that “model = programme”, I will show how the modelling principles used in software verification and those used in classical mathematical modelling meet, using a few scenarios: signal transduction, gene regulation and social honeybees.
Workshop Computational Methods
SASB 2018 in Freiburg
Ankit Gupta and Tanja will co-chair the Workshop on Static Analysis in Systems Biology. See last year’s edition.