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

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

Summer School on Data and Knowledge (Bordeaux, France)
by Diego Figueira
1 year, 11 months

LAMAS & SR 2022 - 1st Call for Contributions
by Fabio Mogavero
1 year, 11 months

Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, last
by Tobias Kappé
1 year, 11 months

April 5-6, 2022: Guarded Fragments: Current Trends and Applications (GF@25)
by Balder ten Cate
1 year, 11 months

Call for papers: QBF '22
by HUBERT MING CHEN
1 year, 11 months

Permanent positions at University of Birmingham
by Anupam das
1 year, 11 months

Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
by RADU IOSIF
1 year, 11 months

FSCD 2024: Call for Location
by carsten@dcs.bbk.ac.uk
1 year, 11 months
Results per page: