Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

31 March 2003, Seminarie: Logica & Informatica 2003 (SLI-2003)

Date: Monday 31 March 2003
Location: Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel
Target audience: Philosophical and mathematical logicians, computer scientists as well as theoretical physicists

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.