Greetings, We will have an NSF-funded FRG meeting on Reverse Math of Combinatorics at Penn State this spring. The … More
Author: COMP-THY
post-doc in Udine
We are happy to announce that there is going to be a call for a post-doc position (assegno di ricerca) … More
LFCS’20 deadline extended
LFCS 2020 deadline has been extended until September 16 any time zone. Call for papers: Symposium on LOGICAL FOUNDATIONS OF … More
LFCS’20 2nd CFP
Call for papers: Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS’20), Deerfield Beach, Florida, January 4-7, 2020. LFCS Steering Committee: … More
Meeting announcment:
Logic workshop in NanjingNanjing, 11 -30 May, 2020 Description: The 3-week long workshop is intended to bring mathematical logicians together … More
CCC 2019; extended deadline
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2019) Ljubljana (Slovenia), 2-6 September 2019 Extended deadline https://www.fmf.uni-lj.si/~simpson/ccc2019 CCC is … More
MSRI program: “Decidability, Definability, and Computability in Number Theory”
MSRI will hold a semester-long program entitled "Decidability, Definability, and Computability in Number Theory," from August 17 – December 18, 2020. Mathematicians in relevant areas are encouraged to … More
CCC 2019; second call for submissions
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2019) Ljubljana (Slovenia), 2-6 September 2019 Second call for papers https://www.fmf.uni-lj.si/~simpson/ccc2019 … More
EXTENDED DEADLINE FOR ABSTRACT SUBMISSION Conference Kurt Goedel’s Legacy: Does Future lie in the Past?, July 25-27, 2019, VIENNA
***Dear colleagues! The deadlines have been extended.*** Apologies for multiple copies*** The Kurt Goedel Society would like to cordially invite … More
CCC 2019; call for submissions
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 … More