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
25 - 27 July 2018, Inquisitive logic workshopLocation: Room C0.01 (Potgieterzaal), Universiteitsbibliotheek, Singel 421-427, Amsterdam.
Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.
The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.
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.
23 - 25 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/.
4 - 7 September 2018, Conference of the Académie Internationale de Philosophie des Sciences (AIPS2018)
This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.
The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.
6 - 7 October 2018, 104th Peripatetic Seminar on Sheaves & Logic (PSSL), Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.
Further details will be available in due course.For more information, contact Benno van den Berg at Benno van den Berg.
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/.
21 - 25 January 2019, Syntax Meets Semantics 2019Location: Doelenzaal, University Library, Singel 425 Amsterdam NederlandDeadline: Friday 5 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/.
5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, LatviaLocation: Riga, LatviaDeadline: 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.
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).