[Hol-info] ARCADE 2021 - Call for Papers

2021-03-15 Thread geoff
*** CALL FOR PAPERS *** ARCADE http://arcade2021.net/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 16 July 2021, virtual online (co-organized along with CADE-28) What are the current challenges, applications, directions, or exemplary achievements of

[Hol-info] Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)

2021-03-15 Thread Miguel Areias
=     CALL FOR WORKSHOPS = The 37th International Conference on Logic Programming (ICLP 2021) https://iclp2021.dcc.fc.up.pt/