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

  • 18 March 2019, Computational Social Choice Seminar, Jérôme Lang

    Speaker: Jérôme Lang (Paris)
    Title: Single Transferable Vote: Incomplete Knowledge and Communication Issues
    Date & Time: Monday 18 March 2019, 15:00
    Location: Room F0.20, Science Park 107, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 20 March 2019, Logic of Conceivability seminar, Margot Strohminger

    Speaker: Margot Strohminger (Oxford)
    Title: Offline Belief and Belief in Conditionals
    Date & Time: Wednesday 20 March 2019, 10:00-12:00
    Location: Faculty room, Department of Philosophy, Oude Turfmarkt 141-143, Amsterdam
  • 21 March 2019, Logic and Interactive Rationality (LIRa), Thomas Schindler

    Speaker: Thomas Schindler
    Date & Time: Thursday 21 March 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 21 March 2019, Logic and Interactive Rationality (LIRa), Fausto Barbero 

    Speaker: Fausto Barbero (University of Helsinki)
    Title: Interventionist Counterfactuals in Team Semantics.
    Date & Time: Thursday 21 March 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 22 March 2019, Computational Social Choice Seminar, Z. Emel Öztürk

    Speaker: Z. Emel Öztürk (UvA)
    Title: An Efficient, Fair and Stable Solution to the River Sharing Problem
    Date & Time: Friday 22 March 2019, 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) 25 March 2019, Causal Inference Lab reading group

    Title: Causal Inference Lab reading group
    Date & Time: Monday 25 March 2019, 13:00-15:00
    Location: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam

    The ILLC's Causal Inference Lab will host its bi-weekly reading group, where we will discuss temporal logics and neural networks for causal inference. In particular, we will discuss the following two (short!) papers:

    Kleinberg, Antoniotti, Ramakrishnan & Mishra (2007). Modal logic, temporal models and neural circuits: what connects them. http://www.skleinberg.org/papers/TR07.pdfKleinberg & Mishra (2009). The temporal logic of causal structures. http://www.skleinberg.org/papers/uai09.pdf

    All who are interested in discussing causality are very welcome to attend!

    For more information, see http://projects.illc.uva.nl/cil/page_Reading-Group/ or contact Dean McHugh at .
  • (Updated) 27 March 2019, Algebra|Coalgebra Seminar, Graham Leigh

    Speaker: Graham Leigh (University of Gothenburg)
    Title: Cyclic proofs for circular reasoning
    Date & Time: Wednesday 27 March 2019, 16:00-17:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For more information, see https://events.illc.uva.nl/alg-coalg/.
  • (Updated) 27 March 2019, Computational Social Choice Seminar, Dominik Peters

    Speaker: Dominik Peters (Oxford)
    Title: Truthful Aggregation of Budget Proposals
    Date & Time: Wednesday 27 March 2019, 16:00
    Location: Room F3.20, 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) 27 March 2019, EXPRESS seminar, Sebastian Speitel

    Speaker: Sebastian Speitel (San Diego)
    Title: Combined Criteria of Logicality
    Date & Time: Wednesday 27 March 2019, 16:00
    Location: ILLC (room TBA), Science Park 107, Amsterdam
    For more information, see here or at https://inferentialexpressivism.com/seminar/ or contact Leila Bussière at .
  • 28 March 2019, Logic and Interactive Rationality (LIRa), Peter Hawke 

    Speaker: Peter Hawke (ILLC)
    Date & Time: Thursday 28 March 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 29 March 2019, LUNCH Seminar, Arianna Betti

    Speaker: Arianna Betti
    Date & Time: Friday 29 March 2019, 13:00-14:00
    Location: ILLC Common Room (F1.21), Science Park 107, Amsterdam
    For more information, see here or at https://events.illc.uva.nl/LUNCH/ or contact Sirin Botan at , or Zoi Terzopoulou at .
  • (Updated) 3 April 2019, Algebra|Coalgebra Seminar, Sebastian Enqvist

    Speaker: Sebastian Enqvist (Stockholm University)
    Title: Flat fixpoint logics with converse modalities
    Date & Time: Wednesday 3 April 2019, 14:00-15:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For more information, see https://events.illc.uva.nl/alg-coalg/.
  • (New) 3 April 2019, ILLC Current Affairs Meeting

    Date & Time: Wednesday 3 April 2019, 16:30-18:00
    Location: ILLC Common Room, ILLC, 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 .
  • 4 April 2019, Logic and Interactive Rationality (LIRa), Malvin Gattinger

    Speaker: Malvin Gattinger (University of Groningen)
    Date & Time: Thursday 4 April 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 5 April 2019, Computational Social Choice Seminar, Daan Bloembergen

    Speaker: Daan Bloembergen (CWI)
    Title: On Rational Delegations in Liquid Democracy
    Date & Time: Friday 5 April 2019, 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 .
  • (Updated) 5 April 2019, DIP Colloquium, Ivano Ciardelli

    Speaker: Ivano Ciardelli (Munich)
    Date & Time: Friday 5 April 2019, 16:00-17:30
    Location: Room F2.19, ILLC ILLC, Science Park 107, Amsterdam
  • (New) 10 - 17 April 2019, Entrepeneurship in Informatics & Math

    Date: 10 - 17 April 2019
    Location: Startup Village, Science Park 608 Amsterdam
    Target audience: Professors, PD's, PhD's, Technicians, MoL students

    Are you curious about entrepreneurship and do you want to know what it takes to start your own company? ACE Incubator presents a unique entrepreneurship program in collaboration with Innovation Exchange Amsterdam (IXA). The program offers you a unique opportunity to learn the basics of venture creation and pick your brains on potential business ideas in the fields of Informatics, Math & Logic.

    The dates for the program are April 10 + 17 (2 days) with a week
    in-between.

  • 11 April 2019, Logic and Interactive Rationality (LIRa), Kaibo Xie 

    Speaker: Kaibo Xie (ILLC)
    Date & Time: Thursday 11 April 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 17 April 2019, Logic and Interactive Rationality (LIRa), Valentin Goranko

    Speaker: Valentin Goranko
    Date & Time: Wednesday 17 April 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 25 April 2019, Logic and Interactive Rationality (LIRa), Kees van Deemter 

    Speaker: Kees van Deemter (University of Utrecht and University of Aberdeen)
    Date & Time: Thursday 25 April 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 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
  • 2 May 2019, Logic and Interactive Rationality (LIRa), Ana Lucia Vergas Sandoval 

    Speaker: Ana Lucia Vergas Sandoval (ILLC)
    Date & Time: Thursday 2 May 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 9 May 2019, Logic and Interactive Rationality (LIRa), Fan Yang

    Speaker: Fan Yang (University of Helsinki)
    Date & Time: Thursday 9 May 2019, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 23 May 2019, Logic and Interactive Rationality (LIRa), Bart Verheij 

    Speaker: Bart Verheij (University of Groningen)
    Date & Time: Thursday 23 May 2019, 16:30-18:00
    Location: ILLC Seminar 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
  • 6 - 7 June 2019, 3rd ILLC Workshop on Collective Decision Making

    Date: 6 - 7 June 2019
    Location: De Doelenzaal, University Library, Singel 425, Amsterdam
    For more information, contact Ulle Endriss at .
  • 12 June 2019, Computational Social Choice Seminar, Aidan Lyon

    Speaker: Aidan Lyon (DelphiCloud)
    Date & Time: Wednesday 12 June 2019, 16:00
    Location: Room F0.20, Science Park 107, Amsterdam
    For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • (New) 14 June 2019, Dutch Social Choice Colloquium

    Date: Friday 14 June 2019
    Location: Rotterdam

    Speakers: Wulf Gaertner (Osnabrück and Berlin), Kirsten Rohde (Rotterdam), and Erik Schokkaert (Leuven).

    For more information, see http://events.illc.uva.nl/DSCC/meetings.php.
  • 19 - 21 June 2019, KNAW Colloquium and Master Class on Musicality and Genomics

    Date: 19 - 21 June 2019
    Location: Trippenhuis KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam

    This Academy Colloquium on Musicality and Genomics will bring together leading experts from neurobiology, cognitive psychology, music cognition and genetics to discuss (Day 1) the phenotypes of musicality, how to measure them, and genetic techniques for studying human variation. and (Day 2) the possibilities for combining musicality indices with the latest genomic methods, genetic pleiotropy between traits, and the instalment of an international consortium on the biological bases of musicality.

    By invitation only.

  • 20 June 2019, ABC lecture, Suzanne Haber | University of Rochester

    Speaker: Suzanne Haber | University of Rochester (NY)
    Date & Time: Thursday 20 June 2019, 16:00-18:00

    The Haber lab focuses on the neural network that underlies incentive learning and decision-making that leads to the development of action plans.

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

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

  • 1 July 2019, Computational Social Choice Seminar, Lefteris Kirousis

    Speaker: Lefteris Kirousis
    Title: Abstract Possibility Domains: Algorithms and Characterizations
    Date & Time: Monday 1 July 2019, 15:00
    Location: ILLC Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at https://staff.fnwi.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 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 .
  • 26 August 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The Netherlands

    Date: Monday 26 August 2019
    Location: Amsterdam, The Netherlands
    Deadline: Friday 21 June 2019

    The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

    Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany).

  • 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 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, Georgia

    Date: 16 - 20 September 2019
    Location: Batumi, Georgia
    Deadline: Monday 1 April 2019

    The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, 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. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.

    For more information, see http://events.illc.uva.nl/Tbilisi/Tbilisi2019/ 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 Meiyun Guo at .