Next: References
Up: Resume
Previous: Pubblications
TALKS

"Constraint Logic Programming tools for Specification and Verification
of Real Time Systems", International Symposium on Realtime 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.

"WACE: 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 AndParallelism", 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 AndParallelism Revisited", Workshop on Parallel Logic Programming
Systems, Kanagawa, Japan, June 1995.

``Determinacy Driven Optimizations of AndParallel Systems.", Twelfth
International Conference on Logic Programming, Kanagawa, Japan, June 1995.

``&ACE: A highperformance parallel Prolog system.", 9th IEEE
International Parallel Processing Symposium, April 1995.

``HighPerformance Implementation of AndParallel Logic Programming
Systems", Meeting of the Rio Grande Chapter of ACM, November 1994.

``Determinacy Driven Optimizations of AndParallel Systems", ILPS94
Postconference workshop on Design and Implementation of Parallel Logic
Programming Systems, November 1994.

``&ACE: The AndParallel Component of ACE (A progress report on
ACE)", ICLP94 PostConference workshop on Parallel and Data Parallel
Execution of Logic Programs, S.Margherita Ligure (Italy), June 1994.

``ACE: AndOr Stack Copying based Execution of Logic Programs",
Eleventh International Conference on Logic Programming, S.Margherita Ligure
(Italy), June 1994.

``A WAMbased 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 AndOr Parallel System", Workshop on
Parallel Logic Programming, New Mexico State University, Las Cruces (New
Mexico), October 1993.

``A WAMbased 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/OrParallel Copyingbased Execution of full Prolog",
Workshop on Practical Implementations and System Experience in Logic Programming,
ICLP93, June 93, Budapest, Hungary.

``ACE: A Stack Copying Based AndOr 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.
'Enrico
Fri Jun 2 19:41:07 MDT 1995