This is the caption / description for the image
th February 2017 @08:15:00
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.
Read More »
New Seminar Series on Logic and Programming languages
th March 2017 @11:15:00
Logic and Programming Languages Seminars at MACS are now on the way, every Wednesday at 14.15. A dedictaed webpage is
Read More »
My upcoming events:
Invited talk at
Programming Languages and Compilers, 3-5 April 2017. Invited talk at
Algebra and Coalgebra meet Proof Theory , 10-12 April 2017. Invited talk at the
Computer-Aided Mathematical Proof workshop, Isaac Newton Institute for Mathematical Sciences,
Cambridge, 10-14 July 2017. Invited participant at IFIP Working Group 2.8 on Functional Programming, Edinburgh, 11-16 June 2017.
Invited talk at the Shonan meeting ``Enhanced Coinduction", Shonan, Japan, 13-17 November 2017.
My best five publications:
P.Fu and E.Komendantskaya.
Operational Semantics of Resolution and Productivity in Horn Clause Logic. Journal ``Formal Aspect of Computing", 165: 1-22, 2016. P.Fu, E.Komendantskaya, T.Schrijvers, A.Pond.
Proof Relevant Corecursive Resolution Thirteenth International Symposium on Functional and Logic Programming FLOPS'2016, Japan, 3-6 March 2016.
Springer LNCS 9613, 126-143.
E.Komendantskaya, J.Power and M.Schmidt.
Coalgebraic Logic Programming: from Semantics to Implementation. Journal of Logic and Computation, 26(2), 745-783, 2016.
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.
Y. Bertot and E. Komendantskaya.
Inductive and Coinductive Components of Corecursive
Functions in Coq,
the 9th International Workshop on Coalgebraic Methods in Computer Science,
Budapest, Hungary, April 4 - April 6, 2008.
ENTCS 203/5 pp.25--47, 2008.