Celebrating Steffen Lempp's 60th birthday The logic group at UW–Madison will host a workshop honoring Prof. Steffen Lempp on the … More
Author: COMP-THY
Workshop on Computability Theory 2019 — Leeds, UK — July 22 & 23, 2019
Workshop on Computability Theory 2019 — Leeds, UK — July 22 & 23, 2019 The tenth Workshop on Computability Theory … More
The third youth forum of Nanjing University
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 … 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
CCC 2018 postproceedings; 2nd call for submissions
Continuity, Computability, Constructivity: From Logic to Algorithms 2018 Postproceedings Second Call for Submissions After a year of successful work in … More
CCA 2019 (July 8-11, 2019, Zagreb, Croatia): Call for papers
______________________________________________________________ Second Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) cca-net.de/cca2019/ July 8-11, 2019, … More
Logic workshop in Nanjing, Nanjing University, 8-26 April, 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 … More
CCA 2019 (July 8-11, 2019, Zagreb, Croatia): Call for papers
______________________________________________________________ First Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) cca-net.de/cca2019/ July 8-11, 2019, … More
2019 IMS Graduate Logic Summer School (fwd)
From: Chi Tat Chong The IMS 2019 Graduate Logic Summer School will take place 1–19 July 2019. Could you assist … More
Theory and Applications of Models of Computation 2019 – Deadline 5 Dec 2018
Dear colleagues, The deadline of the conference TAMC 2019 has been extended to 5 December 2018. Although this conference does … More