Institute for Logic, Language and Computation


News and Events:

These pages provide information about recent developments at or relevant to the ILLC (last update: 5 October 2015). 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.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

Headlines Calls for Papers

Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

  • 4-6 October 2015, The 26th International Conference on Algorithmic Learning Theory (ALT 2015), Banff AB, Canada

    ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).

    For more information, see or contact the PC co-chairs via the email alt2015 at

  • 8-10 October 2015, The 11th Syntax and Semantics Conference in Paris (CSSP 2015), Paris, France

    The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.

    For more information, see

  • 8-11 October 2015, Third International Conference for the History and Philosophy of Computing (HaPoC 3), Pisa, Italy

    The DHST commission for the history and philosophy of computing ( is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

    Please check out the website of HaPoC 2015 for more information on the conference at

  • 23 October 2015, Alumni Event bachelor/master programmes Informatics UvA: Amsterdam Computer Science: from the lab to the real world

    Date and time: Friday 23 October 2015, 15:00 - 19:00
    Location: Science Park 904, Amsterdam


    15:30 uur - Theo Gevers on "3D Vision"

    16:15 uur - Frank van Harmelen on "The Biggest Knowledge-Base in History"

    There will also be a business market where information on developments and open positions in industry is available.

    For registration and more information, see

  • 23 October 2015, Back to Basic alumni event, Science Park 904, Amsterdam

    Date and time: Friday 23 October 2015, 15:00-19:00

    Alumni event for all Bachelor and Master programs in the Information Sciences domain. The theme of this year is “Amsterdam Computer Science: from the lab to the real world”.

    The programme includes lectures by Theo Gevers about "3D Vision" and Frank van Harmelen about "The Biggest Knowledge-Base in History". In addition there will be a company fair with information of current developments and vacancies.

    For more information and registration, see the website at, or contact m.d.aloni at

  • 26-30 October 2015, 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015), Bertinoro, Italy

    Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

    For more information, see

  • 28-31 October 2015, The Fifth International Conference on Logic, Rationality and Interaction (LORI-V), Taipei, Taiwan

    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 detailed conference information and registration, please visit the website of LORI-V at All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at and Wesley Holliday (wesholliday at For questions concerning conference details, please contact conferenceonlogic at gmail.

  • 2-6 November 2015, The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015), Larnaca, Cyprus

    Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

    The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

    For more information, see

  • 2-4 November 2015, 3rd meeting of the Association for the Philosophy of Mathematical Practice (APMP 2015), Paris, France

    The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice –including issues in history of mathematics, the applications of mathematics, cognitive science, etc.

    Invited Speakers: Abel Lassalle Casanave (Brasil), Leo Corry (Israel, to be confirmed), Silvia De Toffoli (USA), Jeremy Gray (UK), Danielle Macbeth (USA), Paolo Mancosu (USA).

    Note that the Seventh French Philosophy of Mathematics Workshop (FPMW7) will be held in Paris immediately following the APMP, on November 5-7.

    For more information, see

  • 6 November 2015, ILLC Current Affairs Meeting

    Date and time: Friday 6 November 2015, 16:00-17:30
    Location: ILLC Common room (F1.21), Science Park 107, Amsterdam

    As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards (also in the ILLC Common Room).

    For more information, contact illc at

  • 14-15 November 2015, The Eighth Workshop on Intelligent Narrative Technologies (INT8), Santa Cruz CA, U.S.A.

    The Intelligent Narrative Technologies (INT) workshop series aims to advance research in artificial intelligence for the computational understanding and expression of narrative. INT8, the eighth workshop in the series, will be co-located with the Eleventh Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015) at University of California, Santa Cruz.

    Recent years have witnessed significant advances in the technical, creative, and aesthetic interpretation of narratives with digital media, including games, simulations, interactive fiction, and electronic literature. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. Previous meetings of this workshop have brought together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

    For more information, see

  • 15 November 2015, 4th Workshop on Games and NLP (GAMNLP-15), Santa Cruz CA, U.S.A.

    This workshop aims at promoting and exploring the possibilities for research and practical applications involving Natural Language Processing (NLP) and Games. The main objective is to provide a forum for researchers and practitioners to discuss and share ideas regarding how the NLP research community can contribute to games research and vice versa. The workshop welcomes the participation of both academics and industry practitioners interested in the use of NLP in games or vice versa. It is to be held at the 11th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15).

    For more information, see or send an email to gamnlp15 at

  • 18-20 November 2015, LABEX CIMI Pluridisciplinary Workshop on Game Theory, Toulouse, France

    The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the LABEX CIMI Thematic Trimester. The workshop will be structured along four themes: Logic and Games, Algorithmic Game Theory, Games and Voting on Networks, and Learning in Games.

    On each theme, we plan to have 3 invited talks by internationally renowned experts. In addition, per theme we plan to have one talk by a local researcher and one or two submitted contributions, primarily by PhD students. Anyone can attend the workshop but registration (registration fees will be moderate if any) will be required.

    For more information, see

  • 18-20 November 2015, LABEX CIMI Pluridisciplinary Workshop on Game Theory, Toulouse, France

    The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the the Thematic Trimester on Game Theory held in Toulouse this yar. The workshop will be structured along four themes: Logic and Games; Algorithmic Game Theory; Games and Voting on Networks; and Learning in Games.

    If you would like to present your work at the workshop, please send a four-page extended abstract to the organisers by 20 September. There will be no proceedings, and there are no restrictions concerning whether the work is original or has been published. We particularly encourage Master and PhD students to apply. For a number of students, grants (travel and accomodation paid by the LABEX CIMI) are available.

    For more information, see

  • 24-28 November 2015, The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-20), Suva, Fiji

    The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

    For more information, see

  • 27-29 November 2015, General Proof Theory, Tuebingen, Germany

    General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.

    For more information, see

  • 9-12 December 2015, 11th Conference on Web and Internet Economics (WINE-2015), Amsterdam

    Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

    For more information, see

  • 18-20 December 2015, Amsterdam Colloquium 2015

    The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

    The 20th Amsterdam Colloquium will feature two workshops on Negation and on Reasoning in Natural Language; and one evening lecture, jointly organized with the E.W. Beth Foundation.

    Furthermore, there will be a special issue of the journal Topoi with selected contributions presented at the Colloquium, both in the main programme and in the workshops.

    For more information, see

  • 4-17 January 2016, 6th Bar-Ilan Winter School on Cryptography, Tel-Aviv, Israel

    The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

    The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

    For more information, see

  • 4-7 January 2016, Logical Foundations of Computer Science 2016 (LFCS'16), Deerfield Beach FL, U.S.A.

    The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

    For more information, see

  • 6-9 January 2016, 2015-16 ASL Winter Meeting, Seattle WA, U.S.A.

    The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

    For more information, see

  • 15-19 February 2016, Lorentz center workshop on Unified Correspondence, Lorentz center, Leiden

    Unified correspondence is a very recent approach to the the well known Sahlqvist theory in modal logic, which has imported techniques from duality, algebra and formal topology and exported the state of the art of Sahlqvist theory to a wide range of logics. This wealth of new techniques, results and insights is now ready to be put to use in the mathematical environments of logical systems which are suitable to address formalization problems in the target application areas of linguistics and management science. The aim of this workshop is therefore to foster new scientific collaborations among mathematical logicians using correspondence theoretic tools on the one hand and, on the other, researchers in linguistics and management science interested in applying logical methods.

    Participation in Lorentz workshops is by invitation only, and the number of participants at any given workshop is limited to 55 per any given day. If you are interested in participating, please contact the workshop coordinator Aimeé Reinards, reinards at

    For more information, see or

  • 8-16 July 2016, North American Summer School for Logic, Language, and Information, New Brunswick, New Jersey

    The seventh North American Summer School for Logic, Language, and Information (NASSLLI) will be hosted by Rutgers, The State University of New Jersey - New Brunswick from July 8-16 2016. The summer school is aimed at graduate students and advanced undergraduates in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. It will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

    For more information, see

  • 15-26 August 2016, 28th European Summer School in Logic, Language and Information (ESSLLI-2016) Call for Course and Workshop Proposals: ESSLLI 2016, Bolzano, Italy

    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. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.

    For more information, see

        Back to top of page