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
29 June - 2 July 2021, 16th International Conference on Formal Concept Analysis (ICFCA 2021:16), Strasbourg, FranceLocation: Strasbourg, FranceDeadline: Monday 18 January 2021
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery.
The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Life and Social Sciences, etc.
We invite scientific publications on theory and applications of Formal Concept Analysis. Papers of up to sixteen pages may be submitted in the PDF format via the Easychair system. Main topics of interest include, but are not limited to:
- Fundamental aspects of FCA
- Bridging FCA to information sciences and artificial intelligence
- Understanding, modelling real-world data and phenomena with FCA
CfP special issue of Logical Methods in Computer Science (LMCS) on Computing with Infinite Data / Continuity, Computability, ConstructivityDeadline: Sunday 31 January 2021
After two years of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and two excellent Workshops CCC 2019 in Ljubljana (Slovenia) and CCC 2020 (online), we are planning to publish a collection of papers dedicated to the meetings, to the project and to the subject in general as a Special Issue in the open-access journal "Logical Methods in Computer Science" (LMCS).
The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms. Editors: Daniel Graça (Faro, Portugal) and Alex Simpson (Ljubljana, Slovenia).
(New) 20 - 21 March 2021, The 22nd annual Graduate Student Conference in Logic (GSCL XXII), VirtualLocation: VirtualDeadline: Monday 1 February 2021
Hosted virtually at the University of Illinois at Urbana-Champaign The GSCL is a two-day conference organized by and for mathematical logic students in Master's and PhD programs.
If you are a graduate student (Master's or PhD) in mathematical logic and wish to speak at GSCL XXII, please include your title and abstract in your registration form, and submit it by February 1st, 2021.
13 - 16 July 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Glasgow (Scotland) or VirtualLocation: Glasgow (Scotland) or VirtualDeadline: Friday 12 February 2021
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 12 July 2021.
We are closely monitoring the development of the COVID-19 pandemic. If it is not viable to hold ICALP 2021 as a physical conference, we will run it virtually on the same dates. We will decide in January 2021 at the latest.
Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. Papers presenting original research on all aspects of theoretical computer science are sought. All submissions must be formatted in the LIPIcs style and submitted via Easychair to the appropriate track of the conference. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed.
We also invite proposals for workshops affiliated with ICALP 2021 on all topics covered by ICALP, as well as other areas of theoretical computer science. Deadline for workshop proposals: Monday 30 November 2020.
24 - 25 June 2021, 20th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, VirtualLocation: VirtualDeadline: Friday 12 February 2021
The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. We are pleased to announce our keynote speaker this year is James Owen Weatherall from the University of California, Irvine.
Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Papers in philosophy of physics will be considered for the Annual Clifton Memorial book prize. The contest will be adjudicated by philosophy of physics faculty members at Western. The maximum paper length is 5,000 words, including footnotes and appendices (but not references). Co-authored papers are not eligible for submission.
9 - 13 August 2021, Computational and Experimental Explanations in Semantics and PragmaticsLocation: UtrechtDeadline: Monday 15 February 2021
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.
Topics of potential interest include but are not limited to:
* Experimental semantics and pragmatics
* Graded/non-categorical semantic theories and explanations
* Information-theoretic measures and explanations in semantics and pragmatics
* Semantic universals
* Learnability and evolution of semantics and pragmatics
* Bayesian approaches to semantics and pragmatics
* Probing neural models for learned semantic representations
* Semantics in emergent communication protocols
* The methodology of semantics
We invite anonymized submission of abstracts of 2 pages (12 pt font; 1in or 2.5cm margins) — with an extra page for references of figures — on new research on topics related to those listed above by February 15.For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
11 - 16 July 2021, The 28th International Conference on Automated Deduction (CADE-28), Pittsburgh PA (U.S.A.) or VirtualLocation: Pittsburgh PA (U.S.A.) or VirtualDeadline: Monday 15 February 2021
CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.
CADE will carefully monitor the development of the COVID-19 pandemic, and take guidance from from the health authorities, to determine whether CADE-28 will be physical or online.
Paper submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. Submissions can be made in two categories: + Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. + Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style.
Additionally, proposals are sollicited for workshops, tutorials andcompetitions. Workshops and tutorials will take place before the conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are welcome. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest to CADE-28. Proposed competitions should foster the development of automated reasoning systems and applications, in all areas relevant to automated deduction in a broad sense. Proposal submission deadline: 16 November 2020.For more information, see http://www.cade-28.info/.
CfP special issue of Logic & Logical Philosophy on "Relating Logic & Relating Semantics"Deadline: Monday 15 February 2021
We invite contributions to the Special Issue of Logic and Logical Philosophy (LLP): "Relating Logic and Relating Semantics". Guest editors: Tomasz tomasz jarmużek (Nicolaus Copernicus University in Toruń) and Francesco Paoli (University of Cagliari, Italy).
High quality research papers concerning theory and applications of relating logics and relating semantics, including, but not limited to, the following topics, are welcome:
- applications of relating semantics,
- algebraic interpretation of relating logics,
- comparison of relating semantics with other formal semantics, - history of relating logics,
- modal extensions of relating logics,
- model theory of relating logics,
- philosophical logics defined by relating semantics,
- proof theory for relating logics,
- philosophical foundations of relating logics,
- other related topics (like dependence logic, set-assignment semantics etc.).
Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists.
9 - 11 August 2021, 17th Algorithms and Data Structures Symposium (WADS 2021), Virtual or Halifax NS, CanadaLocation: Virtual or Halifax NS, CanadaDeadline: Saturday 20 February 2021
The Algorithms and Data Structures Symposium, WADS, which alternates with the Scandinavian Symposium and Workshops on Algorithm Theory, SWAT, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures.
WADS 2021 will most likely be fully online. It may have an in-person component (depending on the covid-19 situation), which will be held at Dalhousie University, Halifax, Nova Scotia, Canada. CCCG 2021, the 33rd Canadian Conference on Computational Geometry, is planned for August 10-12 at the same location.
We invite submissions of papers presenting original research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry, databases, graphics, and parallel and distributed computing. Contributors are invited to submit a full paper in Springer LNCS format. WADS 2021 will have a best paper award in memory of Alejandro Lopez-Ortiz, and a best all-student paper award.For more information, see https://projects.cs.dal.ca/wads2021/.
(Updated) CfP special issue of "Journal of Logic and Computation" (JLC) on "Reasoning about Social Networks"Deadline: Sunday 21 February 2021
Following a successful workshop at ECAI2020 we invite submissions for a Special Issue on Reasoning about Social Networks in the Journal of Logic and Computation. The special issue focuses on the issues of information spread in a social networks of natural and artificial agents, as studied by the emerging interdisciplinary field of multi-agent systems, logic and social network analysis.
Submissions are to be sent to all the guest editors, written in English and formatted in LaTeX. All papers will be peer reviewed according to the standards of the Journal. Authors of submissions might also be asked to review a paper.For more information, see https://sites.unimi.it/gprimiero/2020/10/01/netreason-special-issue-at-jlc/ or contact Giuseppe Primiero at giuseppe.primiero at unimi.it, Marija Slavkovik at marija.slavkovik at uib.no, or Sonja Smets at S.J.L.Smets at uva.nl.
21 - 24 July 2021, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), MCMP MunichLocation: MCMP MunichCosts: No registration feesDeadline: Sunday 21 February 2021
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/21 will encourage a special focus on the topic 'Norms in Social Perspective'.
Keynote speakers: 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).
We hope the global and local situation will allow us to hold the conference in person. If that will not be the case, we are prepared to hold the conference online, partially or totally. Contributors will be informed in advance.
Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of DEON topics. The paper should be in English, anonymized, and should be no longer than 15 pages (including notes and appendix, but excluding bibliography). The submission of a short abstract must precede the paper’s submission.
Due to COVID-19, we had to postpone the DEON conference to the summer of 2021. A first round of papers was already selected last summer. With this extra call for new submissions, we hope to attract authors who were not already accepted within last summer's round. Selected submissions for this round will be published in the proceedings together with those of the first round, and presented at the conference. We strongly encourage women and other members of under-represented groups in academia to submit a paper.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2021/ or contact Alessandra Marra and Frederik Van De Putte at Alessandra.Marra at lrz.uni-muenchen.de; frederik.vandeputte at ugent.be.
CfP special issue of Annals of Pure and Applied Logic (APAL) on "Logics of Dependence & Independence"Deadline: Sunday 28 February 2021
Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in philosophy and in social and physical sciences. This field of research has grown rapidly in recent years. This family of logics has found applications in fields such as database theory, linguistics, social choice, quantum physics along with other fields. This special issue aims to provide a snapshot of the state of the art of logics of dependence and independence.
The special issue is related to the topics of the Workshop on Logics of Dependence and Independence.Participants of the workshop, as well as other authors are invited to submit contributions.
16 - 18 October 2021, The Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII), Xi'an (China)Location: Xi'an (China)Deadline: Sunday 14 March 2021
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.
We invite submission of contributed papers on any of the broad themes of the LORI series. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Submission is via the EasyChair for LORI-VIII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information, and extended versions of some will later be considered for publication in a special issue of a journal (to be announced). A best student paper award will be given at the conference.
19 - 23 July 2021, 25th International Conference on Implementation & Application of Automata (CIAA 2021), Bremen, GermanyLocation: Bremen, GermanyDeadline: Monday 15 March 2021
The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, including theoretical aspects. Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. The purpose of these conferences is to bring together members of the academic, research and industrial community who have an interest in implementation and application of automata to demonstrate and analyze their work and to explain the problems they have been solving.
Original papers are sought in all areas that relate to implementation and application of automata. Submissions must be written in LaTeX using the LNCS style and must not exceed 12 pages, bibliography included. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed.The proceedings will be published in the Springer LNCS series and will be available at the conference. A "Best Paper Award," since 2014 called "Sheng Yu Award" will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports.For more information, see http://wwwdb.informatik.uni-bremen.de/ciaa2021/.
25 - 27 June 2021, Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China and/or VirtualLocation: Beijing, China and/or VirtualDeadline: Monday 15 March 2021
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
Submissions: are now invited to TARK 2021. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. Abstracts should be no longer than 10 pages. Optional technical details such as proofs may be included in an appendix.For more information, see http://tsinghualogic.net/JRC/?page_id=2034.
6 - 12 November 2021, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021), Hanoi, VietnamLocation: Hanoi, VietnamDeadline: Wednesday 24 March 2021
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR.
In addition to the main conference track, KR2021 will host the following tracks and sessions:
- Applications and Systems Track
- Recently Published Research Track
- Special Session on KR and Machine Learning
- Special Session on KR and Robotics
The KR2021 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium.
The Recently Published Research track, workshops, tutorials, and the doctoral consortium will have different submission and notification dates, which will be announced separately.For more information, see https://kr2021.kbsg.rwth-aachen.de.
14 - 18 July 2021, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece) or VirtualLocation: Volos (Greece) or VirtualDeadline: Friday 26 March 2021
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
PLS13 will have Special Sessions on Computer Science and Philosophical Logic, as well as Tutorials, Invited and Contributed Talks, a Poster Session and a Mentoring Session.
The Scientific Committee cordially invites all researchers in the areas of the conference to submit their papers for presentation at PLS13. Areas of interest include (but are not limited to): Computability Theory, History and Philosophy of Logic, Logic in Computer Science, Model Theory, Nonclassical and Modal Logics, Proof Theory and Set Theory. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance.
Graduate students and young researchers are invited to submit a short abstract on work in progress that may not be ready for a regular contributed talk. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component whereby senior researchers will discuss the posters and provide feedback to student participants.
28 - 30 September 2021, 12th International Conference on the Theory and Application of Diagrams (Diagrams 2021), VirtualLocation: VirtualDeadline: Thursday 1 April 2021
Diagrams 2021 is the twelth conference in the 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.
In addition to the Philosophy track, Diagrams 2021 will have two further tracks: Main, and Psychology and Education.
The conference will include presentations of refereed Papers, Abstracts, and Posters, alongside a graduate symposium. We invite submissions for peer review that focus on any aspect of diagrams research, as follows: Long Papers (16 pages), Abstracts (3 pages), Short Papers (8 pages), Posters (4 pages). If the main research contribution of your submission is considered to fit either of the special tracks then you are strongly encouraged to submit to that track.For more information, see http://www.diagrams-conference.org/2021.
16 - 20 August 2021, 25th International Conference on Developments in Language Theory (DLT 2021), Porto, PortugalLocation: Porto, PortugalDeadline: Sunday 11 April 2021
DLT is International Conference Series under the auspices of the European Association for Theoretical Computer Science (EATCS). The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas.
We will monitor the global travel situation and consider the conditions the conference will be held.
Authors are invited to submit papers presenting original and unpublished research. Each paper will be reviewed at least by three reviewers and review process will be single-blind. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) Series. Simultaneous submission to journals or other conferences with published proceedings is not allowed. Submitted papers should not exceed 12 pages and should follow the LNCS-style.
10 - 14 August 2021, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Saturday 17 April 2021
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.
Topics for submissions include, but are not limited to:
* Richly typed formalisms for natural language semantics.
* Frame-based approaches to formal and computational semantics.
* Applications of dependent types in semantics.
* Semantic computation with structured representations.
* Interactions between lexical semantic structures and compositional semantics.
Papers should not exceed 8 pages in length, excluding references, and should be formatted in accordance with the ACL style sheets.
6 - 9 September 2021, Twenty-fourth International Conference on Text, Speech and Dialogue (TSD2021), Olomouc (Czech Republic) or VirtualLocation: Olomouc (Czech Republic) or VirtualDeadline: Sunday 18 April 2021
The 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 (keynote speeches), oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions.
TSD2021 is going to take place in the beautiful city of Olomouc, Czech Republic. Thus, it is nicely colocated with Interspeech 2021 which is going to be held in Brno, Czech Republic. But as the situation in September 2021 cannot be easily predicted, the TSD2021 organizing committee is ready to organize a virtual conference, if necessary.
The organizing committee invites papers to be presented during the conference. Topics of the conference will include (but are not limited to): Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech, Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Automatic Dialogue Systems , and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
CfP special issue of "Linguistics and Philosophy" (L&P) on "Super Linguistics"Deadline: 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.
21 - 24 September 2021, Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Saturday 1 May 2021
The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, applications, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.
For ECSQARU 2021 we invite submissions of original papers on the conference topics. Authors are requested to prepare their conference papers in the LNCS/LNAI format. Submitted papers must be at most 12 pages, original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. Authors of accepted papers are expected to attend the conference to present their work: at least one author of each paper must register for the conference.
In accordance with the previous conferences, the proceedings of ECSQARU 2021 will be published in the Springer Lecture Notes in Artificial Intelligence series. In addition to that, extended versions of selected papers will be published in a special issue of the International Journal of Approximate Reasoning.For more information, see http://ecsqaru.utia.cas.cz/.
(New) 2 - 5 November 2021, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Marseille, FranceLocation: Marseille, FranceDeadline: Friday 14 May 2021
The RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodologica tools in computer science and beyond.
Submissions in the general fields of algebras relevant to computer science and applications of such algebras are invited. Topics include but are not limited to:
*** Theory ***
- algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales
- their connections with program logics and other logics
- their use in the theories of automata, concurrency, formal languages, games, networks and programming languages
- the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories
- their formalisation with theorem provers
*** Applications ***
- tools and techniques for program correctness, specification and verification
- quantitative and qualitative models and semantics of computing systems and processes
- algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control
- industrial applications
CfP special issue of the journal "Theoria" on Thin ObjectsDeadline: Tuesday 1 June 2021
In his recent book 'Thin Objects: An Abstractionist Account' (Oxford University Press, 2018), Øystein Linnebo claims that mathematical objects are thin in the sense that "very little is required for their existence". Linnebo articulates this view in terms of Fregean abstraction principles, arguing that it is sufficient for abstract objects to exist that some nonabstract objects, or pluralities thereof, stands in the appropriate equivalence relations. Linnebo set up, among others, a defence of predicative vis-á-vis impredicative abstraction, and articulates a 'dynamic' approach to abstraction itself, on which abstraction is taken to extend the domain of objects available for quantification, and predicative abstraction is iterated over larger and larger domains.
The goal of this Special Issue is to bring together contributions addressing both the philosophical and the technical aspects of Linnebo's book, also in connection to similar proposals in the philosophy of mathematics and logic. Contributions to the Special Issue should consist in short papers (4000-6000 words). Øystein Linnebo will contribute a précis of his book, opening the issue, and a 'Reply to Critics', closing the issue.For more information, see https://onlinelibrary.wiley.com/page/journal/17552567/open_calls_for_papers or contact Massimiliano Carrara at massimiliano.carrara at unipd.it.
17 - 18 January 2021, Certified Programs & Proofs (CPP 2021), VirtualLocation: Virtual
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.
CPP 2021 will take place on January 18-19, 2021 as a virtual meeting.
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 2022.For more information, see http://www.computability.org/LCD2020/.
25 - 28 January 2021, Computer Science Logic (CSL'21), VirtualLocation: 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.
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland
Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.
4 - 6 February 2021, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2021), OnlineLocation: Online
Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.
The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote computational systems of intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.
4 - 5 February 2021, Workshop "Biased Questions: Experimental Results & Theoretical Modelling", Berline (online)Location: Berline (online)
The ERC Project SPAGAD: Speech Acts in Grammar and Discourse invites to a workshop on biased questions that focuses on (a) experimental results concerning the conditions of use of questions that express a bias towards particular answers, and (b) on the theoretical modelling of such questions that includes morphological markers, discourse particles, specialized syntactic structure, prosody and gestures.For more information, see https://www.leibniz-zas.de/de/das-zas/veranstaltungen/details/events/biased-questions-experimental-results-theoretical-modelling or contact Floris Roelofsen at f.roelofsen at uva.nl.
4 February 2021, NWO Synergy '21Location: Online
What is your position on Future Societies? At Synergy ’21 we will explore Future Societies from the perspective of the individual and the collective, moving through the development of new interactions and communities, to perspectives on the future of humanity in a posthuman society. Synergy ’21 will underscore the significance and relevance of scientific research and knowledge development that will affect our shared future.
(New) 11 February 2021, Celebration of CWI's 75th birthdayLocation: Zoom
CWI is counting down to its 75th anniversary and kindly requests you to save the date: on 11 February 2021 we will celebrate our jubilee with a special online event.For more information, see https://www.cwi.nl/events/2021/online-celebration-of-cwis-diamond-jubilee or contact Danielle Kollerie at kollerie at cwi.nl.
1 - 5 March 2021, 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021), Milan, ItalyLocation: Milan, Italy
LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 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.
LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.
Keynote speakers: Eric Allender (Rutgers University), Laure Daviaud (City, University of London), Christoph Haase (University College London), Artur Jeż (University of Wrocław), Jean-Éric Pin (CNRS), and Thomas Place (University of Bordeaux).For more information, see https://irdta.eu/lata2020-2021/.
March 2021, 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).
Postponed (due to pandemic) to March 2021.
Spring 2021, 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).
Due to the current COVID-19 pandemic, the workshop has been postponed to Spring 2021.For more information, see https://www.doc.ic.ac.uk/~fbelard/Workshop/.
27 March - 1 April 2021, 24th European Joint Conferences on Theory and Practice of Software (ETAPS 2021), Luxembourg, LuxembourgLocation: Luxembourg, Luxembourg
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
A number of satellite workshops will take place before the main conferences. TACAS '21 will also host the 10th Competition on Software Verification (SV-COMP).
28 March - 7 April 2021, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)Location: Chania/Crete (Greece)
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.For more information, see https://sites.google.com/view/unilog-2021/.
7 - 9 April 2021, 10th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART), Seville, SpainLocation: Seville, Spain
The 10th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART) will be held in Seville, Spain, on 7?9 April 2021, as part of the evo* event.
The main goal of EvoMUSART is to bring together researchers who are using Artificial Intelligence techniques (e.g. Artificial Neural Network, Evolutionary Computation, Swarm, Cellular Automata, Alife) for artistic tasks such as Visual Art, Music, Architecture, Video, Digital Games, Poetry, or Design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.For more information, see http://www.evostar.org/2021/evomusart/.
22 - 23 April 2021, 15th International Conference on Formal Concept Analysis (ICFCA 2021:15), Tokyo, JapanLocation: Tokyo, Japan
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers.
ICFCA 2021:15 aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Concept Analysis. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Concept Analysis.For more information, see https://waset.org/formal-concept-analysis-conference-in-april-2021-in-tokyo.
3 - 7 May 2021, 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), London, UKLocation: London, UK
AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field
12 - 14 May 2021, 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).
24 - 28 May 2021, Thirteenth NASA Formal Methods Symposium (NFM 2021), Virtual and Norfolk VA, U.S.A.Location: Virtual and Norfolk VA, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
The symposium will be held in an in-person/virtual hybrid format in Norfolk, VA, USA, possibly transitioning to fully virtual depending on the COVID-19 situation.
(New) 14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music
From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.For more information, see https://abc.uva.nl/content/events/conferences/2021/june/abc-summer-school-2021.html.
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.
June-July 2021, 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.
Initially scheduled on August 26-28 2020 at NYC SUNY Global Center, ICGI’20 will be held during summer 2021For more information, see https://icgi2020.lis-lab.fr.
28 June - 2 July 2021, 16th Computer Science Symposium in Russia (CSR 2021), Sochi (Russia) or VirtualLocation: Sochi (Russia) or Virtual
CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science.
Topics include, but are not limited to: (i) algorithms and data structures (ii) computational complexity, including hardness of approximation and parameterized complexity (iii) randomness in computing, approximation algorithms, fixed-parameter algorithms (iv) combinatorial optimization, constraint satisfaction, operations research (v) computational geometry (vi) string algorithms (vii) formal languages and automata, including applications to computational linguistics (viii) codes and cryptography (ix) combinatorics in computer science (x) computational biology (xi) applications of logic to computer science, proof complexity (xii) database theory (xiii) distributed computing (xiv) fundamentals of machine learning, including learning theory, grammatical inference and neural computing (xv) computational social choice (xvi) quantum computing and quantum cryptography (xvii) theoretical aspects of big data.
Opening lecture: Tim Roughgarden (Columbia University, USA).
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.
5 - 9 July 2021, 17th Conference on Computability in Europe (CiE 2021): Connecting with computability, VirtualLocation: Virtual
CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The 'Computability in Europe' conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics.
Due to the current pandemic CiE 2021 will be held as a virtual conference. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University.For more information, see https://www.cie2021.ugent.be/.
17 - 24 July 2021, Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021), VirtualLocation: Virtual
FSCD is a series of annual conferences started in 2016 in Porto, merging and replacing the RTA (Rewriting Techniques and Applications) andTLCA (Typed Lambda Calculi and Applications) conferences. Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).
FSCD 2021 will be the sixth edition of the International Conference on Formal Structures for Computation and Deduction. Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online.For more information, see https://fscd2021.dc.uba.ar.
18 - 23 July 2021, Summer School on Mathematical Philosophy for Female Students 2021, 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)
Because of the current situation the summer school for 2020 is cancelled, but postponed into 2021!For more information, see https://www.mathsummer.philosophie.uni-muenchen.de/ or contact mathsummer2020 at lrz.uni-muenchen.de.
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.
2 - 13 August 2021, 32nd European Summer School in Logic, Language and Information (ESSLLI 2021), 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.
The circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht as ESSLLI-2020, to 2-13 august 2021.
Early mAugust 2021, 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.
Due to the unclear situation regarding COVID-19 and the reluctance of some colleagues to attend any events in August or September, and after discussing several options with the Steering Committee, we have decided to postpone the conference to 2021, likely to the first days of August 2021.
9 - 13 August 2021, ESSLLI-2021 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.
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.
5 - 8 September 2021, 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".
Unfortunately, due to the current Covid-19 pandemic it is impossible to hold our congress as planned (6th – 9th September 2020). It is not yet clear whether it would even be legally possible to hold it this year. However, it is clear that it would require very severe restrictions, so that essential goals of the congress could not be achieved. The congress is therefore postponed by one year.For more information, see https://dgphil2020.fau.de/en/.
9 - 10 September 2021, 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.
Due to Covid-19, the workshop is postponed to 2021!
12 - 18 September 2021, 5th International Autumn School "Proof and Computation" , Herrsching, GermanyLocation: Herrsching, 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.
Unfortunately because of the present situation we had to cancel the event. More precisely, it will be shifted to September 12-18, 2021.For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc20.php or contact xu at math.lmu.de.
13 - 17 September 2021, 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.
We regret to announce that due to the coronavirus pandemic LATD has been postponed to September 2021.For more information, see https://www.logic.at/latd2020/.
13 - 16 September 2021, 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.
Unfortunately, because of the Corona situation we had to postpone FOIS XI by one year. Thus, the conference will occur in September 13-16, 2021 in Bozen.For more information, see https://fois2020.inf.unibz.it/.
22 - 25 September 2021, 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.
Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2021.For more information, see http://ncl.uni.lodz.pl/.