Universiteit van Amsterdam

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.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Headlines Upcoming Events

Upcoming Events

  • 25 - 27 July 2018, Inquisitive logic workshop

    Date & Time: 25 - 27 July 2018, 09:30-18:00
    Location: Room C0.01 (Potgieterzaal), Universiteitsbibliotheek, Singel 421-427, Amsterdam.

    Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.

    The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.

    For more information, see http://inquisitivelogicws.scienceontheweb.net/ or contact Gianluca Grilletti at .

  • 6 - 17 August 2018, 30th European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, Bulgaria

    Date: 6 - 17 August 2018
    Location: Sofia, Bulgaria
    Deadline: Sunday 25 June 2017

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

    For more information, see http://esslli2018.folli.info/ or contact .

  • 22 - 26 August 2018, Second SYSMICS Summer School, Les Diablerets, Switzerland

    Date: 22 - 26 August 2018
    Location: Les Diablerets, Switzerland
    Target audience: Master's and PhD students
    Costs: CHF 652 (single room) / CHF 556 (shared double room)
    Deadline: Monday 30 April 2018

    The second summer school for the EU RISE project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics) will take place 22-26 August 2018 at Hotel Les Sources in Les Diablerets, Switzerland. This school will precede two logic conferences taking place in Bern the following week: Logic, Algebra and Truth Degrees (LATD) 2018 and Advances in Modal Logic (AiML) 2018.

    Tutorials will be given each morning by Peter Jipsen (Chapman University), David J. Pym (University College London), and Alexandra Silva (University College London), and in the early evening there will be lectures by Johan van Benthem (University of Amsterdam), Laura Kovács (Vienna University of technology), and Fred Wehrung (University of Caen). Since places for the school are limited, we ask students to register online via the webpage before 30 April 2018.

    For more information, see https://mathsites.unibe.ch/sysmics/ or contact Nick Bezhanishvili and George Metcalfe at .

  • 23 - 25 August 2018, KNAW Academy Colloquium "Generalised Baire Spaces", Amsterdam, The Netherlands

    Date: 23 - 25 August 2018
    Location: Amsterdam, The Netherlands

    The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Loewe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory as well as classical model theory. While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly, e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.

    This Academy Colloquium is a reunion of the research community after a hiatus of two years. The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium.

    For more information, see http://events.illc.uva.nl/KNAW2018/.

  • 4 - 7 September 2018, Conference of the Académie Internationale de Philosophie des Sciences (AIPS2018)

    Date: 4 - 7 September 2018

    This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

    The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

    For more information, see http://events.illc.uva.nl/AIPS2018/ or contact Benedikt Loewe at .

  • 6 - 7 October 2018, 104th Peripatetic Seminar on Sheaves & Logic (PSSL), Amsterdam, The Netherlands

    Date: 6 - 7 October 2018
    Location: Amsterdam, The Netherlands

    The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.

    Further details will be available in due course.

    For more information, contact Benno van den Berg at .

  • 9 November 2018, DIP Colloquium, Ofra Magidor

    Speaker: Ofra Magidor (Oxford)
    Date & Time: Friday 9 November 2018, 16:00-17:30
    Location: ILLC seminar room F1.15

  • 23 November 2018, DIP Colloquium, Catarina Dutilh Novaes

    Speaker: Catarina Dutilh Novaes (Vrije Universiteit)
    Date & Time: Friday 23 November 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • 21 - 25 January 2019, Syntax Meets Semantics 2019

    Date: 21 - 25 January 2019
    Location: Doelenzaal, University Library, Singel 425 Amsterdam Nederland
    Deadline: Friday 5 October 2018

    Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

    For more information, see http://events.illc.uva.nl/SYSMICS2019/.

  • 5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, Latvia

    Date: 5 - 16 August 2019
    Location: Riga, Latvia
    Deadline: Saturday 30 June 2018

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

    For more information, see http://esslli2019.folli.info/ or contact .

  • 16 - 19 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation, Georgia

    Date: 16 - 19 September 2019
    Location: Georgia

    The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013), Tbilisi (2015) and Lagodekhi (2017).

    For more information, see http://events.illc.uva.nl/Tbilisi/ or contact Peter van Ormondt at .