Logic List Mailing Archive

SLI-2003 (Seminarie: Logica & Informatica), Brussels, 31.3.2003

INVITATION TO ATTEND the workshop:
 -------------------------------------------------------

 SLI-2003
 ***********

 Seminarie: Logica & Informatica 2003

 Monday, 31 March 2003
 Vrije Universiteit Brussel
 Pleinlaan 2, 1050 Brussel


 Within the framework of a seminar on logic and computer science, the
 Centre for Logic and Philosophy of Science at the Vrije Universiteit
 Brussel organizes a small workshop, under the name SLI-2003. The topic of
 this year's workshop will be devoted to the area of research involving
 logics dealing with "processes", "changes" or "interactions" in the fields
 of computer science and quantum physics. We present a program where the
 talks touch upon current research in: game semantics, dynamic logic,
 epistemic logic, game theory and quantum logic.

 For more information: http://www.vub.ac.be/CLWF/SLI-2003

 Due to the interdisciplinary nature, the workshop is intended to be of
 interest at least to philosophical and mathematical logicians, computer
 scientists as well as theoretical physicists.

 PROGRAM :
 ***************

 1st session takes place in ROOM: D.2.01 (Promotiezaal, building D) :

 9.30 - 9.40 : Opening
 9.40 - 10.40 : Samson Abramsky : "Games and Interaction in Logic and
 computation"
 10.40 - 11.00 : coffee
 11.00 - 12.00 : Alexandru Baltag : "Probabilistic Epistemic Updates"
 12.00 - 13.00 : Jean Paul Van Bendegem : "Classical Arithmetic is Quite
 Unnatural"
 13.00 - 14.30 : lunch break

 2de session takes place in ROOM: M429 (Zaal De Brock, building M) :

 14.30 - 15.30 : Bob Coecke : "Probability = Logic + Partiality + Entropy"
 15.30 - 16.10 : Haroun Amira : "A brief introduction to quantum game
 theory"
 16.10 - 16.30 : coffee
 16.30 - 17.10 : Isar Stubbe : "Causal duality for processes as (co)tensors
 in a quantaloid enriched category"
 17.10 - 17.50 : Sonja Smets : "On Quantum Modality"