finite-model-theory April 2020

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

Computability in Europe 2020 SECOND CALL FOR INFORMAL PRESENTATIONS
by acie@acie.eu
3 years, 10 months

Call for papers - SR 2020, Santiago de Compostela
by Bastien
3 years, 10 months

Graphical Models for Security (GraMSec 2020) - Deadline extended until May 4
by Barbara Fila (Kordy)
3 years, 10 months

QBF 2020 - updated call for papers
by HUBERT MING CHEN
3 years, 10 months

LCC 2020: Second Call for Contributions (Update: Online edition, new date, and extended submission deadline)
by Thomas Zeume
3 years, 10 months

Workshop on Logics of Dependence and Independence (LoDE 2020V)
by Grädel, Erich
3 years, 10 months

Certified Programs and Proofs (CPP) 2021: First Call for Papers
by Andrei Popescu
3 years, 10 months

UNILOG'2021: 7th World Congress and School on Universal Logic
by JY B
3 years, 10 months

[CfP] ICLP2020 -The 36th International Conference on Logic Programming
by Laura Pandolfo
3 years, 10 months

QBF 2020 - Call for papers
by HUBERT MING CHEN
3 years, 10 months
Results per page: