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.
Headlines Upcoming Events
26 April 2018, ILLC Seminar, Helle Hvid HansenSpeaker: Helle Hvid HansenTitle: Coalgebra, Algebra and Modal Logic: Reasoning about the structure and behaviour of computationsLocation: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
26 April 2018, Computational Social Choice Seminar, Lucy van OostveenSpeaker: 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)Location: Room F3.20, Science Park 107, Amsterdam
(Updated) 26 April 2018, Logic and Interactive Rationality (LIRa), Jakub SzymanikSpeaker: Jakub SzymanikTitle: Logic as a Grammar of ThoughtLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2018/03/lira-session-jakub-szymanik-2/.
30 April 2018, ILLC Seminar, Dorothea BaumeisterSpeaker: Dorothea BaumeisterTitle: Collective Decision Making: Argumentation Systems and Committee ElectionsLocation: 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.
1 May 2018, ILLC Seminar, Bahareh AfshariSpeaker: Bahareh AfshariTitle: On the logic of induction and co-inductionLocation: 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.
(New) 3 May 2018, Logic and Interactive Rationality (LIRa), Ana Lucia Vargas-SandovalSpeaker: Ana Lucia Vargas-SandovalLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2018/04/lira-session-ana-lucia-vargas-sandoval/.
(New) 4 May 2018, Cool Logic, Anna BellomoSpeaker: Anna BellomoTitle: Two conceptions of domain expansion in mathematicsLocation: 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!
9 May 2018, Amsterdam Metaphysics Seminar, Ilaria CanavottoSpeaker: Ilaria CanavottoTitle: WiP on MereologyLocation: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
(New) 9 May 2018, Algebra|Coalgebra Seminar, Nick BezhanishviliSpeaker: Nick Bezhanishvili (ILLC)Title: A simple propositional calculus for compact Hausdorff spacesLocation: 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.
11 May 2018, DIP Colloquium, Markus PantsarSpeaker: Markus Pantsar (Helsinki)For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35120/.
14 May 2018, Colloquium on Mathematical Logic, Zlatan DamnjanovicSpeaker: Zlatan Damnjanovic (University of Southern California)Title: On Weak Fragments of Set Theory and ArithmeticLocation: 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 B.vandenBerg3 at uva.nl.
14 May 2018, Colloquium on Mathematical Logic, Zlatan DamnjanovicSpeaker: Zlatan DamnjanovicLocation: Room TBA, AmsterdamFor more information, see http://www.staff.science.uu.nl/~ooste110/abstracts1718#damnjanovic.
(New) 15 May 2018, Computational Linguistics Seminar, Arianna BisazzaSpeaker: Arianna Bisazza (Leiden University)Title: Hints of linguistic structure in neural models of language and translation.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 GrillettiSpeaker: Gianluca GrillettiLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2018/04/lira-session-gianluca-grilletti/.
17 May 2018, Spinoza Lectures, Susan WolfSpeaker: Susan WolfTitle: Aesthetic ResponsibilityLocation: Aula, Oude Lutherse kerk, Singel 411, Amsterdam
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 AssadianSpeaker: Bahram Assadian (Birbeck, University of London)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35122/.
23 May 2018, Amsterdam Metaphysics Seminar, Giovanni MerloSpeaker: Giovanni Merlo (University of Stirling)Title: The Metaphysical Problem of Other MindsLocation: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
24 May 2018, Logic and Interactive Rationality (LIRa), Davide GrossiSpeaker: Davide GrossiLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2018/03/lira-session-davide-grossi-2/.
31 May - 2 June 2018, Colloquium on Reasoning in Social Context, AmsterdamLocation: Trippenhuis Building, Kloveniersburgwal 29, 1011 JV AmsterdamDeadline: 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 S.J.L.Smets at uva.nl.
6 June 2018, Amsterdam Metaphysics Seminar, Katrin SchulzSpeaker: Katrin SchulzTitle: Generics and CausalityLocation: Room C1.05, Oudemanhuispoort 4-6, Amsterdam
14 June 2018, DIP Colloquium, Michael GlanzbergSpeaker: Michael Glanzberg (Northwestern University)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35118/TBA.
14 June 2018, Spinoza Lectures, Susan WolfSpeaker: Susan WolfTitle: Selves Like UsLocation: Aula, Oude Lutherse kerk, Singel 411, Amsterdam
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 NguyenSpeaker: Dong Nguyen (Turing Institute)Location: Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LaCo/CLS/.
(New) 21 June 2018, Workshop ERC Starting and Consolidator Grant
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.For more information, see https://english.rvo.nl/news/events/workshop-erc-starting-and-consolidator-grant-21-june-2018.
22 June 2018, Dutch Social Choice ColloquiumLocation: Amsterdam
Speakers: Nicolas Maudet (Paris), Daniele Porello (Bolzano), Baharak Rastegari (Bristol), and Zoi Terzopoulou (Amsterdam).For more information, see http://events.illc.uva.nl/DSCC/meetings.php#2018-06-22.
(New) 28 June 2018, Talent Scheme Information Meeting (Veni, Vidi, Vici)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 ColloquiumSpeaker: Annual ABC ConferenceTitle: ABC Networking Day: Connecting ABC treasuresLocation: 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 bitesFor more information, see http://abc.uva.nl/content/events/conferences/2018/06/annual-abc-conference.html.
13 - 14 July 2018, Workshop "Mathematics & Its Philosophy in the 19th Century", Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 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.).
6 - 17 August 2018, 30th European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, BulgariaLocation: Sofia, BulgariaDeadline: 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.
22 - 26 August 2018, Second SYSMICS Summer School, Les Diablerets, SwitzerlandLocation: Les Diablerets, SwitzerlandTarget audience: Master's and PhD studentsCosts: 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.
22 - 24 August 2018, KNAW Academy Colloquium "Generalised Baire Spaces", Amsterdam, The NetherlandsLocation: 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 MagidorSpeaker: Ofra Magidor (Oxford)Location: ILLC seminar room F1.15For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35119/.
23 November 2018, DIP Colloquium, Catarina Dutilh NovaesSpeaker: Catarina Dutilh Novaes (Vrije Universiteit)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35121/.
5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, LatviaLocation: Riga, LatviaDeadline: 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.
16 - 19 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation, GeorgiaLocation: 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).