AMAST Mail 2000
[Prev][Next][Index]
FroCoS'2000: Call for Participation
INTERNATIONAL WORKSHOP ON FRONTIERS OF COMBINING SYSTEMS (FroCoS'2000)
March 22 - 24, 2000, Nancy, France
CALL FOR PARTICIPATION including PROGRAM and REGISTRATION FORM
****************************************************************
http://www.loria.fr/conferences/frocos2000/
The two previous international workshops on ``Frontiers of Combining
Systems'' were held in Munich (1996) and in Amsterdam (1998).
Like its predecessors, FroCoS'2000 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
(resp. decision procedures, term rewriting systems), Combination of
deduction systems and computer algebra, Integration of decision
procedures (resp. solving processes) into constraint programming and
deduction systems, Modelisation of hybrid systems, Logic modelling
of multi-agent systems.
* Proceedings. Presented papers will appear in the proceedings of the
conference, published as a volume of the Lecture Notes in Artificial
Intelligence (LNCS) series, Springer-Verlag. Proceedings will be
available at the time of the conference.
* Program co-chairs. H. Kirchner, C. Ringeissen (e-mail: frocos@loria.fr).
* Program committee. F. Baader, D. Basin, F. Benhamou, T. Fruehwirth,
F. Giunchiglia, B. Gramlich, H. Kirchner, C. Kreitz, T. Mossakowski,
J. Pfalzgraf, M. de Rijke, C. Ringeissen, T. Scott, M. Wallace.
* Program
The scientific program can be found below.
* Conference Registration
The registration form is located at:
http://www.loria.fr/conferences/frocos2000/registration-form.txt
and also appended below.
* Hotel Accommodation
Participants have to arrange bookings directly with the various
hotels located near the site of the conference.
The list of suggested hotels can be found at:
http://www.loria.fr/conferences/frocos2000/hotels.txt
These hotels keep several rooms available for the conference participants
until February 15, 2000.
*****************
After this date, availability is not guaranteed.
Please make your hotel reservation AS SOON AS POSSIBLE, by quoting
"FroCoS'2000 Conference" (see the list of hotels for phone and fax
numbers).
Do not hesitate to contact the local organizers
(frocos@loria.fr, re@loria.fr) for any problem with the hotel reservation.
Sponsors: CNET, CNRS, Communaute Urbaine du Grand Nancy,
Conseil General de Meurthe et Moselle, Conseil Regional de Lorraine,
GDR ALP, INPL, INRIA, LORIA, Universities of Nancy.
Please note the following deadlines:
Hotel Accommodation (Guarantee of availability): February 15, 2000
Early Conference Registration : February 22, 2000
Looking forward to your participation,
C. Bergeret, A.-L. Charbonnier, A. Demange
H. Kirchner, C. Ringeissen, L. Vigneron
The FroCoS'2000 Organizing Committee
*********************************************************************
FroCoS'2000 PROGRAM
Wednesday March 22, 2000
9-9.30 WELCOME and INTRODUCTION
Session 1:
9.30-10.30 Invited talk
A. Bockmayr (LORIA, Nancy)
Combining Logic and Optimisation in Cutting Plane Theory
10.30-11 BREAK
11-11.30
Towards Cooperative Interval Narrowing
L.Granvilliers
11.30-12
Constraint Solving in Proof Planning
E.Melis, J.Zimmer, T.Mueller
12-12.30
Termination of Constraint Contextual Rewriting
A.Armando, S.Ranise
12.30-14.00 LUNCH
Session 2:
14-15 Invited talk
G. Dowek (INRIA-Rocquencourt)
Orienting Equalities and Equivalences in Automated Theorem Proving:
From Completeness to Cut Elimination
15-15.30 BREAK
15.30-16
Normal Forms and Proofs in Combined Modal and Temporal Logics
U.Hustadt, C.Dixon, R.A.Schmidt, M.Fisher
16-16.30
Structured Sequent Calculi for Combining Intuitionistic and
Classical First-Order Logic
P.Lucio
VISIT OF NANCY and CONFERENCE DINNER
---------------------
Thursday March 23, 2000
Session 3:
9-10 Invited talk
R. Zippel (IDC Herzliya)
Program Composition Techniques for Numerical PDE Codes
10-10.30 BREAK
10.30-11
Handling Differential Equations with Constraints for Decision Support
J.Cruz, P.Barahona
11-11.30
Non-trivial Computations in Proof Planning
V.Sorge
11.30-12
Integrating computer algebra and reasoning through the type system of Aldor
E.Poll, S.Thompson
12-14 LUNCH
Session 4:
14-15 Invited talk
T. Uribe (Stanford University)
Combinations of Theorem Proving and Model Checking
15-15.30 BREAK
15.30-16
Compiling Multi-Paradigm Declarative Programs into Prolog
S.Antoy, M.Hanus
16-16.30
Modular Redundancy for Theorem Proving
M.Bofill, G.Godoy, R.Nieuwenhuis, A.Rubio
16.30-17
Composing and Controlling Search in Reasoning Theories using Mappings
A.Coglio, F.Giunchiglia, J.Meseguer, C.Talcott
BUSINESS MEETING
---------------------
Friday March 24, 2000
Session 5:
9-10 Invited talk
K. Schulz (LMU Muenchen)
Why combined decision problems are often intractable
10-10.30 BREAK
10.30-11
Congruence Closure Modulo Associativity-Commutativity
L.Bachmair, I.V.Ramakrishnan, A.Tiwari, L.Vigneron
11-11.30
Combining Equational Theories Sharing Non-Collapse-Free Constructors
F.Baader, C.Tinelli
11.30-12
Comparing expressiveness of set constructor symbols
A.Dovier, C.Piazza, A.Policriti
12-14 LUNCH
END OF THE CONFERENCE
*********************************************************************
FroCoS'2000 Registration
------------------------
Please fill this form and return it (preferably before FEBRUARY 22, 2000)
by email to: re@loria.fr
or
by fax to:
INRIA-Lorraine & LORIA
Relations Exterieures
attn A.-L. Charbonnier & A. Demange
615 rue du Jardin Botanique
BP 101, 54602 Villers-les-Nancy Cedex
FRANCE
FAX NUMBER: +33 3 83 28 46 28
TEL NUMBER: +33 3 83 59 30 61 or +33 3 83 59 30 26
_____________________________________________________________________
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'2000 Conference")
Dietary restrictions: [ ] vegetarian other: ...............
(check this item if you need vegetarian food)
_____________________________________________________________________
WORKSHOP FEES
-------------
-- Early registration, before FEBRUARY 22, 2000
[ ] 1000 FF (152,45 Euros)
-- Student registration, before FEBRUARY 22, 2000
[ ] 800 FF (121,96 Euros)
-- Late registration
[ ] 1500 FF (228,67 Euros)
The fees include: proceedings, lunches, coffee breaks, and
conference dinner.
Please check the appropriate amount for the conference registration.
_____________________________________________________________________
Please send this amount by choosing one of the following forms of payment:
-- Cheque
in French currency, drawn on a french bank, made to the order of
"Agent Comptable de l'INRIA"
-- EuroCheque
EuroCheque in French (or Euro) currency, made to the order of the
"Agent Comptable de l'INRIA"
-- Credit Card: [ ] VISA [ ] Mastercard
only on the workshop location. Please bring your card.
-- Moneyorder
Money order in French (or Euro) currency to this bank account:
Tresorerie Generale des Yvelines
16 Avenue de Saint-Cloud
78018 Versailles Cedex
FRANCE
Compte 10071-78000-00003003958.80
(Code Banque 100 71
Code Guichet: 78000
Numero de compte: 00003003958 cle 80
)
Please, mention your name and FroCoS'2000.
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.
[
AMAST Mail 2000
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]