FSCD is a series of annual conferences started in 2016 in Porto, to merge and replace the

• RTA (Rewriting Techniques and Applications)

• TLCA (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 2020 is the 5th edition of FSCD and accepts submissions in two categories: original and unpublished regular research papers presenting original and unpublished research; system descriptions about software tools.

Recent editions of FSCD have been held in:

• Porto, Portugal (2016)

• Oxford, UK (2017)

• Oxford, UK (2018)

• Dortmund, Germany (2019)

FSCD 2020 Website: http://fscd2020.org

IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.

The IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks. IJCAR 2020 is the 10th edition of IJCAR.

IJCAR 2020 is the merger of the following leading events in automated reasoning:

• CADE (Conference on Automated Deduction)

• FroCoS (Symposium on Frontiers of Combining Systems)

• ITP (International Conference on Interactive Theorem Proving)

• TABLEAUX (Conference on Analytic Tableaux and Related Methods)

Recent editions of IJCAR have been held in:

• Manchester, UK (2012)

• Vienna, Austria (2014)

• Coimbra, Portugal (2016)

• Oxford, United Kingdom (2018)

IJCAR 2020 Website: http://ijcar2020.org

Several one or two days workshops will be held as satellite pre/post-events of FSCD and IJCAR. A call has been opened in November 2019, inviting to submit proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications.

21 workshops have been proposed and accepted. Their scopes include topics as: termination and confluence of rewriting systems, term graph rewriting, rewriting techniques for program transformations and avaluation, unification, linear logic and linearity in logic and computing, semantic and formal approaches for complexity, geometric and categorical structures for computation and deduction, homotopy type theory and univalent foundations, logical frameworks and meta-languages, automated reasoning for quantified non-classical logic, automated theorem provers as Isabelle, Coq, and Zipperpositions, pratical aspects of automated reasoning, theorem provers for eductional software, satisfiability checking and symbolic computation there will be an interactive theorem proving contest.

Many of these workshops are recurrent. In particular, we point out the 5th edition of the Women in Logic workshop.

More info