[UAI] Call for Participation: FroCoS'02

From: Alessandro Armando (armando@dist.unige.it)
Date: Wed Jan 23 2002 - 08:17:41 PST

  • Next message: Chabane Djeraba: "[UAI] CFP - KDMCD'2002"

    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)

    * 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 Euros 62 Euros
      Double Room: 129 Euros 98 Euros

      (*) 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. 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/ric.htm

      Participants have to arrange bookings directly with the chosen
      hotel.

      Please make your hotel reservation AS SOON AS POSSIBLE, by quoting
      "FroCoS'02 Workshop".

    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 FEBRUARY 22, 2002
                   [ ] 180 Euros

    -- Student registration, before FEBRUARY 22, 2002
                   [ ] 150 Euros

    -- Late registration
                   [ ] 250 Euros

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

    Please check the appropriate amount for the workshop registration.

    _____________________________________________________________________

    Please send this amount by sending 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.

    Your registration will be confirmed by email.



    This archive was generated by hypermail 2b29 : Wed Jan 23 2002 - 08:18:57 PST