finite-model-theory March 2020

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

Call for papers - SR 2020, Santiago de Compostela
by Bastien
3 years, 10 months

2nd Call for Workshop Proposals - The 36th International Conference on Logic Programming (ICLP2020)
by Laura Pandolfo
3 years, 11 months

Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE
by Rozman, Mihaela
3 years, 11 months

2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
by Achim D. Brucker
3 years, 11 months

Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
by Achim D. Brucker
3 years, 11 months

ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020
by EACSL Mail-Account
3 years, 11 months

Second Call for Papers AiML 2020
by Rineke Verbrugge
3 years, 11 months

[CfP] ICLP 2020 - The 36th International Conference on Logic Programming: The Research Challenges Track
by Laura Pandolfo
3 years, 11 months

[2nd CfP] ICLP 2020 -The 36th International Conference on Logic Programming
by Laura Pandolfo
3 years, 11 months

LCC 2020: Call for Contributions
by Thomas Zeume
3 years, 11 months
Results per page: