Continuity, Computability, Constructivity – From Logic to Algorithms  (CCC 2020)  Faro (Portugal) or online  31 August – 4 September 2020 … More

Call for Papers Seventeenth International Conference on       Computability and Complexity in Analysis (CCA 2020)      http://cca-net.de/cca2020/ September … More

Dear all,    A talk about Harrington’s notes on “the hyperdegrees of reals in pruducts of uncountable Σ11 sets ” … More

Today, April 14, my former teacher, and for many years, colleague and friend, Jens Erik Fenstad, passed away after a … More

This is the first announcement of a new weekly online seminar series on Computability Theory and Applications that is scheduled to start … More

Dear All, I’m writing to pass on this information from the ASL about the 2020 North American Annual Meeting: —— … More

Dear Colleagues, You are invited to the new Online Logic Seminar. This seminar will be held weekly on Thursdays, 1pm … More

The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors … More

Logic Colloquium 2020 Call for Papers July 13-18, 2020, Poznań, Poland https://lc2020.pl/* The Logic Colloquium is the European Summer Meeting … More

Research Fellow Position in Mathematical Logic and Theoretical Computer Science at the National University of Singapore The researchers Frank Stephan … More