CCC 2019; second call for submissions

Continuity, Computability, Constructivity – From Logic to Algorithms  (CCC 2019)  Ljubljana (Slovenia), 2-6 September 2019 Second call for papers https://www.fmf.uni-lj.si/~simpson/ccc2019 … More

CCC 2019; call for submissions

Continuity, Computability, Constructivity – From Logic to Algorithms  (CCC 2019)  Ljubljana (Slovenia), 2-6 September 2019 Call for papers https://www.fmf.uni-lj.si/~simpson/ccc2019 CCC … More

2nd CFP PLS12

====================================================================== PLS12: THE TWELFTH PANHELLENIC LOGIC SYMPOSIUM June 26-30, 2019, Anogeia, Crete, Greece Organized by the University of Crete http://panhellenic-logic-symposium.org/ … More