finite-model-theory March 2024

finite-model-theory@lists.rwth-aachen.de
  • 7 participants
  • 8 discussions

PostDoc in using Formal Methods for finding security vulnerabilities
by Achim D. Brucker
1 month, 2 weeks

Funded PhD Position in Formalizing/Verification of Golang
by Achim D. Brucker
1 month, 4 weeks

Paraconsistent Newsletter Winter-Summer 2024
by jean-yves beziau
1 month, 4 weeks

1st cfp of SEFM'24
by Alexandre Madeira
2 months

Joint CFP NLS and SLSS 2024
by Lauri Hella (TAU)
2 months, 1 week

DLT 2024 - Final Call for Papers
by Manea, Florin
2 months, 1 week

Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, first
by Sammartino, Matteo
2 months, 1 week

LAST CALL CfP: FoIKS 2024, 13th Int. Symp. on Foundations of
by Lucia Gomez Alvarez
2 months, 2 weeks
Results per page: