The new International Symposium aims at harnessing logical and algebraic methods for modelling and verifying systems on the interaction of Nature and Computation, around two main themes:
The workshop is promoted by the project Klee - Coalgebraic Modeling and Analysis for Computational Synthetic Biology (02/SAICT/2017), a R&D project supported by the Portuguese Foundation for Science and Technology
Extended abstracts with preliminarily results and work in progress (2-5 pages) are also welcomed for short presentations. They are subject to a light reviewing and will be available at the conference in an informal booklet.
All contributions must be original, unpublished and not submitted simultaneously for publication elsewhere. Both kinds of submissions should be done via the Online Conference System (OCS) of Springer using the link https://ocs.springer.com/ocs/home/MLCSB2018.
Call for Papers
1. Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179(2), 285–306 (2011). 2. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)
|Before October 31th||After November 1st|
|Participant||150 (EUR)/ 115 000 (Chilean Pesos)||200 (EUR) 154 000 (Chilean Pesos)|
|Student||100 (EUR)||150 (EUR) 115 000 (Chilean Pesos)|
The registration is now open. You can register via this link . The payment will be done at arrival.
19h00 walk by City Center (Palacio de Gobierno, Cerro Santa Lucía)
18h00 Closing Cocktail and electroacoustic concert by Federico Schumacher (Featured Chilean Compositor)