finite-model-theory June 2019

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

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

JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019
by Mihaela Rozman
4 years, 11 months

CiE 2019 CALL FOR PARTICIPATION
by Gianluca Della Vedova
4 years, 11 months

Final Call for Papers - Computer Science Logic (CSL 2020)
by EACSL Mail-Account
4 years, 11 months

NASSLLI 2020 @ Brandeis University
by NASSLLI 2020
4 years, 12 months

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

A postdoc position in Algorithmic Game Theory at Warwick
by Jurdzinski, Marcin
4 years, 12 months

Haskell Brooks Curry (1900-1982) now on-line
by jean-yves beziau
5 years

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

2nd Call for Papers - Computer Science Logic (CSL 2020)
by EACSL Mail-Account
5 years
Results per page: