For more information, see here.

For more information, see https://www.illc.uva.nl/lgc/seminar.

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/FF16E798-1321-B0BE-A4E1D4CD458897AD

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For more information, see https://www.illc.uva.nl/lgc/seminar.

For abstracts and more information, see http://sites.google.com/site/illcdip/.

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

This talk is based on joint work with A. Baltag on the use of concepts and techniques from Dynamic Epistemic Logic (DEL) to model and reason about quantum behavior. First I will concentrate on an improvement of the older results (due to Piron, Soler, Mayet and others) on the 'Hilbert-complete' axiomatizations of algebraic quantum logic and present a dynamic-logical setting, in which physical actions (and not only static physical properties) are logically represented. Secondly I will focus on compound systems and analyse both classical and quantum correlations. Our formalism for this is based on an extension of epistemic logic with operators for 'group knowledge'. And as models I introduce correlation models, as a generalization of the 'interpreted systems' semantics (commonly used in Computer Science as a model for information flow in distributed systems). I use this second setting to investigate the relationship between the information carried by each of the parts of a complex system and the information carried by the whole system. Our dynamic logical setting explains the non-local informational dynamics of quantum systems that are triggered by quantum observations (measurements) and un-observed evolutions (quantum gates), and the epistemic logical setting yields an informational-logical characterization of the notion of 'quantum entanglement'.

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

The second ILLC Current Affairs Meeting will take place on Friday 16th March next, from 16:00 to 17:30 hours in room C0.110, Science Park 904. At the Current Affairs meetings, ILLC staff and PhD students are informed about matters of importance regarding day-to-day affairs at ILLC, and also about larger issues concerning the ILLC. All ILLC employees are invited to this meeting, which will be followed by drinks in the ILLC Common Room.

COIN — Coalgebra in the Netherlands is a bimonthly seminar, to be held on Mondays alternately in Nijmegen and Amsterdam. The aim of COIN is to bring together coalgebra researchers at various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The next COIN meeting is scheduled for Monday, 19 March 2012, at CWI, in room L120. The schedule is as follows:
13:30 - 14:15 Georgiana Caltais
14:15 - 15:00 Tomasz Brengos
15:15 - 16:00 Clemens Kupke

For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html

Please note that the regular slot for the LIRa seminar has changed from Thursday 3 p.m. to Tuesday 3 p.m.!

For more information, see https://www.illc.uva.nl/lgc/seminar.

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

We present some applications of utility optimization in queueing networks. We introduce a number of results on utility functions and optimization decompositions. We present results about the equilibrium state of certain queueing networks. We then show how both these optimization problems and queueing networks can be modified so that the asymptotic state of a queueing network converges to the solution of a utility optimization problem.

For more information, email k.r.apt at cwi.nl.

The session is jointly organized by the LIRa seminar and the LogiCIC project.

For more information, see https://www.illc.uva.nl/lgc/seminar

Abstract:
My Dynamics of Reason (2001) responds to Thomas Kuhn’s theory of scientific revolutions by developing a new-Kantian conception of dynamical and historically relative a priori constitutive principles and applies this conception to Kuhn’s central example of the transition from Newtonian physics to Einstein’s theory of relativity. It argues for the trans-historical rationality of this revolutionary scientific change by appealing to the contemporaneous developments in scientific philosophy throughout the late nineteenth and early twentieth centuries, involving such figures as Hermann von Helmholtz, Ernst Mach, and Henri Poincaré. The First Lecture briefly summarizes this argument and then extends it in two interrelated ways – by, on the one hand, exploring the scientific, philosophical, and theological background to Kant’s original conception of a non-dynamical, timeless conception of the synthetic a priori, and, on the other, relating these developments to the wider cultural context. I thus make a beginning in connecting the purely intellectual historical narrative on which I have concentrated so far with cultural and political history, thus making contact with work in history of science and science studies.

For more information, contact Y.T.M.Verbeek at uva.nl.

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).