From mayel@lia.univ-savoie.fr Sat Dec 10 16:37:55 1994 Received: from lia.univ-savoie.fr (lia.univ-savoie.fr [193.48.121.32]) by lirmm.lirmm.fr (8.6.9/8.6.4) with SMTP id QAA08120 for ; Sat, 10 Dec 1994 16:37:50 +0100 From: mayel@lia.univ-savoie.fr Message-Id: <199412101537.QAA08120@lirmm.lirmm.fr> Received: from [193.48.121.83] (lia-mac-ma.univ-savoie.fr) by lia.univ-savoie.fr (4.1/SMI-4.1) id AA23383; Sat, 10 Dec 94 16:34:52 +0100 Date: Sat, 10 Dec 94 16:34:51 +0100 Posted-Date: Sat, 10 Dec 94 16:34:51 +0100 To: Pierre.Fontanille@imag.fr, Pierre.Girard@imag.fr, pierret@lri.lri.fr, pinson@lamsade.dauphine.fr, planeix@univ-caen.fr, plaza@ceab.es, ploteny@paris.vnet.ibm.com, pomerol@laforia.ibp.fr, prat@lamsade.dauphine.fr, prevot@riri.univ-lyon1.fr, ptrigano@hds.univ-compiegne.fr, puget@ilog.ilog.fr, pyr@ccr.jussieu.fr, quiniou@irisa.fr, raoul.vorch@irisa.fr, ravaille@cemef.cema.fr, rclouard@l2i.ismra.fr, Regis.Vincent@sophia.inria.fr, regnier@irit.fr, reitz, red@litp.ibp.fr, renaud@paris.orstom.fr, ricardo.Caferra@imag.fr, richard@lri.lri.fr, rohmer@cediag.bull.fr, rougegre@laforia.ibp.fr, rougegrez@laforia.ibp.fr, rousse@steinway.u-strasbg.fr, rousset@lri.lri.fr, S.M.Hamimed@cediag1.frcl.bull.fr, sabroux@lamsade.dauphine.fr, saci@laforia.ibp.fr, safar@lri.fr, saitta@di.unito.it, saucier@lurpa.Ens-cachan.fr, sayettat@emse.fr, sd@ehei.ehei.fr, sebag@xela.polytechnique.fr, semeraro@vm.csata.it, senneron@ensisun.imag.fr, sergio@capsogeti.fr, serres@laforia.ibp.fr, sfez@psisun.u-psud.fr, sleeman@csd.abdn.ac.uk, snyers@enstb.enst-bretagne.fr, soldano@radium.jussieu.fr, soubie@irit.irit.fr, spetolla@ccr.jussieu.fr, ssilue@hds.univ-compiegne.fr, steels@arti9.vub.ac.be, suhayya@ai.iit.nrc.ca, symenu@cmapx.polytechnique.fr, T.Moire@fran.bull.fr, tacquard@univ-tours.fr, tb@lri.fr, tchou@narech.dnet.circe.fr, thomas-c@laforia.ibp.fr, thomas@onera.fr, thvdm@ulb.ac.be, tortfr@lri.lri.fr, trousse@sophia.inria.fr, uszynski@aar.alcatel-alsthom.fr, vargas@lurpa.Ens-cachan.fr, venturi@lri.fr, verbeck@frlv.bull.fr, viari@radium.jussieu.fr, vincent.quint@imag.fr, Vincent.Rialle@imag.fr, violaine@limsi.fr, visse@psycho.inria.fr, Willemien.Visser@inria.fr, wrobel@gmdzi.gmd.de, wybo@cemef.cma.fr, Xuejun.Tong@sp1.y-net.fr, yk@lri.fr, yves.cochet@irisa.fr, zablit%scdias@dassault-avion.fr, zacklad@hds.univ-compiegne.fr, zacklad@laforia.ibp.fr, zarate@laforia.ibp.fr, zighed@diogene.univ-lyon2.fr Subject: EUROVAV-95 Status: R Second CALL FOR PARTICIPATION ------------------------------------------------------- | EUROVAV-95 | | | | European Symposium on Validation and Verification | | of | | Knowledge-based Systems | | (June 26-27-28, 1995) | ------------------------------------------------------ and ------------------------------------------------------- | Workshop on | | | | Formal Specification and Validation | | of Knowledge-based Systems | | (June 25, 1995) | ------------------------------------------------------ at St Badolph-Chambery, France ============================== ** Remain that the SUBMISSION of PAPERS for EUROVAV-95 is BEFORE January 31, 1995, imperatively. ---------------- Authors should submit their papers to Marie-Christine ROUSSET by : * ordinary mail (four copies) to Marie-Christine ROUSSET LRI, Batiment 490, Universite Paris-Sud F-91405 ORSAY cedex, France * E-mail to mcr@lri.fr Paper extend is limited to 6000 words (approximatively 14 single spaced pages without including graphics , tables and references). Papers should include a cover page containing: the paper title, author's names, author's address, electronic address, telephone and fax numbers an abstract no longer than 200 words and a list of keywords. ** The statements of interest for the workshop should be sent before 31 March 1995 to -------------------- Frank van Harmelen (EUROVAV workshop) SWI, University of Amsterdam Roetersstraat 15, 1018WB Amsterdam The Netherlands email: frankh@swi.psy.uva.nl ** Information about THE PRICES. They contain the registration to the EUROVAV or to the workshop, (with the proceedings) and a full board accomodation for 3 nights (with breakfast, lunch and dinner) for EUROVAV-95 or a full accomodation for 1 night for the workshop. Only your travel and your personnal expenses are not included in that prices ! ------------------------------------------------------- TYPE | EUROVAV-95 | workshop | ------------------------------------------------------- SINGLE | 2500FF (463$) | 500FF (93$) | DOUBLE | 2200FF (407$) | 400FF (74$) | TRIPLE | 2000FF (370$) | 300FF (56$) | HOTEL outside | 2800FF (520$) | 600FF (112$) | the conference center | ------------------------------------------------------- The number of single rooms in the conference center is very limited and only the first demands will be served. If you desagree to share a room with anybody else, we can offer single rooms in hotels outside the conference center, but these rooms are more expensive. The triple room will be firstly reserved for student accomodation. You will receive the registration form and the program in March. You have to expect a very nice and friendly atmosphere for working. The total cost of your participation fo EUROVAV-95 and to the workshop should be very cheap. You will be welcome. Marc.Ayel@lia.univ-savoie.fr Return-Path: mayel@lia.univ-savoie.fr Received: from lia.univ-savoie.fr (lia.univ-savoie.fr [193.48.121.32]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id MAA12653 for ; Fri, 31 Mar 1995 12:07:13 +0200 From: mayel@lia.univ-savoie.fr Message-Id: <199503311007.MAA12653@lirmm.lirmm.fr> Received: from [193.48.121.83] (lia-mac-ma.univ-savoie.fr) by lia.univ-savoie.fr (4.1/SMI-4.1) id AA13626; Fri, 31 Mar 95 11:48:50 +0200 Date: Fri, 31 Mar 95 11:48:50 +0200 Posted-Date: Fri, 31 Mar 95 11:48:50 +0200 To: "O'KEEFE Robert" , "O'LEARY Daniel E" , PALMER Gareth , PASTOR Josette , PAU Luis , PETITJEAN Sylvie , PLAZA Eric , PORTAFAIX Valerie , POTZE Rudi , PREECE Alun , PRESTON Nicola , RACCAH Pierre-Yves , RAO Anand , REGNIER Pierre , REITZ Philippe , RENAULT Sophie , REYNAUD Chantal , RICHTER Michael M , RINGDAHL Kjell , ROUGE Alain , ROCHA Ana Regina , ROUSSET Marie-Christine , SCHIMPE Heribert , SCHINDLER Norbert , SCHMOLZE James , SCHOENAUER M , SCHROOTEN Ronald , SCHU Joachim , SCHUBERT Sigrid , SEBAG Michele , SERVIDA Andrea , SIERRA C , SLEEMAN Derek , SNYDER Wayne , SPERSCHNEIDER Volker , STALKER Ruth , STOCK Olivero , STRAATMAN Remco , SUNG Andrew , SWITLIK John , SYRJANEN Markko , SZULMAN Sylvie Subject: eurovav registration ====================== PROGRAM for EUROVAV-95 ====================== Location of the Symposium: Hotel-Club "Les Tourterelles", St Baldoph-Chambery, FRANCE During the conference: phone +33 79 28 30 14 fax +33 79 28 31 89 PROGRAMME COMMITTEE Co-presidents: Marie-Christine ROUSSET, LRI-University of Paris-Sud, France Marc AYEL, LIA-University of Savoie, France Members: Sandro BOLOGNA, ENEA, Italy Henrik LARSEN, University of Roskilde, Denmark Pedro MESEGUER, Univ. polytecnica of Catalogna, Spain Alun PREECE, University of Aberdeen, United Kingdom Jan TREUR, Vrije Universiteit Amsterdam, The Netherlands ------------ 26th of June ------------ 8h 45: Reception and welcome by the organizers 9h : Invited Talk: M.C. Gaudel chaiman : M.C. Rousset Advantages and Limits of Formal Approaches for Software Development 10h 30: Coffee Break 10h 55: Session TESTING chairman : S. Bologna - Mutants in the KBS Testing Process. M. Ayel, R. Stalker - CT-DATAGEN : A Constraint Based Test Data Generaor. A. Bendou - Completeness of KBSs. R. Lounis, M. Ayel - Using Conventional Testing Techniques for KBS : an overview. S. Xanthakis, W. Rabot 12h 45: Lunch 14h 15: Session BEHAVIOUR VERIFICATION chairman : P. Meseguer - Idempotency as a Correctness Property of Rule Bases. B.S. Todd - Validating RBS that Operate with Incomplete Data. A. Preece, C. Grossner, T. Radhakrishnan - A Tool for Testing Confluence of Production Rule Systems. J.G. Schmolze, W. Snyder 16h : Break 16h 30: Session KNOWLEDGE ENGINEERING chairman : M. Ayel - On the Representation of Expertise in Expert Systems: a Model for Development and Validation of Expert Systems. D.E. O'Leary - Verification and Validation in JHExpert. J. Hoelter, G. Velay, C. Tittano - An Expert System for Diagnosis of Acute Myocardal Infarction. A. Rabelo, A.R. Rocha, A.D. de Souza, A.A. Ximenez, N. Lobo, D. Carvalho, J..W. Filho, K.M. de Oliveira, L.A. de Souza, V. Werneck - Software Vizualization Based KBS Validation. J.B. Domingue 19h 30: Dinner ------------ 27th of June ------------ 9h : Session CORRECTNESS VERIFICATION chairman : M.C. Rousset - Verification and Correctness Issues for Non Monotonic KBs. G. Antoniou - An modelling Approach to KBS Verification. J. Vanthienen, A. Aerts, C. Mues, G. Wets - Verifying Coherence in Modular KBs. B. Wendler, M. Ayel - Formal Notions for Verification of Dynamics of KBSs. J. Treur, M. Willems 11h 05: Coffee Break 11h 30: Session REVISION AND DEBUGGING chairman : H. Larsen - Utilising Explanation to Assist the Refinement of KBS. G.H. Palmer, S. Craw - Revising and Updating a Corporate Memory. K. Hinkelman, O. Kuhn, H. Wacje - Rule Base Diagnosis for Debugging : the KB-DIAGO2 system. F. Bouali, S. Loiseau 12h 45: Lunch 18h 30: Program Committee meeting 19h 30: Dinner ------------ 28th of June ----------- 9h : Invited Talk: L. Miller chaiman M. Ayel Myths and Truth about the V&V of KBS : Lessons from a long hard look 10h 30: Coffee Break 11h : Session KNOWLEDGE MODELLING AND VALIDATION chairman : J. Treur - Validation seen as a Problem Solving Task. P. Boulitreau-Lefevre - A Performance Model for KBS. R. Straatman, P. Beys - An Algebraic Approach to Refinement of KBS Specification. A. Vermesan, S. Meldhal - Using a KADS Inference Structure to test a KBS behaviour. C. Haouche, J. Charlet 12h 45: Lunch 14h 15: Presentation of Projects dealing with VVT chairman : A. Preece to be completed later. 17h : End of presentations ================================================================== +++++++++++++++++++++++ EUROVAV-95 REGISTRATION +++++++++++++++++++++++ ________________________________________________________________________ REGISTRANT Family name: First name: Sex: o M o F Company / Institution: o smoker o no-smoker Address: Country: Post / Zip Code: Phone: Fax: Email: ACCOMPANYING PERSON (in the same room as the main registrant) Family name: First name: ________________________________________________________________________ FEES in FRENCH FRANCS --------------------- These fees for the registrants cover the registration, the proceedings, the full board accomodation as indicated below. VAT is included in the prices. Payment before 1st of June : Workshop (*) Eurovav Nights 24 to 25 June 25 to 27 June Lunch 25 June 26-27-28 June Dinner 25 June please 26-27 June please check check Single room 500 F o 2 500 F o Double room 350 F o 2 000 F o Triple room 300 F o 1 800 F o Without room 200 F o 1 600 F o Accompanying person (in a double) : 200 F o 1 600 F o Payment after 1st of June : add 200 F o TOTAL = F If you want to stay before the workshop or after Eurovav, contact directly the Hotel-Club. (*) The registration to the workshop have to be accepted by the workshop chair. THE NUMBER OF SINGLE IS VERY LIMITED (9 ONLY) SO: - only the first registrations for single will be served - after the single rooms will be full, you should share a room with another registrant. METHOD OF PAYMENT ----------------- o Cheque in French Francs, payable in France to ADERIAS o For French people only: an order form or a credit transfer to ADERIAS, Banque de Savoie, Rib : 10548/00019/00047195173/16 o Bank transfer SWIFT BSAVFR2C, in French Francs, to BANQUE de SAVOIE, CHAMBERY- FRANCE (please send us a copy of the bank debit note) NOTE THAT YOUR PAYMENT MUST BE SENT IN ADVANCE WITH THIS FORM. No other method of payment will be accepted. Registrant's signature: Date: THE REGISTRATION MUST BE SENT TO: -------------------------------- ADERIAS - LIA - Universite de Savoie 73 376 LE BOURGET DU LAC cedex FRANCE Fax: +33 79 75 88 45 Email: ma@univ-savoie.fr A receipt of that registration and more information will be sent in return. ============================================================================ ============================================================== Workshop on Formal Specification and Validation of Knowledge Based Systems 25 June 1995 and EUROVAV-95 European Symposium on Validation and Verification of Knowledge-based Systems 26-27-28 June 1995 St Baldoph-Chambery, France =============================================================== PRESENTATION OF THE WORKSHOP ---------------------------- In the past decade, the separate fields of Validation and Verification and Formal Specification Languages for KBS have independently reached a degree of maturity where each can now learn from and contribute to the other. This workshop aims at - briefing each of the two communities on the capabilities and concerns of the other, and - identifying and exploring opportunities for future collaboration. Programme Committee: Frank van HARMELEN (Chair), SWI-University of Amsterdam, The Netherlands Marc AYEL, LIA-University of Savoie, France Dieter FENSEL, University of Karlsruhe, Germany Alun PREECE, University of Aberdeen, United Kingdom Marie-Christine ROUSSET, LRI-University of Paris-Sud, France Jan TREUR, Free University of Amsterdam, The Netherlands PRESENTATION OF THE CONFERENCE ------------------------------ Ensuring reliability and enhancing quality of Knowledge Based Systems (KBS) are critical factors for their successful deployment in real-world applications. In recent years, KBS Verification/Validation has become a significant area of research, and the topic of annual workshops associated with the main AI conferences (AAAI, IJCAI, ECAI). EUROVAV-95 is the third european symposium on Verification and Validation of KBS, after EUROVAV 93, held at Palma de Majorque (Spain) in March 93 and EUROVAV 91, held at Cambridge (United Kingdom) in July 91. In addition to ensuring continuity with the previous symposia, EUROVAV-95 is intended to enlarge its topics towards related domains (knowledge acquisition, knowledge representation, software engineering, logic programs debugging, model-based diagnosis ...) and also towards recent AI systems or techniques, and the taking into account of very large and complex KBS. Programme Committee: Marie-Christine ROUSSET, LRI-University of Paris-Sud, France Marc AYEL, LIA-University of Savoie, France Sandro BOLOGNA, ENEA, Italy Henrik LARSEN, University of Roskilde, Denmark Pedro MESEGUER, Univ. polytecnica of Catalogna, Spain Alun PREECE, University of Aberdeen, United Kingdom Jan TREUR, Vrije Universiteit Amsterdam, The Netherlands LOCATION OF THE SYMPOSIUM ------------------------- Hotel-Club "Les Tourterelles", St Baldoph-Chambery, FRANCE During the conference: phone +33 79 28 30 14 fax +33 79 28 31 89 Five kilometers from Chambery, the Hotel-Club "Les Tourterelles" is on the Mount Granier foothills. You might access to Chambery from - PARIS by the TGV train (arrival at 22h09) - PARIS-Orly by a TAT flight (arrival at 21h35) - LYON-Satolas International Airport (1 hour by bus to Chambery) - GENEVE-Cointrin International Airport (more than 1 hour by train to Chambery) On 24 and 25 June a bus will pick you up at the Chambery Airport (21h 25) and at the Chambery Railway Station (22h 09). Return-Path: mayel@lia.univ-savoie.fr Received: from lia.univ-savoie.fr (lia.univ-savoie.fr [193.48.121.32]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id QAA21519 for ; Tue, 30 May 1995 16:13:47 +0200 From: mayel@lia.univ-savoie.fr Message-Id: <199505301413.QAA21519@lirmm.lirmm.fr> Received: from [193.48.121.83] (lia-mac-ma.univ-savoie.fr) by lia.univ-savoie.fr (4.1/SMI-4.1) id AA09898; Tue, 30 May 95 15:55:44 +0200 Date: Tue, 30 May 95 15:55:44 +0200 Posted-Date: Tue, 30 May 95 15:55:44 +0200 To: "O'KEEFE Robert" , "O'LEARY Daniel E" , PALMER Gareth , PASTOR Josette , PAU Luis , PLAZA Eric , PORTAFAIX Valerie , POTZE Rudi , PREECE Alun , PRESTON Nicola , RACCAH Pierre-Yves , RAO Anand , REGNIER Pierre , REITZ Philippe , RENAULT Sophie , REYNAUD Chantal , RICHTER Michael M , RINGDAHL Kjell , ROUGE Alain , ROCHA Ana Regina , ROUSSET Marie-Christine , SCHIMPE Heribert , SCHINDLER Norbert , SCHMOLZE James , SCHOENAUER M , SCHROOTEN Ronald , SCHU Joachim , SCHUBERT Sigrid , SEBAG Michele , SERVIDA Andrea , SIERRA C , SLEEMAN Derek , SNYDER Wayne , SPERSCHNEIDER Volker , STALKER Ruth , STOCK Olivero , STRAATMAN Remco , SUNG Andrew , SWITLIK John , SYRJANEN Markko , SZULMAN Sylvie Subject: programme et inscription eurovav-95 Sorry for those who are registered. This message is for the others. +++++++++++++++++++++++++++++++++++++++ PROGRAM and REGISTRATION for EUROVAV-95 +++++++++++++++++++++++++++++++++++++++ Location of the Symposium: Hotel-Club "Les Tourterelles", St Baldoph-Chambery, FRANCE During the conference: phone +33 79 28 30 14 fax +33 79 28 31 89 ============ 26th of June ============ 8h 45: Reception and welcome by the organizers 9h : Invited Talk: M.C. Gaudel chairman : M.C. Rousset Advantages and Limits of Formal Approaches for Software Development 10h 30: Coffee Break 10h 55: Session TESTING chairman : S. Bologna - Mutants in the KBS Testing Process. M. Ayel, R. Stalker - CT-DATAGEN : A Constraint Based Test Data Generaor. A. Bendou - Completeness of KBSs. R. Lounis, M. Ayel - Using Conventional Testing Techniques for KBS : an overview. S. Xanthakis, W. Rabot 12h 45: Lunch 14h 15: Session BEHAVIOUR VERIFICATION chairman : M.C. Rousset - Idempotency as a Correctness Property of Rule Bases. B.S. Todd - Validating RBS that Operate with Incomplete Data. A. Preece, C. Grossner, T. Radhakrishnan - A Tool for Testing Confluence of Production Rule Systems. J.G. Schmolze, W. Snyder 16h : Break 16h 30: Session KNOWLEDGE ENGINEERING chairman : M. Ayel - On the Representation of Expertise in Expert Systems: a Model for Development and Validation of Expert Systems. D.E. O'Leary - Verification and Validation in JHExpert. J. Hoelter, G. Velay, C. Rittano - An Expert System for Diagnosis of Acute Myocardal Infarction. A. Rabelo, A.R. Rocha, A.D. de Souza, A.A. Ximenez, N. Lobo, D. Carvalho, J..W. Filho, K.M. de Oliveira, L.A. de Souza, V. Werneck - Software Vizualization Based KBS Validation. J.B. Domingue 19h 30: Dinner ============ 27th of June ============ 9h : Session CORRECTNESS VERIFICATION chairman : M.C. Rousset - Verification and Correctness Issues for Non Monotonic KBs. G. Antoniou - An modelling Approach to KBS Verification. J. Vanthienen, A. Aerts, C. Mues, G. Wets - Verifying Coherence in Modular KBs. B. Wendler, M. Ayel - Formal Notions for Verification of Dynamics of KBSs. J. Treur, M. Willems 11h 05: Coffee Break 11h 30: Session REVISION AND DEBUGGING chairman : H. Larsen - Utilising Explanation to Assist the Refinement of KBS. G.H. Palmer, S. Craw - Revising and Updating a Corporate Memory. K. Hinkelman, O. Kuhn, H. Wache - Rule Base Diagnosis for Debugging : the KB-DIAGO2 system. F. Bouali, S. Loiseau 12h 45: Lunch 18h 30: Program Committee meeting 19h 30: Dinner ============ 28th of June ============ 9h : Invited Talk: L. Miller chairman M. Ayel Myths and Truth about the V&V of KBS: Lessons from a long hard look 10h 30: Coffee Break 11h : Session KNOWLEDGE MODELLING AND VALIDATION chairman : J. Treur - Validation seen as a Problem Solving Task. P. Boulitreau-Lefevre - A Performance Model for KBS. R. Straatman, P. Beys - An Algebraic Approach to Refinement of KBS Specification. A. Vermesan, S. Meldhal - Using a KADS Inference Structure to test a KBS behaviour. C. Haouche, J. Charlet 12h 45: Lunch 14h 15: Presentation of Projects dealing with VVT chairman : A. Preece to be completed later. 17h : End of presentations +++++++++++++++++++++++ EUROVAV-95 REGISTRATION +++++++++++++++++++++++ REGISTRANT ---------- Family name: First name: Sex: o M o F Company / Institution: o smoker o no-smoker Address: Country: Post / Zip Code: Phone: Fax: Email: ACCOMPANYING PERSON (in the same room as the main registrant) Family name: First name: _______________________________________________________________________ FEES in FRENCH FRANCS --------------------- These fees for the registrants cover the registration, the proceedings, the full board accomodation as indicated below. VAT is included in the prices. Payment before 1st of June Nights 25 to 27 June Lunch 26-27-28 June Dinner 26-27 June please check Single room 2 500 F o Double room 2 000 F o Triple room 1 800 F o Without room 1 600 F o Accompanying person 1 600 F o Payment after 1st of June add 200 F o TOTAL = F If you want to stay before the workshop or after Eurovav, contact directly the Hotel-Club. THE NUMBER OF SINGLE IS VERY LIMITED (9 ONLY) SO: - only the first registrations for single will be served - after the single rooms will be full, you should share a room with another registrant. ----------------- METHOD OF PAYMENT ----------------- o Cheque in French Francs, payable in France to ADERIAS o For French people only: an order form or a credit transfer to ADERIAS, Banque de Savoie, Rib : 10548/00019/00047195173/16 o Bank transfer SWIFT BSAVFR2C, in French Francs, to BANQUE de SAVOIE, CHAMBERY- FRANCE (please send us a copy of the bank debit note) NOTE THAT YOUR PAYMENT MUST BE SENT IN ADVANCE WITH THIS FORM. No other method of payment will be accepted. Registrant's signature: Date: THE REGISTRATION MUST BE SENT TO: -------------------------------- ADERIAS - LIA - Universite de Savoie 73 376 LE BOURGET DU LAC cedex FRANCE Fax: +33 79 75 88 45 Email: ma@univ-savoie.fr A receipt of that registration and more information will be sent in return. __________________________________________________________________________