finite-model-theory April 2019

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

Addition to mailing list
by Jason Parker
5 years, 1 month

ESSLLI 2020: 2nd Call for Course and Workshop Proposals
by Kontinen, Juha A
5 years, 1 month

FMCAD 2019 Second CFP
by barrett@cs.stanford.edu
5 years, 1 month

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

TABLEAUX 2019 (London): DEADLINE EXTENSION and final call for papers
by Andrei Popescu
5 years, 1 month

QBF 2019 - call for papers
by HUBERT MING CHEN
5 years, 1 month

FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers
by Andrei Popescu
5 years, 1 month

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

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

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