• 2008
  • Higher secat varieties of classically studied varieties, June 20, The Foundation of Computational Mathematics Conference, Workshop on Computational Algebraic Geometry at the City University of Hong Kong

  • A computer-aided proof of the existence of smooth rational surfaces, March 16, A Macaulay2 Conference at Cornell University at Cornell University, Ithaca, NY.

• 2007
  • Induction for typical tensor rank, October 5, The AMS 2007 Fall Central Section Meeting at DePaul University, Special Session on Numerical and Symbolic Techniques in Algebraic Geometry and Its Applications.

  • Induction for secant varieties to Segre varieties, January 16, RIMS workshop on Computational Commutative Algebra and Computational Algebraic Geometry, RIMS, Kyoto, Japan.

• 2006
  • The Quillen-Suslin theorem and the construction of vector bundles, October 18, Workshop on Syzygies and Hilbert Functions at the Banff International Research Station.

  • Simple graphs and plane arrangements in projective fourspace, August 3, Workshop on Computational and Combinatorial Commutative Algebra , Fields Institute, Toronto, Canada.

  • Theory and computation in the search of special surfaces, July 28, Workshop on Computational and Combinatorial Commutative Algebra , Fields Institute, Toronto, Canada.

  • Implementation of Kumar's correspondence, July 10, ISSAC 2006 , Genova, Italy.

  • Arrangements of planes in projective fourspace formed from simple graphs, July 3, Algebraic Geometry Seminar , University of Florence.

  • Stable reflexive sheaves associated to the Paley graph, April 8-9, The AMS 2006 Spring Central Sectional Meeting at the University of Notre Dame, Special Session on Combinatorial Algebraic Geometry.

  • Solving systems of polynomial equations, March 21, Colloquium, Western Washington University.

  • Finding needles in a haystack: Theory and computation in the search for special surfaces, March 20, Colloquium, Western Washington University.

  • Finding needles in a haystack: Theory and computation in the search for special surfaces, March 08, Colloquium, University of Idaho.

  • Finding needles in a haystack: Computer searches for special surfaces, March 03, Colloquium, University of North Carolina at Greensboro.
• 2005
  • Construction of rational surfaces in projective fourspace, October 21-23, The 2005 Fall Central Section meeting of the AMS, Lincoln, Nebraska, Special Session on Algebraic Geometry.

  • Smooth general-type surfaces in P⁴ with many 7-secant lines, September 21, Algebra Seminar, Colorado State University.

  • Arrangements of planes in P⁴ formed from the Petersen graph, September 15, Algebra Seminar, Colorado State University.

  • An application of the Quillen-Suslin theorem to the construction of vector bundles , August 24, Theoretical effectivity and practical effectivity of Groebner basis, Rikkyo University

  • Construction of rational surfaces in projective fourspace , August 4, 2005 AMS Summer Institute on Algebraic Geoemtry, Seattle [ Slides ]

  • Construction of surfaces in projective fourspace , February 24, Colloquium, Oregon State University

  • Construction of non-general type smooth surfaces in projective fourspace , Feburary 10, Colloquium, Washington University in St. Louis
• 2004
  • A computer-aided proof of the existence of a smooth rational surface, October 28, Algebra Sminar, Colorado State University

  • Paley graphs and rational points of varieties , October 1, Rocky Mountain Algebraic Combinatorics Seminar, Colorado State University

  • Surfaces in P⁴ , April 13, Algebra Seminar, Colorado State University

  • Construction of vector bundles on projective spaces , March 2, Commutative Algebra and Algebraic Geometry Seminar, University of California, Berkeley.
• 2003
  • A rational surface of degree 12 in projective fourspace , October 3 2003, The AMS 2003 Joint Central and Western Section Meeting Boulder, Colorado, Special Session on Algebraic Geometry.

  • Vector bundles on projective spaces , September 25 and October 16, Algebra Seminar, Colorado State University

Last Updated: September 9 2005 by Hirotachi Abo