[Logica-l] Fwd: Carlos di Prisco Birthday Meeting, Bogota (Colombia), 27-29 Nov 2019

-- Forwarded message - Carlos di Prisco Birthday Meeting November 27-29, 2019, Universidad de Los Andes, Bogotá, Colombia. Carlos di Prisco, who has been a supporter of the ASL's activities for many years, will turn 70 years old in October 2019. This conference is held in honor o

[Logica-l] Fwd: [ThEdu] ThEdu 2nd cfp

-- Forwarded message - 2nd Call for Extended Abstracts & Demonstrations ** ThEdu'19 Theorem proving components for Educational software