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

Call for Participation: FroCoS'02



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.