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

  • 26 April 2018, ILLC Seminar, Helle Hvid Hansen

    Speaker: Helle Hvid Hansen
    Title: Coalgebra, Algebra and Modal Logic: Reasoning about the structure and behaviour of computations
    Date & Time: Thursday 26 April 2018, 10:00-10:50
    Location: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
    For more information, contact Yde Venema at .

  • 26 April 2018, Computational Social Choice Seminar, Lucy van Oostveen

    Speaker: Lucy van Oostveen (ILLC)
    Title: What You Know About People's Preferences Matters: Investigating Simpler Notions of Partial Information in the Context of Strategic Manipulation in Voting (MoL defense)
    Date & Time: Thursday 26 April 2018, 13:00
    Location: Room F3.20, Science Park 107, Amsterdam
    For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .

  • (Updated) 26 April 2018, Logic and Interactive Rationality (LIRa), Jakub Szymanik

    Speaker: Jakub Szymanik
    Title: Logic as a Grammar of Thought
    Date & Time: Thursday 26 April 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • 30 April 2018, ILLC Seminar, Dorothea Baumeister

    Speaker: Dorothea Baumeister
    Title: Collective Decision Making: Argumentation Systems and Committee Elections
    Date & Time: Monday 30 April 2018, 14:00-14:50
    Location: ILLC Seminar Room F1.15, Science Park 107, The Netherlands

    This talk will give a short introduction into computational social choice, an interdisciplinary field that lies at the interface between social choice theory and computer science. Afterwards the focus is on two different problems of collective decision making. The study of such problems is extremely important, since there are many situation where a collective decision based on individual preferences has to be made. The first part of this talk deals with the modeling of online participation processes and their properties. They will be formalized by abstract argumentation frameworks, where incompleteness is added to the initial model. This extension is more suitable to capture the dynamics of such processes. In this context the verification problem is particularly important, thus its computational complexity will be analyzed for different variants. The second part of the talk focuses on the algorithmic and axiomatic study of committee elections. Committee election rules for different forms of votes that try to minimize the voters’ dissatisfaction will be introduced. Afterwards its axiomatic and algorithmic properties are explored.

    For more information, contact Yde Venema at .

  • 1 May 2018, ILLC Seminar, Bahareh Afshari

    Speaker: Bahareh Afshari
    Title: On the logic of induction and co-induction
    Date & Time: Tuesday 1 May 2018, 11:00-11:50
    Location: ILLC Seminar Room F1.15, Science Park 107, The Netherlands

    Modal logic provides an effective language for expressing
    properties of state-based systems. When equipped with operators
    that can test for infinite behaviour like looping and
    reachability, the logic becomes a powerful tool for specifying
    correctness of nonterminating, reactive processes such as
    communication protocols and control systems. An elegant example
    of such a logic is the modal mu-calculus which extends basic
    modal logic by two quantifiers for defining inductive and
    co-inductive operators. As well as being highly expressive, this
    logic enjoys good computational properties (decidability, finite
    model property, …) that distinguish it as a central logic in
    computer science. In this talk I will introduce the modal
    mu-calculus, present some key properties and discuss recent
    results regarding its proof theory.

    For more information, contact Yde Venema at .

  • (New) 3 May 2018, Logic and Interactive Rationality (LIRa), Ana Lucia Vargas-Sandoval

    Speaker: Ana Lucia Vargas-Sandoval
    Date & Time: Thursday 3 May 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • (New) 4 May 2018, Cool Logic, Anna Bellomo

    Speaker: Anna Bellomo
    Title: Two conceptions of domain expansion in mathematics
    Date & Time: Friday 4 May 2018, 18:00-19:00
    Location: Room TBA, Science Park 107, Amsterdam

    This talk will compare two different conceptualisations of domain expansion in mathematics, as exemplified by Kenneth Manders and, among others, Richard Dedekind, respectively. After presenting how Manders’ ideas relate to the common model-theoretic notions of existentially closed models and model completeness of theories, we argue that the framework yields problematic assessments of some paradigmatic examples of domain expansion. We then move on to the question of how these examples are handled in Dedekind’s framework, and then use the results of this analysis to assess the merits of Manders’ proposal.

    Everyone is invited for snacks and drinks in the common room after the talk!

    For more information, see here or at http://events.illc.uva.nl/coollogic/ or contact Zoi Terzopoulou at .

  • 9 May 2018, Amsterdam Metaphysics Seminar, Ilaria Canavotto

    Speaker: Ilaria Canavotto
    Title: WiP on Mereology
    Date & Time: Wednesday 9 May 2018, 14:00-15:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam

  • (New) 9 May 2018, Algebra|Coalgebra Seminar, Nick Bezhanishvili

    Speaker: Nick Bezhanishvili (ILLC)
    Title: A simple propositional calculus for compact Hausdorff spaces
    Date & Time: Wednesday 9 May 2018, 16:00-17:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    In recent years there has been a renewed interest in the modal logic community toward Boolean algebras equipped with binary relations. The study of such relations and their representation theory has a long history, and is related to the study of point-free geometry, point-free topology, and region based theory of space. Our primary examples of Boolean algebras with relations will be de Vries algebras, which are dual to compact Hausdorff spaces. Our main goal is to use the methods of modal logic and universal algebra to investigate the logical calculi of Boolean algebras with binary relations. This will lead, via de Vries duality, to simple propositional calculi for compact Hausdorff spaces, Stone spaces, etc.

    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .

  • 11 May 2018, DIP Colloquium, Markus Pantsar

    Speaker: Markus Pantsar (Helsinki)
    Date & Time: Friday 11 May 2018, 16:00-17:30

  • 14 May 2018, Colloquium on Mathematical Logic, Zlatan Damnjanovic

    Speaker: Zlatan Damnjanovic (University of Southern California)
    Title: On Weak Fragments of Set Theory and Arithmetic
    Date & Time: Monday 14 May 2018, 14:00-15:00
    Location: F1.15, Science Park 107

    An elementary theory of concatenation, QT+, is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory of Montagna and Mancini, quantifier-free part of Kirby’s finitary set theory, and Adjunctive Set Theory, with or without extensionality.

    For more information, see https://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg at .

  • 14 May 2018, Colloquium on Mathematical Logic, Zlatan Damnjanovic

    Speaker: Zlatan Damnjanovic
    Date & Time: Monday 14 May 2018, 14:00-15:00
    Location: Room TBA, Amsterdam

  • (New) 15 May 2018, Computational Linguistics Seminar, Arianna Bisazza

    Speaker: Arianna Bisazza (Leiden University)
    Title: Hints of linguistic structure in neural models of language and translation.
    Date & Time: Tuesday 15 May 2018, 11:00
    Location: Room F1.15, Science Park 107, Amsterdam

    What makes recurrent neural networks work so well for next word prediction? Do neural translation models learn to extract linguistic features from raw data and exploit them in any explicable way? In this talk I will give an overview of recent work, including my own, that aims at answering these questions. I will also present recent experiments on the importance of recurrency for capturing hierarchical structure with sequential models.

    For more information, see http://projects.illc.uva.nl/LaCo/CLS/.

  • (New) 17 May 2018, Logic and Interactive Rationality (LIRa), Gianluca Grilletti

    Speaker: Gianluca Grilletti
    Date & Time: Thursday 17 May 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • 17 May 2018, Spinoza Lectures, Susan Wolf

    Speaker: Susan Wolf
    Title: Aesthetic Responsibility
    Date & Time: Thursday 17 May 2018, 20:15-22:00
    Location: Aula, Oude Lutherse kerk, Singel 411, Amsterdam

    Abstract:
    Philosophers often distinguish between causal responsibility and moral responsibility, taking the latter to be an important mark of our distinctive humanity. But focusing exclusively on the attitudes and judgments we form toward people on the basis of their moral characters and behavior leads us to overly narrow conceptions both of responsibility and of humanity. As a corrective, this lecture considers the attitudes and judgments we make of artists on the basis of their artwork. By attending to the way in which artists may be aesthetically responsible for their creations, we can develop a richer understanding of responsibility and a more comprehensive idea of humanity.

  • 18 May 2018, DIP Colloquium, Bahram Assadian

    Speaker: Bahram Assadian (Birbeck, University of London)
    Date & Time: Friday 18 May 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • 23 May 2018, Amsterdam Metaphysics Seminar, Giovanni Merlo

    Speaker: Giovanni Merlo (University of Stirling)
    Title: The Metaphysical Problem of Other Minds
    Date & Time: Wednesday 23 May 2018, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam

  • 24 May 2018, Logic and Interactive Rationality (LIRa), Davide Grossi

    Speaker: Davide Grossi
    Date & Time: Thursday 24 May 2018, 16:30-18:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • 31 May - 2 June 2018, Colloquium on Reasoning in Social Context, Amsterdam

    Date: 31 May - 2 June 2018
    Location: Trippenhuis Building, Kloveniersburgwal 29, 1011 JV Amsterdam
    Deadline: Tuesday 1 May 2018

    This colloquium addresses the design and use of models to represent the beliefs and knowledge of agents as well as changes in the beliefs and knowledge of social communities.

    The colloquium unites researchers who use a variety of formal tools to study the process of belief formation, belief revision and knowledge updating in social communities. We focus on multi-agent scenarios centered around topics such as belief merge, social-epistemic influence, group knowledge, and belief-polarisation.

    Our approach will be interdisciplinary in nature and brings together insights originating from Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Network Theory, Cognitive Science and AI.

    For more information, see https://sites.google.com/site/reasoningcolloquium/ or contact Sonja Smets at .

  • 6 June 2018, Amsterdam Metaphysics Seminar, Katrin Schulz

    Speaker: Katrin Schulz
    Title: Generics and Causality
    Date & Time: Wednesday 6 June 2018, 14:00-15:00
    Location: Room C1.05, Oudemanhuispoort 4-6, Amsterdam

  • 14 June 2018, DIP Colloquium, Michael Glanzberg

    Speaker: Michael Glanzberg (Northwestern University)
    Date & Time: Thursday 14 June 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • 14 June 2018, Spinoza Lectures, Susan Wolf

    Speaker: Susan Wolf
    Title: Selves Like Us
    Date & Time: Thursday 14 June 2018, 20:15-22:00
    Location: Aula, Oude Lutherse kerk, Singel 411, Amsterdam

    Abstract:
    Since at least the seventeenth century, philosophers have distinguished membership in the species homo sapiens from moral personhood, a category which they take to be of considerable ethical and practical significance. But there are other non-biological features that are of ethical and practical significance as well, suggesting that there is an ethical, non-biological conception of humanity that is different from the standard philosophical understanding of moral personhood. After reflecting on the benefits and dangers of focusing attention on the idea of “the distinctively human,” the lecture explores the variety of features and capacities that distinguish “selves like us” from lower animals, artificially intelligent machines, and possibly imaginary divine and extra-terrestrial rational individuals.

  • 19 June 2018, Computational Linguistics Seminar, Dong Nguyen

    Speaker: Dong Nguyen (Turing Institute)
    Date & Time: Tuesday 19 June 2018, 16:00
    Location: Room F1.15, Science Park 107, Amsterdam

     

     

    For more information, see http://projects.illc.uva.nl/LaCo/CLS/.

  • (New) 21 June 2018, Workshop ERC Starting and Consolidator Grant

    Date: Thursday 21 June 2018

    Researchers who are planning to write an application for an ERC Starting or Consolidator grant can benefit from the grant workshop that is organised by the Netherlands Enterprise Agency. This one-day workshop is given entirely in English and takes place in the centre of Utrecht. There are 3 dates in 2018: 21 June, 30 August 2018 and 15 November 2018.

  • 22 June 2018, Dutch Social Choice Colloquium

    Date: Friday 22 June 2018
    Location: Amsterdam

    Speakers: Nicolas Maudet (Paris), Daniele Porello (Bolzano), Baharak Rastegari (Bristol), and Zoi Terzopoulou (Amsterdam).

  • (New) 28 June 2018, Talent Scheme Information Meeting (Veni, Vidi, Vici)

    Date: Thursday 28 June 2018
    Location: NWO, Laan van Nieuw Oost-Indië 300, 2593 CE The Hague, The Netherlands

    NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO secretaries and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The next meeting will be held on 28 June 2018. Registration is now open!

  • 29 June 2018, ABC Colloquium

    Speaker: Annual ABC Conference
    Title: ABC Networking Day: Connecting ABC treasures
    Date & Time: Friday 29 June 2018, 13:00-22:00
    Location: De Brakke Grond, Nes 45, Amsterdam

    As organizers of this year’s ABC Day we want to provide you with the opportunity to discover all research treasures that ABC is hiding, and build bridges to connect the involved researchers. This format is radically different form the former ‘Brain Day’, as the majority of the audience were typically students from the ABC Summer School. This time, especially researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.

    The day will consist of four elements:
    - ABC Mission Statement
    - Department highlights
    - Pitch talks
    - Drinks and bites

  • 13 - 14 July 2018, Workshop "Mathematics & Its Philosophy in the 19th Century", Amsterdam, The Netherlands

    Date: 13 - 14 July 2018
    Location: Amsterdam, The Netherlands
    Deadline: Monday 7 May 2018

    The e-Ideas Group at the University of Amsterdam, Netherlands is pleased to announce its first workshop, taking place in dates 13-14th July 2018 in Amsterdam.

    The aim of the workshop will be to foster discussion on the development of mathematics and related themes in philosophy in the German speaking context during the 19th century.

    Confirmed keynote speakers: Paola Basso (University of Bucharest, Romania), Paola Cantù (Université Aix-Marseille, France), Jeremy Heis (University of California, Irvine, U.S.A.) and James Tappenden (University of Michigan, U.S.A.).

     

    For more information, see https://philmathsbolzano.wordpress.com/ or contact .

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

  • 22 - 24 August 2018, KNAW Academy Colloquium "Generalised Baire Spaces", Amsterdam, The Netherlands

    Date: 22 - 24 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/.

  • 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

  • 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: Friday 15 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 .

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X