For more information, see http://medewerker.uva.nl/fnwi/actueel/agenda/item/

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

The six faculty winners of the contest for UvA Teacher of the Year 2014 have been selected. Ulle Endriss won for the Faculty of Science.

The faculty winners will give their final presentations on Thursday December 4th, in an open event at the CREA Muziekzaal. The overall winner will be announced at the Dies Natalis on 8 January 2015.

For more information (in dutch), see http://medewerker.uva.nl/fnwi/actueel/nieuws/nieuws/nieuws/content-2/folder/2014/

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

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

Abstract: In Japanese, the particle ka occurs (at least) in disjunctions, indefinites, wh-questions, and polar questions; Malayalam oo and Sinhala de/hari have a similarly wide distribution (Jayaseelan 2001, 2008, 2011; Shimoyama 2006; Slade 2011; a.o.). In many other languages, the distribution of what I generically dub “KA particles” is narrower (Bhat 2000; Cable 2010; Haspelmath 1997; Szabolcsi, Whang & Zu 2014; Winter 1995; a.o.). This talk will ask what unifies the signature contexts of KA, and why the particle is not always present in such contexts.

The upcoming session of the CLS will be a presentation by Desmond Elliott (CWI).

As this is the last CLS of the year, we might go for drinks afterwards.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.

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 abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

For more information see here or contact rdewolf at cwi.nl

In this talk, I shall critically discuss some issues related to Frege's paradigms of second-order abstraction principles: Hume's Principle and Axiom V. The focus is on the referential indeterminacy of value-range terms arising from a semantic stipulation later to be embodied in Axiom V of Grundgesetze. I shall discuss Frege's attempt to remove the indeterminacy as well as his subsequent proof of referentiality for his formal language with special emphasis on the case of value-range terms. Attention will also be paid to the assumptions that underly his overall strategy.

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

(dutch only)
Op vrijdag 12 december is er 14.00-17.00 een feestelijke bijeenkomst vanwege de pensionering van Roel de Vrijer bij de Afdeling Informatica aan de VU, afgelopen september. Je bent hiervoor van harte uitgenodigd.

De bijeenkomst zal plaatsvinden in de Kerkzaal, op de 16e verdieping van het Hoofdgebouw van de VU. U bereikt het Hoofdgebouw vanaf de Boelelaan zijde, de hoofdingang. In de ontvangsthal loopt u linksaf naar de liften. Neem de lift naar de 15de (hoogst bereikbare met lift) verdieping. De Kerkzaal is bereikbaar via een trap vanaf de 15e verdieping. Zie ook http://www.vu.nl/nl/over-de-vu/contact-routebeschrijving/

Het programma van de bijeenkomst is ongeveer als volgt:
14.00 koffie
14.15 praatjes door Vincent van Oostrom, Jan Willem Klop, en Roel zelf
15.15 muzikaal intermezzo
15.30 praatjes door Guus Schreiber en Wan Fokkink
15.45 borrel
17.00 einde

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

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy. We point out that these logical Bell's Inequalities are provable in the probability logic of Fagin, Halpern and Megiddo. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this end we generalise the team semantics of dependence logic first to probabilistic team semantics, and then to, what we call quantum team semantics.

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

In the last decade, a number of deep connections between a form of type theory and homotopy theory have been discovered, which leads to a new research area: Homotopy Type Theory (HoTT) that attracts theoretical computer scientists, topologists, logicians and categorical theorists. In this talk, I will give a very brief introduction for HoTT: Martin Löf's dependent type theory; homotopy theory; their connections and maybe Voevodsky's Univalence Axiom.

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

This is the first meeting of monthly Cognition at ILLC seminar. The goal of the seminar is to create a joint platform to discuss cognition related research. It is organized jointly by three ILLC research groups: LoCo, LaLo, and LaCo. For more information, see here or contact Jakub Szymanik at jakub.szymanik at gmail.com.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

For more information, see http://www.illc.uva.nl/ILLCColloquium/Midwinter2014/ or contact rens.bod at gmail.com.