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
31 August - 2 September 2020, 6th Workshop on Connexive LogicsLocation: Puebla, MexicoDeadline: Wednesday 15 July 2020
After five workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016), Kyoto (September 2017), and Bochum (October 2018 and November 2019), a sixth workshop on connexive logics will take place in Puebla (Mexico) from August 31st to September 2nd, 2020. The workshop will be collocated with the Second Bilateral Meeting UNAM-UniCa on Analytic Philosophy happening in Mexico City on August 27th and 28th, 2020.
Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following:
-Philosophical and historical considerations of the notion of connexivity;
-Examinations of various systems of connexive logics;
-Relations between connexive logics and other non-classical logics, such as relevance or conditional logics;
-Philosophical implications of connexive logics;
-Empirical studies on the scope of connexivity.
Submissions of extended abstracts (up to five pages) should be sent as a pdf file at non.logic.IIF at gmail.com.
Deadline for submission: July 15, 2020.
Notification of decision: July 31, 2020.
17 - 18 September 2020, Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2020), VirtualLocation: VirtualDeadline: Wednesday 15 July 2020
Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios.
This ICLP 2020 workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry.
We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages.
19 - 20 November 2020, 24th SIGNLL Conference on Computational Natural Language Learning (CoNLL 2020), Virtual conferenceLocation: Virtual conferenceDeadline: Friday 17 July 2020
CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with EMNLP 2020, and like EMNLP will be a fully virtual conference. In this edition, we explicitly invite submissions that focus on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.
SIGNLL invites submissions to the 24th Conference on Computational Natural Language Learning (CoNLL 2020). The main focus of CoNLL is on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications. We welcome work targeting any aspect of language. Submitted papers must be anonymous and use the EMNLP 2020 template. Submitted papers may consist of up to 8 pages of content plus unlimited space for references.
12 - 14 October 2020, Third Workshop on Argument Strength (ArgStrength2020), Koblenz, GermanyLocation: Koblenz, GermanyDeadline: Monday 20 July 2020
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.
Keynote speakers: Ofer Arieli (The Academic College of Tel-Aviv, Israel) Elise Bonzon (Paris Descartes University, France) Sanjay Modgil (King's College London, England) Wolfgang Spohn (University Konstanz, Germany) Serena Villata (I3S research centre in Sophia Antipolis, France).
We solicit abstracts, which have to be in English and formatted according to the Springer LNCS style. Extended abstracts (2 pages max., including references) can report on research in progress or other issues of interest. Submissions are handled through the EasyChair conference management system.For more information, see http://argstrength2020.argumentationcompetition.org/.
(Updated) 14 September 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA-2020), VirtualLocation: VirtualDeadline: Wednesday 22 July 2020
The objectives of this new international workshop are:
1. to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas;
2. to nurture cooperation among researchers from different areas and establish concrete collaborations;
3. to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.
Keynote speaker: Johan van Benthem (ILLC).
Authors are invited to submit, via Easychair, research contributions or experience reports. All papers should be written in English and prepared using the specific LNCS templates. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere.
There are six categories of submissions: Research papers, Position papers, Interdisciplinary Project papers, Case Study papers, Tool papers, and Tool Demonstration papers. Contributions will be in the form of Regular papers (12-15 pages), Short papers (6-8 pages), and Presentations (abstract up to 4 pages). Short papers and Presentations can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.
(Updated) 21 - 25 September 2020, 6th Workshop on Formal and Cognitive Reasoning (FCR 2020), VirtualLocation: VirtualDeadline: Thursday 23 July 2020
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, possibly in combination with machine learning methods. 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. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. FCR 2020 will be a workshop at the 43rd German Conference on Artificial Intelligence (KI-2020).
We welcome papers on the following and any related topics: * action and change; * agents and multiagent systems; * analogical reasoning; * formal argumentation; * belief revision and belief update; * cognitive modeling and empirical data; * commonsense and defeasible reasoning; * decision theory and preferences; * inductive reasoning and cognition; * knowledge representation in theory and practice; * learning and knowledge discovery in data; * nonmonotonic and uncertain reasoning; * ontologies and description logics; * probabilistic approaches of reasoning; * syllogistic reasoning.
Papers should be formatted according to the Springer LNCS format. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system.For more information, see https://www.fernuni-hagen.de/wbs/fcr2020.
14 October 2020, 4th Workshop on Foundational Ontology (FOUST IV)Location: VirtualTarget audience: Computer Science, Philosophy, Conceptual ModellingCosts: FreeDeadline: Monday 27 July 2020
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 4th Workshop on Foundational Ontology (FOUST IV) is organised as part of the Joint Ontology Workshops and hosted by the Bolzano Summer of Knowledge.
Relevant topics include:
- Changes to existing foundational ontologies / extension by new modules
- Any specific category or topic usually covered by foundational ontology (e.g., functions, roles, time, mereology)
- Theoretical results about specific foundational ontologies (e.g., consistency proof of significant parts of an existing foundational ontology)
- Comparison and alignments of foundational ontologies
- Relationship between foundational ontologies and domain ontologies
- Applications of foundational ontologies in AI, Semantic Web, Linguistics, etc.
We encourage different types of contribution: Full research papers (10 pages) and Short papers (6 pages). Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. All contributions to JOWO workshops will be published in a joint CEUR proceedings volume.
Call for Proposals: Philosophy of Mathematics sessions at APA Divisional MeetingsDeadline: Thursday 30 July 2020
The Philosophy of Mathematics Association is an affiliated group of the American Philosophical Association and as such is invited to organize sessions in the group program at APA divisional meetings. The PMA has held such a group session at the 2020 Eastern meeting, and is hoping to make philosophy of mathematics symposia a regular component of APA divisional meetings. Please submit your proposal for a 2- or 3-hour symposium on a topic in the philosophy of mathematics by July 30, 2020.
Proposals will be vetted by a joint committee of the PMA and the Association for the Philosophy of Mathematical Practice (APMP), and successful proposals will be scheduled for inclusion at a 2021 APA divisional meeting.For more information, see https://forms.gle/L99aE6s1GtJWYCMy5.
CfP special issue of "Logical Investigations" on NegationDeadline: Friday 31 July 2020
The journal "Logical Investigations" provides a platform for broad discussions of logical problems of both conceptual and purely theoretical nature. There are plans for a special issue of "Logical Investigations" devoted to logical and philosophical aspects of negation, Vol. 27(1), 2021.
Original papers are invited on negation related topics. Submissions should be written in English and should be submitted electronically as Pdf-documents generated from LaTeX using the style file LIarticle.cls. Papers should not exceed 20 pages in the above mentioned format (including all notes, the bibliography, and the abstract).For more information, see here or at https://eng.iph.ras.ru/log_inv.htm or contact Grigory.Olkhovikov at rub.de Hitoshi.Omori at rub.de, or Heinrich.Wansing at rub.de.
28 March - 7 April 2021, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)Location: Chania/Crete (Greece)Deadline: Saturday 1 August 2020
UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.
The Universal Logic School will feature an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session. The Universal Logic Congress will have invited and contributing speakers, workshops, a secret speaker (as in previous editions), and a contest: the 2nd World Logic Prizes Contest. This contest is a competition between winners of logic prizes of different countries. To the winner is awarded the Universal Logic Prize.Talks related to any aspect of logic are welcome, as are proposals for tutorals for the school related to any aspect of logic.You can also submit a workshop related to any aspect of logic. Send a one page description of the workshop to UNILOG'2021 before July 1st, 2020.For more information, see https://sites.google.com/view/unilog-2021/.
18 - 24 September 2020, The Seventh Workshop on Probabilistic Logic Programming (PLP 2020), OnlineLocation: OnlineDeadline: Saturday 1 August 2020
Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms.
PLP will be online this year and will be co-located with ICLP 2020. The workshop encompasses all aspects of combining logic, algorithms, programming and probability, and provides a forum for the exchange of ideas, presentation of results and preliminary work.
Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper.
(New) 18 - 24 September 2020, Second Workshop on Epistemic Extensions of Logic Programming (EELP 2020), VirtualLocation: VirtualDeadline: Friday 7 August 2020
Several successful logic programming languages, evidenced by the availability of a multitude of solvers, industrial applications, and an active research community, have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages. This led to a flurry of research on this topic, and renewed interest in recent years. 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.
This workshop is part of the International Conference of Logic Programming (ICLP) 2020. In keeping with the main conference, the workshop will be held as a fully virtual event this year.
We welcome two categories of submissions: Full Papers, that is, original, unpublished research (at most 15 pages), and Extended Abstracts of already published research (at most 2 pages). All submissions should be in the Springer LNCS format.
2 - 3 November 2020, The Fifteenth International Workshop on Ontology Matching (OM-2020), VirtualLocation: VirtualDeadline: Monday 10 August 2020
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 navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate.
This International Semantic Web Conference (ISWC) 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 2020 campaign. 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings.
This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users.
Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2020 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style.For more information, see http://om2020.ontologymatching.org/.
CfP special issue of Bulletin of the Section of Logic on "Reasoning about social phenomena"Deadline: Monday 31 August 2020
We invite contributions to a Special Issue of Bulletin of the Section of Logic (BSL): „Reasoning about social phenomena”. BSL is an international logical journal published from 1972 (Editior-in-chief: Andrzej Indrzejczak).
High quality research papers concerning applications of logic to social phenomena, including, but not limited to, the following topics, are welcome:
– philosophical logic (deontic, epistemic, causal, probabilistic etc) within social context,
– multi agent logics,
– non-monotonic reasoning (particularly to cognitive science),
– formal social sciences,
– formal ethics.For more information, see https://www.czasopisma.uni.lodz.pl/bulletin/about/submissions.
18 - 19 January 2021, Certified Programs & Proofs (CPP 2021), either virtual or Copenhagen, DenmarkLocation: either virtual or Copenhagen, DenmarkDeadline: Wednesday 16 September 2020
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
Due to the COVID-19 situation, it is currently uncertain whether CPP 2021 will be a physical conference in Copenhagen, Denmark or a virtual one.
We welcome submissions in research areas related to formal certification of programs and proofs. The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution.Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed.
The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. CPP 2021 will employ a lightweight double-blind reviewing process.
Spanish UNILOG Logic PrizeDeadline: Friday 30 October 2020
UNILOG LOGIC PRIZE is an international initiative to award one prize per country to an original manuscript on logic. The spanish incarnation is open to all researchers who are (or have been in the last 10 years) affiliated with any university or research institution based in Spain, regardless of their position, nationality, gender or age. This includes not only professors and researchers from these institutions, but also current postgraduate students and doctors who presented their Ph. Dissertations less than 10 years ago.
Participants are asked to submit an original manuscript written in English, between 15 and 30 pages, on any topic that can be considered to be related to logic (according to the standards of the international logic community).For more information, see http://www.uni-log.org/logic-prize-spain.
CfP special issue of "Social Choice and Welfare" on deliberation & aggregationDeadline: Sunday 15 November 2020
Social Choice and Welfare (SCW) mainly publishes high-quality papers studying models of welfare economics and collective choice. Conceptual or philosophical papers that are of exceptional quality and close to the core topics of the journal will also be considered for this special issue.
The goal of this special issue is to put together a number of original articles that further our understanding of how, and when, deliberation and aggregation can be conjoined in order to arrive at better processes of collective attitude formation. The overarching question is how deliberation can be better geared towards aggregation, and how to enrich current models of belief and preference aggregation to make them more amenable to the results of deliberation.For more information, see https://www.springer.com/journal/355/updates/17940930 or contact Mikaël Cozic at mikael.cozic at u-pec.fr, or Olivier Roy at Olivier.Roy at uni-bayreuth.de.
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.
Masterclass "Lakatos's Undone Work": The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of ScienceLocation: Virtual
In this online masterclass, each of the 14 participating graduate students will write a research paper under the supervision of expert mentors from philosophy of science and philosophy of mathematics. Students can apply for different mentors and they will be matched with the mentors according to their interests.
The overarching theme of this masterclass is an analysis of a 'practical turn' in the philosophy of mathematics. Is this turn analogous to the practical turn in philosophy of sciences? Should it be? What are the exact roles of the actual empirical studies of mathematical practice (f.i. in mathematics education, sociology of mathematic, etc.)? How should these interact with the philosophy of mathematics?
We want to encourage work looking at the following three areas: First, we want to draw attention to the seminal work of Imre Lakatos. In addition to that we want to encourage work on the interplay of the philosophy of mathematics and the philosophy of science. Another possible string of investigation is the analysis of new scientific methodologies in the philosophy of mathematics.For more information, see https://lakatosundonework.weebly.com/.
11 - 17 July 2020, NASSLLI Workshop "Natural Logic Meets Machine Learning" (NALOMA)Location: Brandeis University, Waltham MA USATarget audience: logic, NLPCosts: registration at NASSLLI
NAtural LOgic Meets MAchine Learning (NALOMA) is the first workshop of its kind, aiming to bridge the gap between Machine Learning and Natural Logic. It will take place from July 11-July 17, 2020, during the 9th North American Summer School for Logic, Language, and Information (NASSLLI) at Brandeis University in Waltham, Massachusetts. The aim of this workshop is to bring together researchers working in both Natural Logic and Machine Learning approaches to NLI, initiating a discussion with the two sets of researchers that have been largely unconnected up to now.
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.
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.
13 - 24 July 2020, The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information (SpLogIC), São Paulo, BrazilLocation: São Paulo, Brazil
The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SpLogIC – is promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, to be held from July 13th to 24th, 2020. The program comprises nine courses and nine plenary talks ministered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions delivered by students.
Undergraduate and graduate students, and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the event.
Priority will be given to candidates currently enrolled in graduate programs (Masters/M.Sc. and Doctorate/Ph.D.) and currently developing a thesis or dissertation in the fields of the event. The applicant’s country of origin will also be taken into consideration, in order to include participants from all continents.
17 - 19 July 2020, 24th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2020 / WatchDial), Waltham MA, U.S.A.Location: Waltham MA, U.S.A.
WatchDial will be the 24th 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 2020 the workshop will be hosted by the programs in Linguistics and in Computational Linguistics, in collaboration with the departments of Computer Science and Philosophy at Brandeis University, and will be collocated with the North American Summer School in Logic, Language, and Information.For more information, see https://www.brandeis.edu/nasslli2020/semdial.html.
18 - 31 July 2020, The 4th Crete Summer School of Linguistics (CreteLing 2020)Target audience: Master / PhD students
There will be introductory, intermediate and advanced courses in a variety of linguistic subfields.
19 - 24 July 2020, IEEE World Congress on Computational Intelligence (WCCI 2020), Glasgow, ScotlandLocation: Glasgow, Scotland
The IEEE World Congress on Computational Intelligence (IEEE WCCI) is the world’s largest technical event in the field of computational intelligence. WCCI 2020 features the flagship conference of the Computational Intelligence Society: The 2020 International Joint Conference on Neural Networks (IJCNN 2020), the 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), and the 2020 IEEE Congress on Evolutionary Computation (IEEE CEC 2020) under one roof. It encourages cross-fertilisation of ideas among the three big areas and provides a forum for intellectuals from all over the world to discuss and present their research findings on computational intelligence.For more information, see https://wcci2020.org/.
(New) 19 - 24 July 2020, 32nd International Conference on Computer-Aided Verification (CAV 2020), VirtualLocation: Virtual
CAV 2020 is the 32nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Along with the main conference, CAV will feature eight workshops (in addition to the Verification Mentoring Workshop) and tutorials.For more information, see http://i-cav.org/2020/.
26 - 31 July 2020, 13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, ItalyLocation: Bertinoro, Italy
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.
CICM 2020 Invited Speakers: Kevin Buzzard (Imperial College, London, UK), Catherine Dubois (ENSIIE, CNRS, Evry, France) and Christian Szegedy (Google Research, Mountain View, CA, USA).For more information, see http://www.cicm-conference.org/2020.
26 - 31 July 2020, Summer School on Mathematical Philosophy for Female Students 2020, Munich, GermanyLocation: Munich, GermanyCosts: 200€
The Munich Center for Mathematical Philosophy is organising the seventh edition of the Summer School on Mathematical Philosophy for Female Students, and invites applications until 29th March 2020. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.
This year, the Summer School will have the following lecture streams:
- "Suspension of Belief. Its Nature, Rationality and Logic.”, led by Alexandra Zinke (University of Tübingen)
- "Emergence and Reduction in Science", led by Patricia Palacios (University of Salzburg/MCMP)For more information, see here or at https://www.mathsummer.philosophie.uni-muenchen.de/ or contact mathsummer2020 at lrz.uni-muenchen.de.
27 - 31 July 2020, PIKSI-Logic 2020, Boston MA, U.S.A.Location: Boston MA, U.S.A.
Undergraduates from underrepresented groups are invited to study logic -- five topics over five days, with ten top international instructors -- at Northeastern University for one week in the summer of 2020.
Instructors and Topics:
- Jessica Collins & Lisa Cassell: "The Logic of Belief Revision"
- Joshua Schechter & Julia Staffel: "Logic & Epistemology"
- Gillian Russell & Tamar Lando: "Logic & Language"
- Erica Shumener & Eliya Cohen: "Logic & Metaphysics"
- Audrey Yap & Cat Saint-Croix: "Logic & Feminism"For more information, see http://fitelson.org/piksi/.
27 - 31 July 2020, Workshop on Natural Formal MathematicsLocation: Online
In (pure) mathematics there has always existed a strong informal sense of "naturality". "Natural" theories, notions, properties, or proofs are prefered over technical, convoluted, or counterintuitive approaches. If formal mathematics is to become part of mainstream mathematics, its formalizations and user experience have to become more "natural". This workshop broadly addresses the issue of naturality in formal mathematics.
This workshop is part of the 13th Conference on Intelligent Computer Mathematics (CICM 2020).For more information, see https://cicm-conference.org/2020/cicm.php?event=NFM or contact Florian Rabe at florian.rabe at fau.de, or Peter Koepke at koepke at math.uni-bonn.de.
27 July - 1 August 2020, CEU Summer School "Identity: Logic and Metaphysics", Budapest, HungaryLocation: Budapest, HungaryTarget audience: Graduate Students (Masters/PhD), Early Career Philosophers
This 6-day research-oriented course is designed to familiarize participants with the latest advances in the philosophical debates about identity and related matters. The specific topics to be discussed will be the logic of identity and identity and modality; identity and essence; identity and indiscernibility; time, composition and identity; and personal identity. The course will be delivered by five leaders in their fields, and they will not only introduce those topics but also discuss their latest research on them. Time permitting, selected participants may have occasion to present their own research.For more information, see https://summeruniversity.ceu.edu/identity-logic-and-metaphysics-2020/eligibility or contact Nikhil Mahant at mahant_nikhil at phd.ceu.edu.
30 July - 2 August 2020, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020), Munich, GermanyLocation: Munich, Germany
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2020 will encourage a special focus on the topic "Norms in Social Perspective". We are happy to announce that the keynote speakers for DEON 2020 will be: Marcia Baron (Indiana University, Bloomington), Emiliano Lorini (IRIT-CNRS, Toulouse University, France), Shyam Nair (Arizona State University, Tempe), and Sonja Smets (ILLC, University of Amsterdam).
DEON 2020 will be co-located with the Summer School on Mathematical Philosophy for Female Students, to be held in Munich from 26th until 31st July 2020.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2020/.
32nd European Summer School in Logic, Language and Information (ESSLLI 2020) cancelled/postponedLocation: 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.
Unfortunately, the circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht. Together with the organisers of the 33rd ESSLLI (planned for 2021 in Galway, Ireland), the organisers are investigating whether they can postpone the 32nd ESSLLI to 2021.
4 - 7 August 2020, 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2020), Lima, PeruLocation: Lima, Peru
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. WoLLIC 2020 is planned to also have a special session with the exhibition of a one-hour documentary film about Maryam Mirzakhani, a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.For more information, see http://wollic.org/wollic2020/.
8 - 9 August 2020, Workshop on Semantic Spaces at the Intersection of NLP, Physics, & Cognitive Sciences (SemSpace2020), Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020) is the latest edition of a series of workshops that brings together research at the intersection of NLP, Physics, and Cognitive Science. Using the common ground of vector spaces, the workshop offers researchers in these areas an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between the three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically.
COVID-19 note: the workshop will take place, either in an online format or in person if the situation allows. Since ESSLLI 2020 (with which the workshop was originally to be co-located) has been cancelled, the dates and location may be subject to slight change.
10 - 14 August 2020, Computational and Experimental Explanations in Semantics and PragmaticsLocation: Utrecht
The field of natural language semantics has undergone what some refer to as an ‘experimental turn’ and is arguably currently undergoing a ‘computational turn’. By expanding the toolbox available to the semanticist, these two turns have the effect of expanding the phenomena that can be explained and the varieties of semantic explanation that can be offered.
For example, experimental methods can help distinguish between alternative explanations of semantic effects, e.g. whether to classify controversial phenomena as implicatures or presuppositions. Similarly, computational models of semantics can generate fine-grained and non-categorical predictions that can fruitfully be tested experimentally. And both kinds of methods can be used to ask questions about the emergence of semantic structures in language, including which factors influence their distribution and typology.
Given this wider toolbox and purview, we aim to gather a workshop to showcase exciting new work that develops new semantic explanations using experimental and computational methods, as well as to invite broader reflection on the methodology of semantics now and in its future.For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
10 - 14 August 2020, ESSLLI-2020 Workshop "Approaches to Implicature", Utrecht, NetherlandsLocation: Utrecht, Netherlands
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.For more information, see https://sites.google.com/view/approachestoimplicature/ or contact Dan Lassiter at danlassiter at stanford.edu.
10 - 12 August 2020, Workshop on Logics of Dependence and Independence (LoDE 2020)Location: Online
Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence.
10 - 12 August 2020, 26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2020), Stockholm, SwedenLocation: Stockholm, Sweden
As it is its tradition, *AUTOMATA 2020* will focus on the theory and application of cellular automata and discrete dynamical systems in connection to complexity theory and algorithmic information. There will be special sessions on *Automata in Deep Learning* and *Algorithmic Information Dynamics* with a particular interest in aspects of computability in causation and reprogrammability.
AUTOMATA 2020 is innovating on various fronts given the challenge of climate change we want to reduce the conference Carbon footprint through a virtual attendance option, and also by addressing the underrepresentation of young and minority groups in the field.
10 - 14 August 2020, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.
A first edition of the workshop took place in Gothenburg as part of IWCS 2019.
17 - 21 August 2020, Advances in Modal Logic 2020 (AiML 2020), Helsinki, FinlandLocation: Helsinki, FinlandTarget audience: modal logicians
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. AiML 2020 is the 13th conference in the series.
Bahareh Afshari (University of Amsterdam and Gothenburg University)
Nick Behanishvilii (University of Amsterdam)
Melvin Fitting (City University of New York)
Nina Gierasimczuk (Danish Techical University, Copenhagen)For more information, see https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 or contact aiml2020 at easychair.org.
Autumn 2020, Workshop "Philosophy of Science meets Machine Learning", Tübingen, GermanyLocation: Tübingen, Germany
Machine learning does not only transform businesses and the social sphere, it also fundamentally transforms science and scientific practice. The workshop focuses on that latter issue. It aims to discuss whether and how exactly recent developments in the field of machine learning potentially transform the process of scientific inquiry. For this, it sets out to analyse the field of machine learning through the lenses of philosophy of science, epistemology, research ethics and cognate fields such as sociology of science. The workshop will bring together philosophers from different backgrounds (from formal epistemology to the study of the social dimensions of science) and machine learning researchers.
The workshop is organised by the 'Ethics and Philosophy Lab' of the Cluster of Excellence 'Machine Learning: New Perspectives for Science' at the University of Tübingen.
The workshop planned for June 2020 is postponed - new date will be announced as soon as possible.For more information, see https://uni-tuebingen.de/en/research/core-research/cluster-of-excellence-machine-learning/events/events/#c992217 or contact thomas.grote at uni-tuebingen.de.
Autumn 2020, 4th international conference on Logic, Relativity, & Beyond (LRB 2020), Simontornya, HungaryLocation: Simontornya, Hungary
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.
The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.
Due to the current Covid-19 pandemic, we had to DELAY the LRB20 conference to another time which will be specified later.
24 - 28 August 2020, 11th International Conference on the Theory and Application of Diagrams (Diagrams 2020), Tallinn, EstoniaLocation: Tallinn, Estonia
Diagrams 2020 is the eleventh conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.For more information, see http://www.diagrams-conference.org/2020/.
24 - 28 August 2020, International Workshop on Set Visualization and Reasoning (SetVR 2020), Tallinn, EstoniaLocation: Tallinn, Estonia
SetVR 2020 will be the 7th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2020 will run as part of Diagrams 2020 conference, which will be held from August 24th to 28th in 2020, and is expected to occupy one day during this period.For more information, see https://sites.google.com/site/setvr2kn/.
26 - 28 August 2020, The 15th International Conference on Grammatical Inference (ICGI 2020), New York NY, U.S.A.Location: New York NY, U.S.A.
This bi-annual conference focuses on all aspects of grammar learning, including (but not limited to) theoretical and experimental analysis of different models of grammar induction, and algorithms for induction of different classes of languages and automata.
This edition will provide a particular insight on the relation with connectionist models such as neural networks: tutorials of the first day will focus on that subject and authors are encouraged to submit works on that subject.For more information, see https://icgi2020.lis-lab.fr.
26 - 28 August 2020, Spatial Cognition 2020 (SC 2020), Riga, LatviaLocation: Riga, Latvia
Spatial Cognition is concerned with the acquisition, development, representation, organization, and use of knowledge about spatial objects in real, virtual or hybrid environments and processed by human or artificial agents. Spatial Cognition includes research from different fields insofar as they are concerned with cognitive agents and space. Research issues in the field range from the investigation of human spatial cognition to mobile robot navigation. SC 2020 will bring together researchers working on spatial cognition from all of these perspectives.
The conference is single-track, and the final program will be the result of a selective review process. The program will include oral and poster presentations of refereed papers, and keynote talks by Sara I. Fabrikant, Steve Franconeri and Laure Rondi-Reig.
26 - 28 August 2020, 15th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020), Salvador, BrazilLocation: Salvador, Brazil
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.For more information, see http://lsfa2020.ufba.br.
29 August - 2 September 2020, 24th European Conference on Artificial Intelligence (ECAI 2020), VirtualLocation: Virtual
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 was to 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.
Since the evolution of the COVID-19 pandemic and the mobility constraints still in place make it difficult planning, the organizers believe that the most reasonable decision is to hold ECAI 2020 fully online, and have announced the new Digital ECAI2020.For more information, see http://www.ecai2020.eu/.
29 - 30 August 2020, 8th Workshop "What can FCA do for AI?" (FCA4AI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
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 and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing. While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA.
The 8th FCA4AI workshop, co-located with ECAI 2020, is (as usual) dedicated to discuss such issues, and in particular:
- How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- By contrast, how the current developments in AI can be integrated within FCA to help AI researchers to solve complex problems in their domain.For more information, see http://www.fca4ai.hse.ru/2020.
30 August 2020, ECAI Workshop on Computational Argumentation & Cognition (COGNITAR 2020)Location: Santiago de Compostela, Spain
This workshop will aim to bring together researchers whose interests bridge between AI and other disciplines such as Cognitive Science, Language and Philosophy, to study how computational argumentation can form an underlying theoretical and practical basis for modeling cognition and building human-centric AI systems.
The main general questions that will concern the workshop are:
- Can argumentation provide the basis for computational models of human reasoning that are cognitively adequate?
- How can we form a synthesis between computational argumentation and theories of cognition that will give us models of computational cognition for the development of AI systems?
31 August - 2 September 2020, ECAI2020 workshop NETREASON, Santiago de Compostela, SpainLocation: Santiago de Compostela, Spain
This workshop focuses on the issues of information spread in a social network of natural and artificial agents as studied by the emerging interdisciplinary field of multi-agent systems, reasoning and social network analysis.
COVID-19 note: the workshop will follow ECAI. If they go virtual, we go virtual.For more information, see https://netreason.w.uib.no/.
31 August - 4 September 2020, Workshop Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2020) , Faro (Portugal) or onlineLocation: Faro (Portugal) or online
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.
The workshop is planned to take place in Faro, Portugal. However, due to the COVID-19 pandemic, the workshop may take place online.For more information, see http://cid.uni-trier.de/ccc-2020.
1 September 2020, Krajíček's Fest: Logical Foundations of Complexity Theory, Tabor, Czech RepublicLocation: Tabor, Czech Republic
We would like to invite you to participate in a workshop 'Krajíček's Fest' on the Logical Foundations of Complexity Theory, to celebrate Prof. Jan Krajicek's 60th anniversary and his Contributions to Logic and Complexity
The event will be followed by a 3-day workshop on Complexity Theory which will include tutorials and contributed talks.For more information, see https://www.dcs.warwick.ac.uk/~igorcarb/events/krajicek-fest/index.html.
3 - 5 September 2020, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, UkraineLocation: Kyiv, UkraineTarget audience: Researchers in logicCosts: Conference fee: 160/190 EUR
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).
6 - 9 September 2020, Logic @ DGPhil, Erlangen, GermanyLocation: Erlangen, Germany
There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".For more information, see https://dgphil2020.fau.de/en/.
6 - 9 September 2020, 1st Symposium on Formal Approaches to Vagueness in Relation to Mereology (FVRM'20), Sofia, BulgariaLocation: Sofia, Bulgaria
Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.
7 - 11 September 2020, 11th International Conference on Computational Creativity (ICCC'20), Coimbra, PortugalLocation: Coimbra, Portugal
Computational Creativity (or CC) is a discipline with its roots in Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that explores the potential for computers to be autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on.For more information, see http://computationalcreativity.net/iccc20/.
7 - 11 September 2020, 18th MonsTheoretical Computer Science Days, Prague, Czech RepublicLocation: Prague, Czech Republic
The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 7?11, 2020. The conference will offer invited talks and lectures on selected abstracts.
The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).
8 - 11 September 2020, 23rd International Conference on Text, Speech and Dialogue (TSD 2020), Brno, Czech RepublicLocation: Brno, Czech Republic
TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions with sufficient time for discussions of the issues raised.The TSD 2020 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. Social events including a trip in the vicinity of Brno will allow for additional informal interactions.
9 - 12 September 2020, Sixteenth International Tbilisi Summer School in Logic and Language (Tbilisi 2020), Tbilisi, GeorgiaLocation: Tbilisi, Georgia
The summer school is a major event of the Tbilisi Autumn of Logic organised by the Kurt Gödel Society. This summer school is directed towards the audience of young researchers of LATD 2020. For young researchers the summer school is covered by the registration fees of LATD 2020. For additional participants the fee is Euro 150, for Georgian participants a limited number of free registrations is provided.
Confirmed lecturers: Bahareh Afshari (University of Amsterdam), Thomas Eiter (nominated, TU Wien)
Christian Fermüller (TU Wien), Daniele Mundici (University of Florence), Norbert Preining (Accelia Inc.), James Raftery (University of Pretoria).
9 - 11 September 2020, Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020), Bologna (Italy) or VirtualLocation: Bologna (Italy) or Virtual
The conference is concerned with the theory of computability and complexity over real-valued data.
The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.For more information, see http://cca-net.de/cca2020/.
10 - 11 September 2020, Seventh International Workshop on Controlled Natural Language (CNL 2020)Location: AmsterdamTarget audience: researchers and practitionersCosts: €200 (small changes are possible)
This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
12 - 18 September 2020, 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, GreeceLocation: Rhodes, Greece
Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The biennial International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
12 - 14 September 2020, 18th International Workshop on Nonmonotonic Reasoning (NMR 2020), Rhodes, GreeceLocation: Rhodes, Greece
NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
As in previous editions, NMR 2020 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. Workshop activities will include invited talks and presentations of technical papers. NMR 2020 is co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) and the 33rd International Workshop on Description Logics (DL 2020). In particular, NMR 2020 will share a joint session with DL 2020.For more information, see https://nmr2020.dc.uba.ar.
13 - 18 September 2020, 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, FranceLocation: Aussois, France
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.For more information, see http://aitp-conference.org/2020.
14 - 18 September 2020, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, GeorgiaLocation: Tbilisi, Georgia
This is one of the main events of the Tbilisi Autumn of Logic, a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level.
The LATD 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. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language devoted to courses on core topics of LATD 2020.For more information, see https://www.logic.at/latd2020/.
14 - 20 September 2020, The Joint Ontology Workshops Episode 6 (JOWO 2020), Bolzano, ItalyLocation: Bolzano, Italy
The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, 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.
Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers. Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.
14 - 17 September 2020, 11th International Conference on Formal Ontology in Information Systems (FOIS 2020), Bolzano (Italy)Location: Bolzano (Italy)
The advent of complex information systems that rely on robust, coherent and formal representations of their subject matter, has led to the exploitation of ontological analysis and ontology-based representation. The systematic study of such analysis and representation is at the center of the modern discipline of formal ontology, which is a general theory of the types of entities and relations making up domains of interest. Researchers in many domains engage with formal ontology to provide a solid foundation for their work.
The FOIS conference is a meeting point for all researchers with an interest in formal ontology. FOIS 2020 includes a number of activities: FOIS conference (single track program), workshops (in conjunction with EKAW 2020 and ICBO 2020) ,tutorials (in conjunction with EKAW 2020 and ICBO 2020), a young researchers symposium, a demo and industry track, and an ontology show and tell. As in previous years, FOIS 2020 aims to be a nexus of interdisciplinary research and communication.
Please note: FOIS will happen as a face-to-face event in Bolzano when it is safe to travel. Ideally, in September 2020 but otherwise at a later date in 2021.For more information, see https://fois2020.inf.unibz.it/.
16 - 20 September 2020, The 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2020), VirtualLocation: Virtual
The 22nd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.
The special theme of EKAW 2020 is "Ethical and Trustworthy Knowledge Engineering". While recent reported breaches relate predominantly to machine learning systems, it is not impossible to envision ethical breaches in knowledge engineering more broadly and, conversely, devise methods and techniques to ensure no or minimal harm in knowledge acquisition, modelling, and knowledge-driven information systems. EKAW 2020 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management to keep fostering trustworthy systems.
There will be two workshops at EKAW 2020: the 5th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE), and the Workshop on Scalable Knowledge Graph Engineering (SKALE).For more information, see https://ekaw2020.inf.unibz.it/.
18 - 21 September 2020, 25th International Conference on Conceptual Structures (ICCS 2020), Bolzano, ItalyLocation: Bolzano, Italy
The International Conferences on Conceptual Structures (ICCS) focus on the formal analysis and representation of conceptual knowledge, at the crossroads of artificial intelligence, human cognition, computational linguistics, and related areas of computer science and cognitive science. The ICCS conferences evolved from a series of seven annual workshops on conceptual graphs, starting with an informal gathering hosted by John F. Sowa in 1986. Recently, graph-based knowledge representation and reasoning (KRR) paradigms are getting more and more attention. With the rise of quasi-autonomous AI, graph-based representations provide a vehicle for making machine cognition explicit to its human users. This year ICCS 2020 is a part of 'Bolzano Summer of Knowledge' which will take place in Bolzano, Italy during the month of September, 2020.
18 - 24 September 2020, 36th International Conference on Logic Programming (ICLP 2020), VirtualLocation: Virtual
Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP 2020) has been the premier international event for presenting research in logic programming.
Contributions are solicited in all areas of logic programming, including but not restricted to Foundations, Declarative Programming, Related Paradigms and Synergies, Implementation and Applications. Besides the main track, ICLP 2020 will host an Applications Track, a Sister Conferences and Journal Presentation Track, a Special Session on Women in Logic Programming, and a Research Challenges in Logic Programming Track. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. A school on logic programming will be held before the conference.For more information, see https://iclp2020.unical.it/.
20 - 26 September 2020, 5th International Autumn School "Proof and Computation" , Fischbachau, GermanyLocation: Fischbachau, GermanyTarget audience: Graduate or PhD students and young postdoctoral researchers
The aim of the autumn school "Proof and Computation" 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. 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/pc20.php or contact xu at math.lmu.de.
21 - 23 September 2020, Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), OnlineLocation: Online
The aim of GandALF 2020 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilisation.
This year, GANDALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network which will held on September 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics.
Due to COVID19 outbreak, the local organization committee and the steering committee of Gandalf have decided that the conference will be organized online this year.For more information, see https://di.ulb.ac.be/verif/gandalf2020/.
22 - 23 September 2020, Second international workshop "Concepts in Action: Representation, Learning, and Application" (CARLA 2020), Bolzano, ItalyLocation: Bolzano, Italy
"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. Although the workshop is open for research on any aspect of concepts, there exists a set of core topics that are of special interest:
- Representation: How can we formally describe and model concepts?
- Learning: Where do concepts come from and how are they acquired?
- Application: How are concepts used in cognitive tasks?
Invited Speakers: Mattis List and Marianna Bolognesi.For more information, see https://www.conceptuccino.uni-osnabrueck.de/carla_workshop/carla_2020.html or contact concepts at uni-osnabrueck.de.
23 - 26 September 2020, CL2020: Colloquium Logicum 2020, Konstanz, GermanyLocation: Konstanz, Germany
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence. In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
Keynote Speakers: Laurent Bienvenu (Bordeaux), Catrin Campbell-Moore (Bristol), Wesley Holliday (Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Alison Pease (Dundee) and Margaret Thomas (West Lafayette).
24 - 25 September 2020, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2020), London, EnglandLocation: London, England
The aims of FMAI 2020 are to:
- Present success stories about the application of formal methods in AI.
- Discuss strategies for bringing the Formal Methods and the AI communities closer together.
- Consolidate collaborations between these two communities and foster new ones.
Invited Speakers: Giuseppe de Giacomo (Sapienza Universita' di Roma, Italy) and Jane Hillston (University of Edinburgh, UK).For more information, see https://www.doc.ic.ac.uk/~fbelard/Workshop/.
26 - 28 September 2020, 10th International Conference on Non-Classical Logics, Theory & Applications, Łódź, PolandLocation: Łódź, Poland
The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.
During this year's edition of the conference there will be a special session devoted to formal ontology, broadly conceived.For more information, see http://ncl.uni.lodz.pl/.
28 - 29 September 2020, Workshop "Logic & Formal Methods in Philosophy", Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.
On Monday-Tuesday September 28-29, 2020, the UCLA Philosophy department will host a workshop entitled "Logic and Formal Methods in Philosophy." We are delighted to announce the following invited speakers:
- Hannes Leitgeb, Munich Center for Mathematical Philosophy (Keynote)
- Ray Briggs, Stanford University
- Thomas Icard, Stanford University
- Michael Caie, University of Toronto
- Kai Wehmeier, UC Irvine
October 2020, Formal Philosophy 2020, Moscow, RussiaLocation: Moscow, RussiaCosts: free
"Formal Philosophy 2020" is the 3rd annual international conference, organized by the International Laboratory for Logic, Linguistics and Formal Philosophy in National Research University Higher School of Economics, Moscow, Russia. Formal Philosophy-2020 will be dedicated to various topics in the field of formal epistemology, formal ontology, formal ethics, philosophy of logic, an epistemology of logic and other branches of formal and mathematical philosophy.
"Formal Philosophy 2020" is postponed until October 2020.For more information, see https://sites.google.com/view/2020-formal-philosophy/ or contact formalphilosophy2020 at gmail.com.
7 - 9 October 2020, Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, L'Aquila, ItalyLocation: L'Aquila, Italy
We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. There will be a Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, the 17th International Conference on Distributed Computing and Artificial Intelligence. This special session will cover both theories and applications.For more information, see https://www.dcai-conference.net/special-sessions/nla20 or contact Roussanka Loukanova at rloukanova at gmail.com.
9 - 10 October 2020, 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), Prague, Czech Republic or VirtualLocation: Prague, Czech Republic or Virtual
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.
Invited Speakers: Natasha Alechina and Johan van Benthem.
Given the improving epidemiological situation, in the Czech Republic and elsewhere, our intention is to organize the event as originally planned. In case the situation worsens, DaLi 2020 will be held as an online conference.
14 - 16 October 2020, Conference on Probability and Meaning (PaM), Gothenburg, SwedenLocation: Gothenburg, Sweden
Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP). PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.
In addition to the main conference, on 5th June 2020 CLASP and the AI Competence for Sweden are organising a one day workshop on AI and Natural Language with emphasis on industrial collaboration. The aim of the workshop is to present cutting edge research in Natural Language Processing and Computational Linguistics and its relation to AI and to bring together researchers and industrial partners mainly from Sweden and the Nordic countries in these areas.For more information, see https://sites.google.com/view/pam2020/home.
19 - 23 October 2020, ATVA 2020: Automated Technology for Verification & Analysis, Hanoi, VietnamLocation: Hanoi, Vietnam
ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.
Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).For more information, see http://fit.uet.vnu.edu.vn/atva2020/.
30 October - 1 November 2020, 2nd Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Beijing, ChinaLocation: Beijing, China
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.For more information, see http://tsinghualogic.net/JRC/?page_id=1576.
26 - 28 November 2020, 31st Novembertagung: Axiomatics: Ancient and Contemporary Perspectives, Berlin, GermanyLocation: Berlin, Germany
The Novembertagungis an international graduate conference on the history and philosophy of mathematics and neighbouring fields. It aims to provide an opportunity for graduate students at all levels to present and discuss their research in an informal and safe environment. It also allows young researchers to share experiences, get advice and establish new contacts.
On the theme: While Euclid (c. 3rd century BC) is usually celebrated as the beginning of axiomatic science, many features that are nowadays taken to be essential to axiomatics appear to be alien to ancient mathematics. A major contemporary change in the view on axiomatics was initiated by the adoption of the set-theoretic axiomatic framework as a foundation of mathematics in the first half of the 20thcentury. Proof theory and model theory subsequently developed as independent research fields and had a wide impact on philosophical thought.On the other hand, some philosophers also argue that the axiomatic view on mathematics may be harmful in that it omits fundamental aspects of mathematical practice and idealizes mathematical reasoning in an unfaithful way.
December 2020, Workshop "Intuition & rigour in geometrical thinking from antiquity to the 19th century", Prague, Czech RepublicLocation: Prague, Czech Republic
From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.
Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).
Early 2021, Computability, Complexity, and Randomness 2020 (CCR 2020) and its satellite Leeds Computability Days 2020 (LCD 2020), Cambridge & Leeds (UK)Location: Cambridge & Leeds (UK)
We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.
Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.
Due to the COVID-19 crisis the conferences have been postponed until 2021.For more information, see http://www.computability.org/LCD2020/.
25 - 28 January 2021, Computer Science Logic (CSL'21), Ljubljana, Slovenia AND/OR VirtualLocation: Ljubljana, Slovenia AND/OR Virtual
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.
15 - 19 June 2021, Logical Perspectives 2020/2021, Moscow, RussiaLocation: Moscow, Russia
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to:
- logical methods in mathematics;
- logical methods in philosophy;
- logical methods in computer science.
The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers - including early career scientists - an opportunity to present their work. In particular, the Logical Perspectives 2020 Summer School and Workshop (LP 2020 SW) will be concerned with computational proof theory, broadly understood. It will take place in Moscow on June 15-19, 2020, following LP 2020. The programme of LP 2020 SW will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.
In view of the developing situation with COVID-19 in Russia,
Logical Perspectives 2020 has moved to June 2021.
5 - 17 July 2021, Seventh EPICENTER Spring Course in Epistemic Game Theory 2020, Maastricht University, Maastricht, The NetherlandsLocation: Maastricht University, Maastricht, The Netherlands
The EPICENTER, the 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 takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.
Due to the Corona-outbreak, the edition of 2020 had to be cancelled. The next edition will be in 2021.
19 - 24 July 2021, Logic Colloquium 2021 (LC 2021), Poznan, PolandLocation: Poznan, Poland
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
The program will feature tutorials by Krzysztof Krupiński (University of Wrocław) and Andrew Marks – (University of California, Los Angeles), and special sessions on Set Theory, Model Theory, Modal and Epistemic Logic, Proofs and Programs, Computability Logic, and Cognitive Science and Linguistics.
Due to public health concerns regarding COVID-19, the ASL Executive Committee, in consultation with the local organizers and the ASL European Committee, has made the decision to postpone the 2020 Logic Colloquium. It will take place on July 19-24, 2021, approximately a year later than originally scheduled, in the same location: Poznan, Poland.
27 - 28 August 2021, Mathematics & Analogical Reasoning, Munich, GermanyLocation: Munich, Germany
Sometimes particular mathematical structures serve scientists as heuristic devices in their own right by giving indications of structural similarities between otherwise unrelated physical systems. And in philosophical discourse, it is often not singular mathematical formulas, but the entire structure of mathematics that is used as an argumentative point of reference. The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy.
The conference has been postponed to 2021 due to the COVID-19 epidemic.For more information, see https://silviajonas.wixsite.com/mathematicsanalogies or contact Silvia Jonas at silvia.jonas at lmu.de.