finite-model-theory January 2020

finite-model-theory@lists.rwth-aachen.de
  • 15 participants
  • 17 discussions

Call for papers - SR 2020, Santiago de Compostela
by Bastien
3 years, 10 months

RAMiCS CFSC
by Michael Winter
4 years

CFP: Workshop on Logics of Dependence and Independence, Utrecht (NL), 10-14 Aug 2020
by Yang, Fan
4 years

ICALP 2020 - CfP (update)
by Anca Muscholl
4 years

[CfP] ICLP2020 - The 36th International Conference on Logic Programming
by Laura Pandolfo
4 years

CfP: NLA'20 Special Session at DCAI'20
by Roussanka Loukanova
4 years, 1 month

ICALP - call for papers
by Anuj Dawar
4 years, 1 month

FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)
by Sandra Alves
4 years, 1 month

Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain
by Rozman, Mihaela
4 years, 1 month

Deadline Extended: Many-Valued Logic Special Session @ WCCI2020, July, Glasgow
by Diego Valota
4 years, 1 month
Results per page: