finite-model-theory July 2022

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

RAMiCS 2023 - Second call for papers
by Michael Winter
1 year, 12 months

[Vardi-list] How to be an ethical computer scientist
by Moshe Y Vardi
1 year, 12 months

Call for participation DaLí 2022
by Carlos Areces
2 years

Axiomatization of Some Basic and Modal Boolean Connexive Logics
by jean-yves beziau
2 years

30 Years Finite Model Theory in Finland: Last call for Participation
by Jonni T Virtema
2 years

FSTTCS 2022 - second call for papers
by Anuj Dawar
2 years

Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for
by RADU IOSIF
2 years

[Vardi-list] Digital Humanism Summer School 2022 in September at TU
by Moshe Y Vardi
2 years

LUW July 6: Unification in Pretabular Extensions of S4
by jean-yves beziau
2 years

Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for
by RADU IOSIF
2 years
Results per page: