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.
Proceedings with full papers will be published by Springer Lecture Notes in Computer Science Series. A journal Special Issue, with extended and revised versions of selected papers, is currently under negotiation.
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.
- La casa del académico (IFICC) -- 45 USD
- Rentahome Ejército (UDP) -- 64 USD
- Hotel Diego de Almagro (UDP) -- 79 USD
Monday, 17th
19h00 walk by City Center (Palacio de Gobierno, Cerro Santa Lucía)
Tuesday, 18th
18h00 Closing Cocktail and electroacoustic concert by Federico Schumacher (Featured Chilean Compositor)