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

  • 20 November 2018, EXPRESS Seminar, Francesca Poggiolesi

    Speaker: Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne)
    Title: A proof-theoretical approach to non-causal explanations: complexity as the key to directionality
    Date & Time: Tuesday 20 November 2018, 16:00-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    For more information, see https://inferentialexpressivism.com/seminar/ or contact Luca Incurvati at .
  • (New) 21 November 2018, Women in Science: The story from India. Special Colloquium with professor Rohini Godbole

    Date & Time: Wednesday 21 November 2018, 15:00-16:30
    Location: Room C1.110, Science Park 904, Amsterdam

    Worldwide women are still under-represented in science. What are the causes, and what can be done about it? The Indian government recently conducted two larges studies addressing these questions. On 21 November professor Rohini Godbole, one of India’s most prominent particle physicists, will give a lecture about these two studies and the plans to improve the position of women in science in India.

  • (New) 21 November 2018, Algebra|Coalgebra Seminar, Yde Venema

    Speaker: Yde Venema (ILLC)
    Title: What is the size of a formula? Basic size matters in the modal mu-calculus
    Date & Time: Wednesday 21 November 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 .
  • 22 November 2018, LUNCH Seminar, Federica Russo

    Speaker: Federica Russo
    Title: Why going informational: A gentle introduction
    Date & Time: Thursday 22 November 2018, 13:00-14:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam

    Federica Russo (University of Amsterdam) is going to be the inaugural speaker of the ILLC LUNch seminar! Light lunch will be provided to the audience. If you prefer, you are also encouraged to bring your own lunch!

    For more information, see here or at https://events.illc.uva.nl/LUNCH/ or contact Sirin Botan at , or Zoi Terzopoulou at .
  • viewImage.jpeg

    22 November 2018, 'The Algorithmic Mind (Thomas Icard)' reading group

    Date & Time: Thursday 22 November 2018, 15:00-17:00
    Location: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam

    This is the second of three meetings where a few of us are getting together to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford.

  • (New) 22 November 2018, CoSaQ seminar, Fausto Carcassi

    Speaker: Fausto Carcassi
    Title: Monotonicity in gradable adjectives: an evolutionary model and some experimental results
    Date & Time: Thursday 22 November 2018, 15:30-17:00
    Location: PC Hoofthuis 04.28, Amsterdam
    For more information, see http://www.jakubszymanik.com/CoSaQ/seminar/.
  • (Updated) 22 November 2018, Logic and Interactive Rationality (LIRa), Alexandra Kuncova

    Speaker: Alexandra Kuncova
    Title: On the (In)dispensability of Action Types
    Date & Time: Thursday 22 November 2018, 17:00-18:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • (Updated) 23 November 2018, DIP Colloquium, Catarina Dutilh Novaes

    Speaker: Catarina Dutilh Novaes (Vrije Universiteit)
    Title: The Social Epistemology of Argumentation
    Date & Time: Friday 23 November 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • (Updated) 24 - 25 November 2018, ICT Maintenance weekend

    Date: 24 - 25 November 2018

    UvA ICT services will undergo necessary maintenance in the weekend of 24-25 November. Please be aware that certain ICT services will be temporarily unavailable on Saturday.

  • 27 November 2018, Computational Social Choice Seminar, Ulle Endriss

    Speaker: Ulle Endriss
    Title: Judgment Aggregation with Rationality and Feasibility Constraints
    Date & Time: Tuesday 27 November 2018, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • (New) 28 November 2018, Algebra|Coalgebra Seminar, Luca Reggio

    Speaker: Luca Reggio (Czech Academy of Sciences)
    Title: Beth definability and the Stone-Weierstrass Theorem
    Date & Time: Wednesday 28 November 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 .
  • 29 November 2018, Logic and Interactive Rationality (LIRa), Johan van Benthem

    Speaker: Johan van Benthem
    Date & Time: Thursday 29 November 2018, 17:00-18:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • (New) 30 November 2018, Colloquium on Mathematical Logic, Matias Menni

    Speaker: Matias Menni
    Title: The Unity and Identity of Decidable objects and double negation sheaves
    Date & Time: Friday 30 November 2018, 15:30-16:30
    Location: Buys Ballot Gebouw Room 385, Utrecht
  • 1viewImage.jpeg

    6 December 2018, 'The Algorithmic Mind (Thomas Icard)' reading group

    Date & Time: Thursday 6 December 2018, 15:00-17:00
    Location: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam

    This is the third of three meetings where a few of us are getting together to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford.

  • 6 December 2018, Logic and Interactive Rationality (LIRa), Krzysztof Apt

    Speaker: Krzysztof Apt
    Date & Time: Thursday 6 December 2018, 17:00-18:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 11 December 2018, Computational Linguistics Seminar, Lisa Beinborn

    Speaker: Lisa Beinborn
    Date: Tuesday 11 December 2018
    For more information, see http://projects.illc.uva.nl/LaCo/CLS/.
  • 13 December 2018, Logic and Interactive Rationality (LIRa), Jeroen de Ridder

    Speaker: Jeroen de Ridder
    Date & Time: Thursday 13 December 2018, 17:00-18:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 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.

  • 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

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

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