For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

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

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).

For more information see http://www.uva.nl/disciplines/wijsbegeerte/home/componenten-middenkolom/agenda/.

For more information, see http://www.uva.nl/en/news-events/events/events-calendar/item/

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

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

Abstract: In this presentation I address the old question on whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. My answer to this question is "no". The argument is based on insights from the recently-developed setting of Dynamic Quantum Logic in which we can explicitly refer to the operational meaning of quantum-mechanical concepts. I use this setting to show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. This allows me to argue for the fact that there is no contradiction between classical logic and (the dynamic reinterpretation of) quantum logic. Overall, in this talk I show how logic can handle informational processes such as observations and measurements of quantum systems and I highlight the basic logical principles that are needed to reason about quantum physical processes.

For more information, contact t.achourioti at uva.nl

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (f.m.lauridsen at uva.nl)

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).

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

For abstracts and more information, see http://smartcs.humanities.uva.nl/upcoming-events/

Abstract and directions are available from the new cross-linguistic semantics website at https://sites.google.com/site/crosslinguisticsemanticsxlsx/home/future-events. For more information, contact Maria Aloni at m.d.aloni at uva.nl

The workshop will address a number of new developments in which formal methods are used to model phenomena that play a central role in epistemic-social contexts. In particular we focus on modeling agents' epistemic and doxastic attitudes, the change of such attitudes as well as their communication-based interactions.

The following two themes will receive special attention: The first theme refers to the concept of social influence. In this context we use logic to model the spread of opinions, the exchange of information and the distribution of behavior in a social network. The second theme refers to the logical mechanism of information change as triggered by events, such as e.g. observations, communication as well as steps of logical inference.

The workshop is associated with the PhD defence of Zoé Christoff. Speakers will include Johan van Benthem, Jan van Eijck, Davide Grossi, Fenrong Liu, Olivier Roy, Frank Veltman and Zoé Christoff.

For more information, see https://ldsiic.wordpress.com/

For more information, see http://www.uva.nl/en/news-events/events/events-calendar/item/

The title of my research, and my talk, is "Modelling the Visual Number Sense Using a Deep Generative Neural Network". For my research project I have replicated a study done in 2012 by Stoianov and Zorzi: "Emergence of a 'visual number sense' in hierarchical generative models"(http://cognitrn.psych.indiana.edu/rgoldsto/courses/cogscilearning/). The authors trained two stacked Restricted Boltzmann Machines on reproducing simple binary images containing varying numbers of rectangular objects. After training, this model was able to sustain numerosity estimation by linear classifiers fed with its output. I have not been able to replicate all their results, and offer the likely causes for this.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (f.m.lauridsen at uva.nl).