finite-model-theory Januar 2019

finite-model-theory@lists.rwth-aachen.de
  • 15 Teilnehmer
  • 16 Diskussionen

DICE-FOPARA 2019: Call for Papers
von Thomas Seiller
5 Jahre, 1 Monat

LearnAut 2019 first Call for Papers -- LICS 2019 Workshop
von Matteo Sammartino
5 Jahre, 1 Monat

ICALP 2021 - Call for Location
von Anca Muscholl
5 Jahre, 2 Monate

TbiLLC 2019/1st CfP
von Alex Simpson
5 Jahre, 2 Monate

VerifyThis at ETAPS 2019: 2nd Call for Problems
von VerifyThis
5 Jahre, 2 Monate

January 14, 2019 - 1st World Logic Day - Celebrated all over the World
von jean-yves beziau
5 Jahre, 2 Monate

[CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop
von José Creissac Campos
5 Jahre, 2 Monate

FSCD 2019 Last Call for Papers
von Sandra Alves
5 Jahre, 2 Monate

FM'19: Second Call for Papers
von Renato Neves
5 Jahre, 2 Monate
Ergebnisse pro Seite: