Collections and calls for papers

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ł...

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...

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, ...