Summer School on Computational Logic

From: ISCL 2002 Organization (iscl02@cs.unipr.it)
Date: Wed Feb 06 2002 - 15:11:18 MET

  • Next message: Luis Martínez: "WSC 7 Call For Papers"

    [Please, accept our apologies if you receive multiple copies.]

           F I R S T C A L L F O R P A R T I C I P A T I O N

                            ~~~~~~~~~~~~~~~~~~~~~~

              International Summer School on Computational Logic
                                  ISCL 2002

                     Maratea (Italy), August 25-30, 2002

                        http://www.cs.unipr.it/ISCL02/
                              iscl02@cs.unipr.it

    AIM

    Computational Logic (CL), the topic of the School, has many
    applications including the modeling of intelligent systems,
    verification of software, and the support of systems for solving
    computationally hard problems. Moreover, being founded on mathematical
    logic, tools based on CL are themselves amenable to safe optimization
    and verification techniques.

    The School is aimed at graduate students as well as other interested
    researchers, both from university and from industry. It will consist
    of several lectures on different aspects of CL; covering both the
    theoretical framework and relevant practical perspectives. Each
    lecture will provide the basic notions of its topic before proceeding
    to more advanced issues. Final exams in the topics studied will be
    available to participants on request.

    PROGRAMME

    The school consists of six lectures on different topics, including
    theoretical foundations and practical perspectives. Each lecture
    covers one topic from basic notions to more advanced issues. PhD
    students may ask to have a proficiency final exam at the end of the
    school. The following lecturers and topics have already been agreed:

    * Krzysztof Apt, CWI, Amsterdam, The Netherlands.
      Principles of Constraint Programming

    * Patrick Cousot, École normale supérieure (ENS), Paris, France.
      Abstract Interpretation: Theory and Applications

    * Javier Esparza, University of Edinburgh, UK.
      Model Checking of Finite and Infinite State Systems

    * Veronica Dahl, Simon Fraser University, Vancouver, Canada.
      Logic Programming for Computational Linguistics and Intelligent Systems

    * Bart Demoen, Katholieke Universiteit Leuven, Belgium.
      Topics in Logic Programming Implementation

    Details of a sixth lecture will be announced shortly.

    LOCATION

    The lectures will be given in the congress center of Hotel Villa del
    Mare, Acquafredda di Maratea (Basilicata, Italy) which is 6 km away
    from Maratea. The hotel is in a beautiful position in front of the
    sea, with a swimming pool, a lift to its private beach, cinema-club
    and many other facilities. Maratea is an ancient city on the Gulf of
    Policastro, founded during the Greek period. It is the only portion
    of Lucania on the Tyrrhenian sea, situated on one of the most
    beautiful parts of the Italian southern coast.

    REGISTRATION

    The registration fee covers the lectures, course notes,
    full board from the 24th to 30th August and social events.

    Early application is _strongly_ recommended. As this is in the
    holiday season, accommodation at Hotel Villa del Mare that is reserved
    for participants is limited. Late applicants may have to stay in
    other available local accommodation.

    The registration fee covers proceedings, full board and social events.
    There is no deadline for late registration, however the number of
    participants is limited.

    * Early registration (before May 15th)

          * double room: 900 Eur
          * single room: 1000 Eur

    * Late registration (after May 15th)

          * double room: 1000 Eur
          * single room: 1100 Eur

    For more information (e.g., fees for accompanying persons) see the
    school home page (http://www.cs.unipr.it/ISCL02/).

    Grants to help with the registration fee may be available. The
    deadline for applying for a grant is May 1st, 2002. To apply for a
    grant, please contact the organizers.

    Details about the registration procedure will soon be available at the
    school home page (http://www.cs.unipr.it/ISCL02/).

    SPONSORS

    The School is sponsored by

    * ALP - The Association for Logic Programming
      http://www.cwi.nl/projects/alp/

    * CologNet - The European Network in Computational Logic

    * GULP - The Italian association for Logic Programming.

    FURTHER INFORMATION

    For further information and updates, please see

                        http://www.cs.unipr.it/ISCL02/

    or contact the School Organizers at the email address
    iscl02@cs.unipr.it.

    Roberto Bagnara Patricia M. Hill
    University of Parma University of Leeds
    Italy United Kingdom
    bagnara@cs.unipr.it hill@comp.leeds.ac.uk

    ############################################################################
    This message was posted through the fuzzy mailing list.
    (1) To subscribe to this mailing list, send a message body of
    "SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
    (2) To unsubscribe from this mailing list, send a message body of
    "UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
    to listproc@dbai.tuwien.ac.at
    (3) To reach the human who maintains the list, send mail to
    fuzzy-owner@dbai.tuwien.ac.at
    (4) WWW access and other information on Fuzzy Sets and Logic see
    http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
    (5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html



    This archive was generated by hypermail 2b30 : Wed Feb 06 2002 - 15:15:20 MET