Institute for Logic, Language and Computation

News and Events:
Upcoming Events

These pages provide information about recent developments at or relevant to the ILLC (last update: 26 March 2015). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

Headlines Upcoming Events


Upcoming Events

  • 25-28 March 2015, SMART Cognitive Science International Conference, Amsterdam

    SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

    For more information, see http://smartcs.humanities.uva.nl/.

  • (New) 27 March 2015, Cool Logic, Michal Tomasz Godziszewski

    Speaker: Michal Tomasz Godziszewski
    Title: Computational properties of undecidable sentences and concrete model theory
    Date and time: Friday 27 March 2015, 17:30-18:30
    Location: F1.15 ILLC seminar room, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    We consider the properties of the arithmetically simplest class of universal (i.e. $\Pi^0_1$) sentences undecidable in sufficiently strong arithmetical theories. Following the framework of experimental logic and results of R. G. Jeroslow obtained in Jer75, we therefore answer an epistemological question about cognitive reasons of epistemic hardness of undecidable arithmetical sentences. We prove that by adjoining the minimal (in the sense of being on a very low level of arithmetical hierarchy) possible set of undecidable sentences to recursive set of axioms of arithmetical theory and closing it under logical consequence, we obtain a theory such that it is not algorithmically learnable (i.e. not $\Delta^0_2$).

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

  • 31 March 2015, LogiCIC/LIRa Seminar, Thomas Bolander

    Speaker: Thomas Bolander
    Date and time: Tuesday 31 March 2015, 13:00-14:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • (New) 31 March 2015, Logic Tea, Michal Tomasz Godziszewski

    Speaker: Michal Tomasz Godziszewski
    Title: Learnability in the Limit and Low Sets meet the Church Thesis
    Date and time: Tuesday 31 March 2015, 17:00-18:00
    Location: Room F1.15, Science Park 107, Amsterdam

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6822.

  • (New) 1 April 2015, Algebra|Coalgebra Seminar, Daniel Hausmann (FAU Erlangen)

    Speaker: Daniel Hausmann (FAU Erlangen)
    Title: Global caching for the alternation-free coalgebraic mu-calculus
    Date and time: Wednesday 1 April 2015, 16:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 2 April 2015, ILLC Current Affairs Meeting

    Date and time: Thursday 2 April 2015, 16:00-17:30
    Location: ILLC Common room (F1.21), Science Park 107, Amsterdam

    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. Drinks will be served afterwards (also in the ILLC Common Room).

    For more information, contact illc at uva.nl.

  • (New) 8 April 2015, Project All, Restrict Some (joint work with Clemens Mayr), Uli Sauerland, ZAS Berlin

    Speaker: Uli Sauerland, ZAS Berlin
    Date and time: Wednesday 8 April 2015, 15:30-17:00
    Location: Leiden University, Eyckhof 3/002

    Though projection is the characteristic property of presuppositions, projection from the scope of a quantifier has remained a problem. Experimental evidence has corroborated differences between quantifiers (Chemla 2009, Nat. Lang. Sem.). We propose a new approach based on the idea that silent domain restriction is generally allowed, but must satisfy the strongest meaning principle. Our system makes more accurate predictions than Fox (2013, in Camb. Univ. Press volume) "Strong Kleene" Semantics, however, for modified numerals a combined system seems to fare best.

    For more information, contact Prof. Lisa Cheng at L.L.Cheng@hum.leidenuniv.nl.

  • 9 April 2015, Logic and Interactive Rationality (LIRa), Willemien Kets

    Speaker: Willemien Kets
    Date and time: Thursday 9 April 2015, 15:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 9 April 2015, Spinoza Lecture, Prof. Sally Haslanger

    Speaker: Prof. Sally Haslanger
    Title: Ideology and Materiality
    Date and time: Thursday 9 April 2015, 20:15-22:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam

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

  • 10 April 2015, DIP Colloquium, Gil Sagi

    Speaker: Gil Sagi (MCMP Munich)
    Date and time: Friday 10 April 2015, 16:00-17:30

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

  • 10 April 2015, LogiCIC/LIRa Seminar, Davide Grossi

    Speaker: Davide Grossi
    Date and time: Friday 10 April 2015, 15:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar or http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

  • (New) 16-18 April 2015, Utrecht Workshop on Proof Theory

    Location: Kromme Nieuwegracht 29, Utrecht, the Netherlands

    From April 16-18, 2015 the Utrecht Workshop on Proof Theory will take place at Utrecht University, the Netherlands.

    The aim of this workshop is to bring together researchers from different areas in proof theory to share results, ideas and methods.

    Everybody is welcome to attend the workshop. Please register by sending an email to fan.yang.c at gmail.com. Giving a talk is by invitation only.

    For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/

  • 17 April 2015, DIP Colloquium, Mark Jago

    Speaker: Mark Jago (Nottingham)
    Title: Exact Truthmaking Logic
    Date and time: Friday 17 April 2015, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 21 April 2015, ABC Symposium on Decision Making

    Location: Brakke Grond, Nes 45, Amsterdam

    Researchers from various UvA departments share a deep interest in the study of decision making and decision support. Joining forces would enable researchers with backgrounds in, e.g., Psychology, Economics, Biology, Mathematics, Logic, Artificial Intelligence, and Computer Science to capitalize on their complementary expertise. This, in turn, will allow the UvA to widen the interdisciplinary nature, scope, and significance of ongoing research in the decision sciences, and to educate a new generation of experts in this field. The Symposium on Decision Making will bring together UvA staff members and students from various departments and Master's programmes to discuss central questions, share perspectives, and identify common ground as well as important focus topics for potential research and education initiatives, in an interactive forum.

    The programme will consist of a keynote lecture by Paul Glimcher (NYU) on neuroeconomics and three panel discussions on different questions related to decision making and decision support.

    For more information, see http://www.abc.uva.nl/decision-making or contact Ulle Endriss (ulle.endriss at uva.nl).

  • (New) 24 April 2015, DIP Colloquium, Graham Priest

    Speaker: Graham Priest (CUNY)
    Date and time: Friday 24 April 2015, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 7-8 May 2015, Amsterdam Quantum Logic Workshop 2015, Nina van Leerzaal, Allard Pierson Museum, Oude Turfmarkt 127, Amsterdam, The Netherlands

    This two-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.

    For more information, see the website (forthcoming, URL TBA).

  • 8 May 2015, DIP Colloquium, Friederike Moltmann

    Speaker: Friederike Moltmann (CNRS Paris)
    Date and time: Friday 8 May 2015, 16:00-17:30

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

  • 12-13 May 2015, ILLC Midterm Review

    Location: Science Park 107, Amsterdam

    Just like every other research institute in the Netherlands, every six years the ILLC is evaluated. This year, the institute is up for its Midterm Review over the years 2012 to 2014. For this purpose, the Scientific Advisory Board will come to Amsterdam for a site visit.

    For more information, contact illc at uva.nl

  • 21 May 2015, Spinoza Lecture, Prof. Sally Haslanger

    Speaker: Prof. Sally Haslanger
    Title: Ideology and Morality
    Date and time: Thursday 21 May 2015, 20:15-22:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam

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

  • 22 May 2015, DIP Colloquium, Toby Meadows

    Speaker: Toby Meadows
    Title: What's so natural about generic extensions?
    Date and time: Friday 22 May 2015, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • (Updated) 29 May 2015, LogiCIC/LIRa Seminar, Olivier Roy

    Speaker: Olivier Roy
    Date and time: Friday 29 May 2015, 15:00-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar or http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

  • (New) 5 June 2015, Logic and Interactive Rationality (LIRa), Thomas Pashby.

    Speaker: Thomas Pashby.
    Date and time: Friday 5 June 2015, 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

  • 17 June 2015, ILLC Midsummernight Colloquium 2015, ILLC Common room, Science Park 107, Amsterdam

    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/

  • 21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia

    The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.

    The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.

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

        Back to top of page