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
1 year, 10 months

Fwd: LogTeach-22, First Call for Papers
by Johann Makowsky
1 year, 10 months

Formal Methods Education Online @ FLoC - CfP
by Jan Křetínský
1 year, 10 months

CiE 2022: CALL FOR INFORMAL PRESENTATIONS
by acie@acie.eu
1 year, 10 months

QBF 2022 -- 2nd CFP
by HUBERT MING CHEN
1 year, 10 months

MOVEP: Early-bird rate ends April 30th
by Martin Zimmermann
1 year, 10 months

[fm-announcements] NFM 2022 - Call for participation
by Havelund, Klaus (US 348B) via fm-announcements
1 year, 10 months

Deadline approaching - 10 PhD positions in logic-related CS in Vienna
by Magdalena Ortiz
1 year, 10 months

FORMATS 2022: call for papers with deadline extension
by Gethin Norman
1 year, 10 months

28th WoLLIC 2022 - 3rd Call for Papers
by Ruy Jose Guerra Barretto de Queiroz
1 year, 10 months
Results per page: