finite-model-theory April 2019

finite-model-theory@lists.rwth-aachen.de
  • 14 participants
  • 20 discussions

Addition to mailing list
by Jason Parker
4 years, 10 months

ESSLLI 2020: 2nd Call for Course and Workshop Proposals
by Kontinen, Juha A
4 years, 10 months

FMCAD 2019 Second CFP
by barrett@cs.stanford.edu
4 years, 10 months

EXTENDED DEADLINE FOR ABSTRACT SUBMISSION Conference Kurt Goedel's Legacy: Does Future lie in the Past?, July 25-27, 2019, VIENNA
by Mihaela Rozman
4 years, 10 months

TABLEAUX 2019 (London): DEADLINE EXTENSION and final call for papers
by Andrei Popescu
4 years, 10 months

QBF 2019 - call for papers
by HUBERT MING CHEN
4 years, 10 months

FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers
by Andrei Popescu
4 years, 10 months

LCC'19: 2nd Call for Contributions
by Lauri Hella (TAU)
4 years, 10 months

Conference Kurt Goedel's Legacy: Does Future lie in the Past?, July 25-27, 2019, VIENNA
by Mihaela Rozman
4 years, 10 months

PhD position on Formal Methods for Multi-agent Systems at TU Wien (Vienna University of Technology)
by Mihaela Rozman
4 years, 10 months
Results per page: