finite-model-theory May 2019

finite-model-theory@lists.rwth-aachen.de
  • 14 participants
  • 18 discussions

Student Forum
by FMCAD 2019
5 years

HIGHLIGHTS 2019: Call for Presentations
by Nathanaël Fijalkow
5 years

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
by Achim D. Brucker
5 years

SLSP 2019: 3rd call for papers
by IRDTA
5 years

LOPSTR 2019: Call for Papers
by Tong Liu
5 years

Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)
by nevrenato@gmail.com
5 years

QBF Workshop 2019: Final Call for Papers
by HUBERT MING CHEN
5 years

Second Dali Workshop: Second Call for Papers
by nevrenato@gmail.com
5 years

[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
by Luca Pulina
5 years

TPNC 2019: 1st call for papers
by IRDTA
5 years
Results per page: