The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/

The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.Sourabh 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).

On Wednesday 5 November 2014 at 17:00 a group of students from the UvA's three Bachelor's programmes in the Information Sciences (Computer Science, Artificial Intelligence, and Information Studies) will visit the ILLC. The event will include three short talks on research in AI at the ILLC: Jelle Zuidema will speak about AI and Cognitive Science, Ivan Titov will speak about Natural Language Processing, and Ulle Endriss will speak about Knowledge Representation and Multiagent Systems. The scientific part of the event will take roughly one hour and be followed by a small borrel.

For more information, contact Raquel Fernández (raquel.fernandez at uva.nl).

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/.

The interpretative variability of noun-noun combinations raises a number of issues concerning their constituents' contribution and mode of composition. Faced with these problems it is often emphasized that their proper treatment requires a delicate balance between (semantic and syntactic) constraints and (pragmatic) flexibility. Although many proposals acknowledge the central role of context and world knowledge to determine their meaning, the challenge they pose to the classical interpretation(s) of the principle of compositionality have received little attention. In this talk, we proceed by carefully evaluating where things go wrong, on possible ways to fix them and on what we can learn from them.

For more information, contact coollogic.uva at gmail.com

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, seehttp://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/.

If humans are social animals, are they also logical animals?

Perhaps it is not by chance that the same Aristotle who recognized the social nature of human beings as their defining trait is also the father of logic.

Classical logic - the logic of Aristotle's syllogisms - is wonderfully clear but it also offers a limited perspective for the study of social behaviour. Humans speak languages which abound in vague concepts, interact with one another in open-ended forms of cooperation and coordination, can take decisions in groups on the basis of what group members consider to be half-truths, can form opinions on the basis of what they have understood of the opinions of others. Classical logic is not the right tool for all these phenomena.

To deal with them, new, nonclassical logics have been developed. This public lecture will focus on how nonclassical logics can help to describe and understand social behaviour, focusing on multi-player games, decision making in the face of uncertainty, and aggregation of information, preferences, and opinions.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650.

For more information, contact M. Aloni (m.d.aloni at uva.nl).

Or see here.

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

Franz Berto was appointed professor of philosophy, in particular metaphysics and the history of philosophy, at the Faculty of Humanities in October 2013. He will hold his inaugural lecture (in English) entitled The Metaphysical Basis of Logic on Friday 14 November 2014 at 16:00 hours in the Aula of the University of Amsterdam.

The next History of Humanities and Science meeting will be on Monday 17 November with two talks that aim to bridge several disciplines at our university. Next we will give an update on the future of our Center (funding, courses, new journal).

For more information, please contact rens.bod at gmail.com. Or see here.

The UvA organises a seminar with practical advice for members of staff who want to organise a summer school or a similar event at the UvA (finances, accommodation, catering, etc.).

For more information and to register, see: http://uva.nl/summerschoolseminar

Ever since Dedekind and Cantor, there is a well-known procedure which, starting with the set of natural numbers, produces in a canonical fashion the complete ordered field of the reals. In this talk, we study what happens when one replaces $\omega$ by any infinite cardinal $\kappa$ in the above construction(s). This is joint work in progress with David Aspero.

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

The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.

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

The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.

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

For more information and an abstract, see http://www.illc.uva.nl/LoLa/LeGO-Seminar/.

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh (s.sourabh at uva.nl).

We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.

The details can be found at https://www.cwi.nl/events/krzysztof-apt. To attend this event please register at https://www.cwi.nl/node/4720 in connection with reception planning.

No matter how chaotic the world may seem, some of us think that structure is all there is. We are not going to determine whether this view is correct, but we will focus on the requirements for a mathematical foundation that enables us to talk in the most direct way about structure and relations.

Program:
10:00-11:00 F.A. Muller (Erasmus University Rotterdam, Utrecht University), Axiomatising Structure: Why? What? How?
11:00-12:00 Benno van den Berg (University of Amsterdam), Univalent Foundation
12:00-13:00 Lunch
13:00-14:00 Joop Leo (Utrecht University), A new logic of relations
14:00-14:30 Discussion

For more information, contact Joop Leo at joop.leo at uu.nl.

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

In this talk, we will focus on the topological interpretation of knowledge in comparison to the standard relational (Kripke) interpretation and argue in favour of the former.

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