finite-model-theory
finite-model-theory@lists.rwth-aachen.deMay 2019
- 14 participants
- 18 discussions
Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019
by Mihaela Rozman 16 May '19
by Mihaela Rozman 16 May '19
16 May '19
1
0
1
0
1
0
EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) - May 21, 2019
by Mihaela Rozman 09 May '19
by Mihaela Rozman 09 May '19
09 May '19
1
0
1
0
1
0
FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION
by Andrei Popescu 07 May '19
by Andrei Popescu 07 May '19
07 May '19
1
0
CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019
by Roussanka Loukanova 02 May '19
by Roussanka Loukanova 02 May '19
02 May '19
1
0