finite-model-theory August 2019

finite-model-theory@lists.rwth-aachen.de
  • 7 participants
  • 8 discussions

Highlights of Logic, Games, and Automata: Last Call
by Nathanaël Fijalkow
4 years, 9 months

LATA 2020: 1st call for papers
by IRDTA
4 years, 9 months

ICDT2020 CfP - Second Submission Cycle (2nd call)
by Carsten Lutz
4 years, 9 months

Highlights of Logic, Games, and Automata: Call for Registration and Participation
by Nathanaël Fijalkow
4 years, 9 months

CFP: FoIKS 2020
by Kontinen, Juha A
4 years, 9 months

FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)
by Andrei Popescu
4 years, 9 months

FoPSS'19: Summer School on Foundations of Programming and Software Systems
by Bartek Klin
4 years, 10 months

[Vardi-list] The Mathematics of Quantum Computation - The 4th Advanced School in Computer Science and Engineering
by Moshe Vardi
4 years, 10 months
Results per page: