This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

We discuss an extension of fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by etale localic categories. These categories are put in a duality with complete and infinitely distributive restriction monoids (restriction monoids being a well-established class of non-regular generalizations of inverse monoids). As a special case this includes the duality between etale localic groupoids and pseudogroups (defined as complete and infinitely distributive inverse monoids). The relationship between categories and monoids is mediated by a class of quantales called restriction quantal frames. Projecting down to topological setting, we extend the classical adjunction between locales and topological spaces to an adjunction between etale localic categories and etale topological categories. As a consequence, we deduce a duality between distributive restriction semigroups and spectral etale topological categories. Our work unifies and upgrades the earlier work by Pedro Resende, and also by Mark V. Lawson and Daniel H. Lenz.

The talk is based on a joint work with Mark V. Lawson.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.