ARQNL 2022 - Call for Papers
4th International Workshop on
Automated Reasoning in Quantified Non-Classical Logics
(associated with FLoC and IJCAR 2022)
11 August 2022, Haifa, Israel
http://iltp.de/ARQNL-2022/
Non-classical logics â such as modal logics, conditional logics,
intuitionistic
ICTCS 2022 - 23rd Italian Conference on Theoretical Computer Science
7-9 September 2022, Roma, Italy
https://easyconferences.eu/ictcs2022/
PRELIMINARY CALL FOR PAPERS
SCOPE AND TOPICS
The Italian Conference on Theoretical Computer Science (ICTCS) is the