finite-model-theory July 2021

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

RAMiCS 2021 - Call for short contributions/posters
by luigi.santocanale@lis-lab.fr
2 years, 11 months

Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 31 Aug 2021
by Matteo Sammartino
2 years, 11 months

Logica Universalis Webinar - July 21 - A Venn Diagram System for Universe Without Boundary by Reetu Bhattacharjee
by Antje Herbst
2 years, 12 months

Logica Universalis Webinar - July 14 - From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer by Laura Follesa
by Antje Herbst
3 years

FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)
by Carsten Fuhs
3 years

Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference
by Sam Staton
3 years
Results per page: