Conference, Workshop, and Seminar Presentations:
-
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.