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

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

Dear colleagues, Please find below a call for applications for different types of positions at the University of Bordeaux.  Laurent  … More

We are pleased to announce a new website that we hope can serve as a resource for the computability theory … More

————————————————— Computability Theory and Foundations of Mathematics (CTFM 2018) http://www.isc.meiji.ac.jp/~random/ctfm2018/ September 13-15, 2018 Surugadai Campus, Meiji University, Tokyo ————————————————— * … More

Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2018) Faro (Portugal), 24-28 September 2018 Call for papers Extended Deadline … More

Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2018) Faro (Portugal), 24-28 September 2018 Second call for papers CCC … More

Call for participation and informal presentations ==================================================== CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 … More

Deadlines for abstract submission and grant application are approaching! LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM … More

Call for informal presentations ==================================================== CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 – August … More