finite-model-theory
finite-model-theory@lists.rwth-aachen.deJanuary 2020
- 15 participants
- 17 discussions
1
2
1
1

CFP: Workshop on Logics of Dependence and Independence, Utrecht (NL), 10-14 Aug 2020
by Yang, Fan 31 Jan '20
by Yang, Fan 31 Jan '20
31 Jan '20
1
0
1
0

[CfP] ICLP2020 - The 36th International Conference on Logic Programming
by Laura Pandolfo 28 Jan '20
by Laura Pandolfo 28 Jan '20
28 Jan '20
1
0
1
0
1
0

FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)
by Sandra Alves 21 Jan '20
by Sandra Alves 21 Jan '20
21 Jan '20
1
0

Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain
by Rozman, Mihaela 16 Jan '20
by Rozman, Mihaela 16 Jan '20
16 Jan '20
1
0

Deadline Extended: Many-Valued Logic Special Session @ WCCI2020, July, Glasgow
by Diego Valota 14 Jan '20
by Diego Valota 14 Jan '20
14 Jan '20
1
0