AGP 2000

APPIA-GULP-PRODE 2000 Joint Conference on Declarative Programming
La Habana, Cuba, 04/12/2000–07/12/2000

The aim of the Conference is to foster scientific meetings between Italian, Portuguese, Spanish and Latin America researchers, to improve the knowledge of the state of the art of declarative programming (through the invited talks) and to show the ongoing research done (through presentations of papers).

The Conference is organized by the Universidad de La Habana, founded in 1728 in La Habana (Cuba).

La Habana is the capital of Cuba and have one of the most famous and preserved Spanish colonial sites in Latin America called the Historical Center. There you can visit streets, palaces, churches, castles, fortresses, getting the look and feel of the Spanish legacy in Cuba.

topics of interest

Submissions of papers are welcome on all aspects of declarative programming, including, but not limited to:

  • Theoretical Foundations
  • Applications
  • Implementation Issues
  • Extensions
works as
origin event for publication
page_white_acrobatFormal ReSpecT (paper in proceedings, 2001) — Andrea Omicini, Enrico Denti
page_white_acrobatFormal ReSpecT (paper in proceedings, 2000) — Andrea Omicini, Enrico Denti
page_white_acrobatPreface: Volume 48 (editorial/introduction/preface, 2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
page_white_acrobatDeclarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (edited volume, 2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
hosting event for talk
page_white_powerpointFormal ReSpecT (AGP 2000, 05/12/2000) — Andrea Omicini (Andrea Omicini, Enrico Denti)
series event