28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018. Deadline April 8. Communicated by Fred Mesnard
CFP: FMLAMAS 2018 at Stockholm
Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems. 9-10 July 2018, Stockholm University. Communicated by Riccardo De Masellis.
16 PhD Positions in Austria
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.
CFP: RuleML+RR 2018: International Joint Conference on Rules and Reasoning
By Francesco Ricca
University of Calabria
Italy
CFP: WiL 2018: Second Women in Logic Workshop
By Amy Felty,
University of Ottawa,
Canada
CFP: Twenty-Fourth Conference on Principles and Practice of Constraint Programming
By George Katsirelos
INRA, Toulouse
France