finite-model-theory May 2019

finite-model-theory@lists.rwth-aachen.de
  • 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
5 years, 4 months

RAMiCS2020 - CFP
by Michael Winter
5 years, 4 months

FSCD 2019 - Early registration ends soon (May 13th)
by Sandra Alves
5 years, 5 months

EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) - May 21, 2019
by Mihaela Rozman
5 years, 5 months

FMCAD 2019 Deadline Extension
by barrett@cs.stanford.edu
5 years, 5 months

QBF 2019 - second call for papers
by HUBERT MING CHEN
5 years, 5 months

FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION
by Andrei Popescu
5 years, 5 months

CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019
by Roussanka Loukanova
5 years, 5 months
Results per page: