finite-model-theory Juni 2019

finite-model-theory@lists.rwth-aachen.de
  • 9 Teilnehmer
  • 10 Diskussionen

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
von Achim D. Brucker
4 Jahre, 9 Monate

JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019
von Mihaela Rozman
4 Jahre, 9 Monate

CiE 2019 CALL FOR PARTICIPATION
von Gianluca Della Vedova
4 Jahre, 9 Monate

Final Call for Papers - Computer Science Logic (CSL 2020)
von EACSL Mail-Account
4 Jahre, 9 Monate

NASSLLI 2020 @ Brandeis University
von NASSLLI 2020
4 Jahre, 9 Monate

FoIKS 2020: preliminary CFP
von Kontinen, Juha A
4 Jahre, 9 Monate

A postdoc position in Algorithmic Game Theory at Warwick
von Jurdzinski, Marcin
4 Jahre, 9 Monate

Haskell Brooks Curry (1900-1982) now on-line
von jean-yves beziau
4 Jahre, 9 Monate

HIGHLIGHTS 2019: Last call for Presentations
von Nathanaël Fijalkow
4 Jahre, 9 Monate

2nd Call for Papers - Computer Science Logic (CSL 2020)
von EACSL Mail-Account
4 Jahre, 9 Monate
Ergebnisse pro Seite: