Within the framework of a seminar on logic and computer science, the Centre for Logic and Philosophy of Science 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. Indeed, changes of states and interactions between a particular system and its context or environment, is of crucial importance in both mentioned fields. As such we essentially present a program where the talks touch upon current research in : game semantics, dynamic logic, epistemic logic, game theory and quantum logic. Capturing the points of focus in several keywords, we surely have to mention "flow of information", "interaction", "(quantum) strategy", "(quantum) computation", "logic of knowledge".
We are proud to announce the participation of three visitors from Oxford University. Samson Abramsky recently succeeded Tony Hoare as holder of the prestigious Christopher Strachey Chair of Computing at Oxford University. He is a world authority in theoretical computer science and logic. For example, he was the main developer of game semantics, he is the general chair of the international symposium series "Logic in Computer Science" and is the series editor of the Handbook of Logic in Computer Science. Alexandru Baltag who obtained his PhD from Indiana University under supervision of John Barwise, is a leading researcher in epistemic and game logic. Bob Coecke obtained his PhD at the VUB in theoretical physics, recently joined Comlab and is specialized in the area of quantum structures.
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.
Programme
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
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"