finite-model-theory March 2022

finite-model-theory@lists.rwth-aachen.de
  • 10 participants
  • 11 discussions

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

FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline on April 11th
by Sammartino, Matteo
2 years, 2 months

Summer School on Data and Knowledge (Bordeaux, France)
by Diego Figueira
2 years, 2 months

LAMAS & SR 2022 - 1st Call for Contributions
by Fabio Mogavero
2 years, 2 months

Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, last
by Tobias Kappé
2 years, 2 months

April 5-6, 2022: Guarded Fragments: Current Trends and Applications (GF@25)
by Balder ten Cate
2 years, 3 months

Call for papers: QBF '22
by HUBERT MING CHEN
2 years, 3 months

Permanent positions at University of Birmingham
by Anupam das
2 years, 3 months

Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
by RADU IOSIF
2 years, 3 months

FSCD 2024: Call for Location
by carsten@dcs.bbk.ac.uk
2 years, 3 months
Results per page: