finite-model-theory May 2019

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

Student Forum
by FMCAD 2019
4 years, 9 months

HIGHLIGHTS 2019: Call for Presentations
by Nathanaël Fijalkow
4 years, 9 months

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
by Achim D. Brucker
4 years, 9 months

SLSP 2019: 3rd call for papers
by IRDTA
4 years, 9 months

LOPSTR 2019: Call for Papers
by Tong Liu
4 years, 9 months

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

QBF Workshop 2019: Final Call for Papers
by HUBERT MING CHEN
4 years, 9 months

Second Dali Workshop: Second Call for Papers
by nevrenato@gmail.com
4 years, 9 months

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

TPNC 2019: 1st call for papers
by IRDTA
4 years, 9 months
Results per page: