Forwarded message from [Christophe.Ringeissen@loria.fr] sent originally on Thu, 17 Feb 2000 12:56:03 +0800 (GMT-8): : [We apologize for multiple copies. : Please circulate to interested colleagues] : : 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.

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html