finite-model-theory December 2022

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

A fully funded postdoc position in "Quantitative Verification of
by Harsh Beohar
1 year, 1 month

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo
1 year, 2 months

Postdoc-Position in Logical Theories of Arithmetic at Oxford
by Christoph Haase
1 year, 2 months

Two Assistant Professors in Mathematical and Computational Logic
by Balder ten Cate
1 year, 2 months

ICALP 2023 -- Second Call for Papers (Submission Deadline: February
by Kousha Etessami
1 year, 2 months

RAMiCS 2023 - Call for short contributions / posters
by Michael Winter
1 year, 2 months

A Probabilistic Logic Between LPP1 and LPP2 by Šejla Dautović / LUW December 14, 2022
by jean-yves beziau
1 year, 2 months

Assistant/Associate Professor positions, University of Birmingham,
by a.das@bham.ac.uk
1 year, 2 months

Certified Programs and Proofs (CPP) 2023: Call for Participation
by Steve Zdancewic
1 year, 2 months

ESSLLI 2023: Second Call for Course and Workshop Proposals
by Kontinen, Juha A
1 year, 2 months
Results per page: