finite-model-theory November 2022

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

FSCD-CADE 2023: Call for Workshop Proposals
by Carsten Fuhs
1 year, 2 months

Logic, Spatial Algorithms and Visual Reasoning / Logics in Fungal
by jean-yves beziau
1 year, 2 months

FSCD 2023: First Call for Papers
by Carsten Fuhs
1 year, 2 months

29th WoLLIC 2023 - Call for Papers
by Ruy Jose Guerra Barretto de Queiroz
1 year, 3 months

post-doc position in Cambridge
by Anuj Dawar
1 year, 3 months

[Vardi-list] The 5th Advanced School in Computer Science and
by Moshe Y Vardi
1 year, 3 months

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo
1 year, 3 months

CONFEST 2023 -- Call for Workshop Proposals
by Emmanuel Filiot
1 year, 3 months

Postdoc position in automata and concurrency theory, at the
by Sławomir Lasota
1 year, 3 months

postdoc at King's College London
by Hubie Chen
1 year, 3 months
Results per page: