finite-model-theory July 2020

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

PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
by Mihaela Rozman
3 years, 7 months

FTfJP 2020 (virtual) - Call for Participation - 23.07.2020
by Oortwijn Wytse
3 years, 7 months

2020 ALONZO CHURCH AWARD ANNOUNCEMENT
by Andrzej Murawski
3 years, 7 months

Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020
by Mihaela Rozman
3 years, 7 months

Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020
by Mihaela Rozman
3 years, 7 months

PhD position in dependence logic, Helsinki (Finland)
by Yang, Fan
3 years, 7 months

Call for Participation at the 32nd International Conference Computer-Aided Verification - CAV 2020 - Virtual and admission free event - Registration deadline is July 10th, 2020
by Mihaela Rozman
3 years, 7 months

[CfP] EELP 2020 - The Second Workshop on Epistemic Extensions of Logic Programming
by Laura Pandolfo
3 years, 7 months

[CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming
by Laura Pandolfo
3 years, 7 months

[2nd CfP] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming
by Laura Pandolfo
3 years, 7 months
Results per page: