I am looking for a PhD student to work with me at Heriot-Watt university. The succcessful candidate must have interest in Logic and Programming languages. Full stipend is available, starting date is flexible. Interested applicants -- please contact me directly.
New Seminar Series on Logic and Programming languages
We are starting new seminar series at the School of Mathematical and Computer Sciences. The seminar will be devoted to logic and programming langues. The first seminar will take place on the 23 February at 15.15, Manuel Maarek will tell us about his experiince at POPL'17 in Paris.
J.Heras, E.Komendantskaya, M.Johansson, and E.Maclean.
Proof-Pattern Recognition and Lemma
Discovery in ACL2 19th International conference on Logic for Programming Artificial Intelligence and Reasoning,
LPAR'13, Stellenbosch, South Africa, 15th-19th December 2013.
Springer LNCS 8312, pp. 389-406, 2013.