29 Jun - 6 Jul 2020
=====================================================================
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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam