Time: September 10th, 2015.
Venue: F1.15, Science Park 107, Amsterdam
The aim of this workshop is to create a forum to present new developments, exchange ideas, explore and establish new connections between logic, mathematics, computer science and physics. Topics include the following list but are not restricted to: modal logic, non-classical logic, spatial logic, mathematical structures in logic, quantum computation and quantum information, the foundations of quantum theory.
This workshop is associated with the PhD defense of Shengyang Zhong.
For more information, see https://workshop20150910.wordpress.com/.