TALKS

• "Constraint Logic Programming tools for Specification and Verification of Real Time Systems", International Symposium on Real-time Systems, San Francisco, December 1997.
• "Constraint Logic Programming for Specification and Verification of Real Time Systems", Workshop on Logic Programming for Modeling and Specification, Port Jefferson, October 1997.
• "W-ACE: A Logic Language for World Wide Web Programming", International Conference on Tools with Artificial Intelligence, November 1997.
• "Logic and Constraint Programming with Sets", Invited Seminar, NMSU Mathematical Colloquium Series, September 1997.
• "Parallel Implementations of Logic Programming Languages", Invited Seminar, University of Ohio, April 1997.
• "Implementation Mechanisms for Dependent And-Parallelism", Workshop on Parallelism and Implementation Technology for Constraint Logic Programming, Bonn, June 1996.
• "Data Parallel Logic Programming in ACE", International Symposium on Parallel and Distributed Processing, New Orleans, April 1996.
• "Dependent And-Parallelism Revisited", Workshop on Parallel Logic Programming Systems, Kanagawa, Japan, June 1995.
• ``Determinacy Driven Optimizations of And-Parallel Systems.", Twelfth International Conference on Logic Programming, Kanagawa, Japan, June 1995.
• ``&ACE: A high-performance parallel Prolog system.", 9th IEEE International Parallel Processing Symposium, April 1995.
• ``High-Performance Implementation of And-Parallel Logic Programming Systems", Meeting of the Rio Grande Chapter of ACM, November 1994.
• ``Determinacy Driven Optimizations of And-Parallel Systems", ILPS94 Post-conference workshop on Design and Implementation of Parallel Logic Programming Systems, November 1994.
• ``&ACE: The And-Parallel Component of ACE (A progress report on ACE)", ICLP94 Post-Conference workshop on Parallel and Data Parallel Execution of Logic Programs, S.Margherita Ligure (Italy), June 1994.
• ``ACE: And-Or Stack Copying based Execution of Logic Programs", Eleventh International Conference on Logic Programming, S.Margherita Ligure (Italy), June 1994.
• ``A WAM-based Implementation of a Logic Language with Sets", Workshop on Parallel Logic Programming, New Mexico State University, Las Cruces (New Mexico), October 1993.
• ``Implementation of ACE: An And-Or Parallel System", Workshop on Parallel Logic Programming, New Mexico State University, Las Cruces (New Mexico), October 1993.
• ``A WAM-based Implementation of a Logic Language with Sets", Fifth International Symposium on Programming Language Implementation and Logic Programming, August 93, Tallinn, Estonia.
• ``The ACE Model: And/Or-Parallel Copying-based Execution of full Prolog", Workshop on Practical Implementations and System Experience in Logic Programming, ICLP93, June 93, Budapest, Hungary.
• ``ACE: A Stack Copying Based And-Or Parallel System", Compulog Workshop on Parallel Logic Programming, May 93, Madrid, Spain.
• ``Logic Programming with Sets", Colloquium, Department of Computer Science, New Mexico State University, October 92, Las Cruces, NM.
• ``Embedding Sets in a Logic Programming Language", Invited Colloquium, University of Udine, October 91, Udine, Italy.
• ``The log language: logic programming with sets", 8th International Conference on Logic Programming, June 91, Paris, France.