Call for Papers Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020) http://cca-net.de/cca2020/ September…
Posts
Zoom Talk by Harrington
Dear all, A talk about Harrington’s notes on “the hyperdegrees of reals in pruducts of uncountable Σ11 sets ”…
A sad message
Today, April 14, my former teacher, and for many years, colleague and friend, Jens Erik Fenstad, passed away after a…
Online Seminar on Computability Theory and Applications
This is the first announcement of a new weekly online seminar series on Computability Theory and Applications that is scheduled to start…
ASL Annual Meeting virtual talk repository
Dear All, I’m writing to pass on this information from the ASL about the 2020 North American Annual Meeting: ——…
Online Logic Seminar
Dear Colleagues, You are invited to the new Online Logic Seminar. This seminar will be held weekly on Thursdays, 1pm…
Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science – Deadline: 9.4.2020 AoE
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors…
CCR 2020 (and LCD 2020): Call for abstracts and participation
Dear all, Please find below the call for abstracts and participation in Computability, Complexity, and Randomness 2020 and its satellite…
Logic Colloquium 2020
Logic Colloquium 2020 Call for Papers July 13-18, 2020, Poznań, Poland https://lc2020.pl/* The Logic Colloquium is the European Summer Meeting…
CCR 2020 and LCD 2020 — Cambridge and Leeds, UK — June/July 2020
Dear all, We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020…