Atlas home || Conferences | Abstracts | about Atlas


16th International Conference on Logic Programming

ICLP 99

November 29 - December 4, 1999

Las Cruces, NM, USA

Mathematics

Homepage: http://www.cs.nmsu.edu/~complog/conferences/iclp99
Email: iclp99@cs.nmsu.edu

Organizers: Gopal Gupta, Danny De Schreye, Enrico Pontelli, Vitor Santos Costa, Janyce Wiebe

Deadline for abstracts: May 04, 1999

Description:
ICLP'99, the Sixteenth International Conference on Logic Programming will be a unique event in several ways. It will be organized in an integrated, theme-based way, with workshops, tutorials, invited talks and regular conference presentations grouped along key topics. Other new features will include a fully open poster session and mini-tutorials to introduce the more specialized sessions and workshops.

Topics: Theory Semantics Formalisms Non-monotonic reasoning Implementation Compilation Memory Management Parallelism Language Issues Constraints Concurrency Objects Functions Higher Order Types Modes Programming Techniques Environments Program Analysis Program Transformation Debugging Applications Deductive Databases Software Engineering Artificial Intelligence Natural Language

Specific attention will be given to work providing novel integrations over these different areas, to the application of logic programming in software engineering, including relations to object orientation, to component-based and Internet-based development, and to new applications of logic programming in general.

Speakers: Ken Bowen (USA), Vladimir Lifschitz (USA), Fernando Pereira (USA), Bernhard Thalheim (Germany), Manuel Hermenegildo (Spain), Ken Kahn (USA)

Date received: February 06, 1999


© 2008 Atlas Conferences Inc.