News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 26 November 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.
Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.
The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).
We invite submission of blind abstracts of no longer than 250 words, to be sent by November 30, 2015.
For more information see https://sites.google.com/site/szklarskaporeba17/
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.
AAMAS 2016, the fifteenth conference in the AAMAS series, seeks the submission of analytical, empirical, methodological, technological, and perspective papers. Authors are requested to pay particular attention to discussing how their work relates to the state of the art in autonomous agents and multiagent systems research. In addition to submissions in the main track, AAMAS 2016 will be soliciting submissions to four special tracks (Innovative Applications, Robotics, Embodied Virtual Agents and Human-Agent Interaction, and Blue Sky Ideas) and a JAAMAS track. Deadline for submissions: November 13th, 2015.
The AAMAS 2016 Organizing Committee also invites proposals for the Tutorial and Workshop Programs, both to be held on 9-10 May, immediately before the technical conference. Tutorials will be a half or full day long. Workshops can vary in length, but most will be one full day in duration. Deadline for tutorial and workshop proposal submissions: December 1 and October 16 2015, respectively.
For more information, see http://sis.smu.edu.sg/aamas2016
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science.
Distinguished opening lecture: Herbert Edelsbrunner (IST, Austria) Invited Speakers include Christos H. Papadimitriou (Berkeley, USA), Orna Kupferman (Hebrew University, Israel), Virginia Vassilevska Williams (Stanford, USA) and Vladimir Kolmogorov (IST, Austria).
Authors are invited to submit an extended abstract or a full paper of at most 12 page. Proofs and other material omitted due to space constraints are to be put into a clearly marked appendix to be read at discretion of the referees. Papers must present original (and not previously published) research. Submission deadline: December 11, 2015
CiE 2016 is the twelfth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
CiE 2016's Motto is: "Pursuit of the Universal". The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines.
The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to computability for presentation at the conference and inclusion in the proceedings. Papers that build bridges between different parts of the research community are particularly welcome. Submission deadline: 15 December 2015.
For more information, see http://lipn.univ-paris13.fr/CIE2016/
The conference covers a broad spectrum of disciplines working towards enabling intelligent systems to interact with humans using natural language, to understanding computational and other linguistic properties of language, and to enhancing human-human communication through services such as speech recognition, automatic translation, information retrieval, text summarization, and information extraction
The conference invites the submission of long and short papers on substantial, original, and unpublished research in all aspects of automated language processing and creation of language resources. The short paper format may also be appropriate for a small, focused contribution, a work in progress, a negative result, an opinion piece or an interesting application nugget. Deadline for both Long and Short paper submission: Jan 6, 2016.
For more information see http://naacl.org/naacl-hlt-2016/
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions can be made in two categories: regular research papers and system descriptions. Submission deadline (title and abstract): 29 January 2016.
Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field.
NLDB 2016 invites researchers from academia and industry to submit papers for oral or poster presentations on recent, unpublished research that addresses theoretical aspects, algorithms, applications, architectures for applied and integrated NLP, resources for applied NLP, and other aspects of NLP, as well as review and discussion papers. Submission deadline is 31 January 2016.
For more information see http://www.salford.ac.uk/conferencing-at-salford/conference-management/
We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.
Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. papers for presentation. Submission deadline is TBA.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.
QPL is a workshop that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 13 March 2016.
For more information see http://qpl2016.cis.strath.ac.uk/
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at the Department of Computer Science, Benemérita Universidad Autónoma de Puebla, México, from August 16th to 19th, 2016.
It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by Mar 14, 2016, and the full paper by Mar 21, 2016 (firm date).
For more information, see http://www.wollic.cs.buap.mx/
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.
Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Machine Translation, Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of full papers: March 15, 2016.
For more information, see http://www.tsdconference.org/tsd2016
The ESSLLI 2016 Student Session will be held during ESSLLI 2016 at the Free University of Bozen-Bolzano, Italy, between the dates of August 15-26, 2016. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation.
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters . This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.
Submission deadline: March 10, 2016. Detailed guidelines regarding submission can be found on the Student Session website: http://www2.sfs.uni-tuebingen.de/esslli-stus-2016/. Please direct inquiries about submission procedures or other matters relating to the Student Session to marisa.koellneruni-tuebingen.de and rziaisfs.uni-tuebingen.de.
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.
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 http://www.LPAR-20.org/
Location: Doelenzaal, University Library, Singel 425, Amsterdam
Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).
For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rosseluva.nl.
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 http://ls.informatik.uni-tuebingen.de/GPT/
Speaker: Nicholas Asher, Bart Geurts, Julie Hunter, Hans Kamp, Emar Maier, Rob van der Sandt, Jennifer Spenader, Henk ZeevatDate and time: Friday 27 November 2015, 10:00-18:00Location: Groningen, the NetherlandsCosts: free
We are inviting participants for the workshop "Projection in Discourse: from formal to data-driven approaches”, held on Friday November 27 at the University of Groningen, the Netherlands, on the occasion of Noortje Venhuizen's PhD defense. The aim of this workshop is to bring together current theoretical and empirical analyses of the behaviour of different types of projection phenomena, and their relation to other aspects of meaning. Besides several invited talks, the workshop will include a "data-driven" session, in which the participants are invited to collaborate on the analysis of real-life linguistic examples.
Attending the workshop is free, but we kindly ask you to register before Friday, November 20, via the registration form on the website.
For more information, see: https://sites.google.com/site/projectionindiscourse
Date and time: Thursday 3 December 2015, 10:30-18:00Location: Science Park Congress Centre, Science Park 125, AmsterdamCosts: none
Several internationally renowned speakers will bring you up-to-date on the exciting topic of quantum computing. The symposium is aimed towards a general academic public. CWI Lectures 2015 are organized by CWI´s Algorithms & Complexity group, headed by Prof. Harry Buhrman.
Speakers: Prof. Ronald Hanson (Delft TU), Prof. Richard Jozsa (Cambridge), Prof. Serge Massar (Bruxelles) and Prof. Mario Szegedy (Rutgers).
Date and time: Monday 7 December 2015, 15:00-17:15Location: Belle van Zuylenzaal (Room C1.13), Universiteitsbibliotheek, Singel 425, Amsterdam
The next History of Humanities and Sciences Meeting will take place on Monday 7 December, with two talks on HHS -- ranging from Europe to Japan!
After the talks, we will give an update about the latest news on our Center. The Governing Board (CvB) of the UvA has decided last month to grant our subsidy request and we will start as an official Center for the History of Humanities and Sciences from 2016 onwards. This is great news, and we will celebrate the new Center with a major kick-off event in 2016. More news will follow soon. On December 7 we will already give some further details about our new course in HHS, our research program for the years to come, our ideas about the fellowship program, and our new collaboration between the Max Planck Institut für Wissenschaftsgeschichte and the UvA.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=7043 or contact rens.bodgmail.com
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 http://event.cwi.nl/wine2015/.
- Martin Otto (TU Darmstadt)
- Igor Walukiewicz (LABRI, Université Bordeaux-I)
- Sebastian Enqvist (University of Amsterdam)
- Alessandro Facchini (IDSIA)
- Yde Venema (University of Amsterdam)
International experts will give talks on topics related to fixpoint logics, automata, bisimulation and second-order logics. More information on the workshop can be found on the webpage at http://fcarreiro.github.io/workshop.html, or contact f.m.carreirouva.nl.
The aim of the Inquisitive Turn project (2010-2015) has been to develop a new perspective on meaning in semantics, logic, and pragmatics, which places informative and inquisitive content on equal footing.
The closing event of the project will consist of two workshops, one on "Questions in Logic and Semantics", and one on "Questions in Pragmatics".
For more information, see https://www.illc.uva.nl/inquisitivesemantics/workshops/
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 http://www.illc.uva.nl/AC/AC2015/
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 http://lfcs.info/lfcs-2016/
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 http://crypto.biu.ac.il/6th-biu-winter-school
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 http://www.aslonline.org/asl_meetings.php
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
Note that it was previously announced that this event was going to take place on 8 January 2016.
For more information, see http://www.illc.uva.nl/ILLCColloquium/
Speakers: Regine Eckardt, Martina Faller, Julie Hunter, Todor Koev, Corien Bary & Emar Maier
There are various forms of reported speech in which the aspect of reporting is somehow backgrounded, or not-at-issue. and the content of the report itself, i.e., the complement or quoted phrase, serves as the main point. In this workshop we want to bring together the more or less disjoint strands of research on the different classes of backgrounded reporting to explore the possibilities of a unified approach of all these phenomena that takes into account the relevant facts about commitment, denial, and projection.
For more information, see https://sites.google.com/site/background2016/
Costs: only travel and accommodation
The first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.
As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.
The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.
For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-2016/
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, reinardslorentzcenter.nl.
The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".
For more information, see http://www.interdisciplinary-college.de/.
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.
The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.
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 http://ruccs.rutgers.edu/nasslli2016/
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 http://esslli2016.unibz.it/.