|
Showing 1 - 3 of
3 matches in All Departments
This book collects the revised selected proceedings of the First
International Symposium in Molecular Logic and Computational
Synthetic Biology ( MLCSB), held in Chile, Santiago, in December
2018. The volume contains 7 full revised papers along with 2
surveys from 19 submissions presented at the symposium. One of the
goals of the MLCSB 2018 was to explore the potential of molecular
logic frameworks to study the emerging behavioural patterns in
biological networks, combining discrete, continuous and stochastic
features, and resorting both to specific or general-purpose
analysis and verification techniques.
This book constitutes the proceedings of the Third International
Workshop on Dynamic Logic, DaLi 2019, held in Prague, Czech
Republic in October 2020. Due to COVID-19 the workshop has been
held online. The 17 full papers presented together with 6 short
papers were carefully reviewed and selected from 31 submissions.
The theoretical relevance and practical potential of dynamic logic
is a topic of interest in a number of scientific venues, from
wide-scope software engineering conferences to modal logic specific
events. The DaLi 2020 workshop is exclusively dedicated to Dynamic
logic and aims at filling this gap and creating a heterogeneous
community of colleagues, from Academia to Industry, from
Mathematics to Computer Science.
|
|