bouguett@margaux.colorado.edu (07/22/89)
-------------------------------------------------------------------------------- FIRST MAGHREBIN CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFTWARE ENGINEERING Constantine, Algeria, September 24-27, 1989 CALL FOR PAPERS TOPICS The Conference Program will include bith invited and contributed papers. Authors from Maghreb are particulary encouraged to submit. The adressed topics, but not limited to, are : - Algebraic Specification - Program Construction and Proving - Expert Systems - Knowledge and Data Bases - Communication Protocols - Distributed Systems - Object Oriented Programming TERMS OF PRESENTATION OF PAPERS : Papers should be in English, French or Arabic and meet the following requirements : 1- Pages should not number more than 20, including an abstract, tables, figures and references. 2- The papers should be double typed on (A 4) single faced page. 3- The full-name of author (s) and institude and country where the research was conducted should be written on the title page with an abstract of no more than 300 words. 4- Four copies of the papers should be sent to the chaiman of the organizing committee. DEADLINE FOR SUBMISSION OF PAPERS : The closing date for acceptance of papers is 10 August 1989. Those whose papers are accepted will be informed by 4th September 1989. ORGANIZED BY : Laboratory of Knowledge Bases and Distributed Systems Computer Science Institute, Constantine University with the partipation of LRI ORSAY- FRANCE. GUEST SPEAKER : Eric G. Wagner, Research staff member IBM Watson Research Center (USA) CORRESPONDANCE : All correspondance should be adressed to : Dr. BETTAZ Mohamed Institut d'Informatique Universite de Constantine Constantine 25000 ALGERIA Telephone : (213) (4) 69.21.39 Telex : 92436 UNCZL -----------------------------------------------------------------------------