- A productivity checker for Logic programming. LOPTSTR'16, Edinburgh, 07 September, 2016.
- Certified Automated Theorem Proving for Type Inference. Invited talk at University of Cambridge, 20 May 2016.
- Certified Automated Theorem Proving for Type Inference. Invited talk at University of Edinburgh (DREAM seminar), 10 May 2016.
- Automated Theorem Proving for Type Inference, Constructively. Invited talk at University of Bath, 03 May 2016.
- Automated Theorem Proving for Type Inference, Constructively. Dagstuhl Seminar 16131 Language Based Verification Tools for Functional Programs, 28 March - 01 April 2016.
- K.Komendantskaya. Structural Resolution Meets Curry Howard. Invited talk at Universities of Oxford (23 October 2015) and Birmingham (06 November 2015).
- K.Komendantskaya A 7-minute introduction to Structural Resolution. ICLP 2015, September 2015.
- E.Komendantskaya. Structural Resolution and Type Inference. Workshop on Type Inference and Automated Proving, May 2015 2014.
- E.Komendantskaya. Structural Resolution. Algebra and Coalgebra meet Proof Theory, 7 May 2015 2014.
- Structural Automated Proving. School of Computer Science, Universities of Swansea and Bath (by on-line conferencing), 11 December 2014.
- Untyped recursion and corecursion in logic programming: computational and semantic perspective. Logic group in the School of Mathematics, Leeds University, 8 October 2014.
- Coalgebraic logic programming: corecursion and parallelism for untyped automated proof-search. Laboratoire de l'Informatique du Parallélisme (LIP), ENS (Ecole Normale Superior de) Lyon, France, 2 July 2014.
- Coalgebraic Logic Programming. ICLP'14. 21 July 2014.
- Can Coalgebraic Logic Programming be useful for "Communication-based Computation"?. Communication-based Computation (CoCo) event, May 2014.
- Statistical Machine Learning in Interactive Theorem Proving. Invited talk at School of Computer Science, University of Leicester, 8 November 2013.
- Designing a small programming language, coalgebraically Shonan'13, Coinduction for Computation Structures and Programming Languages, 5-9 October 2013.
- Coalgebraic Logic Programming for Type Inference, Mathematically Structured Programming group (Strathclyde) research-away day. 6 June 2013.
- Can statistical machine learning advance mechanised proof technology? Invited talk at Oxford University, 19 June 2013.
- Statistical Proof Pattern Recognition: Automated or Interactive? the 20th Automated Reasoning Workshop (ARW'13), 11-12 April 2013.
- ML4PG: Machine Learning for Proof General: interfacing interfaces. A talk given at the Universities of Stratchclyde (30 November 2012) and Edinburgh (4 December 2012).
- Coalgebraic Logic Programming: implicit versus explicit resource handling. Workshop on Coinductive Logic Programming at ICLP'12, Budapest, September 2012.
- Machine-Learning for the Working Logician. Dagstuhl Seminar "AI Meets Formal Methods", Dagstuhl, 1-7 July 2012.
- Coalgebraic Derivations in Logic Programming. International Conference Computer Science Logic CSL'11. September 2011.
- Coinductive Logic Programming for Type Inference. International Workshop TYPES'11. September 2011.
- Machine-Learning Coalgebraic Automated Proofs. Invited DREAM seminar, School of Informatics, University of Edinburgh, 9 August 2011.
- Machine-Learning Coalgebraic Automated Proofs International Conf. in Inductive Logic Programming, ILP'11. August 2011.
- Machine Learning Methods for Discovering Proof Tactics in Automated Proofs. Scottish Theorem Proving Workshop. University of Dundee. 17 June 2011.
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. Scottish Category Theory Seminar. University of Glasgow. 13 May 2011.
- Pattern recognition for coinductive proof trees. Artificial Intelligence for Formal Methods Workshop. University of Edinburgh. 29 April 2011.
- Coalgebraic derivations in Logic Programming. Automated Reasoning Workshop. University of Glasgow. 11 April 2011.
- 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.
- Coalgebraic semantics for parallel derivation strategies in logic programming. International Conference AMAST'2010, Quebec, 23-25 June 2010.
- 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.
- Applications of inductive types in artificial intelligence and inductive reasoning. Invited talk at Institute of Cognitive Science University of Osnabrueck, April 2010.
- Partiality and Co-Recursion. Functional Programming Lunch series, St Andrews, February - March 2010.
- Neurons OR Symbols: Why Does OR Remain Exclusive? Position paper. International Conference on Neural Computation (ICNC), October 2009.
- Parallel Rewriting in Neural Networks. International Conference on Neural Computation (ICNC), October 2009.
- Parallel Term-Rewriting in Neural Networks. International Conference Computability in Europe (CiE'09), Heidelberg, 19-24 July, 2009.
- Neurons OR symbols: Why does OR remain exclusive? Scottish Theorem Proving meeting, St Andrews, June 12, 2009.
- Neural Networks and Kahn networks: relation between Neurons, Logic and Parallel Programming January 2009, INRIA Sophia-Antipolis, France.
- Unification by Error-Correction. Presentation at Fourth International Workshop on Neuro-Symbolic Learning and Reasoning (NeSy'08). 21 July 2008, Patras, Greece.
- Coq in Mathematics and Computer Science: Inductive and Coinductive Capacities. (The Coq demo file can be found here.) Invited seminar in the Centre for Mathematics and Informatics (CMI), Universite de Provence, Aix-Marseille-1, France; 6 May 2008.
- Coinduction and Corecursion in Coq; Inductive and Coinductive Components of Corecursive Functions in Coq. (The Coq source with examples can be found here.) Paper presentation at CMCS'08, Budapest, Hungary, April 4 - 6, 2008.
- Inductive and Coinductive Components of Corecursive Functions in Coq. Presented at TYPES'08, Torino, Italy, March 26-29, 2008.
- 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.
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. Presented at TABLEAUX'07 Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, Aix en Provence, France, July 3 - 6 2007.
- 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.
- Fibrational Semantics for Many-Valued Logic Programs. 9th of January, 2007. Invited lecture is given to the Computational Logic group in University of St.Andrews, Scotland, UK.
- Logic Programs with Uncertainty and Neural Computations. Presented at the 2nd International Conference Computability in Europe (CiE'06), Swansea, Wales, June 30 - July 4, 2006.
- A Many-Sorted Semantics for Many-Valued Annotated Logic Programs. Presented at the 4th Irish Conference on Mathematical Foundations of Computer Science and Information Technology (MFCSIT'06), Cork, Ireland, August 1-5, 2006.
- Sound and complete SLD-resolution for Bilattice-Based Annotated Logic Programs. Presented at the 4th Irish Conference on Mathematical Foundations of Computer Science and Information Technology (MFCSIT'06), Cork, Ireland, August 1-5, 2006.
- On Approximation of the Semantic Operators Determined by Bilattice-Based Logic Programs, presented on the 7th International Workshop on First-Order Theorem Proving (FTP'05), pages 112--130, Koblenz, Germany, September 15--17, 2005.
- On Uniform Proof-Theoretic Operational Semantics for Logic Programming, given during the 1st World Congress on Universal Logic (UNILOG-05), 26 March -- 3 April, 2005, Montreux, Switzerland.
- Kleene Intermediate Regular Three-Valued Logics, presented during the 4th International Conference Smirnov Readings, Moscow, Russia, May 28--30, 2003.
- Symbolic Logic and Foundations of Mathematics in works of Ludwig Witgenstein, presented during the conference Lomonosov Readings, Moscow State University, Moscow, Russia, May 2002.