Math Anxiety, Its Development and Elimination. International Conference on Social Science, Arts, Business and Education, Venice, Italy, August 4 - 5, 2019
2. Analytical Thinking, Technology, Mathematics and Women (Keynote speech). 20th International Conference on Computer Science and Mathematics (ICCSM 2018), New York, USA October 8 - 9, 2018
All Terms of Martin-Löf's Type Theory Make a Full Lattice. International Conference on Mathematics and Computational Science and Engineering (ICMCSE 2017), Tokyo, Japan, July 27-28, 2017
Interrelation between Mathematics and Common Sense. Twenty-second International Conference on Learning, Madrid, Spain, July 9-11, 2015
Comparisons of Inferences in Gentzen-Type System and Martin-Löf's Type Theory. 9th Symposium on Trustworthy Global Computing, Rome, Italy, September 5-6, 2014
Strategies for Development of Analytical Thinking through Teaching Mathematics. 7th Annual International Conference on Mathematics Education & Statistics Education, Athens, Greece, June 17-20, 2013
How Topical Coverage Affects the SALE (Student Assessment of Learning Experiences).
Empire State College Circles Meeting, June 5, 2013
The Interrelation between Mathematical Logic, Math Education, and its History. Excellence in Scholarship Award recipient talk, Empire State College All College Conference, March, 2013
Learning Mathematics Through Understanding vs. Learning By Rote. Learning Conference 2012, London, UK, August 14-16, 2012
Best Practices in Mentee/Mentor Relationship. Empire State College Circles Meeting, Thursday, April 21, 2011
Efficiency of Automating Problem Solving in Martin-Löf's Type Theory. 10th International Conference on Artificial Intelligence and Symbolic Computation AISC 2010, Paris, France, July, 2010
The Complexity of Logical Inferences in Gentzen-Type System and in Martin-Löf's Theory of Small Types. International Conference on Algebra, Mathematical Logic, and Applications, Novosibirsk, Russia, May, 2010
Mentoring: Not Something That One Can Read In "How To" Books. Empire State College Circles Meeting, November, 2009
The Long Lasting Benefits of General Education Mathematics. Empire State College Circles Meeting, October 22, 2009
Notes on Math Anxiety Among Students: Cause-and-Effect, Pro-and-Con. International Learning Conference 2009, Barcelona, Spain, July, 2009
Mentoring, Being Responsible and Getting Students Ready. Empire State College All Area of Study Conference, November 2008
Reflections on Issues of Teaching Mathematics and Science: Our Worlds and Our Practices. Empire State College All College Conference, March 2008
Mathematics, Blended Learning, Study Group. Empire State College All Area of Study Conference, November 2007
Automated Program Writing System Based on Per Martin-Löf's Type Theory. Fourth International Conference of Applied Mathematics and Computing, Plovdiv, Bulgaria, August 12-18, 2007
Anania Shirakatsi's 7th Century Methodology of Teaching Arithmetic Across the Centuries and Diverse Cultures. 5th European Summer University on The History and Epistemology in Mathematics Education, Prague, Czech Republic, July 19-24, 2007
Mathematics… Blended Learning, What Works, What Doesn't for Our Adult Students. Empire State College All College Conference, March 22-24, 2006
The Evolution of Computer Science and Our Adult Learners. Empire State College All College Conference, March 22-24, 2006
Consistency of Martin-Löf's Intuitionistic Type Theory. 2005-06 Association for Symbolic Logic winter meeting (joint with American Mathematical Society) in San Antonio, Texas on January 14-15, 2006
Automation of Inference in Marin-Löf's Intuitionistic Type Theory. 2005-06 Association for Symbolic Logic Winter Meeting (joint with American Philosophical Association), New York City, December 27-30, 2005
Regulation of Terms of Martin-Löf's Type Theory, Fixed-Point and Recursion Theorems in Martin-Löf's Type Theory. "Mixed Calculations & Transformation of Programs," Novosibirsk, Russia
Inference Search System with Dialogue in Martin-Löf's Intuitionistic Type Theory. "Personal Computers & Local Network," Novi Afon, Georgia