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

  • 19 - 21 June 2019, KNAW Colloquium and Master Class on Musicality and Genomics

    Date & Time: 19 - 21 June 2019, 13:00-17:00
    Location: KNAW, Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam, The Netherlands
    Deadline: Wednesday 15 May 2019

    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.

    The Colloquium is by invitation only; The Masterclass is open to young researchers,PhD-students, and master students.
    For more information, see http://mcg.uva.nl/musicality2019/ or contact .
  • 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.

  • 25 June 2019, Computational Social Choice Seminar, Frank Feys

    Speaker: Frank Feys (Delft)
    Title: Arrow's Theorem through a Fixpoint Argument
    Date & Time: Tuesday 25 June 2019, 16:00
    Location: Room F2.19, Science Park 107, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 26 - 27 June 2019, Inquisitiveness Below and Beyond the Sentence Boundary 3 (InqBnB3)

    Date: 26 - 27 June 2019
    Location: Room C1.23, OMHP (Oudemanhuispoort), Oudemanhuispoort 4-6, Amsterdam

    The InqBnB workshop series brings together researchers working on inquisitive semantics and closely related topics. We are particularly interested in research that studies the semantics/pragmatics of questions and other inquisitive constructions, and in work investigating expressions which interact with the meaning of questions in interesting ways.

  • (Updated) 26 June 2019, Algebra|Coalgebra Seminar, Jim de Groot

    Speaker: Jim de Groot (The Australian National University)
    Title: Coalgebraic positive logic and lifting functors
    Date & Time: Wednesday 26 June 2019, 16:00-17:00
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam
    For more information, see https://events.illc.uva.nl/alg-coalg.
  • 28 June 2019, ABC Networking Day 2019

    Date & Time: Friday 28 June 2019, 10:00-14:00
    Location: KIT Royal Tropical Institute, Mauritskade 63, 1092 AD Amsterdam, the Netherlands

    The ABC Networking Day provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.

    The Networking Day will consist of ABC Highlights (talks that showcase recent work from the different ABC research Themes and Transversal Perspectives) and Pitch talks (flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals), followed by a lunch where the discussions continue in an informal atmosphere. Directly following the ABC Networking Day the AMBition Kick-off meeting will take place, also at the KIT.

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

  • 28 June 2019, Colloquium on Mathematical Logic, Makoto Fujiwara

    Speaker: Makoto Fujiwara (Meiji, Konstanz)
    Title: Constructivism and weak logical principles in arithmetic
    Date & Time: Friday 28 June 2019, 16:00-17:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For more information, see here or at https://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg at .
  • 28 June 2019, DIP Colloquium, Jeroen Smid

    Speaker: Jeroen Smid (Manchester)
    Date & Time: Friday 28 June 2019, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 1 July 2019, GROLOG/LIRa Logic Afternoon

    Date & Time: Monday 1 July 2019, 14:00-16:00
    Location: Room Beta, Faculty of Philosophy, Oude Boteringestraat 52, Groningen

    Speakers:

    • Roberto Ciuni (Philosophy, University of Padova): Information-based oughts and their interaction with knowledge and belief
    • Karolina Krzyzanowska (ILLC, University of Amsterdam): Minimal rationality constraints for conditional obligation
    • Louwe Kuijer (Computer Science, University of Liverpool): True clauses, false connections, and the limits of pragmatic explanations
  • 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 .
  • 3 July 2019, ILLC Midsummernight Colloquium 2019

    Date & Time: Wednesday 3 July 2019, 16:00
    Location: Room F1.21, ILLC Common room, Science Park 107, Amsterdam

    The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight 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.

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

  • 26 August 2019, 2nd International Workshop on Recent Advancement in Concurrency and Logic (RADICAL 2019) , Amsterdam, The Netherlands

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

    Concurrency and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and provides a plethora of logics and models for reasoning about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attention, as witnessed by recent editions of AI conferences. All these examples share the challenge of developing novel theories and tools for automated reasoning that take into account the behaviour of concurrent and multi-agent entities.

    The workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science, both from a theoretical and a practical point of view. Besides, it aims to promote research on Foundation of AI in other research communities that are traditionally Theoretical Computer Science-oriented.

  • 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/.
  • 13 September 2019, Computational Social Choice Seminar, Aidan Lyon

    Speaker: Aidan Lyon (DelphiCloud)
    Date & Time: Friday 13 September 2019, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam
    For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 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 27 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 .
  • 3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The Netherlands

    Date: 3 - 14 August 2020
    Location: Utrecht, The Netherlands
    Deadline: Saturday 1 June 2019

    Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.

    The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.

    For more information, see https://www.esslli.eu or contact .