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
4 years, 1 month

Call for papers - SR 2020, Santiago de Compostela
by Bastien
4 years, 1 month

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

QBF 2020 - updated call for papers
by HUBERT MING CHEN
4 years, 1 month

LCC 2020: Second Call for Contributions (Update: Online edition, new date, and extended submission deadline)
by Thomas Zeume
4 years, 1 month

Workshop on Logics of Dependence and Independence (LoDE 2020V)
by Grädel, Erich
4 years, 1 month

Certified Programs and Proofs (CPP) 2021: First Call for Papers
by Andrei Popescu
4 years, 1 month

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

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

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