Conference, Workshop, and Seminar Presentations:

  1. E.Komendantskaya. Coalgebraic Derivations in Logic Programming. International Conference Computer Science Logic CSL'11. September 2011.
  2. E.Komendantskaya. Coinductive Logic Programming for Type Inference. International Workshop TYPES'11. September 2011.
  3. E.Komendantskaya. Machine-Learning Coalgebraic Automated Proofs. Invited DREAM seminar, School of Informatics, University of Edinburgh, 9 August 2011.
  4. E.Komendantskaya. Machine-Learning Coalgebraic Automated Proofs International Conf. in Inductive Logic Programming, ILP'11. August 2011.
  5. E.Komendantskaya. Machine Learning Methods for Discovering Proof Tactics in Automated Proofs Scottish Theorem Proving Workshop. University of Dundee. 17 June 2011.
  6. E.Komendantskaya. Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. Scottish Category Theory Seminar. University of Glasgow. 13 May 2011.
  7. E.Komendantskaya. Pattern recognition for coinductive proof trees. Artificial Intelligence for Formal Methods Workshop. University of Edinburgh. 29 April 2011.
  8. E.Komendantskaya. Coalgebraic derivations in Logic Programming. Automated Reasoning Workshop. University of Glasgow. 11 April 2011.
  9. E.Komendantskaya. Computational Logic in Artificial Neural Networks: A personal Perspective School of Computing, University of Aberdeen, UK. 9 February 2011. Also, with some modifications - at the Department of Informatics, Eurasian National University, Kazakhstan, 18 February 2011, and at the School of Computer Science, University of Striling, 25 March 2011.
  10. E.Komendantskaya. Using Inductive Types for Ensuring Correctness of Neuro-Symbolic Computations. CiE'2010 - Computability in Europe 2010 - Programs, Proofs, Processes. Ponta Delgada, Portugal, 30 June - 4 July 2010.
  11. E.Komendantskaya. Applications of inductive types in artificial intelligence and inductive reasoning. Invited talk at Institute of Cognitive Science University of Osnabrueck, April 2010.
  12. E.Komendantskaya. Partiality and Co-Recursion. Functional Programming Lunch series, St Andrews, February - March 2010.
  13. E.Komendantskaya. Neurons OR Symbols: Why Does OR Remain Exclusive? Position paper. International Conference on Neural Computation (ICNC), October 2009.
  14. E.Komendantskaya. Parallel Rewriting in Neural Networks. International Conference on Neural Computation (ICNC), October 2009.
  15. E.Komendantskaya. Parallel Term-Rewriting in Neural Networks. International Conference Computability in Europe (CiE'09), Heidelberg, 19-24 July, 2009.
  16. E.Komendantskaya. Neurons OR symbols: Why does OR remain exclusive? Scottish Theorem Proving meeting, St Andrews, June 12, 2009.
  17. E.Komendantskaya. Neural Networks and Kahn networks: relation between Neurons, Logic and Parallel Programming January 2009, INRIA Sophia-Antipolis, France.
  18. Unification by Error-Correction. Presentation at Fourth International Workshop on Neuro-Symbolic Learning and Reasoning (NeSy'08). 21 July 2008, Patras, Greece.
  19. E. Komendantskaya Project presentation: CLANN March 2008, EPSRC, Swindon, UK.
  20. E. Komendantskaya Unification by Error-Correction. Presentation at Fourth International Workshop on Neuro-Symbolic Learning and Reasoning (NeSy'08). 21 July 2008, Patras, Greece.
  21. E.Komendantskaya. The Algorithms of Unification and SLD Resolution in Neural Networks. An invited seminar in Universities of St Andrews, Bath, and Imperial College London. 3 - 6 March, 2008.
  22. E. Komendantskaya. First-Order Deduction in Neural Networks. Presented at LATA'07 International Conference on Language and Automata Theory and Applications, Tarragona, Spain. 29 March - 4 April, 2007.