finite-model-theory April 2022

finite-model-theory@lists.rwth-aachen.de
  • 20 participants
  • 22 discussions

EATCS-IPEC Nerode Prize 2022 - CFN
by Anuj Dawar
2 years, 1 month

Fwd: LogTeach-22, First Call for Papers
by Johann Makowsky
2 years, 1 month

Formal Methods Education Online @ FLoC - CfP
by Jan Křetínský
2 years, 1 month

CiE 2022: CALL FOR INFORMAL PRESENTATIONS
by acie@acie.eu
2 years, 1 month

QBF 2022 -- 2nd CFP
by HUBERT MING CHEN
2 years, 1 month

MOVEP: Early-bird rate ends April 30th
by Martin Zimmermann
2 years, 1 month

[fm-announcements] NFM 2022 - Call for participation
by Havelund, Klaus (US 348B) via fm-announcements
2 years, 1 month

Deadline approaching - 10 PhD positions in logic-related CS in Vienna
by Magdalena Ortiz
2 years, 1 month

FORMATS 2022: call for papers with deadline extension
by Gethin Norman
2 years, 1 month

28th WoLLIC 2022 - 3rd Call for Papers
by Ruy Jose Guerra Barretto de Queiroz
2 years, 1 month
Results per page: