News and Events: Conferences
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, BrazilLocation: Rio de Janeiro, Brazil
The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.
All papers related in one way or another to creativity are welcome, in particular those dealing with the following issues:
- Creativity in Art, Science, Philosophy and Nature
- How to create? Inspiration? Methodology?
- How does creation appear, develop, manifest?For more information, see https://sites.google.com/view/creativity2019/.
6 - 10 July 2020, ISR 2020: International School on Rewriting, Madrid, SpainLocation: Madrid, SpainDeadline: Friday 20 September 2019
Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.
We intend to offer on the one hand a basic track on rewriting and on lambda calculus, and on the other hand an advanced track on more specialized topics, related to state-of-the-art research and novel applications. The typical day will contain 4 slots of 90 minutes.
If you are interested in giving a lecture in the advanced track, send us a mail before the deadline above with the following informations: a title, an abstract, an outline of the lecture, some bibliographical references, an expected duration (in number of slots), and whether the lecture includes exercises or experiments.
We encourage applications from both theory and applications and will pay particular attention to submissions on topics not covered in the the last schools.For more information, see http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html or contact Narciso Marti-Oliet at narciso at ucm.es.
17 - 21 February 2020, Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020), Dortmund, GermanyLocation: Dortmund, GermanyDeadline: Saturday 21 September 2019
The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.
FoIKS 2020 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information
theory, complexity theory, algorithmics and computation, statistics and optimization.
The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion.
12 - 17 July 2020, 9th North American Summer School in Logic, Language and Information (NASSLLI 2020), Waltham MA, U.S.A.Location: Waltham MA, U.S.A.Deadline: Monday 30 September 2019
NASSLLI 2020 will consist of a series of courses and workshops, most running daily from Monday July 13 - Friday July 17. In addition, there will be intensive mini-courses the day prior to the start of courses (Sunday July 12). The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, AI, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. The 2020 NASSLLI will also have a theme - Formal and Computational Pragmatics and Models of Dialogue.
We invite proposals for courses and workshops that address topics of relevance to NASSLLI's central goal. We particularly encourage submissions which address the theme (Formal and Computational Pragmatics and Models of Dialogue), and those representing cross-disciplinary approaches, especially courses showing the applicability of computational methods to theoretical work, and the use of theoretical work in practical applications. Courses involving a hands-on component (e.g., actual experience with NLP tools, coding, or machine learning algorithms) will be very welcome.
Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) during the week of the summer school. Sunday mini-courses will run for 3 to 5 hours. Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Workshop schedules are identical to course schedules, but usually consist of a series of presentations by different researchers; they may also include panel discussions.
CfP topical collection of Synthese on "Virtue Theory of Mathematical Practices"Deadline: Tuesday 1 October 2019
Virtue theory has an illustrious history as one of the most prominent philosophical traditions, and in the wake of the recent renewed focus on human practices virtue theory once again provides powerful frameworks, tools and insights. Work in such diverse fields as ethics, the philosophy of science, epistemology, philosophy of law, political theory, aesthetics, and argumentation theory shows that virtue theory permits normative discourse without imposing overly rigid criteria. Within the philosophy of mathematics, and mathematics itself, attention to virtues has a variety of sources: theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms, and ethical virtues have been offered as a basis for understanding the social dimensions of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). In this topical collection we aim to consolidate and encourage this trend in the philosophy of mathematics.
Guest Editors: Andrew Aberdein, Colin Jakob Rittberg, Fenner Stanley Tanswell
We invite contributions which study mathematics and mathematical practices from a virtue perspective. We encourage, amongst others, submissions that
- engage with the social dimensions of mathematics in virtue terms;
- address the application of virtue epistemology to mathematics; - investigate the ethical considerations of mathematical practice in a virtue framework;
- discuss specific virtues or vices of mathematics (or mathematicians);
- explore historical usage of virtue terminology in mathematical contexts;
- or provide accounts in terms of virtue of the objects of mathematical enquiry, such as theorems, proofs, or definitions.For more information, see https://philevents.org/event/show/73058 or contact Andrew Aberdein, Colin Rittberg. Fenner Tanswell at aberdein at fit.edu. Colin.Jakob.Rittberg at vub.be. F.Tanswell at lboro.ac.uk.
6 - 8 January 2020, 16th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2020), Fort Lauderdale FL, U.S.A.Location: Fort Lauderdale FL, U.S.A.Deadline: Friday 4 October 2019
The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the sixteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.
We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Work that will have been published as of January 2020 should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review elsewhere at the time of submission and can be submitted elsewhere after ISAIM.
13 - 14 January 2020, Tribute to Kurt Gödel 2020 (conference), Brno, Czech RepublicLocation: Brno, Czech RepublicTarget audience: logicians, mathematicians, philosophersCosts: 100 EURDeadline: Tuesday 15 October 2019
Kurt Gödel's unparalleled results in logic grant him a prominent place among logicians. Apart from extraordinary results in the theory of formal systems, he influenced research in set theory, non-classical logics, physical model of the universe, and in philosophy. The event is organised to commemorate the anniversaries (14 January) of the death of Kurt Gödel (Brno 1906 - Princeton 1978) as well as the birth of Alfred Tarski (Warsaw 1901 - Berkeley 1983); January 14 may thus be viewed as World Logic Day.
For the conference, we welcome contributions to these topics especially from logicians, mathematicians, and historians and philosophers of logic. Contributions related to Tarski's work are also welcome.
We cordially invite researchers working in a field relevant to the main topics of the conference to submit a short abstract of approximately 200 words and an extended abstract of at most a 1000 words (references included) through EasyChair at
Accepted papers will be presented in 30 minute slots including discussion. Abstracts must be written in English; uploaded extended abstract must be in pdf format.
(New) 29 November 2019, 5th Workshop on Connexive Logics, Bochum, GermanyLocation: Bochum, GermanyDeadline: Tuesday 15 October 2019
Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. After four workshops on connexive logics in Istanbul, Raesfeld Castle, Kyoto and Bochum, a fifth workshop on connexive logics will take place in Bochum (Germany) on the 29th of November, 2019.
The fifth workshop aims at discussing directions for future research in connexive logics. Special focus will be given on historical aspects as well as connections to conditional logics. The workshop will be collocated with a workshop on the Logic of Paradox, from the 25th to 27th, and a workshop on FDE-based modal logic on the 28th. Keynote speakers: Vincenzo Crupi, Andrea Iacona, Spencer Johnston and Marko Malink.
Any papers related to connexive logics are welcome. Submissions of extended abstracts (up to five pages) should be sent to both organizers as a pdf file. Topics of interest include (but are not limited to) the following:
- Historical considerations of the notion of connexivity;
- Discussions on the notion of connexive logics;
- Examinations of various systems of connexive logics;
- Relations between connexive logics and other nonclassical logics, such as conditional logics;
- Philosophical implications of connexive logics;
- Discussions on the relation between Experimental philosophy and connexivity.For more information, see http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/ or contact Hitoshi Omori at Hitoshi.Omori at rub.de, or Heinrich Wansing at heinrich.wansing at rub.de.
2 - 6 March 2020, 14th International Conference on Language and Automata Theory and Applications (LATA 2020), Milan, ItalyLocation: Milan, ItalyDeadline: Friday 18 October 2019
LATA is a conference series on theoretical computer science and its applications. LATA 2020 will consist of invited talks and peer-reviewed contributions, and 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.
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference.
15 - 17 April 2020, EvoStar 2020: Bio-inspired computation, Seville, SpainLocation: Seville, SpainDeadline: Friday 1 November 2019
EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange.
The four conferences include:
- EuroGP 23rd European Conference on Genetic Programming
- EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation
- EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
- EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design
Paper submission deadline: November 1, 2019.All accepted papers will be printed in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. Additionally, this year there is a call for "Special Sessions" in EvoAPPs, deadline: September 10th, 2019.For more information, see http://www.evostar.org/2020/.
8 - 12 June 2020, 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Friday 15 November 2019
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme 'Paving the way towards Human-Centric AI', the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages.
The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI.
Calls will also be issued for workshop and tutorial proposals, as well as for contributions to PAIS 2020 (the Prestigious Applications of Intelligent Systems conference) and STAIRS 2020 (the Starting AI Researcher Symposium).For more information, see http://www.ecai2020.eu/.
6 - 9 April 2020, 6th Global Conference on Artificial Intelligence (GCAI 2020), Hangzhou, ChinaLocation: Hangzhou, ChinaDeadline: Saturday 23 November 2019
The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.
Submissions in all areas of artificial intelligence are welcome. GCAI 2020 accepts submissions of two types, full paper submissions (which must be original and cannot be submitted simultaneously elsewhere) and extended abstract submissions (which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper). Both types of submissions must be prepared in LaTeX or Microsoft Word using the EasyChair templates, and uploaded in PDF format.For more information, see http://www.gcai-2020.info/.
10 - 12 April 2020, 2nd Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, ChinaLocation: Beijing, ChinaDeadline: Saturday 30 November 2019
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
The first day of the workshop is devoted to two tutorials:
1. Jakub Szymanik (University of Amsterdam): Monotonicity in Logic
2. Gennaro Chierchia (Harvard University): Monotonicity in Language
The remaining two days consist of invited and contributed talks.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts are not to exceed two pages of A4 or letter-sized paper, including data and references, preferably with 1? (2.54cm) margins on all sides, set in a font no smaller than 11 points. The abstract should have a clear title and should not identify the author(s). The abstract must be submitted electronically in PDF format, via EasyChair.For more information, see http://tsinghualogic.net/JRC/?p=1489.
7 - 9 April 2020, 5th Asian Workshop on Philosophical Logic (AWPL 2020), Hangzhou, ChinaLocation: Hangzhou, ChinaDeadline: Saturday 30 November 2019
Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences.
The AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit. All AWPL participants are invited to attend other events as well.
All submissions should present original works not previously published. Submissions should be typeset in English, using the LNCS template. be prepared as a PDF file with at most 12 pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the 'Logic in Asia' series.For more information, see https://www.xixilogic.org/events/awpl2020/.
6 - 9 April 2020, 3rd International Conference on Logic and Argumentation (CLAR 2020), Hangzhou, ChinaLocation: Hangzhou, ChinaDeadline: Saturday 30 November 2019
CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 'methods and tools for explainable AI', a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well.
CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China.
CLAR 2020 invites interdisciplinary contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. We invite two types of submissions: full papers (between 8 and 20 pages) describing original and unpublished work and extended abstracts (max 5 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation.
Proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in special issues of the Journal of Logic and Computation and the Journal of Applied Logics.
16 - 17 April 2020, Workshop "Alternative Approaches to Scientific Realism", Munich, GermanyLocation: Munich, GermanyDeadline: Sunday 15 December 2019
There has been a recent move in philosophy of science towards views that in some sense reject the strict dichotomy between realism and anti-realism, or otherwise situate themselves between these two extremes. These include varieties of structuralism, perspectivalism, and pluralism/relativism, and have been applied across various scientific domains, including physics, mathematics, biology, cognitive science, and computer science. This conference will bring together representatives of each of these viewpoints, in order to compare the respective progress made by each approach, and to develop a shared foundation for the future development of alternatives to traditional scientific realism and anti-realism.
Confirmed Keynote Speakers: James Ladyman (Bristol), Michela Massimi, (Edinburgh) and Martin Kusch (Vienna).
Up to three additional speaking slots are reserved for early career researchers, to be filled on a competitive basis. We welcome submission of 500 word abstracts on any topic related to the themes of the conference. Abstracts should be suitably blinded, and submitted to Easychair.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/alt_approach_scie_realism/ or contact Joe Dewhurst at J.Dewhurst at lmu.de.
(New) 13 - 15 May 2020, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, UkraineLocation: Kyiv, UkraineDeadline: Monday 6 January 2020
Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. . The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.
Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).
Abstracts of at most three pages length (including references) should be submitted electronically as pdf documents using the EasyChair submission page. At least one author of each accepted paper must register for, and attend the conference to present her or his work.For more information, see https://trends2020.knu.ua/.
(New) 7 - 10 July 2020, Eighth Biennial Conference of the Society for Philosophy of Science in Practice (SPSP 2020), East Lansing MI, U.S.A.Location: East Lansing MI, U.S.A.Deadline: Friday 10 January 2020
The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.
Keynote speakers: Karen Barad, University of California at Santa Cruz; Till Grüne-Yanoff, Royal Institute of Technology (KTH) Stockholm.
We welcome contributions from not only philosophers of science, but also philosophers working in epistemology and ethics, as well as the philosophy of engineering, technology, medicine, agriculture, and other practical fields. Additionally, we welcome contributions from historians and sociologists of science, pure and applied scientists, and any others with an interest in philosophical questions regarding scientific practice. SPSP welcomes both proposals for individual papers, and also strongly encourage proposals for whole, thematic sessions with coordinated papers, particularly those which include multiple disciplinary perspectives and/or input from scientific practitioners.For more information, see https://www.philosophy-science-practice.org/events/spsp2020-east-lansing or contact Alan C. Love at aclove at umn.edu.
CfP special issue of Information on Emerging Techniques for CryptographyDeadline: Friday 31 January 2020
Cryptography forms the underlying basis for many security solutions in today's computer systems and networks, securing data while it is being stored, transferred, and processed. As security and privacy problems increase in real-world applications with emerging threats, new and innovative cryptography solutions are needed in order to ensure our computer systems and networks are protected.
This Special Issue will specifically focus on new and innovative cryptography solutions aiming to address emerging threats and existing threats in more efficient manner. The particular topics of interest for this Special Issue include, but are not limited to, the following:
- Foundational theory and mathematics for emerging computer systems and networks
- Provable security of emerging techniques for cryptography
- The proposal and analysis of cryptographic primitives for emerging computer systems and networks
- Cryptanalytic attacks on emerging computer systems and networks
- Cryptographic applications in cloud computing and IoT
Research articles, review articles as well as short communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 January, 2020.For more information, see https://www.mdpi.com/journal/information/special_issues/ACISP_2019.
(New) Call for manuscript submissions: L&P special issue of Super LinguisticsDeadline: Friday 23 April 2021
The journal Linguistics and Philosophy (L&P) have agreed to publish a special issue of Super Linguistics. Super Linguistics subsumes the application of formal linguistic methodology and methodologies inspired by formal linguistics to diverse non-standard objects. In addition to manuscripts by linguists, we welcome submissions from all relevant fields (such as, but not limited to, biology and musicology) provided that they are super linguistic in nature. To be considered, the manuscript should include a short paragraph outlining in what way the research is super linguistic in nature and how the research advances this new sub-field. Submissions must propose a clear formal analysis based on rich and detailed data. The manuscript submission deadline for this special issue is April 23rd 2021.For more information, see https://www.dropbox.com/sh/t4imk1ha87g18hw/AAD6QYByoo2n6CN-O7KfItg0a?dl=0 or contact Pritty Patel-Grosz at pritty.patel-grosz at iln.uio.no.
15 - 20 September 2019, 19th International Workshop on OCL and Textual Modeling (OCL 2019), Munich, GermanyLocation: Munich, Germany
The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.
The workshop will be co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System.For more information, see http://oclworkshop.github.io.
16 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, GeorgiaLocation: Batumi, Georgia
The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, Georgia.
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.
16 - 20 September 2019, Workshop on Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM), Batumi, GeorgiaLocation: Batumi, Georgia
The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.
17 - 20 September 2019, 7th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA (HIGHLIGHTS 2019), Warsaw, PolandLocation: Warsaw, Poland
HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic, Games and Automata that 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 the 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 is short (from 18 September to the mid-day on 20 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation costs are modest and Warsaw is easy to reach.
Scope: Representative areas include, but are not restricted to: + logic and finite model theory + automata theory + games for logic and verification.For more information, see http://highlights-conference.org.
20 - 24 September 2019, 35th International Conference on Logic Programming (ICLP 2019), Las Cruces NM, U.S.A.Location: Las Cruces NM, U.S.A.
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.
Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Special Session: Women in Logic Programming
- Research Challenges in Logic Programming TrackFor more information, see https://www.cs.nmsu.edu/ALP/iclp2019/.
20 - 26 September 2019, Fourth International Autumn School "Proof & Computation", Herrsching, GermanyLocation: Herrsching, Germany
The aim of the autumn school is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.
Courses include Ingo Blechschmidt on Generalized Spaces for Constructive Algebra, Stefania Centrone on Proof Theory, Thierry Coquand on Applications of Type Theory, Anton Freund on Dilators, Tatsuji Kawai on Concepts of Continuity, and Dominique Larchey on Extraction of Programs in Coq. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc19.php or contact xu at math.lmu.de.
20 - 22 September 2019, 11th Semantics and Philosophy in Europe Colloquium (SPE11), Warsaw, PolandLocation: Warsaw, Poland
The purpose of the Semantics and Philosophy in Europe (SPE) colloquia is to provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, philosophy of mind/cognition, metaphysics etc.). This year's Semantics and Philosophy in Europe Colloquium features a general session as well as two special sessions (preceded by tutorials):
1 - Subjectivity: Theoretical and Experimental Perspectives
2 - Truthmaker Semantics and Situations
There will also be two invited lectures on the influence of the Lvov-Warsaw School on contemporary semantics and philosophy of language.For more information, see https://spe2019.uw.edu.pl/index.html.
20 - 24 September 2019, 15th International Reasoning Web Summer School (RW 2019): "Explainable AI", Bolzano, ItalyLocation: Bolzano, Italy
The 15th Reasoning Web Summer School brings together leading AI researchers to share their ideas and knowledge about how to make AI more explainable. The school is a five-day intensive training course that interleaves lectures and hands-on sessions. Participants learn about exciting new methods and technologies, and at the same time get to know their peers and senior researchers in their area. Our focus topic "Explainable AI" has many ties to formal logic, but it also connects to machine learning, knowledge representation, planning, databases, and formal methods.
RW 2019 is aimed at a wide audience of young post-graduate researchers, most typically early-stage Ph.D. candidates, but also advanced Master students and more senior Ph.D. candidates and PostDocs who want to deepen their knowledge. Basics of knowledge representation and reasoning will be helpful for benefiting from the contents of the school. Reasoning Web is co-located with RuleML+RR 2019, GCAI 2019, and DecisionCAMP 2019, which come together for the Bolzano Rules and Artificial Intelligence Summit (BRAIN).
20 - 25 September 2019, Epistemic Extensions of Logic Programming (EELP 2019), Las Cruces NM, U.S.A.Location: Las Cruces NM, U.S.A.
Several successful logic programming languages have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages. A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated.
Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems.
The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. The workshop is part of the International Conference of Logic Programming (ICLP) 2019.
23 - 25 September 2019, 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA), Graz, AustriaLocation: Graz, Austria
This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.
The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.For more information, see http://www.loa.istc.cnr.it/WODHSA/.
23 - 26 September 2019, German conference on Artificial Intelligence (KI 2019), Kassel, GermanyLocation: Kassel, Germany
KI 2019 is the 42nd edition of the German Conference on Artificial Intelligence organized in cooperation with the AI Chapter of the German Society for Informatics (GI-FBKI).
KI 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. While KI is primarily attended by researchers from Germany and neighboring countries, it warmly welcomes international participation.
23 - 25 September 2019, Joint Ontology WOrkshops (JOWO 2019), Graz, AustriaLocation: Graz, Austria
The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats.
The following workshops are being organized:
- 2nd International Workshop on Bad or Good Ontology (BOG)
- Cognition And OntologieS (CAOS IV)
- Contextual Representations of Events and Objects in Language (CREOL).
- Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI)
- 10th International Workshop on Formal Ontologies meet Industry (FOMI)
- Workshop on Foundational Ontology (FOUST).
- Ontologies and Data in Life Sciences 2019 (ODLS 2019)
- The Shape of Things (SHAPES 5.0).
- Social, Legal and Economic Entities (SoLEE)
- Second Workshop on INteraction-based Knowledge Sharing (WINKS-2)
- 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA)
- 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019)
In addition, JOWO 2019 will host five tutorials:
- Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA)
- Introduction to Foundational Ontologies (FOUNT)
- Semantic similarity and machine learning with ontologies.
- SNOMED CT Tutorial
- Top Level Ontologies (ISO/IEC 21838)
23 - 25 September 2019, Second Workshop on INteraction-based Knowledge Sharing (WINKS-2), Graz, AustriaLocation: Graz, Austria
This Second Workshop on INteraction-based Knowledge Sharing (WINKS-2) collocated with JOWO 2019 is aimed at researchers and practitioners investigating issues related to aspects of (autonomous) knowledge sharing, where the integration of knowledge is inherently interaction-based, irrespective of whether the interaction is machine to machine, or human to machine.
Gradually expanding, distributed systems heighten the need of dynamic interactive knowledge-sharing processes and ever more sophisticated mechanisms are used to acquire and elicit knowledge. A paradigm shift has emerged that views knowledge creation, curation and evolution as a collaborative and interactive process between autonomous entities. As a highly interdisciplinary workshop, WINKS-2 invites submissions that address the fundamental issues and challenges posed by interaction-based approaches to knowledge sharing. At the same time, we are interested in submissions that provide solutions for allowing knowledge sharing interactively, with a particular focus on the processes, mechanisms and protocols underlying the proposed solution.For more information, see https://www.iiia.csic.es/winks-2/.
23 - 25 September 2019, Workshop on Ontology of Social, Legal and Economic Entities (SoLEE 2019), Graz, AustriaLocation: Graz, Austria
Understanding the ontological nature of social, legal and economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics, social, and legal sciences - such as value, risk, capability, good, service, exchange, transaction, competition, social norm, group, institution - have only recently been approached from a specifically ontological perspective. It is therefore important to offer a venue to gather the recent contributions to this topic.
This workshop is part of the Joint Ontology Workshops (JOWO 2019), and relates mainly to two previous events (SoLE-BD and Ontology of Economics 2018). The goals of the workshop are:
- to collect approaches to deal with social, legal and economic entities in foundational and applied ontologies,
- discuss applications of these approaches to social, legal and economic entities in ontologies for biomedicine and business informatics, and
- serve as a meeting point for stakeholders from applied ontology and the respective domain disciplines.For more information, see https://solee-2019.github.io/.
23 - 25 September 2019, 4th International Workshop on Cognition and Ontologies (CAOS 2019), Graz, AustriaLocation: Graz, Austria
The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS addresses the difficult question of how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how this can be formally and ontologically understood, analyzed and represented.
We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion.
This workshop is part of The Joint Ontology Workshops JOWO 2019.For more information, see https://caos.inf.unibz.it/.
23 - 26 September 2019, 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019): Formal and Cognitive Reasoning , Kassel, GermanyLocation: Kassel, Germany
Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.
The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning.For more information, see https://www.fernuni-hagen.de/wbs/dkbkik2019.html.
23 - 25 September 2019, 2nd International Workshop on Bad Or Good Ontology (BOG 2019), Graz, AustriaLocation: Graz, Austria
As ontologies are used in more domains and applications and as they grow in size, the consequences of bad ontology design become more critical. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns, or simply be incomprehensible. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible.
This workshop, part of the Joint Ontology Workshops (JOWO 2019), aims to bring together research on all aspects to bad or good ontology design, including use cases and systematic reviews of bad or good ontology design, techniques and tools for diagnosing, explaining, and repairing bad ontologies, and approaches or benchmarks for evaluating such techniques.For more information, see http://bog.inf.unibz.it/.
23 - 27 September 2019, CPS Summer School 2019 "Designing Cyber-Physical Systems - From concepts to implementation", Alghero, ItalyLocation: Alghero, Italy
Cyber-physical systems (CPS) are complex and autonomous ensembles of different components that interact to offer smart and adaptive functionalities. These systems are increasingly used in a variety of applications with a growing market, potentially bringing about significant social benefits. However, there is no such thing as a free lunch, and there area several new challenges and trade-offs to face when designing CPS, especially since they should be able to adapt to the changing environments, or heal themselves. Uncertain operation environments and interactions with humans as users and/or as operators complicate the scenarios of these ever increasingly pervasive systems.
The CPS summer school is targeted at students, research scientists, and R&D experts from academia and industry, who want to learn about CPS engineering and applications. The program is composed of both lectures and practical sessions, covering all the design phases of CPS (i.e., from concept to the definition of the final system and the discussion of the key challenges).
23 - 25 September 2019, 3rd Workshop on Foundational Ontology (FOUST III) , Graz, AustriaLocation: Graz, Austria
Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject-matters. Commonly considered examples of such categories include 'object', 'quality', 'function', 'role', 'process', 'event', 'time', and 'place'. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its 'reach' should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies.
The purpose of this workshop is to provide a forum for researchers to present work on specific foundational ontologies as well as foundational ontologies in general and their relations to each other and to the wider ontological enterprise. The FOUST III workshop will be co-located with the Joint Ontology Workshops (JOWO 2019).
2 - 4 October 2019, Trends in Logic 2019, Moscow, RussiaLocation: Moscow, Russia
The 19th Trends in Logic international conference will be held in Moscow, Russia from October 2 to October 4, 2019. It is organized by the National Research University Higher School of Economics and the journal Studia Logica.Invited Speakers:
For more information, see https://sites.google.com/view/trendsinlogic2019/.
- Lev Beklemishev (Moscow, Russia)
- Johan van Benthem (Amsterdam, The Netherlands)
- Per Martin-Löf (Stokholm, Sweden)
- Graham Priest (New York, USA)
4 October 2019, ILLC Open DayLocation: ILLC, Science Park 107, Amsterdam
This year the ILLC will organise its very own Open Day. It will take place on Friday October 4th, so please mark this day in your calendars.
On this day, ILLC invites all colleagues at UvA and CWI interested in
our research to visit the institute, watch posters and demos, attend
flash talks and enjoy drinks afterwards.
More information about the Open Day will follow soon.For more information, see http://www.illc.uva.nl/AbouttheILLC/Activities/ILLC-Open-Day/ILLC-Open-Day-2019/ or contact Peter van Ormondt at P.vanOrmondt at uva.nl.
(New) 7 - 8 October 2019, Workshop on Cross-Linguistics Semantics of Reciprocals, Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
The last two decades have seen extensive research on the syntax and distribution of reciprocal morphemes across languages. Typological linguists and theoretical syntacticians have revealed fascinating phenomena of reciprocity, which have substantially increased our knowledge of the ways languages encode reciprocal concepts. Quite independently, there have been some important advances in the formal semantic analysis of reciprocals in English. Yet, at present there is no clear understanding of the cross-linguistic semantics of reciprocals, or even the extent to which such a general semantics is motivated. The workshop will bring together formal semanticists and experts of reciprocity phenomena, with the goal of addressing some of the major questions in this area.
Keynote speakers are Mary Dalrymple (Oxford University) and Martin Haspelmath (MPI-SHH Jena & Leipzig University).For more information, see https://rocky.sites.uu.nl/workshop-on-cross-linguistic-semantics-of-reciprocals/ or contact Giada Palmieri at g.palmieri at uu.nl.
9 October 2019, Dynamic Logic: New Trends and Applications (DaLí 2019), Porto, PortugalLocation: Porto, Portugal
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.For more information, see http://workshop.dali.di.uminho.pt/.
10 - 11 October 2019, Workshop on Algebraic and Proof Theoretic Methods in Non-Classical LogicLocation: Potgieterzaal (Room C0.01), University Library, Singel 425, Amsterdam
The goal of this workshop is to provide a platform for Dutch and international experts to share their knowledge and expertise on the application of algebraic and proof theoretic methods to the study of non-classical logics. The workshop is associated with the PhD defense of Frederik Möllerström Lauridsen.
Invited speakers: Nick Galatos (University of Denver), Mai Gehrke (Laboratoire J.A. Dieudonné), Rosalie Iemhoff (Utrecht University) and George Metcalfe (University of Bern).For more information, see https://staff.fnwi.uva.nl/f.m.lauridsen/workshop.html or contact Frederik Lauridsen at f.m.lauridsen at uva.nl.
11 - 12 October 2019, Defeasible Inference in Philosophy & AI, Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.
The purpose of this workshop is to bring together researchers from philosophy, computer science, and allied disciplines who work on non-monotonic logics and defeasible inference. The idea is to bring traditional philosophical reflections on these topics-- such as defeat in epistemology, prima facie duties in ethics, and belief revision in philosophy of science-- together with the rich tradition of non-monotonic logics in computer science and artificial intelligence, including default logic and logic programming.
This will be a 1.5 day workshop (half day Friday 11 October afternoon, full day Saturday 12 October), with approximately 30 participants, including 4 invited talks, 2-3 contributed talks, and a poster session.
14 - 16 October 2019, 7th International Conference on Statistical Language & Speech Processing (SLSP 2019), Ljubljana, SloveniaLocation: Ljubljana, Slovenia
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 conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
SLSP 2019 will consist of invited talks, peer-reviewed contributions and posters.
15 - 16 October 2019, 4th Workshop on Philosophy, Logic and Analytical Metaphysics (Filomena 2019), Bergen, NorwayLocation: Bergen, Norway
The 4th of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica) has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Our keynote speakers are: Daniel Durante (UFRN, Brazil), Michaela Mcsweeney (Boston University, USA) and Peter Peter Verdee (UCLouvain, Belgium).
The 4th Filomena Workshop will be followed on the 17-18 by the workshop 'How do logics explain?'. All participants of Filomena are cordially invited to attend this workshop as well.For more information, see http://filomenaworkshop.weebly.com/current-edition.html or contact filomenaworkshop at gmail.com.
16 - 19 October 2019, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Malaga, SpainLocation: Malaga, Spain
Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 will be organized as a combination of technical paper presentations, keynote talks, and tutorials, encompassing three tracks (Time in Artificial Intelligence, Temporal DataBases, Temporal Logic and Reasoning).For more information, see https://sites.google.com/unife.it/time-2019.
18 - 21 October 2019, The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, ChinaLocation: South-West University, Chongqing, China
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing
together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
21 - 22 October 2019, Workshop "Logic in Computer Science", Jena, GermanyLocation: Jena, Germany
A workshop 'Logic in Computer Science' will take place at the University of Jena, Germany, on 21 and 22 October 2019. The workshop will serve as the annual meeting of the GI group Logic in Computer Science.
- Christoph Berkholz (Humoldt-Universität zu Berlin)
- Thomas Schwentick (TU Dortmund)
Everyone interested is welcome to attend and contribute a talk.
24 - 26 October 2019, Conference on Rational Approaches in Language Science (RAILS), Saarbruecken, GermanyLocation: Saarbruecken, Germany
The language sciences increasingly have in common their adoption of rational probabilistic approaches, such as Bayesian, Information Theoretic, and Game Theoretic frameworks. The goal of this conference is to bring together speech and language researchers whose scientific contributions reflect the full diversity of disciplines and methodologies - from speech to discourse, on-line processing to corpus-based investigation, through to language change and evolution - that have benefited from, and share, such rational explanations.
Keynote speakers: Gerhard Jaeger (Tuebingen University), Gina Kuperberg (Tufts University), Hannah Rohde (University of Edinburgh) and Rory Turnbull (University of Hawaiʻi at Mānoa).For more information, see http://rails.sfb1102.uni-saarland.de/.
26 - 27 October 2019, The Fourteenth International Workshop on Ontology Matching (OM-2019), Auckland, New ZealandLocation: Auckland, New Zealand
Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or process mapping.
The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI 2019 campaign. 3. To examine new uses, similarities and differences from database schema matching, which has received decades of attention but is just beginning to transition to mainstream tools.For more information, see http://om2019.ontologymatching.org/.
28 - 31 October 2019, 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019), Torino, ItalyLocation: Torino, Italy
Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are becoming more decentralized, with components that represent autonomous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptualizing, building, and governing such systems. It offers abstractions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still growing research field of Computer Science, multiagent systems today remain a unique enabler of interdisciplinary research.For more information, see http://prima2019.di.unito.it.
29 - 30 October 2019, 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, ItalyLocation: Bergamo, Italy
Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.
HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.
31 October - 2 November 2019, 30th Novembertagung on the History and Philosophy of Mathematics, Strasbourg, FranceLocation: Strasbourg, France
The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history and philosophy of mathematics.
Mathematical knowledge is commonly thought of as being essentially universal: its truths are eternal and incontrovertible, its propositions understandable and agreeable by all, independent of linguistic, cultural, ethnic or religious backgrounds. However, global knowledge, as mathematics seems to be, is always produced locally. As such, it hinges upon collectively shared ways of practicing, writing, and communicating mathematics. This year's Novembertagung invites participants to reflect on the theme 'Mathematical Cultures, Values, & Norms'. The invited speakers are June Barrow-Green (Open University) and Roy Wagner (ETH Zurich).
1 - 3 November 2019, 8th International Workshop on Many-Valued Logic (ManyVal 2019), Bucharest, RomaniaLocation: Bucharest, Romania
ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions.
ManyVal 2019 will focus on Probabilities, modalities and algebraic structures in many-valued logics.
9 - 10 November 2019, Twentieth Annual Midwest PhilMath Workshop (MWPMW 20), Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.
As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.
We are pleased to have Marc Lange and Rebecca Morris joining us as invited speakers.For more information, see https://mdetlefsen.nd.edu/midwest-philmath-workshop-mwpmw/nineteenth-annual-midwest-philmath-workshop-mwpmw-19/ or contact Prof. Michael Detlefsen at mdetlef1 at nd.edu.
14 - 16 November 2019, Eleventh French PhilMath Workshop (FPMW 11), Paris, FranceLocation: Paris, France
This workshop is the eleventh in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. As in past years, the forthcoming workshop, held at the universities Panthéon Sorbonne and Paris Diderot, will consist in a three-day meeting and will feature 4 invited as well as 6 contributed talks.
The confirmed invited speakers are: Arianna Betti (University of Amsterdam, ILLC), Patricia Blanchette (University of Notre Dame). Tim Button (Cambridge University) and Frederic Patras (CNRS, Laboratoire J.A. Dieudonne).For more information, see https://philmath.hypotheses.org/fpmw-2018/11th-fpmw-2019.
18 - 22 November 2019, RIMS Set Theory Workshop, Kyoto, JapanLocation: Kyoto, JapanThe Research Institute for Mathematical Sciences (RIMS) at Kyoto University is organizing a RIMS set theory workshop.
Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.For more information, see http://www.sic.shibaura-it.ac.jp/~ikegami/RIMS2019.html.
19 - 22 November 2019, The 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, ItalyLocation: Rende, Italy
AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.For more information, see https://aiia2019.mat.unical.it.
19 - 22 November 2019, First Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY), Rende, ItalyLocation: Rende, Italy
The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.
The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.
20 - 22 November 2019, Circularity in Syntax and Semantics (CiSS), Gothenburg, SwedenLocation: Gothenburg, Sweden
The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. The 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem.
27 - 29 November 2019, Carlos di Prisco Birthday Meeting, Bogota, ColombiaLocation: Bogota, Colombia
Carlos di Prisco will turn 70 years old in October 2019. This conference is held in honor of his life and work.
It is intended for a wide audience, especially for students, but will also include the participation of mathematicians who have worked with Carlos and are close to him.
Invited speakers include J. Bagaria, C. Brech, J. Lopez-Abad, N. Dobrinen, A. Arias, and X. Caicedo.For more information, see here .
28 - 29 November 2019, Mental Representations in a Mechanical World, Bochum, GermanyLocation: Bochum, Germany
The concept of representation is ubiquitous in cognitive science and in the philosophy of mind. Neural representations are postulated by neuroscientists to explain sub-personal phenomena such as the processing of visual information in the brain, while mental representations are taken to explain person-level phenomena, such as imagination, or consciousness. But non-representationalists contend that postulating representations of any sort is unnecessary or problematic. This workshop investigates the status of representations in a mechanical account of the mind and cognition. One core question will be whether the status of neural and mental representation is equally problematic. A second core question concerns the relationship between neural and mental representations.
Speakers: Joe Dewhurst (LMU), Carrie Figdor (Iowa), Jolien Francken (Amsterdam), Matej Kohar (RUB), Beate Krickel (RUB), Marcin Milkowski (Polish Academy of Sciences) and Karina Vold (Cambridge).For more information, see http://meta4e.com/workshop/.
4 - 6 December 2019, Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, PolandLocation: Gdansk, Poland
The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).
Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).For more information, see http://lopsegdansk.blogspot.com/p/cops-fam-19-cfp.html or contact Rafal Urbaniak at rfl.urbaniak at gmail.com.
9 December 2019, Symposium in Honour of Julia Robinson's Centenary, Berkeley CA, U.S.A.Location: Berkeley CA, U.S.A.
A Symposium on the occasion of Julia Robinson's 100th birthday will be held on Monday December 9, 2019 at MSRI. Julia Robinson (1919-1985) was a leading mathematical logician of the twentieth century, and notably a first in many ways, including the first woman president of the American Mathematical Society and the first woman mathematician elected to membership in the National Academy of Sciences. Her most famous work, alongside others including Martin Davis and Hilary Putnam, led to Yuri Matijasevich's solution in the negative of Hilbert's Tenth Problem, showing that there is no general algorithmic solution for Diophantine equations. She contributed in other topics as well. Her 1948 thesis linked the undecidability of the field of rational numbers to Godel?s proof of undecidability of the ring of integers.
Confirmed participants in this day-long celebration of her work and of current mathematics insprired by her research include: Lenore Blum, who will give a public lecture, Lou van den Dries, Martin Davis, Kirsten Eisentrager, and (provisionally yes) Yuri Matijasevich.For more information, see http://www.msri.org/workshops/955.
15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, IsraelLocation: Jerusalem, Israel
On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.
To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.For more information, see http://ias.huji.ac.il/SchoolCSE4.
16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, ChileLocation: Conception, Chile
The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.For more information, see http://slalmxviii.udec.cl.
18 - 20 December 2019, 22nd Amsterdam Colloquium, Amsterdam Science ParkLocation: Amsterdam Science ParkTarget audience: Linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages
The 22nd Amsterdam Colloquium will be held on 18-20 December, 2019 to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.
The Amsterdam Colloquium will feature two workshops: one on Semantic Universals, featuring Terry Regier (Berkeley) and Susan Rothstein (Bar-Ilan); and one on Super Linguistics, featuring Cornelia Ebert (Berlin) and Gabe Greenberg (UCLA).
The regular programme will feature talks by Kathryn Davidson (Harvard), Lucas Champollion (NYU), Imogen Dickie (St Andrews) and Fabrizio Cariani (Northwestern). The Amsterdam Colloquium will also feature one evening lecture by Ian Rumfitt (Oxford), jointly organized with the E.W. Beth Foundation.
4 - 7 January 2020, Symposium on Logical Foundations of Computer Science (LFCS 2020), Deerfield Beach FL, U.S.A.Location: Deerfield Beach FL, U.S.A.
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.For more information, see https://lfcs.ws.gc.cuny.edu/.
6 - 10 January 2020, Formal Methods in Mathematics / Lean Together 2020, Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
*Formal Methods in Mathematics / Lean Together 2020* will run from Monday, January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in Pittsburgh, Pennsylvania. The meeting is a successor to Lean Together 2019.
The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure. The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.
Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come.For more information, see http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020 or contact Jeremy Avigad at avigad at cmu.edu, or Robert Y. Lewis at rob.y.lewis at gmail.com.
8 - 10 January 2020, British Postgraduate Model Theory Conference 2020, Leeds, EnglandLocation: Leeds, England
This meeting aims to bring together young researchers interested in model theory. It will feature a mini-course, invited talks by established academics, and contributed talks by postgraduate researchers. Accommodation will be provided for a limited number of participants. Supported by LMS, University of Leeds, and the British Logic Colloquium.
8 - 9 January 2020, Workshop "Universals' Locales: The International and Global History and Sociology of Modern Theoretical and Mathematical Sciences", Edinburgh, ScotlandLocation: Edinburgh, Scotland
We are seeking early career scholars (by your own definition) interested in the history or sociology of the modern theoretical and mathematical sciences for an interdisciplinary 2-day workshop exploring the methods and implications of studying the local and global scales of seemingly universal knowledge. Conversations will be guided by a fantastic group of senior scholars: Martina Merz (Alpen-Adria-Universität), Tatiana Roque (Universidade Federal do Rio de Janeiro), David Aubin (Sorbonne Universit́é), and Ursula Martin (Oxford and Edinburgh).
13 - 16 January 2020, CSL 2020: Computer Science Logic, Barcelona, SpainLocation: Barcelona, Spain
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
18 - 21 January 2020, Fifth International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2020), Zuerich, SwitzerlandLocation: Zuerich, Switzerland
Keynote speakers: Gisele Secco (Univ. Federal de Santa Maria, Brasil), Jemma Lorenat (Pitzer College, USA), Øystein Linnebo (Univ. of Oslo, Norway), Jeremy Avigad (Carnegie Mellon University, USA), Vincenzo De Risi (Laboratoire SPHère, CNRS-Univ. Paris 7, France).For more information, see http://www.hpm.ethz.ch/apmp2020.html.
(New) 30 - 31 January 2020, Social Choice, Game Theory, and Applications: Conference in Honour of Hans Peters, Maastricht, The NetherlandsLocation: Maastricht, The NetherlandsCosts: free
A conference to celebrate Hans Peters' contributions to social choice and game theory, on the occasion of his retirement.For more information, see https://sites.google.com/view/hanspetersconference.
30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), Copenhagen, DenmarkLocation: Copenhagen, Denmark
ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.
As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.For more information, see https://databasetheory.org/icdt-pages.
3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.
The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.