finite-model-theory January 2019

finite-model-theory@lists.rwth-aachen.de
  • 15 participants
  • 16 discussions

DICE-FOPARA 2019: Call for Papers
by Thomas Seiller
5 years

LearnAut 2019 first Call for Papers -- LICS 2019 Workshop
by Matteo Sammartino
5 years

ICALP 2021 - Call for Location
by Anca Muscholl
5 years, 1 month

TbiLLC 2019/1st CfP
by Alex Simpson
5 years, 1 month

VerifyThis at ETAPS 2019: 2nd Call for Problems
by VerifyThis
5 years, 1 month

January 14, 2019 - 1st World Logic Day - Celebrated all over the World
by jean-yves beziau
5 years, 1 month

[CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop
by José Creissac Campos
5 years, 1 month

FSCD 2019 Last Call for Papers
by Sandra Alves
5 years, 1 month

FM'19: Second Call for Papers
by Renato Neves
5 years, 1 month
Results per page: