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

  • 17 December 2018, CWI Machine Learning Seminar, Glenn Shafer

    Speaker: Glenn Shafer
    Title: Game-Theoretic Statistics
    Date & Time: Monday 17 December 2018, 11:00-12:00
    Location: Room L016, CWI, Science Park 123, Amsterdam

    Glenn Shafer is one of the founders of Game-Theoretic Probability, an alternative to Kolmogorov's measure-theoretic foundations for probability. In this lecture he will talk about new game-theoretic underpinnings for statistics.

  • 19 December 2018, Algebra|Coalgebra Seminar, Robert Paßmann

    Speaker: Robert Paßmann (ILLC)
    Title: Logical aspects of algebra-valued models of set theory
    Date & Time: Wednesday 19 December 2018, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .

  • 7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

    Date: 7 - 11 January 2019
    Location: Amsterdam, The Netherlands

    From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

    The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

  • illc_no_text_logo.jpg

    14 January 2019, ILLC New Year's Colloquium 2019

    Date & Time: Monday 14 January 2019, 16:00-17:15
    Location: Room F1.15, ILLC, 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/ or contact Christian Schaffner at .

  • 18 January 2019, Dutch Social Choice Colloquium

    Date & Time: Friday 18 January 2019, 13:30-18:00
    Location: Maasstricht

    Speakers: Kristof Bosmans, Bettina Klaus, Flip Klijn, Jordi Massó, Ton Storcken.

  • 21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the Netherlands

    Date: 21 - 25 January 2019
    Location: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
    Deadline: Friday 19 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/.

  • 22 February 2019, DIP Colloquium, Jacopo Romoli

    Speaker: Jacopo Romoli (Ulster)
    Date & Time: Friday 22 February 2019, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam, The Netherlands

  • (New) 5 March 2019, Computational Linguistics Seminar, Afra Alishahi

    Speaker: Afra Alishahi
    Date: Tuesday 5 March 2019
    For more information, see http://projects.illc.uva.nl/LaCo/CLS/.

  • 26 April 2019, DIP Colloquium, Jim Pryor

    Speaker: Jim Pryor (NYU)
    Date & Time: Friday 26 April 2019, 16:00-17:30
    Location: ILLC Room F1.15, Science Park 107, Amsterdam

  • 24 May 2019, DIP Colloquium, Una Stojnic

    Speaker: Una Stojnic (Columbia)
    Date & Time: Friday 24 May 2019, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam, The Netherlands

  • (New) 20 June 2019, Workshop "Bilateral approaches to meaning"

    Date & Time: Thursday 20 June 2019, 18:00
    Location: ILLC, Amsterdam
    Deadline: Friday 15 February 2019

    Traditional semantics gives the meaning of expressions in terms of conditions on one kind of primitive (e.g. truth, assertion, belief). Bilateral approaches hold that the meaning of expressions is characterized in terms of conditions on two, usually opposite primitives (e.g. truth and falsity, assertion and rejection, belief and disbelief). Recent years have witnessed the independent development of a variety of bilateral approaches to analyze phenomena such as negation, epistemic modality and counterfactuals, from both a proof-theoretic and a model-theoretic perspective. The workshop will bring together researchers from either perspective in order to provide a venue for the systematic exploration of commonalities, differences and potential interactions between such approaches.

    Invited speakers: Maria Aloni (ILLC, Amsterdam), Teresa Marques (Logos, Barcelona), Greg Restall (Melbourne) and David Ripley (Monash).

    For more information, see https://inferentialexpressivism.com/workshop/ or contact Luca Incurvati at .

  • (Updated) 28 June 2019, ABC Networking Day 2019

    Date & Time: Friday 28 June 2019, 00:01
    Location: Amsterdam, the Netherlands

    This will be a full day of opportunities for strong mind and brain connections!

  • (New) 28 June 2019, Amsterdam Mind and Brain symposium, Amsterdam, the Netherlands

    Date & Time: Friday 28 June 2019, 14:30-23:00
    Location: Amsterdam, the Netherlands

    AMBition is a coalition of four leading neuroscience research institutes (NIN, Amsterdam UMC, IBBA and ABC) aimed at building sustainable bridges between Amsterdam’s top research groups in the fields of brain and mind research. With the launch of AMBition, Amsterdam’s international visibility as an attractive and inspiring centre for mind and brain research will grow greatly, pushing Amsterdam in joining the league of worldwide leading institutes in this field. The kick-off of AMBition is scheduled for the 28th of June 2019 during a symposium in the KIT Royal Tropical Institute in Amsterdam.

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

  • 27 - 30 August 2019, The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The Netherlands

    Date: 27 - 30 August 2019
    Location: Amsterdam, The Netherlands
    Deadline: Monday 15 April 2019

    The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

    CONCUR is co-located with:
    - the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
    - the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
    - the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
    - the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
    - the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

    For more information, see https://event.cwi.nl/concur2019/.

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

  • 18 - 21 October 2019, The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, China

    Date: 18 - 21 October 2019
    Location: South-West University, Chongqing, China
    Deadline: Monday 20 May 2019

    The ​ International Conference on Logic, Rationality and Interaction (LORI) ​ conference series aims at bringing
    together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

    For more information, see http://golori.org/lori2019/ or contact Patrick Blackburn at .