11-12 December 2008
Brussels, Belgium
====================================================== STUDIA LOGICA INTERNATIONAL CONFERENCE Trends in Logic VI : Logic and the foundations of physics: space, time and quanta http://www.vub.ac.be/CLWF/TrendsVI Brussels, Belgium, 11-12 December 2008 Conference Goal: The main goal of this conference is to present current trends situated at the interface of Logic and the Foundations of Physics. The conference will bring together researchers from both fields, giving them a forum to present new developments, exchange ideas, explore and establish new connections between logic and physics. On the one hand, we are interested in technical contributions on the use of new methods and techniques coming from logic, computation and information theory to axiomatize and model physical theories and to reason about their concepts, phenomena and/or applications. On the other hand, we are interested in contributions coming from the foundations and philosophy of physics dealing with the general conceptual framework and with questions of interpretation. In particular, we solicit contributions that merge new developments in logic and physics, focusing for instance on how the use of techniques from logic can be combined with insights in physics to yield a new perspective on the main foundational issues and open problems in modern physics. Call for Papers: We invite contributions on: - The use of techniques coming from classical logic, modal logic and multi-dimensional modal logics, spatial logic, dynamic logic, temporal logic, epistemic logic, linear logic and other resource-sensitive logics, intuitionistic logic, game logics, process algebras, coalgebraic logics, categorical logics, many-valued logics, quantum logics etc. to formalize physical theories or to reason about their concepts, phenomena and/or applications. - Logical techniques used in quantum information theory, including quantum computation, quantum communication, quantum cryptography and quantum programming. - On the meaning of concepts such as truth, consequence, completeness, implication and (quantum) information viewed at the interface of Logic and Physics. - Open problems in modern physics, soliciting new techniques from logic, computation or information theory. - How the use of new formal methods can be combined with insights and interpretations in the philosophy of physics to yield new perspectives on the main foundational issues and open problems in modern physics. - The question: "What can physics learn from logic?" and/or "What can logic learn from physics?" Invited Speakers : Samson Abramsky (University of Oxford) Marco Aiello (Rijksuniversiteit Groningen) Hajnal Andreka & Istvan Nemeti (Hungarian Academy of Sciences) Alexandru Baltag (University of Oxford) Johan Van Benthem (Universiteit van Amsterdam & Stanford University) Michael Dunn (Indiana University) Elham Kashefi (University of Edinburgh) Deadline CFP: Please send your submission in PDF format, not exceeding 2 pages, by September 15, 2008. The PDF - files have to be uploaded online at the conference's "easychair" website. Note that you first need to create an easychair-account to log into the system before you can upload your file at: website: http://www.easychair.org/conferences/?conf=trends6 Organizers: Studia Logica, and the Center for Logic and Philosophy of Science, Vrije Universiteit Brussel. Sponsors: The "Nationaal Centrum voor Navorsingen in de Logica" (http://www.logic-center.be/ncnl.html) =======================================================