[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] INAP 2009: CALL FOR PARTICIPATION



                    --- CALL FOR PARTICIPATION ---
                              INAP 2009

                   18th International Conference on
               Applications of Declarative Programming
                       and Knowledge Management

                          November 5-7, 2009
                           Evora, Portugal

                  http://www.di.uevora.pt/inap2009/
                    http://inap.dialogengines.com/

   Organized by the Portuguese AI Society (APPIA), the INAP Committee
           and the Society of Logic Programming (GLP e.V.)

== Registration ==

   Registration is now open; see details on the web site.  Early
   registration is available until October 15, 2009.

== INAP 2009 ==

   INAP is a communicative and dense forum for intensive discussion of
   applications of important technologies related to Logic and
   Constraint Programming as well as closely related advanced software.
   It comprehensively covers the impact of declarative programming
   methods and tools in the Internet Society, its underlying
   technologies, and leading edge applications in industry, commerce,
   government, and societal services.

   INAP 2009 continues a tradition of successful workshops cast around
   the applications of declarative programming, which were held in Kobe
   (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka
   (2005) and Wuerzburg (2007).

== Workshop Program ==

   Besides the regular presentations, the conference will host invited
   talks by Antonio Porto and Terrance Swift.  The provisional program,
   including the list of accepted papers may be consulted on the web at
   http://www.di.uevora.pt/inap2009/program-0.html

   Hotel and travel information is available on the web site as well.


Looking forward to see you at the conference!

Dietmar Seipel and Salvador Abreu
Conference Chairs, INAP 2009