Events

Institute for Logic, Language and Computation


News and Events: Upcoming Events

These pages provide information about recent developments at or relevant to the ILLC. 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.

Headlines Upcoming Events

Upcoming Events

  • (Updated) 19 October 2017, Logic and Interactive Rationality (LIRa), Adam Bjorndahl

    Speaker: Adam Bjorndahl
    Title: The Epistemology of Nondeterminism
    Date & Time: Thursday 19 October 2017, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 20 October 2017, Workshop "The Classics of the Humanities II"

    Date & Time: Friday 20 October 2017, 09:30-17:00
    Location: Amsterdam, the Netherlands
    Deadline: Friday 20 October 2017

    What are the classics of humanistic scholarship? Most historians of science or historians of philosophy would be able to produce a list of classical texts within their field in a short time. Such texts are well known, often reproduced, and recommended in syllabi and readers around the world. Nothing similar exists for the history of the humanities. Even if much debate in recent decades has criticized the idea of canons, there may be good reasons why we need one. An established list of classics would not only make the history of humanities a more teachable topic, but also to promote new research in the field. On the one hand, such a list could inspire scholars to reinvestigate the classics. On the other hand, it could provoke others to question what should and should not be considered classics, as it has happened in recent decades in other historical fields.

  • 20 October 2017, ILLC Current Affairs Meeting

    Date & Time: Friday 20 October 2017, 16:15-17:45
    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.

    For more information, contact .
  • (New) 20 October 2017, Cool Logic, Hana Möller Kalpak

    Speaker: Hana Möller Kalpak
    Title: Unconcealing concealed questions
    Date & Time: Friday 20 October 2017, 18:00-19:00
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

    Cool Logic is a logic seminar by and for Master and PhD Students of the ILLC.



    Hana's talk this week proposes an account of concealed questions (e.g. 'I know your age') that extends Aloni & Roelofesn (2011). The talk features one of the most trivial card games ever invented, and the best division of semantic and pragmatic labour in the history of the United States (period). Come see for yourselves!

    For more information, see here or at events.illc.uva.nl/coollogic or contact Dean McHugh at .
  • (New) 25 October 2017, Proof-checking Euclid, Michael Beeson

    Speaker: Michael Beeson
    Date & Time: Wednesday 25 October 2017, 12:00-14:00
    Location: Ravensteynzaal, Kromme Nieuwegracht 80, 3512 HM Utrecht

    This is joint work with Julien Narboux and Freek Wiedijk. We used computer proof-checking methods to verify the correctness of our proofs of the propositions in Euclid Book I. We used axioms as close as possible to those of Euclid, in a language closely related to that used in Tarski's formal geometry. We used proofs as close as possible to those given by Euclid, but filling Euclid's gaps and correcting errors. Then we checked those proofs in the well-known and trusted proof checkers HOL Light and Coq. The talk will contain many geometrical diagrams and discuss both the geometry and the proof-checking.

    For more information, see www.michaelbeeson.com/research/FoundationsOfGeometry/index.php or contact Professor A. Visser at .
  • (New) 27 October 2017, Joint session DiP Colloquium & Cognition@ILLC, Prof. Richard Menary

    Speaker: Prof. Richard Menary (Macquarie University)
    Title: Mathematical Cognition, a Case of  Enculturation: Redux
    Date & Time: Friday 27 October 2017, 16:00-17:30
    Location: Room F3.20, Science Park 107, 1098 XG Amsterdam

    Abstract:

    In 2015 I argued that full mathematical cognition was the result of a process of enculturation. Given that symbolic mathematics is a very recent acquisition—mathematical symbol systems are only thousands of years old and some mathematical practices are only hundreds of years old—it could not be the result of a genetically inherited and specialised module. How then do we acquire the capacity for symbolic mathematics in ontogeny? I return to the argument I presented there, that we should pay close attention to the social and cultural pressures that gave rise to the need for arithmetic and mathematics and to the cultural practices that were developed for thinking abstractly about quantity. Mathematical practices recruit a number of existing capacities including the capacity for numerosity (which appears to be an ancient endowment), the capacity for sensorimotor manipulation of tools and the ability to perform sequences of operations according to norms (or rules).

  • 9 November 2017, Logic and Interactive Rationality (LIRa), Chenwei Shi

    Speaker: Chenwei Shi
    Date & Time: Thursday 9 November 2017, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 16 November 2017, Logic and Interactive Rationality (LIRa), Jean Wagemans

    Speaker: Jean Wagemans (FGW, University of Amsterdam)
    Date & Time: Thursday 16 November 2017, 16:00-17:30
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
  • (New) 17 November 2017, DIP Colloquium, Carlo Nicolai

    Speaker: Carlo Nicolai (Utrecht University)
    Date & Time: Friday 17 November 2017, 16:00-17:30
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 22 November 2017, Amsterdam Metaphysics Seminar, Jesse Mulder

    Speaker: Jesse Mulder
    Title: A Powerful Idea
    Date & Time: Wednesday 22 November 2017, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
  • 23 November 2017, Logic and Interactive Rationality (LIRa), Peter Hawke

    Speaker: Peter Hawke (ILLC, Amsterdam)
    Date & Time: Thursday 23 November 2017, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 30 November 2017, Logic and Interactive Rationality (LIRa), Anthia Solaki

    Speaker: Anthia Solaki (ILLC, Amsterdam)
    Date & Time: Thursday 30 November 2017, 16:00-17:30
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
  • 6 - 8 December 2017, 2nd Amsterdam SMART Cognitive Science Conference: 'SMART Animals', Amsterdam, the Netherlands

    Date: 6 - 8 December 2017
    Location: Amsterdam, the Netherlands
    Deadline: Wednesday 1 March 2017

    We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place at the UvA, from December 6th-8th. The conference will consist of three plenary evening lectures and debates, and three successive workshops devoted to the topics of animal cognition in the broad sense (i.e., including humans).

    For more information, see here or at smartcs.uva.nl/conference-2017 or contact SMART Cognitive Science at .
  • 6 December 2017, Amsterdam Metaphysics Seminar, Elbert Booij

    Speaker: Elbert Booij
    Date & Time: Wednesday 6 December 2017, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
  • 7 December 2017, Logic and Interactive Rationality (LIRa), Jana Wagemaker

    Speaker: Jana Wagemaker
    Date & Time: Thursday 7 December 2017, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 19 December 2017, Logic of Conceivability seminar, Hannes Leitgeb

    Speaker: Hannes Leitgeb
    Title: HYPE: A System of Hyperintensional Logic (With an Application to Semantic Paradoxes)
    Date & Time: Tuesday 19 December 2017, 16:00-18:00
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

    Hannes Leitgeb will give a special Logic of Conceivability seminar in which he will talk of his own system of hyperintensional logic: HYPE.

  • 20 - 22 December 2017, 21st Amsterdam Colloquium (AC'2017), Amsterdam, The Netherlands

    Date: 20 - 22 December 2017
    Location: Amsterdam, The Netherlands
    Deadline: Friday 1 September 2017

    The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The 21st Amsterdam Colloquium will feature two workshops on Causality and Semantics and on Formal and Distributional Perspectives on Meaning; and one evening lecture, jointly organized with the E.W. Beth Foundation.

    For more information, see events.illc.uva.nl/AC/AC2017.
  • 16 January 2018, Computational Linguistics Seminar, Marco Baroni

    Speaker: Marco Baroni (Facebook AI Research)
    Date & Time: Tuesday 16 January 2018, 16:00
    Location: Room F3.20, Science Park 107, Amsterdam
    For more information, see projects.illc.uva.nl/LaCo/CLS.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X