Skip to main content
SpringerLink
Log in
Springer
Journal of Automated Reasoning
Publishing model:
Hybrid

Collections and calls for papers

Filter by:

Selected Extended Papers of CADE 2019

This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 27th International Conference on Automated Deduction (CADE-27), held at the Universidade Federal do Rio ...
Submission status
Closed

Selected Extended Papers of CADE 2021

This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 28th International Conference on Automated Deduction (CADE-28), held virtually from 11-16 July 2021. CAD...
Submission status
Closed

Selected Extended Papers of IJCAR 2018

This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 9th Joint Conference on Automated Reasoning (IJCAR 2018), held between July 14 and July 17, 2018 in Oxfo...
Submission status
Closed

Selected Extended Papers of IJCAR 2020

This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 10th Joint Conference on Automated Reasoning (IJCAR 2020), held between June 29 and July 6, 2020 in Pari...
Submission status
Closed

Selected Extended Papers of IJCAR 2022

This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 11th Joint Conference on Automated Reasoning (IJCAR 2022), held from August 8 to August 10, 2022 in Haif...
Submission status
Closed

Selected Extended Papers of ITP 2021

ITP 2021 was the twelfth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and fo...
Submission status
Closed

Selected Extended Papers of ITP 2022

The International Conference on Interactive Theorem Proving (ITP 2022) took place on August 7-10, 2022 in Haifa, Israel. It was part of FLoC 2022. ITP 2022 was part of the ITP conference series whose history...
Submission status
Closed

Selected Extended Papers of ITP 2023

ITP 2023 was the fourteenth international conference on Interactive Theorem Proving within the ITP conference series, whose history goes back to 1988. ITP 2023 took place on July 31 to August 4, 2023 in Biał...
Submission status
Open
Submission deadline
30 April 2024

Selected Extended Papers of TACAS 2023 (theory track)

TACAS'23 was the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held on April 22-27, 2023 in Paris, France. TACAS is a forum for researchers, developers an...
Submission status
Open
Submission deadline
30 June 2024

Selected Extended Papers of TACAS 2024 (theory track)

TACAS'24 was the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held on April 6-11, 2024 in Luxembourg City, Luxembourg. TACAS is a forum for researchers, ...
Submission status
Open
Submission deadline
01 August 2024

Search

Navigation