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 August 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 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 NetherlandsLocation: Amsterdam, The NetherlandsDeadline: Friday 5 July 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.For more information, see https://sites.google.com/site/radicalconcur/.
27 - 30 August 2019, The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 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/.
30 August 2019, Welcoming the new MoL students with pizzaLocation: Café Polder, Science Park 201, Amsterdam
Like every year we welcome the new MoL students with drinks and pizza outside Polder.
You're all welcome to join!
13 September 2019, Computational Social Choice Seminar, Aidan LyonSpeaker: Aidan Lyon (DelphiCloud)Location: Room F1.15, Science Park 107, Amsterdam
16 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, GeorgiaLocation: Batumi, GeorgiaDeadline: 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.
(New) 19 September 2019, Logic and Interactive Rationality (LIRa), Erman AcarSpeaker: Erman Acar (VU Amsterdam)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/08/lira-session-erman-acar/.
4 October 2019, ILLC Open DayLocation: ILLC, Science Park 107, Amsterdam
This year the ILLC will organise its very own Open Day. It will take place on Friday October 4th, so please mark this day in your calendars.
On this day, ILLC invites all colleagues at UvA and CWI interested in
our research to visit the institute, watch posters and demos, attend
flash talks and enjoy drinks afterwards.
More information about the Open Day will follow soon.For more information, see http://www.illc.uva.nl/AbouttheILLC/Activities/ILLC-Open-Day/ILLC-Open-Day-2019/ or contact Peter van Ormondt at P.vanOrmondt at uva.nl.
18 - 21 October 2019, The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, ChinaLocation: South-West University, Chongqing, ChinaDeadline: 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.
14 November 2019, Joint LoC-LIRa Session, Barbara VetterSpeaker: Barbara VetterLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/07/joint-loc-lira-session-barbara-vetter/.
28 November 2019, Logic and Interactive Rationality (LIRa), Rasmus RendsvigSpeaker: Rasmus RendsvigLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/07/lira-session-rasmus-rendsvig-2/.
29 May 2020, DIP Colloquium, Carlotta PaveseSpeaker: Carlotta Pavese (Cornell)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35133/.
3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: 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.