finite-model-theory November 2018

finite-model-theory@lists.rwth-aachen.de
  • 10 participants
  • 11 discussions

WORDS 2019, 1st call for papers
by Words 2019
5 years, 2 months

FSCD 2019 Second Call for Papers
by Sandra Alves
5 years, 2 months

Postdoc & PhD positions at Univ. of Bremen
by Sebastian Maneth
5 years, 3 months

World Logic Day: January 14 / Day of birth of Alfred Tarski and of death of Kurt Gödel
by jean-yves beziau
5 years, 3 months

VerifyThis at ETAPS 2019: Announcement + Call for Problems
by VerifyThis
5 years, 3 months

26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers
by Ruy de Queiroz
5 years, 3 months

1st Logic Prizes Contest : Papers of all the Winners now on-line
by jean-yves beziau
5 years, 3 months

EPIT 2019 - Spring school on databases, logic and automata - April 7-12, 2019 - Marseille, France
by Cristina Sirangelo
5 years, 3 months

Three postdoctoral positions in Edinburgh
by Leonid Libkin
5 years, 3 months

[Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies
by Moshe Vardi
5 years, 3 months
Results per page: