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

[PVS] ICLP'09 Call for Participation




************************************************************************
*                                                                      *
*                       Call for Participation                         *
*                                                                      *
*    25th International Conference on Logic Programming (ICLP 2009)    *
*             Pasadena, California, USA, July 14-17, 2009              *
*                 http://www.ist.unomaha.edu/iclp2009                  *
*           Co-located with IJCAI 2009 (http://ijcai-09.org)           *
*                                                                      *
************************************************************************

 We are pleased to announce the 25th International Conference on Logic
    Programming, to be held in the city of Pasadena, California, USA
    (http://www.pasadenacal.com/visitors.htm), in July 2009, at the 
      Pasadena Convention Center (http://www.pasadenacenter.com).

          On-line registration for the conference is open at:
           http://www.ist.unomaha.edu/iclp2009/iclp09reg.html


      Remember that the deadline for early registration and for the
           hotel special rate reservations is June 20, 2009.


              ********************************************


There are a lot of good reasons to be part of ICLP 2009. This year,
the technical program will include 38 regular and short presentations,
4 invited talks, 4 tutorials, a doctoral consortium, 6 associated
workshops and the traditional Prolog programming contest.

The list of accepted papers can be found on the conference website at:
   http://www.ist.unomaha.edu/iclp2009/submission_accepted.html

Invited talks and tutorials include the following presentations
(http://www.ist.unomaha.edu/iclp2009/talks-and-tutorials.html):

   * Taisuke Sato     - Generative Modeling by PRISM
   * Paulo Moura      - From Plain Prolog to Logtalk Objects: Effective 
                        Code Encapsulation and Reuse
   * Chris Mungall    - Experiences using logic programming in
                        bioinformatics
   * Marc Denecker    - A Knowledge Base System project for FO(.)
   * Luc De Raedt     - Probabilistic Logic Learning
   * Jan Wielemaker   - Enabling serendipitous search on the Web of Data
                        using Prolog
   * Mireille Ducasse - (C)LP tracing and debugging
   * Andy King        - Untangling Reverse Engineering with Logic and 
                        Abstraction

The associated workshops are:

   * ASPOCP  - Workshop on Answer Set Programming and Other Computing 
               Paradigms
   * CHR     - Workshop on Constraint Handling Rules
   * CICLOPS - Colloquium on Implementation of Constraint and LOgic 
               Programming Systems
   * CULP    - Workshop on Commercial Users of Logic Programming
   * WG17    - Workshop on ISO Prolog
   * WLPE    - Workshop on Logic-based methods in Programming
               Environments

We really look forward to welcoming you at ICLP 2009 in Pasadena under
the southern California sunshine!

************************************************************************