|
|
This one-day workshop is intended to bring together researchers employing different forms of program composition for different purposes. The methodology of programming by composing separate logic programs has revealed to be convenient for a wealth of applications, ranging from software engineering techniques for structuring and modularising programs to artificial intelligence techniques for knowledge representation and reasoning. Work on all aspects of program composition is of interest to the workshop, including theoretical foundations, modular programming, language design, implementation techniques and applications.
Organizers:
Antonio Brogi (University of Pisa, Italy)
Luis Monteiro (university of Lisbon, Portugal)
Contact person:
Antonio Brogi
Dipartimento di Informatica