finite-model-theory June 2020

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

CSL 2021 final call for papers - amended
by Jean Goubault-Larrecq
4 years

[CfP] ICLP DC 2020 - 16th Doctoral Consortium on Logic Programming
by Laura Pandolfo
4 years, 1 month

CSL 2021 3rd and final call for papers
by Jean Goubault-Larrecq
4 years, 1 month

Paraconsistent Newsletter -- Spring 2020
by jean-yves beziau
4 years, 1 month

LICS 2020 Call for Participation
by Sam Staton
4 years, 1 month

[Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
by Laura Pandolfo
4 years, 1 month

COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION -- EXTENDED DEADLINE
by acie@acie.eu
4 years, 1 month

Highlights of Logic, Games, and Automata: Call for Contributed Presentations
by Nathanaël Fijalkow
4 years, 1 month

Postdoctoral fellowship in Oxford (All Souls College)
by Sam Staton
4 years, 1 month

PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020
by Mihaela Rozman
4 years, 1 month
Results per page: