News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 8 February 2016). 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.
Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.
Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. The deadline is 15 February 2016.
The LMP Graduate Student Conference is a graduate student conference in philosophy at Western University in London, Ontario, Canada. LMP will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. James Ladyman (University of Bristol) will be giving the keynote address.
Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Submission deadline is February 22nd, 2016. Papers in philosophy of physics will also be considered for the 13th Annual Clifton Memorial book prize.
The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.
We invite submissions from graduate students, post-docs and other early career researchers in decision theory, game theory, logic, and formal philosophy more generally, including philosophy of science and epistemology. Both full and poster presentations are solicited. Co-authored papers and interdisciplinary work are highly encouraged. Submission deadline is 1 March 2016.
For more information, see http://www-personal.umich.edu/~skaron/dgl/
The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.
The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.
CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)
The Programme Committee cordially invites all researchers to submit their papers for presentation. Long, short and position papers are solicited. Submission deadline is March 7, 2016.
For more information, see http://narrative.csail.mit.edu/cmn16/
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 conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.
Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
Authors are invited to submit 1-2 pages abstracts in PDF format (including references) by March 14, 2016.
For more information, see http://cca-net.de/cca2016/
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.
FG-2016 is the 20th conference on Formal Grammar, to be held in conjunction with the 28th European Summer School in Logic, Language and Information, which takes place in 2016 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.
We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). The submission deadline is March 31, 2016. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.
For more information, see http://fg.phil.hhu.de/2016/
Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.
One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.
We invite submissions in the form of 2-page abstracts on topics relating statistical and logical models of natural language. This can be a summary of an already published paper or a new contribution. Submissions will be evaluated as to their potential for establishing meaningful links between the logical and statistical approaches. Deadline: April 1st 2016. Submission webpage: https://easychair.org/conferences/?conf=salmom2016.
For more information, see https://sites.google.com/site/statlogmeaning/.
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. For more information, please contact marciseluni.wroc.pl.
Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.
NLCS'16 is affiliated with Logic in Computer Science 2016.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 10, 2016.
For more information, see http://www.indiana.edu/~iulg/nlcs.html
We are pleased to announce that SIGLEX and SIGSEM, special interest groups of the ACL, are organizing the fifth joint conference on lexical and computational semantics: *SEM (pronounced "starsem"). This time *SEM will be colocated with ACL-2016 in Berlin, Germany.
*SEM brings together researchers interested in the semantics of natural languages and its computational modeling. The conference embraces symbolic and probabilistic approaches, and everything in between; theoretical contributions as well as practical applications are welcome. The long-term goal of *SEM is to provide a stable forum for the growing number of NLP researchers working on all aspects of semantics.
We solicit both long and short papers. Submissions to *SEM-2016 must describe unpublished work and be written in English. *SEM papers due: 18th of April 2016
For more information, see https://sites.google.com/site/starsem2016/.
The Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will feature 12 plenary speakers (one of whom will give the Gödel Lecture), as well as 2 tutorials and 6 special sessions.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 29th, 2016.
For more information, see http://www.lc2016.leeds.ac.uk/
KI 2016 is the 39th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2016 will comprise paper and poster presentations and a variety of workshops and tutorials.
KI 2016 is co-located with Informatik 2016 (Annual Conference of the German Informatics Society) and MATES 2016 (The 14th German Conference on Multi-Agent System Technologies).
The conference invites original research papers from all areas of AI research, both full technical papers and short technical communications. We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Paper submission deadline: May 13, 2016.
KI 2016 also invites proposals for workshops to be held in conjunction with the conference. There is no restriction regarding topics, as long as there is a clear relevance to KI. Proposal submission deadline: January 29, 2016.
For more information, see http://ki2016.org/
The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, and computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE's strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired in, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 June 2016.
For more information, see http://www.cle.unicamp.br/eventos/
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.
There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.
The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS
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/.
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).
For more information see https://sites.google.com/site/szklarskaporeba17/
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.
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 illcuva.nl
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).
For more information, see http://dl2016.cs.uct.ac.za/
PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.
The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.
For more information, see www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/
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.
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).
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
For more information see http://naacl.org/naacl-hlt-2016/
ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.
For more information, see http://icml.cc/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.
For more information see http://www.salford.ac.uk/conferencing-at-salford/conference-management/
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.
On June 24th the Amsterdam Brain and Cognition center organizes the ABC Brain Day (& Night), the yearly conference where ABC members present their research.
For more information, see http://abc.uva.nl/events/item/brainday-2016.html
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.
For more information, see http://lipn.univ-paris13.fr/CIE2016/
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 North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.
NASSLLI 2016 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://nasslli2016.rutgers.edu/
The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.
Funding is available for students and early postdocs.
For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometryuni-konstanz.de.
Target group: excellent female students who want to specialize in mathematical philosophy
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.
This year the focus of the summer school will be to provide an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
The deadline for applications is March 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/
For more information, see http://esslli2016.unibz.it/?page_id=256
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 45 courses at foundational, introductory, and advanced levels, as well as 3 workshops, invited lectures and a student session to foster interdisciplinary discussion of current research. Moreover, the school features 3 satellite events: the COMPOSES workshop, the 21st Conference on Formal Grammar (FG 2016), and the Computational Creativity, Concept Invention, and General Intelligence (C3GI) Workshop.
Deadline for registration: 31 July 2016 (early registration: 31 May 2016). For more information, see http://esslli2016.unibz.it/.
This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.