[Om-announce] IJCAR 2020 - Call for Participation

[geoff at cs.miami.edu]

=====================================================================

             CALL FOR PARTICIPATION 
                  IJCAR 2020         
               https://ijcar2020.org
  Co-located with FSCD 2020 (https://fscd-ijcar-2020.org)
Due to the Covid-19 outbreak, IJCAR 2020 will be an online conference

======================================================================


GENERAL INFORMATION
------------------------

The International Joint Conference on Automated Reasoning (IJCAR) is the 
premier international joint conference on all topics in automated reasoning. 

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)


REGISTRATION
------------------

The conference and the affiliated events will take place online.
Registration is free of charge and is mandatory to attend the talks.

The registration page is already open and linked from: 
        https://fscd-ijcar-2020.org/register


SCIENTIFIC PROGRAM
------------------------

The program of the conference is available under: 
        https://easychair.org/smart-program/IJCAR2020/
(all times are in CEST timezone (UTC+2))


INVITED SPEAKERS
------------------------

-  Clark Barrett
    (https://theory.stanford.edu/~barrett/) 

-  John Harrison  (IJCAR-FSCD joint speaker)
    (https://www.cl.cam.ac.uk/~jrh13/) 

-  Elaine Pimentel 
    (https://www.mat.ufrn.br/~elaine/) 

-  Ruzica Piskac 
    (http://www.cs.yale.edu/homes/piskac/)

-  René Thiemann  (FSCD-IJCAR joint speaker) 
    (http://cl-informatik.uibk.ac.at/users/thiemann/)


IJCAR AFFILIATED WORKSHOPS
--------------------------------------

-  PG: Proof Ground 2020 Interactive Proving Contests
    https://www21.in.tum.de/~wimmers/proofground/

-  LFMTP: International Workshop on Logical Frameworks and Meta-Languages: 
   Theory and Practice  
    https://lfmtp.org/workshops/2020/

-  Isabelle: Isabelle Workshop
    https://sketis.net/isabelle/isabelle-workshop-2020

-  PAAR: Workshop on Practical Aspects of Automated Reasoning
    http://paar2020.gforge.inria.fr/

-  Coq: The Coq Workshop
    https://coq-workshop.gitlab.io/2020/

-  SMT: International Workshop on Satisfiability Modulo Theories
    http://smt-workshop.cs.uiowa.edu/2020/index.shtml


IJCAR AFFILIATED COMPETITIONS
---------------------------------------

-  The CADE ATP System Competition CASC-J10
     http://www.tptp.org/CASC/J10/

-  Termination and Complexity Competition 2020
    http://www.termination-portal.org/wiki/Termination_Competition_2020