News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 30 May 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.
CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics, with a special focus on Bulgarian (including multilingual work).
This year, our invited speaker will be Dr. Preslav Nakov from the Qatar Computing Research Institute. He will give a lecture on: Exposing Paid Opinion Manipulation Trolls in News Community Forums
CLIB 2016 invites contributions on original research on NLP. There will be two categories of research papers: oral and poster presentations. Paper submission deadline: 31 May 2016.
The conference brings together researchers from various fields of logic with applications in computer science. In addition to contributed lectures, student sessions will be organized.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract submission deadline: June 1, 2016
For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2016>
The conference features talks by invited speakers Catarina Dutilh Novaes (Groningen) and Stephen Read (St Andrews).
It will also include submitted talks on the following topics: - the bounds of logic and the bounds of rationality
- criteria of formality, logical hylomorphism, the invariance under isomorphism as a criterion of formality
- psychologism and anti-psychologism
- limits of classical logic, logical monism and logical pluralism, universal logic
- logic as a theory of agency, ideal and non-ideal logical agents
- logic as metaphysics, the connection between epistemic logic and epistemology
- Wittgenstein and the limits of logic
- logical form and linguistic form, the problem of ontological commitment
The Programme Committee cordially invites all researchers to submit their papers for presentation. Authors are asked to submit an abstract up to 1000 words. Submission deadline is 1 June 2016.
HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.
The conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). Representative areas include, but are not restricted to: logic and finite model theory, automata theory, games for logic and verification. The contributed talks are around ten minutes. Ideally, they let participants learn something new, and enable them to understand the objective/problem/question and the result, and to get an idea of the technique.
The Programme Committee encourages researchers to attend and present their best work, be it already published or not, at the Highlights conference. The submission deadline is June 3, 2016. As you submit a proposal for a presentation, not a paper, submissions should have a single author, who is the speaker (the abstract, of 1-2 pages, may include a list of coauthors).
Detailed information about Highlights 2016 are available at http://highlights-conference.org.
This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).
The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.
We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. Deadline for extended abstracts and proposals: 4. June 2016.
For more information, see http://www.uc.pt/en/congressos/thedu/thedu16
Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI.
Accordingly, in this workshop, we will be interested in two main issues:
- How can FCA support AI activities such as knowledge processing, learning, natural language processing and information retrieval.
- How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: June 5, 2016.
For more information, see http://www.fca4ai.hse.ru/2016
Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.
It turns out that everyday reasoning usually shows two salient intertwined aspects, the ampliative aspect (augmenting reasoning by allowing more conclusions) and the defeasible aspect (curtailing reasoning by disregarding or disallowing some conclusions). Several efforts have been put into the study and definition of formalisms within which these aspects could adequately be captured at different levels, but despite the progress that has been achieved, a large avenue remains open for exploration.
DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Submission deadline: 12 June 2016.
This special issue initiates Philosophy and Technology's new subject area on logic and technology by proposing to explore how our thinking about logic can be shaped by our thinking about technology. This includes, first and foremost, the suggestion that we can see logic as a technology itself. A general header under which we can study logics as technologies starts from the insight that logical systems and theories are (pick your preferred term) developed, engineered or designed, and are often so with a particular application in mind. Many of their properties are best seen as the result of design or modelling decisions.
We welcome papers that explore the potential connections between logic and technology, and further develop fruitful ways of technological thinking about logic. Deadline for submission (extended): 15 June 2016.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=7387 or contact Patrick Allo at patrick.allooii.ox.ac.uk.
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 15 June 2016.
For more information, see http://www.cle.unicamp.br/trendsxvi/
The scope of this conference is the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax, semantics and pragmatics as well as the implementation of natural language processing software relying on logical formalisation. As 20 years ago LACL will also take place at Loria in Nancy.
Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition. Paper submission deadline: June 15, 2016
For more information, see http://lacl.gforge.inria.fr/
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in: implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.
The programme will consist of invited lectures as well as contributed talks selected by the Programme Committee. Invited speakers: Anupam Das (Lyon), Hugo Férée (Darmstadt), Yevgeny Kazakov (Ulm) and Emanuel Kieronski (Wroclaw).
We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The Programme Committee will check relevance and may provide additional feedback. Submission deadline: June 17th, 2016
For more information, see http://lcc2016.cs.unibo.it/
The aim of this workshop is to further stimulate the synergy between, on the one hand, ongoing work that concerns the logic and philosophy of human (intentional) agency, and on the other, conceptual and formal work on causation and causal reasoning. Although this means the workshop covers a very broad range of possible topics, we particularly welcome talks in which both (intentional) agency and causation, and their logical and conceptual interrelations, get a fair share.
Keynote speakers: Jan Broersen (University of Utrecht, Netherlands), Agnes Moors (Catholic University of Leuven, Belgium), Elisabeth Pacherie (Institut Jean Nicod, France)
Authors are invited to submit an original, previously unpublished abstract of 300 to 500 words, on any of the workshop topics. Abstract submission deadline: Friday 17th June 2016.
For more information, see http://www.lrr.ugent.be/ac/
The targeted audience for this ESSLLI-2016 workshop are researchers associated with fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence, as well as researchers coming from application areas, like computer-aided innovation (CAI). Also, in 2016 especially researchers working on logical methods related to creativity, concept formation, and conceptual change are invited to submit original research contributions or opinion papers to the workshop.
We invite papers that make a scientific contribution to the fields of computational creativity, idea generation and/or artificial general intelligence. Paper submission deadline: UTC 23:59, June 19, 2016
For more information, see http://c3gi.inf.unibz.it/
TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.
Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. Full papers due: June 20th, 2016.
AI research continues to face huge challenges in developping truly intelligent systems. Recent developments in neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The workshops in the NeSy series are intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.
Keynote speakers are Leon Bottou (Facebook AI Research, U.S.A.) and Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.). NeSy'16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.
Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Deadline for paper submission: May 25, 2016. Additionally, for the first time presentations based on extended abstracts will be considered. These shall allow to report on latest results which had not been available at the time of paper submission, and have a deadline for submission of June 20, 2016.
In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.
Poznan Reasoning Week, consisting of three conferences, aims at bringing together experts from various fields, whose research focus on reasoning processes and their modelling from three perspectives:
1. the interplay of logic and cognition (Logic and Cognition 2016);
2. formal modelling of reasoning and argumentation (14th ArgDiap);
3. natural question processing (QuestPro 2016).
We invite you to submit proposals for contributed talks and posters. Submission deadline: 30.06.2016.
For more information, see https://poznanreasoningweek.wordpress.com/
The last thirty years have witnessed a veritable explosion of the philosophical debate on truth. The touchpaper which lit the fuse for this was undoubtedly the Deflationist Renaissance (half a century after the seminal work of Ramsey) that took place starting from the Seventies. By arguing on the merits and shortcomings of deflationism, philosophers have come to broaden and deepen the discussion on truth even beyond the boundaries of deflationism itself.
The aim of the conference is to bring together researchers working on truth, both advocates and critics of deflationary conceptions, in order to take stock of deflationism about truth and of its implications in fields such as metaphysics, logics, epistemology, meta-ethics.
We invite submissions of abstracts aiming at evaluating in some respect deflationary conceptions of truth. 7 slots are open for submitted papers. Submissions must be received by July 3rd, 2016.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=7271 or contact Marco Marongiu at mmarongiuuniss.it.
Professors Mihir Kumar Chakraborty and Michele Friend are co-editing a special issue of the Journal of Indian Council of Philosophical Research (JICPR). This will be the first collection of edited papers on the subject of mathematical pluralism in the world.
"Pluralism" is an attitude. It means having a principled tolerance towards whatever it is one is pluralist about. The tolerance can be principled in different ways. One is that the pluralist might think that he or she can learn more, and not be led too far astray, by seriously employing or entertaining several: methodologies, theories, types of theory etc. A second reason is that on present evidence there is no good enough reason to be monist about: methodology, theory, type of theory, foundations and so on. A third reason is that one observes pluralism in the successful practice of mathematics. Finally, there are external reasons that also give rise to plurality: these stem from the society and culture in which mathematics is born. The traditions of Arabic, Chinese and Indian mathematics were different from the Greek.
This volume will track both kinds of plurality, internal as well as external and project pluralism in mathematics through representative articles. We shall accept papers on these, or related, themes. If you are not sure that your topic falls within "mathematical pluralism", you may send in an abstract for evaluation of relevance to Michelegwu.edu or mihirc4gmail.com by 20 May. Regardless of whether you have sent in an abstract, papers are due 15 July 2016.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=7357 or http://www.springer.com/philosophy/journal/40961/PSE
TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Paper submission deadkube: July 26, 2016 (23:59h, CET).
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.
Authors are invited to submit an abstract (500-1000 words) related to the above or any other questions on the topic of argument strength to argumentstrength2016gmail.com by August 1, 2016.
For more information, see http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/
ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. Deadline for Submission: 12 August 2016.
As in previous years, the principal aim of our Conference is to bring together philosophers, linguists and logicians. PhiLang2017 will be concerned with "objects of inquiry" (or on "what there is") in language, philosophy, logic, argumentation theory, and literature.
We also invite contributions investigating the general and more specific relations between philosophy of language, philosophy of literature, and philosophy of mind.
Deadline for submission is 30 November 2016. Presentations should last maximum 30 minutes (including discussion and questions). Notification of acceptance will be sent by 1 March 2017.
For more information, see http://filologia.uni.lodz.pl/philang/
The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.
A call for contributed papers and symposia proposals will be announced in July 2016. The submission deadline will be 8 January 2017.
For more information, see http://analyticphilosophy.eu/ecap9/
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 rise of Bitcoin and other so-called "cryptocurrencies" has renewed interest in electronic payment systems and raised many research questions, which range from understanding, formalizing, and analyzing the protocols that support the underlying blockchain technology to designing new cryptocurrencies with better security guarantees. There have been a number of relevant papers that have appeared in recent cryptography and security conferences, but the space of research problems is enormous and -- especially with the introduction of more robust blockchain platforms like Ethereum -- is still growing.
This summer school aims to bring together the communities working on cryptocurrencies, cryptographic electronic cash, and distributed consensus. The target audience is anyone (students, researchers, developers, professionals) with an interest in cryptography/security. It is helpful for participants to have a basic knowledge of cryptography but we will make sure to provide an overview of all the necessary cryptographic building blocks; similarly, we expect that the school will be able to educate and motivate even those participants who already work within these research areas.
For more information, see http://bitcoinschool.gr/
Date and time: Thursday 2 June 2016, 15:00-17:00Location: OMHP Room C3.23C, Oudemanhuispoort 4-6, Amsterdam
The Grant Team organises an information meeting on European consortium grants, ie. funding schemes for projects to be carried out by international consortia. Confirmed speakers are Wim Hupperetz, Julia Noordegraaf and Ronald Pfau; they will speak about (inter alia) the Marie Curie Innovative Training Networks, the Horizon2020 funding scheme (in particular Societal Challenge 6: 'Europe in a changing world - Inclusive, innovative and reflective societies') and best practices regarding networking in 'Europe' and forming fruitful international connections. The meeting is scheduled for Thursday 2 June at 15.00-17.00, Oudemanhuispoort room C3.23. All are welcome; please send an e-mail to subsidie-fgwuva.nl if you are planning to attend.
For more information, see https://medewerker.uva.nl/en/humanities/a-z/a-z/a-z/content/folder-2/grant-team/
Location: Nina van Leerzaal, Allard Pierson Museum, Oude Turfmarkt 129, Amsterdam
Kick-off workshop for the ERC grant "BroadSem: Broad Coverage Semantic Parsing" on June 2 in central Amsterdam (Allard Pierson Museum). Besides semantic parsing, we will also look into related problems and methods in natural language understanding. We have a great set of guest speakers including Guillaume Bouchard (UCL), Mirella Lapata (Edinburgh), Dan Roth (UIUC) and Nathan Schneider (GWU). Free sign-up!
For more information, see https://broadsem.wordpress.com/
The workshop aims to bring together researchers working in (1) Provability Logic, (2) Realizability, (3) Proof certificates and (4) Justification Logic. The aim is to foster collaboration and share ideas between the four fields, and all presentations will be accessible to researchers and students working in any of them.
There will be one session devoted to each field, each with two invited speakers. In order to generate a constructive exchange, aside from one hour of speaking time, each presentation will include an additional half hour devoted to questions and discussion.
The workshop is open to all and no registration is needed. For more information, see the workshop webpage at http://www.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4th-june or direct inquiries to David Fernández Duque at david.fernandezirit.fr.
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.
For more information see http://qpl2016.cis.strath.ac.uk/
Date and time: Tuesday 7 June 2016, 14:00-17:00 hCosts: FreeHomepage: www.fleurbouwer.nl/workshop
When we hear music, we often tap our feet, dance together or play and sing together. In order to do this, we need to be able to synchronize our behavior to the regular beat that is often present in music. This seems an easy task, but how do our brains accomplish this? Can everyone do this? And is this specific to humans?
This workshop on beat perception is organised on the occasion of the PhD defense of Fleur Bouwer on June 8. Distinguished international speakers will discuss several aspects of beat perception and prediction. Topics range from the role of the motor system in beat perception, to beat perception in non-human animals and timing and predictions in the human brain.
For more information on the workshop, see http://www.fleurbouwer.nl/workshop
Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions.
The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.
For more information, see http://2016.discotec.org/ice2016
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 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.
This is a workshop to be held in Canterbury which explores how type theory might play the kinds of role in philosophy taken at present by standard calculi such as first-order logic, set theory and modal logic. The event will consist of tutorials and talks and is open to anyone who would like to find out more about type theory.
For more details see https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.
This workshop will critically explore Georg Kreisel's seminal contributions to logic and the philosophy of mathematics, by bringing together a number of experts to discuss developments initiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve around three main topics: the "unwinding program" in proof theory, new insights about intuitionism and finitism in the foundations of mathematics, and Church's thesis and informal rigor in computability and philosophy of mathematics.
For more information, see the conference webpage at http://www.ihpst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at marianna.antonuttigmail.com and mattia.petrolouniv-paris1.fr.
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/
The London Aesthetics Forum (Institute of Philosophy), with generous funding from the British Society of Aesthetics, announces a conference on Pictures and Propositions. The event is free and open to all but registration is required.
This conference brings philosophers from art and aesthetics working on pictorial representation together with philosophers of mind and language working on the nature of content. We believe that each party is well positioned to offer new insights to the other.
For more information, see https://www.eventbrite.co.uk/e/pictures-and-propositions-tickets-24998072909. Please direct inquires to Alex Grzankowski: ag890cam.ac.uk
The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS)
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.
For more information, see http://automata2016.ini.uzh.ch/
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.
For more information, see http://cca-net.de/cca2016/
The topic of the workshop is intended to be construed fairly broadly, with an eye on questions regarding conceptual clarification. We are especially interested in debates concerning:
(*) a priori methods and a posteriori methods in philosophy
(*) conceptual analysis and Carnap's conception of explication
(*) formal methods in philosophy
Attendence is free of charge, but please register by June 10, 2016. For details see https://philosophicalmethods.wordpress.com/.
The Plural Foundations conference will showcase and explore the uses of logics of plural quantification in the philosophical foundations of mathematics.
Speakers: Neil Barton (Kurt Gödel Research Center) Francesca Boccuni (San Raffaele, Milan) Berta Grimau (Glasgow) and Øystein Linnebo (Oslo).
For more information and registration, see https://www.eventbrite.co.uk/e/. Note that there are a limited number of places available at this workshop. Please direct any further enquiries to Simon Hewitt at s.hewittleeds.ac.uk.
Date and time: Friday 17 June 2016, 16:00-17:30
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.
All are welcome, including MoL students.
Note that this is different date than was communicated before, i.e., the 24th of June. That date clashed with other events. We therefore decided to move the ILLC colloquium to the 17th of June.
For more information, see http://www.illc.uva.nl/ILLCColloquium/Midsummernight2016/
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/
Keynote speakers are Richard Pettigrew (University of Bristol), Sonja Smets (University of Amsterdam) and Kevin Zollman (Carnegie Mellon University). The full program and further information can be found at http://www.philos.rug.nl/few2016/
*Participation is free, but registration until Mai 31 is required. To register please write an email to 2016fewgmail.com
The Formal Epistemology Workshop 2016 is followed by a workshop on chance. For further information on this second event please visit http://www.philos.rug.nl/chance/
Speaker: Anuj Dawar (Cambridge)Location: Room F1.15, ILLC, Science Park 107, Amsterdam
Anuj Dawar, who is visiting from Cambridge, will give a three-part tutorial on 'Definability and Complexity of Counting Logics'.
Part 1 (21 June 13:00-15:00) covers first-order logic with counting, fixed-point logic with counting, relations to complexity, and definability of constraint satisfaction problems.
Literature: Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)
Part 2 (22 June 13:00-15:00) covers combinatorial optimization problems and their linear programming relaxations and issues of symmetry and definability.
Literature: Matthew Anderson, Anuj Dawar, Bjarki Holm, Solving Linear Programs without Breaking Abstractions, J. ACM 62(6): 48 (2015)
Part 3 (23 June 11:00-14:00) covers the relationship between definability and circuit complexity for first-order logic, fixed-point logic and counting logics.For more information, please contact bloewescience.uva.nl
Literature: Matthew Anderson, Anuj Dawar: On Symmetric Circuits and Fixed-Point Logics. STACS 2014: 41-52
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
One major challenge throughout the history of programming is the development of an interface between humans, software and hardware. It has been the task of the so-called operating system to: maintain a file system; regulate access to resources; synchronize operations; etc. Today, Operating Systems are usually equipped with Graphical User interfaces (GUI) designed to give the 'user' a 'friendly' experience thus hiding – and sometimes even rendering inaccessible – much of the underlying structure and features of the computing machinery. The aim of the current symposium is to offer an opportunity for historical and philosophical reflection on operating systems and the programs they coordinate.
Our approach is interdisciplinarity and openness towards different fields relevant to HaPoC. We were and are strongly convinced that such trans- and interdisciplinarity is necessary if one wants to reflect on a discipline such as computer science with its multidimensional nature. The current symposium will be organized in a similar manner and invites researchers coming from a diversity of backgrounds, including historians, philosophers, logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems.
For more information, see http://hapoc.org/hapop3
World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.
The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.
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/
Date and time: Monday 27 June 2016, 15:00-18:00Location: Agnietenkapel, Oudezijds Voorburgwal 229 - 231, 1012 EZ Amsterdam
The Vossius Center for the History of Humanities and Sciences will be officially opened on Monday 27 June, 15.00h-18.00h, at the place where G. Vossius held his inaugural lecture in 1632.
Speakers include Dymph van den Boom, Frank van Vree, Hans-Jörg Rheinberger, Haun Saussy, Joep Leerssen, Julia Kursell, Jeroen van Dongen and Rens Bod. The afternoon will be concluded with the presentation of the new journal "History of Humanities". All those interested are cordially invited to attend the opening. Full program follows soon.
Since places are allotted on a first-come, first-serve basis, please register as early as possible (no later than 15 May).
For more information, see http://vossius.uva.nl/news-and-events/componenten-midden/news/news/content/
Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science and Philosophy. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas.
The featured topics for this meeting are the following: algebraic semantics and abstract algebraic logic, applications and foundational issues, first, higher-order and modal formalisms, geometric and game theoretic aspects, and proof theory and computational complexity. The invited speakers include: L. Cabrer, M. Gehrke, H. Hosni, P. Jipsen, and N. Preining.
For more information, see http://www.latd2016.co.za/
Location: Room F1.15, ILLC, Science Park 107, Amsterdam
Funded by the Volkswagen foundation and hosted by the ILLC, talks (but not the closed group work-sessions) are open to interested researchers. Please e-mail frank.zenkerfil.lu.se before 20 June if you'd like to attend any of the talks.
For more information and a programme, see https://conceptualspaces360.wordpress.com/events/.
The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne's CBD. All are welcome to attend the conference, although there is a registration fee.
Non-classical logics -- such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic -- have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics.
The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.
For more information, see http://iltp.de/ARQNL-2016/
Location: NWO Java building, Laan van Nieuw Oost-Indië 300, 2593 CE, The Hague
NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO coordinators and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The meetings are in English. The next information meeting will be held on 1 July.
For more information, see http://www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/
The workshop is a satellite of Computability in Europe 2016, which will be held in Paris from June 27 to July 1, 2016.
For more information, see the workshop's website at http://wct.math.uconn.edu/wctghent/.
Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete compared to NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF. Considerable progress has been made in the theory and practice of QBF solving throughout the past years.
The goal of the International Workshop on Quantified Boolean Formulas (and Beyond) is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state of the art in research and to consolidate on immediate and long-term challenges. As the efforts of extending languages with quantifiers have not only been made for propositional logic in terms of QBFs, but in many other formalism like Constraint Satisfaction Problem (CSP) and Satisfiability Modulo Theories (SMT), QBF 2016 also targets researchers working in these related fields in order to exchange experiences and ideas.
For more information, see http://fmv.jku.at/qbf16/
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 LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.
Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/
Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.
The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.
For more information, see http://iaoa.org/fois2016/
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.
Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/
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.
For more information, see http://www-personal.umich.edu/~skaron/dgl/
Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.
The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2016 is to be held as Satellite Workshop of LICS 2016
Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.
This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.
For more information, see http://ratiolog.uni-koblenz.de/bridging2016
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.
For more information, see http://www.indiana.edu/~iulg/nlcs.html
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)
For more information, see http://narrative.csail.mit.edu/cmn16/
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.
For more information, see https://sites.google.com/site/statlogmeaning/.
The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.
The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).
Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.
JerSem will be the 20th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.
The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.
For more information, see http://semantics.rutgers.edu/jersem/
This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.
A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.
You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.
This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.
The summer school is organised by COST Action IC1205 on Computational Social Choice (http://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.
This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.
Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.
For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html
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.
The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.
Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.
Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer
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/
Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.
The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.
Early registration deadline: 27 May 2016. For more information, see http://easss2016.dmi.unict.it/
The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.
For more information, see http://www.mfoi.eu/conf2016/
The Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will feature 12 plenary speakers, as well as 2 tutorials and 6 special sessions. The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic.
For more information, see http://www.lc2016.leeds.ac.uk/
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.
For more information, see https://sites.google.com/site/starsem2016/.
The LaTeCH workshop series aims to provide a forum for researchers who are working on developing novel information technology for improved information access to data from the Humanities, Social Sciences, and Cultural Heritage. Since the formation of SIGHUM (ACL Special Interest Group on Language Technologies for the Socio-Economic Sciences and Humanities), the LaTeCH workshop is also the venue for the SIGHUM annual research and business meeting. LaTeCH 2016 is to be held in conjunction with ACL 2016.
In the Humanities, Social Sciences, and Cultural Heritage communities there is increasing interest in and demand for NLP methods for semantic annotation, intelligent linking, discovery, querying, cleaning, and visualization of both primary and secondary data. These domains of application entail new challenges for NLP research. For this reason, it is of mutual benefit that NLP experts, data specialists, and digital humanities researchers working in and across these domains get involved in the Computational Linguistics community and present their fundamental or applied research results.
The end-of-project workshop of the Composes project will take place on Sunday August 14th 2016 in Bolzano (Italy), as a satellite event of ESSLLI 2016. The workshop will be an occasion to discuss some exciting topics in computational semantics, with some great invited speakers/panelists leading the discussion. We foresee a mixture of position statements by the invitees and audience participation in the form of open debates.
Speakers/Panelists: Nicholas Asher, Marco Baroni, Stephen Clark, Emmanuel Dupoux, Katrin Erk, Adele Goldberg, Alessandro Lenci, Hinrich Schütze and Jason Weston
Please visit the workshop website for information about (free) registration and for updates: http://clic.cimec.unitn.it/composes/workshop.html
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/.
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).
For more information, see http://www.wollic.cs.buap.mx/
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.
For more information, see http://fg.phil.hhu.de/2016/
MFCS is a well-established venue for presenting high-quality research from various branches of theoretical computer science. The conference provides a platform for researchers interested in different aspects of theoretical computer science to interact, exchange ideas, and present their work.
The conference will have invited talks from Shai Ben-David (Waterloo, Canada), Mikołaj Bojańczyk (Warsaw, Poland), Patricia Bouyer-Decitre (LSV, CNRS & ENS Cachan, France), Tobias Friedrich (Hasso Plattner Institute, Potsdam, Germany) and Virginia Vassilevska Williams (Stanford, USA). EATCS sponsors a best paper award and a best student paper award.
For more information, see http://mfcs.ki.agh.edu.pl/
This three-day meeeting focuses on *concepts and their applications* using the theory of Conceptual Spaces (CS), as introduced by Peter GÃ¤rdenfors (2000). It provides a geometric model for the representation of human conceptual knowledge that bridges the symbolic and the sub-conceptual levels of representation. The event is preceded by a one day workshop on 'Reasoning in CS; on 24 Aug 2016.
Attendance is free, however registration is required by 31 July 2016.
The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI. Supported by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI 2016 will feature several other events. Special topic for ECAI 2016 is 'Artificial Intelligence for Human Values'.
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2 and 3)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3)
For more information see http://csl16.lif.univ-mrs.fr/
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2016 is the 11th conference in the series.
Rationality is a key concept in psychology, philosophy, and neuroscience. A divide and conquer approach between these disciplines, however, has prevented them from benefitting from one another's progress. Typically, philosophers characterize what it means to be rational, psychologists empirically investigate where people's thinking conforms with and deviates from those norms of rationality, and cognitive neuroscientists investigate the neural correlates of rational thinking and decision-making.
The aim of the “International Rationality Summer Institute (IRSI)” is to overcome this division of labor and to provide a framework in which students can learn the state of research in the neighboring disciplines and discuss recent developments in the diverse areas of rationality research.
Application deadline is April 15, 2016. For more information, see http://irsi2016.de/
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. 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 open conference is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019.
For more information, see http://sysmics-16.iiia.csic.es/
Over the years, the Semantic Web vision has been driving many community efforts which have invested a lot of resources in developing vocabularies and ontologies for annotating their resources semantically. Besides ontologies, rules have long been a central part of the Semantic Web framework and are available as one of its fundamental representation tools, with logic serving as a unifying foundation. Linked data is a related research area which studies how one can make RDF data available on the Web, and interconnect it with other data with the aim of increasing its value for everybody.
Many advanced capabilities required by Semantic Web and Linked Data application scenarios call for Reasoning. Thus, a perspective centered on the reasoning techniques complementing other research efforts in this area is desirable. This Summer School series is devoted to this perspective, and will give insight into the Semantic Web, Linked Data, Ontologies, Rules, and Logic.
The Reasoning Web Summer School 2016 is primarily intended for advanced undergraduate students, M.Sc. and Ph.D. students, postdoctoral researchers, and young researchers from industry. The Summer School will also be open to a limited number of senior researchers from other areas wishing to learn about Semantic Web, Linked Data and related issues. The number of participants is limited. Application deadline: TBA.
For more information, see http://www.abdn.ac.uk/events/rr-2016/rw-2016/.
Every other year, a distinguished philosopher visits Tilburg University and the Tilburg Center for Logic, Ethics and Philosophy of Science to present the René Descartes Lectures. This year's René Descartes Lecturer is Professor Heather Douglas (University of Waterloo). Professor Douglas will deliver three lectures on the topic 'Science, Values and Democracy', each of which will be commented on by two renowned scholars. Parallel to the lectures, we host a workshop on the same topic.
The lectures will explore the relationships among science, values, and expertise in modern democratic societies. Science, although the best way to gain rich empirical knowledge, cannot be considered value-free. As such, scientists' role in public discourse and in advisory roles is more complex than simply giving us 'the facts.' In democratic societies, we must confront questions of how to make science advising appropriately accountable in our political systems, while protecting scientists from pressures which would damage the integrity of their advice. In the public discourse, citizens have more roles to play than simply being passive receivers of scientific information. This means we need to articulate these roles and create avenues for exercising them. Because of the need for values in science and because this opens science to new modes of engagement and criticism, we need to think through our institutional structures to ensure that the normative demands of good science and good governance can both be met.
For more information visit https://descarteslectures2016.wordpress.com/
SOPhiA 2016 is a public confererence organised by the University of Salzburg's Department of Philosophy (Humanities), where philosophy students (pre-doc) can give presentations and discuss problems of all areas of philosophy. A thematical focus is not intended. The presentations should rather set themselves apart by a methodical limitation to the tradition of Analytic Philosophy by usage of clear language and comprehensible arguments.
The conference is meant to be a unified effort of the conference attendees to clearly formulate some of the problems of philosophy and to provide a critical assessment of them. No individual philosopher is expected to construct "a whole building of philosophy" all by herself; rather, the conference hosts expect everyone, as Carnap proposes, to bring the undertaking forward "at his specific place within" philosophy.
The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning rule-based systems, and their applications in reasoning about web data.
For more information, see http://www.abdn.ac.uk/events/rr-2016/rr2016/.
The Colloquium Logicum is the biannual meeting of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung in den exakten Wissenschaftgen (DVMLG).
This year, the Colloquium takes place in Hamburg, Germany and is organized by Alexander Block, Yurii Khomskii and Benedikt Löwe. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.
There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.
For more information, see https://www.fedcsis.org/2016/airim
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.
For more information, see http://www.tsdconference.org/tsd2016
The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization.
Invited speakers include Luca Bertolussi (Trieste, Italy), Joanna Golinska-Pilarek (Warsaw, Poland) and Arnaud Sangnier (Paris Diderot, France)
For more information, see http://gandalf2016.dmi.unict.it
The 10th Workshop on Reachability Problems is aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification.
Invited Speakers: Alain Finkel (ENS de Cachan, France), Axel Legay (INRIA, Rennes Cedex, France) and Jaco van de Pol (Twente, the Netherlands).
In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP'16 without an accompanying paper. Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted. Deadline for abstract submission: August 1st, 2016.
For more information, see http://rp16.cs.aau.dk/
This workshop will address the question, what brings us from basic cognition to the practice of mathematics, gathering together scholars from different disciplines with the aim to develop common points of view. The focus will be, primarily, on what separates mathematics properly speaking from basic cognition, and which cognitive ingredients may act as *bridges* between both.
The invited speakers are: Valeria Giardino (CNRS/Archives Poincaré Nancy), Rafael Núñez (UC San Diego), and Dirk Schlimm (McGill Univ.).
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=7385.
This workshop is the third in a series of workshops on generalized descriptive set theory (Amsterdam 2014, Hamburg 2015). It will feature two tutorials and two longer research talks by senior speakers and research talks by junior speakers. Moreover, we want to motivate participants to stay in Bonn on the day after the workshop, on which we will provide opportunities for research collaboration.
Confirmed senior speakers: David Asperó (Norwich), Sy David Friedman (Vienna), Benedikt Löwe (Amsterdam, Hamburg) and Luca Motto Ros (Turin)
The registration deadline is the 31st of May 2016. There is still some funding available to support travel and accommodation. For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2016/
The conference will bring together researchers who are working with imperfect information in fields such as artificial intelligence, databases, data mining, information retrieval, and risk analysis with the aim of fostering collaboration and cross-fertilization of ideas from different communities.
For more information, see http://sum2016.unice.fr/.
The workshop is one of two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica. The workshop is intended to provide an opportunity to learn about the recent exciting results on the connections between the theory of large cardinals and the model theory of strong logics and to serve as a springboard for future research. The Scientific Committee includes: J. Bagaria, M. Magidor, and J. Väänänen.
For more information, see http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/W1_LargeCardinals.aspx
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).
For more information, see http://ki2016.org/
GPU computing touches some of today's hottest topics—from artificial intelligence and self-driving cars to supercomputing and virtual reality. This is a unique opportunity to learn from fellow experts, share your work, and explore how GPU technology can take your business, research or application to the next level.
For more information, see https://www.gputechconf.eu/.
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.
Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.
For more information, see http://cc.ee.ntu.edu.tw/~ictac2016
The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.
The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.
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.
On Saturday 26 November 2016 we will celebrate the fact that the ILLC was founded 25 years ago by organising a symposium and evening programme. All are invited.
Details to follow soon. For more information, contact illcuva.nl
WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.
The semantic content of natural language is multiply *situated*: Whether an utterance receives one interpretation or another depends on the *discourse situation* (in which the utterance takes place), on the *target situation* (which is described by the utterance), and on the interpreting agents' *informational situation* (which also contains the agents' background knowledge). Over the past decades, work on extralinguistic context-dependence has focused on discourse situations and target situations, and has paid less attention to the dependence of interpretation on the agents' informational situation. However, this kind of information-dependence plays a crucial role in the explanation of a number of semantic phenomena, including the behavior of epistemic/deontic modals and propositional attitude-sentences. Recent research in situated cognition has suggested an even more general scope of semantic information-dependence. The latter assumes that cognition (and therefore, *all* linguistic understanding) is fundamentally embedded in the situational context of the cognition.
This workshop aims to bring together linguists, philosophers, logicians, and cognitive and computer scientists to discuss the information-dependence of the semantic content of natural language. It covers all aspects of the interaction between situations, information, and semantic content - both theoretical and experimental.
For more information, see http://www.situatedcontent2016.philosophie.uni-muenchen.de/ or email Kristina Liefke at SituatedContent2016lrz.uni-muenchen.de.
We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.
The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.
For more information, see http://hapoc.org/node/176.