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…

Celebrating Steffen Lempp's 60th birthday The logic group at UW–Madison will host a workshop honoring Prof. Steffen Lempp on the…

Workshop on Computability Theory 2019 — Leeds, UK — July 22 & 23, 2019 The tenth Workshop on Computability Theory…

For the details, please visithttp://youthforum.nju.edu.cn This is actually a positions advertisement. There are at least two-four  positions available  in Nanjing…

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

Continuity, Computability, Constructivity: From Logic to Algorithms 2018 Postproceedings Second Call for Submissions After a year of successful work in…

______________________________________________________________ Second Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) cca-net.de/cca2019/ July 8-11, 2019,…

Logic workshop in Nanjing, Nanjing University, 8-26 April, 2019 https://sites.google.com/view/yuliang/logic Description: The 3-week long workshop is intended to bring mathematical…

============================ CiE 2019 SECOND CALL FOR PAPERS: ============================ CiE 2019: Computing with Foresight and Industry Durham, United Kingdom July 15…

______________________________________________________________ First Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) cca-net.de/cca2019/ July 8-11, 2019,…