ASE 2021
The 36th IEEE/ACM International Conference on Automated Software Engineering
AMAI 2021
Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ATVA 2021
The 19th International Symposium on Automated Technology for Verification and Analysis
CASE 2021
Call for Papers and Shared Task Participation: Challenges and Applications of Automated Extraction of Socio-political Events from Text (CASE) @ ACL-IJCNLP 2021