|
Presentations |
|
| University of Bremen, Germany, 1979, 1988, 2004. | |
| University of Hagen, Germany, 1979. | |
| Kansas State University, 1979, 1988. | |
| Conference on General Topology and Modern Analysis, University of California, Riverside, 1980. | |
| Fifth Prague Topological Symposium, Czechoslovakia, 1981. | |
| Marshall University, 1982, 1984. | |
| University of Edinburgh, Scotland, 1983. | |
| Washington University, St. Louis, 1984. | |
| Iowa State University, 1984. | |
| Workshop on Category Theory and Computer Programming, University of Surrey, England, 1985. | |
| IEEE Computer Society's Tenth Annual International Computer Software and Applications Conference, Chicago, 1986. | |
| Summer Conference on Category Theory and Computer Science, University of Edinburgh, Scotland, 1987. | |
| South Bank Polytechnic, London, 1987. | |
| University of Tulane, 1988. | |
| University of Copenhagen, 1988, 1990. | |
| Fourth International Workshop on the Mathematical Foundations of Programming Semantics, University of Colorado, 1988 (invited speaker). | |
| International Workshop on Categorical Methods in Computer Science, Free University of Berlin, 1988 (invited speaker). | |
| Cat-Top, International Workshop on Category Theory and Topology, Prague, Czechoslovakia, 1988. | |
| University of Tulsa, 1989, 1992. | |
| University of Darmstadt, Germany, 1989. | |
| International Workshop on Domain Theory and Databases, Darmstadt, Germany, 1989 (invited speaker). | |
| University of Aarhus, Denmark, 1989. | |
| Second Annual Oregon Workshop on Software Metrics, Portland State University, Oregon, 1990. | |
| Sixth International Workshop on the Mathematical Foundations of Programming Semantics, University of Kingston, Ontario, Canada, 1990. | |
| Bellman Continuum Conference, Kansas State University, 1990. | |
| Workshop on Category Theory Applied: Paradigmatic Topics, University of Bremen, Germany, 1990. | |
| Oklahoma State University, 1990. | |
| University of Pennsylvania, 1990. | |
| International Conference on the Mathematical Foundations of Programming Semantics 91, Carnegie-Mellon University, 1991. | |
| British Computer Society's One-day Workshop on Formal Aspects of Measurement, South Bank Polytechnic, London, 1991. | |
| University of Cape Town, 1991, 2004 (two talks). | |
| South African Graduate Students Research Symposium, 1992 (invited speaker). | |
| (Southern African) Lecturers in Computer Science Symposium, 1992 (invited speaker). | |
| Seventh Southern African Computer Research Symposium, South Africa,1992 (invited speaker). | |
| Workshop on Formal Aspects on Computer Science, University of Cape Town, 1992 (invited speaker). | |
| Meiji University, Tokyo, Japan, 1993. | |
| Osaka University, Japan, 1993. | |
| Kansas State University, Undergraduate Mathematics Lecture Series, 1993. | |
| First Asian Fuzzy Systems Symposium, Singapore, 1993. | |
| Second Workshop on Formal Aspects on Computer Science, University of Cape Town, 1994 (invited speaker). | |
| The Associated Colleges of Central Kansas Computer Science Departments, McPherson College, McPherson, Kansas. Two lectures: one on Lagois connections and one on ethics. 1996. | |
| Symposium on Modern Undergraduate Mathematics, Brisbane, Australia, 1997. | |
| 1992 International Simulation Technology Conference and 1992 Workshop on Neural Networks, Clear Lake, Texas, 1992. | |
| International Symposium on Applications of Categorical Methods, Antwerp, Belgium, 1998 (invited speaker). | |
| International Conference on Georgian Influenced Mathematics, Kent State University, 1998 (invited speaker). | |
|
International Symposium on Undergraduate Mathematics Education, The
Challenge of Diversity, Laguna Quays, Queensland, Australia, 1999. |
|
| First Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science, 1999 (invited speaker, four lectures). | |
| Third Southern Hemisphere Symposium on Undergraduate Mathematics Teaching, Kruger National Park, South Africa, 2001. | |
| 4th International Conference on Enterprise Information Systems, Spain, April 2002 (poster session). | |
| RECAM'02, (Regional Campus Mathematics Conference), Kent State University Stark Campus, 2002 (invited speaker). | |
| 2nd International Conference on the Teaching of Mathematics, Crete, Greece, July 2002. | |
| Fourth Southern Hemisphere Symposium on Undergraduate Mathematics Teaching, Queensland, New Zealand, 2003. | |
| University of Stellenbosch, South Africa, 2004 (two talks). | |
| Fifth Southern Hemisphere Symposium on Undergraduate Mathematics Teaching, Australia, 2005. | |
| Youngstown State University, 2006. | |
| Technology Symposium, McGill University, Montreal, Canada, 2006. | |
| Tenth Prague Topological Symposium, Czech Republic, 2006. | |
| Fourth International Conference on the Book, Boston, Massachusetts, 2006. | |
| Technology Conference, Cambridge University, England, 2007. | |
| 16th International Conference on Software Engineering and Data Engineereing, Las Vegas, Nevada, 2007. | |
| Categorical Methods in Algebra, Topology and Computer Science Workshop, University of Coimbra, Portugal, 2007. | |
| 29th Linz Seminar on Fuzzy Set Theory: Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology, Linz, Austria, 2008. | |
| The 2008 International Conference on Software Engineering Research and Practice (poster session), WorldComp'08, Las Vegas, 2008. | |
|
|