Please note that this newsitem has been archived, and may contain outdated information or links.
31 March 2003, Seminarie: Logica & Informatica 2003 (SLI-2003)
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.
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"
For more information, see http://www.vub.ac.be/CLWF/SLI-2003/
Please note that this newsitem has been archived, and may contain outdated information or links.