[UAI] FroCoS 2002: 2nd Call for Participation

From: Alessandro Armando (armando@armandobook.dist.unige.it)
Date: Thu Feb 28 2002 - 10:13:36 PST

  • Next message: Colin Campbell, Engineering Mathematics: "[UAI] Special Issue/Analysis of Microarray Data"

    NEWS:

      - Payment by credit cards now allowed.
      - Deadline for early registration extended to March 15. (Due to many
        requests of payment via credit card which was not possible before.)
      - Tutorial on CHR added to the Workshop Program.

    - ---

    4th INTERNATIONAL WORKSHOP ON FRONTIERS OF COMBINING SYSTEMS (FroCoS'02)
      April 8 - 10, 2002, Santa Margherita Ligure (near Genova), Italy

      CALL FOR PARTICIPATION
      **********************

      http://www.mrg.dist.unige.it/conferences/frocos2002/

      The three previous international workshops on ``Frontiers of
      Combining Systems'' were held in Munich (1996), in Amsterdam (1998),
      and in Nancy (2000). Like its predecessors, FroCoS'02 is intended
      to offer a common forum for research activities in the general area
      of combination and integration of systems, and on their practical
      use.

    * Topics. The topics of interest are related to the general area of
      combination and integration of systems, including: combination of
      logics, combination of constraint solving techniques, of decision
      procedures, of term rewriting systems, combination of deduction and
      computer algebra systems, integration of decision procedures and
      other solving processes into constraint programming and deduction
      systems, modeling of hybrid systems, logic modeling of multi-agent
      systems.

    * Proceedings. Presented papers will appear in the proceedings of the
      workshop, published as a volume of the Lecture Notes in Artificial
      Intelligence (LNCS) series, Springer-Verlag. Proceedings will be
      available at the time of the workshop.

    * Program Chair. Alessandro Armando (e-mail: frocos@mrg.dist.unige.it).
    * Program committee. A. Armando, D. Basin, F. Benhamou, J. Calmet,
      G. Delzanno, B. Gramlich, D. Kapur, H. Kirchner, M. Kohlhase,
      C. Ringeissen, M. Rusinowitch, K. Schulz, R. Sebastiani, C. Tinelli,
      L. Vigano`, F. Wolter

    * Program
      The scientific program can be found at the workshop web page.

    * Invited Talks
       - "Integrating BDD-based and SAT-based Model Checking in NuSMV2",
          Alessandro Cimatti, (ITC-IRST, Trento)
       - "A Rewrite-rule based Framework for Combining Decision
          Procedures", Deepak Kapur (U. New Mexico)
       - "PROSPER: an Investigation into Software Architecture for
          Embedded Proof Engines", Tom Melham (U. of Glasgow)
       - "Foundations of a Constraint-based Illustrator", Greg Nelson
          (COMPAQ, USA)

    * Tutorial
       - "Reasoning with, about and for Constraint Handling Rules",
         Thom Fruehwirth and Slim Abdennadher,
         (Ludwig-Maximilians-University, Munich, Germany)

    * Workshop Registration
      The registration form is located at:
          http://www.mrg.dist.unige.it/conferences/frocos2002/registration-form.txt
      and also appended below.

    * Hotel Accommodation

      The Workshop is located at the Hotel Regina Elena located in
      Lungomare Milite Ignoto, 44 in Santa Margherita. Hotel Regina Elena
      keeps several rooms available for the workshop participants until
      February 15, 2002 at the following special price for the workshop
      participants (breakfast included):

                    Main Building Side Building (*)
      Single Room: 72 Euro 62 Euro
      Double Room: 129 Euro 98 Euro

      (*) The Side Building (called "Palazzina") is within the property
      area of the Hotel Regina Elena, is just a few meters away of the
      Main Building and offers all the facilities of the Main Building
      with the only exception of the elevator. After the 15th of February
      2002 availability and the special price are not guaranteed. Please
      quote "FroCoS'02 Workshop" if you book your room at Hotel Regina
      Elena.

      A complete list of hotels in Santa Margherita as well as a map
      showing their location can be found at:

      http://www.apttigullio.liguria.it/eng/ricettivita/ricSmarg.htm

      Participants have to arrange bookings directly with the chosen
      hotel.

    Please note the following deadlines:
     
            Hotel Accommodation at Hotel Regina Elena
             (Guarantee of availability) : February 15, 2002

            Early Workshop Registration : February 22, 2002
                                                        
            Looking forward to your participation,
     
            A. Armando, L. Compagna, S. Ranise
            The FroCoS 2002 Organizing Committee

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

    FroCoS'02 Registration Form
    - ---------------------------

    Please fill this form and return it (preferably before FEBRUARY 22, 2002)
    by email to: frocos@mrg.dist.unige.it
    or
    by fax to:

    FroCoS'02
    attn Alessandro Armando
    DIST - University of Genova
    FAX NUMBER: +39 0103532948
    TEL NUMBER: +39 0103532216

    _____________________________________________________________________

    Name: ..............................................................
    First Name: ........................................................
    Affiliation: .......................................................
    Address: ...........................................................
    ....................................................................
    E-mail: ............................................................
    Fax: ...............................................................
    Tel.: ..............................................................

    For our information:
    Hotel ..............................................................
    (NB: The booking should be done directly with the Hotel,
         by quoting "FroCoS'02 Workshop")

    Dietary restrictions: [ ] vegetarian other: ...............
    (check this item if you need vegetarian food)
    _____________________________________________________________________

                       WORKSHOP FEES
                       -------------

    - -- Early registration, before March 15, 2002 *** NEW! ***
                   [ ] 180 Euro

    - -- Student registration, before March 15, 2002 *** NEW! ***
                   [ ] 150 Euro

    - -- Late registration
                   [ ] 250 Euro

    The fees include: proceedings, tutorial, lunches, coffee breaks, and
    workshop dinner.

    Please check the appropriate amount for the workshop registration.

    _____________________________________________________________________

    Please send this amount by choosing one of the following forms of
    payment:

    - -- Money Order
       Money order in Euro currency to the following bank account:

         Number: 5342/90 (DIST - Universita' di Genova)
         Bank: Banca CARIGE S.p.A.
               Via D'Annunzio, 39
               16121 - Genova
               ABI: 6175, CAB: 1472, SWIFT CODE: CRGEITGG090
         
      Send with your registration form a copy of your order
      and make sure that all bank charges and commissions are covered.

    - -- Credit Card: [ ] VISA [ ] Mastercard
        First Name: .............. Family Name: ...............
        Date of Birth: ../../..
        Credit Card Number:
        Card Expiration Date:

    Your registration will be confirmed by email.



    This archive was generated by hypermail 2b29 : Thu Feb 28 2002 - 10:14:00 PST