Subject: Call for Participation EuroVaV-97
From: "Vanthienen, Jan" <[email-masked]>
To: Multiple recipients of list <[email-masked]>
Date: Mon, 26 May 1997 16:05:32 +0200

------------------------------------------------------------------------
---

             ***  CALL FOR PARTICIPATION  ***

                              EUROVAV-97
     European Symposium on Validation and Verification
                     of Knowledge Based Systems=20

                            June 26-28, 1997
                            Leuven, Belgium

------------------------------------------------------------------------
---=20
Latest information regarding the conference is available on WWW at
http://www.econ.kuleuven.ac.be/congres/EuroVaV/eurovav97.htm

See below for conference programme, registration form and hotel
reservation

----
CONFERENCE SCOPE=20

EUROVAV is the leading international conference dedicated to the
advancement of the theory and practice of verification and validation
(V&V) of knowledge based systems. This conference, of European origin,
but with global scope, is the fourth in a biannual series, with previous
occurrences in Cambridge, UK (91), Palma de Mallorca, Spain (93),
Chambery, France (95).
It is centered around the theme that quality of the knowledge base is
essential for knowledge based systems and it encourages all styles of
V&V approaches and a variety of application areas.  It covers the
spectrum from theory to specific applications, with an emphasis on
modeling and verification methods and tools.=20

MAJOR TOPICS
=20
Topics of interest include, but are not restricted to:
 - modeling, verification and validation of hybrid systems
 - V&V of integrated/embedded architectures
 - verification of OO knowledge bases
 - formal modeling of intelligent systems
 - V&V in knowledge discovery and data mining
 - V&V of fuzzy systems, uncertainty and soft computing
 - new validation issues raised from new AI systems, e.g. multi-agent
systems and web-based knowledge systems
 - knowledge acquisition & representation issues for knowledge
validation
 - KBS refinement, revision and debugging
 - use of conventional software engineering techniques for KBS
validation
 - certification/assurance of knowledge based systems or components=20
 - lessons drawn from practical applications=20

LOCATION=20

The conference will be held in Hogenheuvel College, Katholieke
Universiteit Leuven, situated in central Leuven. The K.U.Leuven, founded
in 1425, is the oldest Catholic University still existing in the world.
The University is located in Leuven, some 25 kilometers from Brussels,
the capital of Belgium and the crossroads of Europe.  As a University
town,=20
Leuven is bursting with students all year round.=20
Today K.U.Leuven has a student population of 25,600.
For more information about university and city, see:
http://www.kuleuven.ac.be

Conference headquarters:=20
Holiday Inn Garden Court Leuven,
Alfons Smetsplein 7
3000 Leuven, Belgium
Tel. : +32 (0)16 29.07.70 - Fax : +32 (0)16 29.12.29=20

PROGRAM CHAIRS=20

Jan Vanthienen, Katholieke Universiteit Leuven (Belgium),
        Email: [email-masked]
Frank van Harmelen, Vrije Universiteit Amsterdam (The Netherlands),
        Email: [email-masked]  =20

PROGRAM COMMITTEE

Grigoris Antoniou, Griffith University, Brisbane, Australia
Marc Ayel, LIA-University of Savoie, France
Sandro Bologna, ENEA CRE-Casaccia, Italy
Hendrik Larsen, University of Roskilde, Denmark
Pedro Meseguer, IIIA-CSIC, Spain
Alun Preece, University of Aberdeen, United Kingdom
Marie-Christine Rousset, LRI-University of Paris Sud, France
Jim Schmolze, Tufts University, USA
Jan Treur, Vrije Universiteit Amsterdam, The Netherlands
Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands=20
Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
Anca Vermesan, Det Norske Veritas Research, Norway
Neli Zlatareva, Central Connecticut State University, USA=20

LOCAL ORGANISERS=20

Katholieke Universiteit Leuven=20
Department of Applied Economics
Leuven Institute for Research in Information Systems (LIRIS)
Naamsestraat 69
B-3000 Leuven
Tel. +32 16-32.66.12 Fax. +32 16-32.67.32=20
Contact information: [email-masked]
-----------------------------=20

>EUROVAV-97
>Preliminary Conference Programme
>
>WEDNESDAY, June 25
>------------------
>21.30	Informal get together in the conference hotel (maybe a small =
'Leuven by
>night' opener)
>
>THURSDAY, June 26
>-----------------
>
>9.00 - 9.30	Conference opening
>
>Session: V&V Theory and Techniques
>9.30 - 10.00	Verification of Knowledge Bases: a Unifying Logical View
>		Alon Levy and Marie-Christine Rousset (Universit=E9 de Paris Sud, =
France)
>10.00 - 10.30	Logical Analysis of Completeness of Rule-Based Systems =
with
>Dual Resolution
>		Antoni Ligeza (Institute of Automatics AGH, Poland)
>10.30 - 11.00	Coffee break
>11.00 - 11.30	A Symbolic Execution Based Approach for Inspecting =
Knowledge
>Bases
>		Amar Bendou and Marc Ayel (Laboratoire d'Intelligence Artificielle,
>Universite de Savoie, France)
>11.30 - 11.45	Verification and Validation of Rulebases using a Binary =
Encoded
>Incidence Matrix Technique
>		Frans Coenen and Paul Dunne (Department of Computer Science, The =
University
>of Liverpool, UK)
>11.45 - 12.15	A Graph Theoretic Optimisation of Temporal Abductive =
Validation
>		Tim Menzies (AI Dept, Uni NSW, Australia) and Robert F. Cohen =
(Department
>of Computer Science and 		Software Engineering, University of =
Newcastle,
>Australia)
>
>12.15 - 14.00	Lunch break
>
>Session:Putting V&V into Practice
>14.00 - 15.00	Keynote speech: (title to be announced)
>		Gertjan Beijer (Bolesian)=20
>15.00 - 15.30	Coffee break
>15.30 - 16.00	Knowledge-Based Systems: Verification and Validation in =
the
>view of Certification
>		Anca I. Vermesan (Det Norske Veritas Research, Norway)
>16.00 - 16.15	Considerations About Validation of Knowledge Models in =
KBE
>Systems
>		Florence Sellini, C. Vargas and P.A. Yvars (PSA Peugeot Citroen, =
ISMCM /
>GRIIEM, France)
>16.15 - 16.30	Verifying the World Wide Web: a Position Statement
>		Marie-Christine Rousset (Universit=E9 de Paris Sud, France)
>16.30 - 17.15	Panel discussion
>
>17.15	Reception
>
>
>FRIDAY, June 27
>---------------
>
>Session: Formal Specification, Part I
>9.00 - 9.30	Specifying and Verifying Knowledge-Based Systems with KIV
>		Dieter Fensel and Arno Sch=F6negge (University of Karlsruhe, Germany)
>9.30 - 10.00	Validation and Verification of Diagnostic Systems
>		Frank van Harmelen and Annette ten Teije (Vrije Universiteit =
Amsterdam,
>Department of Mathematics and
>		Computer Science, The Netherlands)=20
>10.00 - 10.30	Compositional Verification of Knowledge-based Systems: a =
case
>study in Diagnostic Reasoning
>		Frank Cornelissen, Catholijn Jonker and Jan Treur (Vrije Universiteit
>Amsterdam, Department of Mathematics and=20
>		Computer Science, The Netherlands))
>10.30 - 11.00	Coffee break
>
>Session: V&V of Modular Systems
>11.00 - 11.30	Global Verification of Knowledge Based Systems via Local
>Verification of Partitions
>		Mysore Ramaswamy (Department of Management and Marketing, Southern
>University, Baton Rouge, U.S.A) and
>		Sumit Sarkar (Department of Information Systems and Decision Systems,
>Louisiana State University, Baton Rouge, 		U.S.A)
>11.30 - 12.00	Inter-tabular Verification in an Interactive Environment
>		Jan Vanthienen, Christophe Mues and Geert Wets (Department of Applied
>Economics, K.U.Leuven, Belgium)
>
>12.00 - 14.00	Lunch break
>
>Session: V&V and Knowledge Discovery
>14.00 - 15.00	Keynote speaker
>15.00 - 15.30	Coffee break
>15.30 - 15.45	Inductive hypothesis validation and bias selection in
>unsupervised learning
>		Luis Talavera and Ulises Cortes (Universitat Politecnica de =
Catalunya,
>Barcelona, Spain)
>15.45 - 16.00	Feature Construction for Verification and Validation of =
Tabular
>Knowledge-base Systems
>		Selwyn Piramuthu (Decision and Information Sciences, University of =
Florida,
>Gainesville, USA)
>
>20.00	Conference dinner
>
>
>SATURDAY, June 28
>-----------------
>
>Session: Knowledge Revision
>9.00 - 9.30	Revision of rule bases
>		F. Bouali, S. Loiseau and M.-C. Rousset (Universit=E9 de Paris Sud, =
France)
>9.30 - 10.00	The Selection of Training Cases for Automated Knowledge
>Refinement
>		Gareth J. Palmer and Susan Craw (School of Computer and Mathematical
>Sciences,=20
>		The Robert Gordon University, Aberdeen, Scotland)
>10.00 - 10.30	Coffee break
>
>Session: Formal Specification, Part II (O-O)
>10.30 - 10.45	Object Oriented Knowledge Engineering: a formal approach =
for
>verification
>		Akram I. Salah (Cairo University, Department of Computer & =
Information
>Science, Egypt) and=20
>		Manal A. Ismail (Atomic Energy Authority, Egypt)
>10.45 -- =B3 11.00	A Model-based Approach to the Verification of =
Program
>Supervision Systems,=20
>		Mar Marcos, Sabine Moisan and Angel P. del Pobil (Universitat Jaume =
I,
>Dept. of Computer Science,=20
>		Castellon, Spain)
>
>11.00 - 12.00	Panel discussion; EUROVAV-99; Closure
>
>-----
cut here
------------------------------------------------------------------------
------------------------------------------------------------------------
------------------------------
>
>
>
>CONFERENCE REGISTRATION FORM
>
>EUROVAV-97
>European Symposium on the Validation and Verification of Knowledge =
Based
>Systems=20
>
>June 26-28, 1997
>Prof. Jan VANTHIENEN
>Katholieke Universiteit Leuven, Department of Applied Economics
>Naamsestraat 69, 3000 Leuven (Belgium)
>Tel. : +32 (0)16 32.68.78 - Fax : +32 (0)16 32.67.32
>E-mail: [email-masked]
>
>Please mail or fax  this form to Jan Vanthienen at the above address.
>
>PERSONAL DETAILS
>
>Name:________________________________________________________________
>Organization/Firm:______________________________________________________=

>Address:____________________________City:__________________Zip:_________=

>Country:______________________________________________________________
>Phone:___________________Fax:__________________E-mail:_________________
>Special =
Requests:_______________________________________________________
>
>REGISTRATION=20
>
>		Before 31/5	After 31/5	On site	# persons	Total in BEF=09
>Participants	6500		7500		8500		________	___________
>Students	1500		2000		2500		________	___________
>					=09
>								Grand total: ____________	=09
>
>The conference package includes: conference fees and material, =
reception and
>conference dinner (not for students) and tea and coffee breaks during =
the
>conference.
>
>PAYMENT
>
Bank transfer in Belgian francs to account no. 431-0370001-13 of
>K.U.LEUVEN at Kredietbank Leuven with the remark EUROVAV 97 =
26-28/06/1997
>763216/7/E01/3620/131200
>Note that your payment must be sent in advance with this form. No other
>method of payment will be accepted.
>
>Signature:___________________________	=
Date:_____________________________

>cut here
>------------------------------------------------------------------------=
-----
>------------------------------------------------------------------------=
-----
>--------------------
>
>
>HOTEL REGISTRATION FORM
>
>EUROVAV-97
>European Symposium on the Validation and Verification of Knowledge =
Based
>Systems=20
>
>June 26-28, 1997
>FAX TO: Holiday Inn Garden Court Leuven,
>Alfons Smetsplein 7, 3000 Leuven, Belgium
>Tel. : +32 (0)16 29.07.70 - Fax : +32 (0)16 29.12.29
>
>Your reservation must be received by 25/5 to ensure availability and =
special
>rates. Reservations received after that date will be on a space =
availability
>basis.  Please mail or fax this form directly to the Holiday Inn Garden =
Court
>Leuven at the above address.
>
> Single room: 3700 BEF (excl. breakfast, incl. taxes)
> Double room: 3700 BEF/room 	Together with: _____________________
>
>Arrival Date/Time:_________________
>
>Departure Date:____________________(Check out time is 12 noon)
>
>Name:________________________________________________________________
>
>Organization/Firm:______________________________________________________=

>
>Special =
Requests:_______________________________________________________
>
> Enclosed is a check or money order for _______BEF
>
> Enclosed is my credit card information authorizing my reservation to =
be
>guaranteed
>
> Type of Card: American Express / Diners Club / Visa / Mastercard
>
>Credit Card #_________________________________________Exp =
Date___________
>
>Please print name as it appears on the
>card:____________________________________

>Signature:______________________________________________________________=

>
>Reservations are subject to cancellation at 6 pm day of arrival if not
>guaranteed by credit card
>
>
>-------
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>