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

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

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