Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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.