Conference, Workshop, and Seminar Presentations:

  1. E.Komendantskaya. Parallel Term-Rewriting in Neural Networks. International Conference Computability in Europe (CiE'09), Heidelberg, 19-24 July, 2009.
  2. E.Komendantskaya. Neurons OR symbols: Why does OR remain exclusive? Scottish Theorem Proving meeting, St Andrews, June 12, 2009.
  3. E.Komendantskaya. Neural Networks and Kahn networks: relation between Neurons, Logic and Parallel Programming January 2009, INRIA Sophia-Antipolis, France.
  4. Unification by Error-Correction. Presentation at Fourth International Workshop on Neuro-Symbolic Learning and Reasoning (NeSy'08). 21 July 2008, Patras, Greece.
  5. 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.
  6. 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.
  7. Inductive and Coinductive Components of Corecursive Functions in Coq. Presented at TYPES'08, Torino, Italy, March 26-29, 2008.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. Kleene Intermediate Regular Three-Valued Logics, presented during the 4th International Conference Smirnov Readings, Moscow, Russia, May 28--30, 2003.
  18. Symbolic Logic and Foundations of Mathematics in works of Ludwig Witgenstein, presented during the conference Lomonosov Readings, Moscow State University, Moscow, Russia, May 2002.