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