[FOM] CfP: Trends in Logic VI in Brussels (Studia Logica)

[Bart Van Kerkhove]

We apologize for multiple copies of this CFP. Please distribute widely.

===============================================================

Dear Collegues,

Since 2003 Studia Logica organizes annually the conferences Trends in  
Logic. After four conferences in Poland we had last year the  
conference Trends in Logic V: Many-Valued Logics and Cognition in  
Guangzhou China. I am happy to announce that Sonja Smets (Free  
University of Brussels) proposed to organize the conference Trends in  
Logic VI: Logic and the foundations of physics: space, time and  
quanta in Brussels. Please find the conference information below.

I believe this conference will bring new ideas and new deep results  
in Logic and promote the journal Studia Logica and logical  
investigations in our Academic Society.

Jacek Malinowski

======================================================
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)
===============================================================