From ayeb@DMI.USherb.CA Wed Feb 16 17:51:20 EST 1994 Article: 20685 of comp.ai Xref: glinda.oz.cs.cmu.edu comp.ai:20685 comp.software-eng:20130 Newsgroups: comp.ai,comp.software-eng Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!math.ohio-state.edu!cyber2.cyberstore.ca!nntp.cs.ubc.ca!utcsri!newsflash.concordia.ca!sifon!garrot.DMI.USherb.CA!DMI!ayeb From: ayeb@DMI.USherb.CA (B.e.Ayeb) Subject: Transcript of CFP/MCSEAI93 Message-ID: Lines: 927 Sender: usenet@DMI.USherb.CA (Pour courrier Usenet) Nntp-Posting-Host: bulbul Organization: Universite de Sherbrooke -- Fac. Sciences / DMI. Date: Mon, 14 Feb 1994 23:16:04 GMT Here is an Ascii Transcript of MCSEAI'94 booklet. See the end of message, to know how to get a (hard) copy of the booklet. A latex version is also attached. ---------------------------------------------------------------------------------- CALL FOR PARTICIPATION FINAL PROGRAM Third Maghrebian Conference on Software Engineering and Artificial Intelligence MCSEAI'94 Rabat, 11-14 april 1994 Under the High Patronage of His Majesty Hassan II CONFERENCES TUTURIAL EXHIBITION Organizer (Maghrebian Information Processing Society) Sponsors IFIP (Geneva) IEEE Computer Society - Washington AFCET - Paris Presentation The Maghrebian Information Processing Society (MIPS), which is currently being formed from existing computer societies of Maghrebian countries, continues with the organization of two biannual Maghreb-wide series of event: - A series of biannual conferences on software engineering and artificial intelligence, held in the spring of even numbered years, - A series of biannual schools on Computer Science, held in the fall of odd numbered years. The Third Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'94) will be held from April 11th to 14th 1994, in Rabat, Morocco. Its intent is to build on the background of previous conferences (Constantine'89 and Tunis'92) by identifying areas of research and development within software engineering and artificial intelligence, that are of interest for the world at large, and for the maghrebian region in particular. Events As for previous conferences, the MCSEAI'94 will comprise a series of: - 2 Tutorials presented in parallel, - 3 invited lectures presented in plenary sessions, - 50 selected papers presented in 2 parallel sessions, - and an exhibition The tutorials, lectures and papers consider many areas of Software Engineering and Artificial Intelligence, although a special emphasis is placed on the following topics: Software Development (Methods, Tools and DBMS), Programming Paradigms (Functional, Logic and OO), Software Specification and Validation, Foundation of Expert Systems and AI, Knowledge Representation and Automation, and Distributed Systems. Given such a full program, it is not be expected that one attendee could follow all of the parallel sessions. However, in order to provide as great a choice as possible, the attendee will be allowed access to all sessions and invited lectures except the tutorials for which the registration is done apart. Finally, an excursion to Marrackech is planned for the last two days (15 to 16 April 1994). Tutorials Monday, April 11 A series of 2 one-day tutorials will be organized in parallel on Monday, April 11. Given by internationally renowned specialists, these tutorials are intended to provide an initiation to software engineering and artificial intelligence techniques and tools and state-of-the-art in particular application areas. Registration for the tutorials is not included in the conference fee. Tutorial 1 L'approche orientee objet dans tous ses etats M. Bouzeghoub (MASI, Univ. Versailles) & P. Cointe (Ecole des Mines, Nantes) L'approche objet a fait irruption dans de nombreux domaines de l'informatique, allant des langages de programmation aux interfaces, en passant par les bases de donnees et les methodes de conception. S'il existe un noyau de concepts communs a tous ces domaines, l'utilisation n'est pas toujours uniforme et des contraintes d'implementation specifiques caracterisent chacun des domaines. Ce tutorial a pour objectif principal de faire un etat de l'art sur l'approche objet. Apres une syntese des concepts de base, les differents domaines d'application sont presentes avec leurs specificites, leurs contraintes et leurs perspectives. Des exemples de langages, de SGBD, de methodes et d'environnements de developpement d'interfaces illustreront la mise en oeuvre de cette approche. Tutorial 2 Elements de logique et aspects temporels dans les SBC B. El Ayeb (Univ. de Sherbrooke) & M. Ghallab (LAAS, Toulouse) L'objectif de ce tutorial est d'introduire dans la premiere demi-journee les concepts de base de la logique sous l'angle de la mecanisation du raisonnement en IA. Ainsi, il sera introduit les notions de base relatives aux termes, a la substitution, a l'unification et filtrage des termes, le calcul des propositions, le concept de modele et des interpretations ainsi que les systemes formels. Enfin, cette lere partie abordera les composantes du calcul des predicats d'ordre un et presentera quelques exemples de mecanisation du raisonnement. Dans la seconde demi-journee, le tutorial abordera les aspects temporels dans les SBC. Cette 2e partie s'interessera aux approches proposees en IA pour une apprehension correcte du temps dans des taches diverses (interpretation dans des environnements evolutifs, raisonnement sur le changement en vue de planification ou de controle etc.). Le tutorial s'interessera aux approches dites reifiees dont la particularite est de traiter le temps par des representations et des algorithmes specifiques. L'expose presentera un etat de l'art sur ces questions en detaillant certains algorithmes et en illustrant leur mise en oeuvre sur des exemples simples. TUESDAY, APRIL 12 WELCOME 9:30-10:30 am OPENING Welcome address: A. Bennani-ENSIAS Program overview: A. El Iraki-ENIM & M. Ouaily-MUT 11-12am Invited lecture 1: Industrial Application of Software Eng. as the Victim of Programming, Prof. Herbert Weber - Univ. of Dortmund, Germany, Speaker of EUREKA Software Factory 2-3:30 pm SESSION 1A: Information Systems, Chair: F. D'Hautcourt - ULB, Belgique - ProMISE-a Process Model for Information System Evolution G. Scherrer, A. Oberweis & W. Stucky - Univ. of Karlsruhe, Germany - Combining Software Engineering and Artificial Intelligence Approaches to Construct and Validate Software Systems J. Siddiqi & I. Morrey - Sheffield Hallam Univ., England - A Low Level Storage Manager Supporting the Development of Advanced Information Systems J. Basancenot, L. Hammami, P. Pucheral - Univ. de Versailles J.M. Thevenin - Univ. Toulouse I, France 4-5:30pm SESSION 2A: Software Engineering Methods, Chair: R. Belmokhtar - IMEG, Rabat, Maroc - Apports de la methode de conception orientee objet MEMO dans la mise en place d'outils CASE integrables H. Hadjami Ben Ghezala - ENSI, F. Kamoun, Y. Jamoussi & S. Zbidi CNI, Tunisie - Intelligent Component Retrieval for Software Reuse H. Mili, O. Marcotte & A. Kabbaj - UQAM, Canada - Vbool, une extension d'Eiffel integrant le concept de point de vue S. Marcaillou - ARAMIIHS, France, A. Kriouile - ENSIAS, Maroc & B. Coulette - ENSEEIHT, France. 2-3:30pm SESSION 1B: Knowledge Representation, Chair: M. Ghallab - LAAS, Toulouse, France - Dynamique et logique epistemique J.L. Cavarero & J.M. Begue - Univ. de Nice-Sophia Antipolis, France - Processeur cooperatif d'acquisition et de representation des connaissances R. Cousin, E. Brugarolas & C. Tawbi - IRIT, France - Representation des connaissances conditionnelles S. Benferhat, D. Dubois & H. Prade - IRIT, France 4-5:30 pm SESSION 2B: AI-Reasoning, Chair: B. El. Ayeb - Univ. de Sherbrooke, Canada - Une methode de deduction automatique pour une logique multimodale C. Mathieu - Univ. de Provence, France - La generation de reponses dans le systeme d'interrogation de bases de donnees en langage naturel: SIGAR O. Nouali - CERIST, Algerie - Using Parsing Predictions for Lexical Correction K. Klebestis, Tech. Univ. of Vienna, Austria WEDNEDAY, APRIL 13 9-10am Invited Lecture 2: Multi-Paradigm Machine Learning Prof. Hojjat Adeli - Ohio State Univ., USA 10:30-12:30am SESSION 3A: Programming Paradigms, Chair: R. Mittermeir - Univ. of Klagenfurt, Autriche - Representation des Acteurs du langage STUDIO A. Hadjadji & L. Frecon - INSA Lyon, France - Modelisation et Simulation des Systemes de production par Objets X.J. Ye - EMSE, France - Une meilleure approche de la compilation sans echec A. Mehemmel - USTHB, Algerie - Tempo: A Software Process Model Based on Object Oriented Paradigms and views N. Belkhatir - IMAG, France 10:30-12am SESSION 3B: Expert Systems, Chair: F. Kamoun - ENSI, Tunisie - Genetic Expert Systems M. Faussey - FNA Lab. IL., USA - Rule Checking Expert System, RCES, using First Order Predicate Logic I. A. Hamid - Tohoku Univ. & S. Ohsuga - Univ. of Tokyo, Japan - Un modele Hypertexte Expert por une navigation contextuelle R. Deschamps & C. Cherifi - Univ. de Pau, France 2-3:30pm SESSION 4A: Semantics Specification, Chair: A. Mili - Univ. of Ottawa, Canada - Composants semantiques pour l'ecriture de compilateurs J. Farre - Univ. de Nice-Sophia Antipolis, France - From Demonic Semantics to Loop Construction: A Relation Algebraic Approach A. Alikacem, S. Sghaier, J. Desharnais, M. El Ouali & F. Tchier - Univ. Laval, Canada - Algebre et Semantiques pour les programmes logiques M. Belmesk - USTHB, Algeerie 2-3:30pm SESSION 4B: Algorithms and Evaluation, Chair: M. Bettaz - Univ. de Constantine, Algerie - Evaluation de programmes Prolog par generation d'analyseurs syntaxiques I. Foucherot & F. Jacquenet - Univ. de Bourgogne, France - A New Algorithm for Proving Termination by Polynomial Interpretations N. Aoumeur - Univ. d'Oran, Algerie - Extension de la PLC pour le traitement des contraintes sur les sequences H. Zidouh, P. Baptiste & B. Ledgard - Univ. de Besancon, France 4-5:30 pm SESSION 5A: Specification and Validation- Concurrency, Chair: T. Bennani - EMI, Rabat, Maroc - Algorithms for Scheduling Real-time Concurrent Applications M. Filali - IRIT, Toulouse, France - VALID: Un environnement formel d'aide au developpement des systemes concurrents et temps reel, base sur la logique de reecriture A. Attoui & A. Hasbani - Univ. Blaise Pascal, France - Schemas de traduction Grafcet/occam2 Z. Remaki - INSA Lyon, France 4-5:30pm SESSION 5B: Learning and Networks, Chair: A. Hocine - Univ. de Pau, France - Introduction des techniques d'apprentissage automatique et d'acquisition des connaissances dans l'analyse de securite des systemes de transport guides H. Hadj Mabrouk - INRETS, France - Intelligence artificielle distribuee et modelisation par reseaux a files: application aux protocoles A. El Fallah-Seghrouchni - Univ. Paris 6, France & Y. Souissi - EMI, Maroc - Structure neurale d'un systeme d'inference flou: fondements et formalisation R. Hartani, S. Hayat, S. Sellam - INRETS; B. Bouchon-Meunier, P. Gallinari - Univ. Paris 6 THURSDAY, APRIL 14 9-10am Invited lecture 3: Modelisation orientee objet pour la conception de systemes reepartis Prof. Gregor von Bochmann - Univ. de Montreal, Canada 10:30-12:30am SESSION 6A: Specification and Validation, Chair: V. Berzins - NPS, Monterey, USA - A Polymorphic Extension to Nederpelt's Lamda Calculus A. Coste - IRIT, France - Infinite Objects in a Constructive Theory of Operations and Types A. Hamie - Univ. of Essex, England - Towards a New Way of Parametrization R. Grosu & D. Nazareth - Univ. of Munchen, Germany - Un environnement de programmation et de verification pour LDS et LOTOS A. Cavalli - INT, France 10:30 - 12am SESSION 6B: OO Distributed Systems Chair: G. Pujolle - MASI, Univ. de Versailles, France - Two Orthogonal Object Levels for Programming Reliable Distributed Software B. Garbinato, R. Guerraoui & K.R. Mazouni - EPL, Suisse - DOMAINS: Une plate-forme orientee objet pour la gestion des systemes repartis R. Boutaba - Univ. Paris VI, France & A. Benkiran - EMI, Maroc - Evolution des specifications de systemes distribues: cas d'un systeme telephonique simplifie M. Erradi - ENSIAS, Maroc & M. Faci - Univ. of Ottawa, Canada 2-3:30pm SESSION 7A: DBMS - Schema Evolution, Chair: N. Belkhiter - Univ. Laval, Canada - Fiabilite des applications, perennite et coherence des informations d'une base de donnees autorisant l'evolution de schema B. Benatallah & M.C. Fauvet - IMAG, France - Gestion et evolution generique des schemas dans l'environnement Adele M. Ahmed-Nacer & J. Estubier - IMAG, France - Using an Object-Oriented Methodology to Generate an Optimized Relational Schema F. Boufares - Univ. Paris XIII, France 2-3:30pm SESSION 7B: Distributed Systems, Chair: M. Diaz - LAAS, Toulouse, France - Controle et extension des systemes a evenements discrets totalement et partiellement observables A. Khoumsi, G.v. Bochmann & R. Dssouli - Univ. de Montreal, Canada - Proposition d'un mecanisme pour le placement dynamique de processus dependants C. Bernon & A. Sayah - IRIT, France - Design of AMS, an Atelier for Modelling and Simulating Open Communication Systems A. Cohen & R. Mrabet - ULB, Belgique 4-5:30pm SESSION 8A: Object Oriented DBMS, Chair: P. Cointe - Ecole des Mines, Nantes, France - MOSAIC: conception orientee de bases de donnnees et d'applications interactives F. Brissaud, M. Chabre-Peccoud, J.L. Cheval & J.P. Giraudin - IMAG, France - Un modele de donneees base sur le contenu pour la manipulation d'objets complexes N. Mouaddib, Y. Lahlou - CRIN, France & G. Halin- Univ. de Metz, France - Vers un systeme de controle de l'integrite pour les SGBD objets B. Defude - INT, France & H. Martin - IMAG, France 4-5:30pm SESSION 8B: Modelling and Distributed Systems, Chair: O. Rafiq - Univ. de Pau, France - Compiling Temporal Logic Specifications into Observers O. Drissi-Kaitouni - Univ. Hassan II, Maroc & C. Jard - IRISA, France - Selection des tests a partir de specifications orientees objets E.H. Htite, R. Dssouli & G.v. Bochmann - Univ. de Montreal, Canada - EGL: A Lotos-Based Environment for the Design of Distributed Systems A. Obaid - UQAH, Canada & F. Abouzaid - Univ. Hassan II, Maroc General Chair Abdelfdil Bennani, ENSIAS, B.P. 713, Rabat, Morocco Program chair Abdelhamid El Iraki (E.N.I.M., Dept. Informatique, B.P. 753, Rabat, Morocco) Montasser Ouaily (Mission Universitaire Tunisienne a Montreal, Canada H2Y 2W7) Program Committee H. Adeli (Ohio State Univ.) B. El Ayeb (Univ. of Sherbrooke) E. Astesiano (Univ. of Genova) A. El Iraki (ENIM, Rabat) K. Barkaoui (CNAM, Paris) L. Feraud (Univ. Toulouse III) B. Belkhouche (Tulane Univ.) J.P. Finance (Univ. of Nancy) C. Ben Yelles (Univ. of Algiers) M. Ghallab (LAAS, Toulouse) A. Benkiran (EMI, Rabat) Y. Hlal (EMI, Rabat) A. Bennani (ENSIAS, Rabat) A. Hocine (Univ. of Pau) R. Berghammer (Univ. of Munich) C. Kaiser (CNAM, Paris) V. Berzins (Monterey, CA) Luqi (Monterey, CA) M. Bettaz (Univ. of Constantine) A. Mili (Univ. of Ottawa) M. Bidoit (LIENS, Paris) R. Mittermeir (Univ. of Klagenfurt) N. Boudriga (Univ. of Tunis) A. Mouradi (Univ. Mohamed V. Rabat) E.H. Bouyakhf (Univ. Mohamed V, Rabat) F. Orejas (Univ. of Barcelone) C. Choppy (Univ. Paris-Sud) M. Ouaily (MUT, Montreal) P. Cointe (Ecole des Mines, Nantes) G. Pujolle (Univ. of Paris VI) F. D'Hautcourt (ULB, Brussels) O. Rafiq (Univ. of Pau) J. Desharnais (Univ. Laval) G. Scollo (Univ. of Twente) M. Diaz (LAAS, Toulouse) M. Sellami (Univ. of Annaba) H. Ehrig (Univ. of Berlin) Y. Slimani (Univ. of Tunis) Steering Committee M. Bettaz, Chair M. Boudriga, A. Mili, Z. Sahnoun, members Organizing Committee Promotion: M. Bennani (ENSIAS, Rabat) Tutorials: B. Idrissi (EMI, Rabat) Local arrangements: A. Janati (ENSIAS, Rabat) Registration: K. Ouazzani (ENIM, Rabat) Proceedings: F. Regragui (Fac. de Sciences, Rabat) Information Program Abdelhamid El Iraki MCSEAI'94, c/o ENIM B.P. 753, Rabat-Agdal, Morocco Tel: (212.7)77.13.60/77.45.17 Fax: (212.7)77.10.55 Organization Maria Bennani MCSEAI'94, c/o ENSIAS B.P. 713, Rabat-Agdal, Morocco Tel: (212.7)77.73.17/77.85.79 Fax: (212.7)77.72.30 MCSEAI'94 Rabat, 11-14 April 1994 REGISTRATION FORM To be returned with the payment to: MCSEAI'94, MIPS-MAROC, c/o ENSIAS, B.P. 713, Rabat-Agdal, MOROCCO Name:............................................................. Organism:......................................................... Address:.......................................................... City:............................................................. Telephone:........................................................ Country:.......................................................... Fax:.............................................................. Want to be registered to: Conference: ____ Tutorial 1: ____ or Tutorial 2: ____ Registration Fee: Conference: Before February 28 Members* DH: 2700, FF: 1700, US$: 300 Maghrebian Reesidents (Academic) DH: 1200, FF: 750, US$: 140 Others DH: 3500, FF: 2200, US$: 400 After February 28 Members* DH: 3240, FF: 2050, US$: 360 Maghrebian Residents (Academic) DH: 1440, FF: 900, US$: 170 Others DH: 4200, FF: 2700, US$: 480 This registration fee includes proceedings, luncheons, breaks and a banquet Tutorial: Before February 28: Members* DH: 750, FF: 500, US$: 100 Maghrebian Residents (Academic) DH: 500, FF: 320, US$: 60 Others DH: 1000, FF: 650, US$: 120 After February 28 Members* DH: 900, FF: 600, US$: 120 Maghrebian Residents (Academic) DH: 600, FF: 390, US$: 70 Others DH: 1200, FF: 780, US$: 145 This registraiton fee includes documentation, luncheon and breaks Payment mode: ___ Money Order ("Virement") to MIPS-Maroc, Bank: SGMB Rabat-Kays No 810000070000503087023 ___ Check ("Cheque bancaire") to MIPS-Maroc ___ Order Form ("Bon de commande") * Members of MIPS, IEEE, AFCET, IFIP and Program Committee. Please (Re)Distribute-- following the latex-version. Thanks, bea, ayeb@dmi.usherb.ca ******************************************************************************* * .sig space is to rent. ******************************************************************************* -----------------------------CUT-HERE-LaTeX-Version------------------------------- \documentstyle[12pt,fullpage]{article} \begin{document} \title{Call for Participation} \author{Final Program} \date{} \maketitle \bigskip \begin{center} Third Maghrebian Conference on Software\\ Engineering and Artificial Intelligence\\ MCSEAI'94\\ {\it Rabat, 11-14 april 1994}\\ {\bf Under the High Patronage of His Majesty Hassan II} \end{center} \bigskip \begin{center}CONFERENCES\\ TUTURIAL\\ EXHIBITION \end{center} \bigskip \begin{center} {\bf Organizer}\\ \bigskip MIPS\\ (Maghrebian Information Processing Society)\\ \bigskip Sponsors\\ IFIP (Geneva) \quad IEEE Computer Society - Washington \quad AFCET - Paris \end{center} \newpage \begin{center} {\bf Presentation} \end{center} \noindent The Maghrebian Information Processing Society (MIPS), which is currently being formed from existing computer societies of Maghrebian countries, continues with the organization of two biannual Maghreb-wide series of event: \begin{enumerate} \item[$\cdot$] A series of biannual conferences on software engineering and artificial intelligence, held in the spring of even numbered years, \item[$\cdot$] A series of biannual schools on Computer Science, held in the fall of odd numbered years. \end{enumerate} \noindent The Third Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'94) will be held from April 11th to 14th 1994, in Rabat, Morocco. Its intent is to build on the background of previous conferences (Constantine'89 and Tunis'92) by identifying areas of research and development within software engineering and artificial intelligence, that are of interest for the world at large, and for the maghrebian region in particular. \begin{center} Events \end{center} As for previous conferences, the MCSEAI'94 will comprise a series of: \begin{enumerate} \item[$\cdot$] 2 Tutorials presented in parallel, \item[$\cdot$] 3 invited lectures presented in plenary sessions, \item[$\cdot$] 50 selected papers presented in 2 parallel sessions, \item[$\cdot$]and an exhibition \end{enumerate} \noindent The tutorials, lectures and papers consider many areas of Software Engineering and Artificial Intelligence, although a special emphasis is placed on the following topics: Software Development (Methods, Tools and DBMS), Programming Paradigms (Functional, Logic and OO), Software Specification and Validation, Foundation of Expert Systems and AI, Knowledge Representation and Automation, and Distributed Systems. \\ \noindent Given such a full program, it is not be expected that one attendee could follow all of the parallel sessions. However, in order to provide as great a choice as possible, the attendee will be allowed access to all sessions and invited lectures except the tutorials for which the registration is done apart. Finally, an excursion to Marrackech is planned for the last two days (15 to 16 April 1994). \pagebreak \begin{center} Tutorials\\ Monday, April 11 \end{center} \noindent A series of 2 one-day tutorials will be organized in parallel on Monday, April 11. Given by internationally renowned specialists, these tutorials are intended to provide an initiation to software engineering and artificial intelligence techniques and tools and state-of-the-art in particular application areas. Registration for the tutorials is not included in the conference fee. \bigskip \begin{center} Tutorial 1\\ L'approche orient\'ee objet dans tous ses \'etats\\ M. Bouzeghoub (MASI, Univ. Versailles)\\ \& P. Cointe (\'Ecole des Mines, Nantes) \end{center} \noindent L'approche objet a fait irruption dans de nombreux domaines de l'informatique, allant des langages de programmation aux interfaces, en passant par les bases de donn\'ees et les m\'ethodes de conception. S'il existe un noyau de concepts communs \`a tous ces domaines, l'utilisation n'est pas toujours uniforme et des contraintes d'impl\'ementation sp\'ecifiques caract\'erisent chacun des domaines. Ce tutorial a pour objectif principal de faire un \'etat de l'art sur l'approche objet. Apr\`es une synt\`ese des concepts de base, les diff\'erents domaines d'application sont pr\'esent\'es avec leurs sp\'ecificit\'es, leurs contraintes et leurs perspectives. Des exemples de langages, de SGBD, de m\'ethodes et d'environnements de d\'eveloppement d'interfaces illustreront la mise en oeuvre de cette approche. \bigskip \begin{center} Tutorial 2\\ \'El\'ements de logique et aspects temporels dans les SBC\\ B. El Ayeb (Univ. de Sherbrooke)\\ \& M. Ghallab (LAAS, Toulouse) \end{center} \noindent L'objectif de ce tutorial est d'introduire dans la premi\`ere demi-journ\'ee les concepts de base de la logique sous l'angle de la m\'ecanisation du raisonnement en IA. Ainsi, il sera introduit les notions de base relatives aux termes, \`a la substitution, \`a l'unification et filtrage des termes, le calcul des propositions, le concept de mod\`ele et des interpr\'etations ainsi que les syst\`emes formels. Enfin, cette l\`ere partie abordera les composantes du calcul des pr\'edicats d'ordre un et pr\'esentera quelques exemples de m\'ecanisation du raisonnement. Dans la seconde demi-journ\'ee, le tutorial abordera les aspects temporels dans les SBC. Cette 2e partie s'int\'eressera aux approches propos\'ees en IA pour une appr\'ehension correcte du temps dans des t\^{a}ches diverses (interpr\'etation dans des environnements \'evolutifs, raisonnement sur le changement en vue de planification ou de contr\^{o}le etc.). Le tutorial s'int\'eressera aux approches dites r\'eifi\'ees dont la particularit\'e est de traiter le temps par des repr\'esentations et des algorithmes sp\'ecifiques. L'expos\'e pr\'esentera un \'etat de l'art sur ces questions en d\'etaillant certains algorithmes et en illustrant leur mise en oeuvre sur des exemples simples. \\ \\ \begin{center} TUESDAY, APRIL 12\\ WELCOME\\ 9:30-10:30 am OPENING\\ Welcome address: A. Bennani-ENSIAS\\ Program overview: A. El Iraki-ENIM \& M. Ouaily-MUT\\ 11-12am Invited lecture 1:\\ Industrial Application of Software Eng. as the Victim of Programming, Prof. Herbert Weber - Univ. of Dortmund, Germany, Speaker of EUREKA Software Factory\\ \end{center} ~\\ 2-3:30 pm SESSION 1A: Information Systems, Chair: F. D'Hautcourt - ULB, Belgique\\ - ProMISE-a Process Model for Information System Evolution\\ G. Scherrer, A. Oberweis \& W. Stucky - Univ. of Karlsruhe, Germany\\ - Combining Software Engineering and Artificial Intelligence Approaches to Construct and Validate Software Systems\\ J. Siddiqi \& I. Morrey - Sheffield Hallam Univ., England\\ - A Low Level Storage Manager Supporting the Development of Advanced Information Systems J. Basancenot, L. Hammami, P. Pucheral - Univ. de Versailles J.M. Th\'evenin - Univ. Toulouse I, France\\ \\ 4-5:30pm SESSION 2A: Software Engineering Methods, Chair: R. Belmokhtar - IMEG, Rabat, Maroc\\ - Apports de la m\'ethode de conception orient\'ee objet MEMO dans la mise en place d'outils CASE int\'egrables\\ H. Hadjami Ben Ghezala - ENSI, F. Kamoun, Y. Jamoussi \& S. Zbidi - CNI, Tunisie\\ - Intelligent Component Retrieval for Software Reuse\\ H. Mili, O. Marcotte \& A. Kabbaj - UQAM, Canada\\ - Vbool, une extension d'Eiffel int\'egrant le concept de point de vue\\ S. Marcaillou - ARAMIIHS, France, A. Kriouile - ENSIAS, Maroc \& B. Coulette - ENSEEIHT, France.\\ \\ 2-3:30pm SESSION 1B: Knowledge Representation, Chair: M. Ghallab - LAAS, Toulouse, France\\ - Dynamique et logique \'epist\'emique\\ J.L. Cavarero \& J.M. Begue - Univ. de Nice-Sophia Antipolis, France\\ - Processeur coop\'eratif d'acquisition et de repr\'esentation des connaissances\\ R. Cousin, E. Brugarolas \& C. Tawbi - IRIT, France\\ - Repr\'esentation des connaissances conditionnelles\\ S. Benferhat, D. Dubois \& H. Prade - IRIT, France\\ \\ 4-5:30 pm SESSION 2B: AI-Reasoning, Chair: B. El. Ayeb - Univ. de Sherbrooke, Canada\\ - Une m\'ethode de deduction automatique pour une logique multimodale\\ C. Mathieu - Univ. de Provence, France\\ - La g\'en\'eration de r\'eponses dans le syst\`eme d'interrogation de bases de donn\'ees en langage naturel: SIGAR\\ O. Nouali - CERIST, Alg\'erie\\ - Using Parsing Predictions for Lexical Correction\\ K. Klebestis, Tech. Univ. of Vienna, Austria\\ \\ \begin{center} WEDNEDAY, APRIL 13\\ 9-10am Invited Lecture 2: Multi-Paradigm Machine Learning\\ Prof. Hojjat Adeli - Ohio State Univ., USA\\ \end{center} ~\\ 10:30-12:30am SESSION 3A: Programming Paradigms, Chair: R. Mittermeir - Univ. of Klagenfurt, Autriche\\ - Repr\'esentation des Acteurs du langage STUDIO\\ A. Hadjadji \& L. Fr\'econ - INSA Lyon, France\\ - Mod\'elisation et Simulation des Syst\`emes de production par Objets\\ X.Y. Ye - EMSE, France\\ - Une meilleure approche de la compilation sans \'echec\\ A. Mehemmel - USTHB, Alg\'erie\\ - Tempo: A Software Process Model Based on Object Oriented Paradigms and views\\ N. Belkhatir - IMAG, France\\ \\ 10:30-12am SESSION 3B: Expert Systems, Chair: F. Kamoun - ENSI, Tunisie\\ - Genetic Expert Systems\\ M. Faussey - FNA Lab. IL., USA\\ - Rule Checking Expert System, RCES, using First Order Predicate Logic\\ I. A. Hamid - Tohoku Univ. \& S. Ohsuga - Univ. of Tokyo, Japan\\ - Un mod\`ele Hypertexte Expert por une navigation contextuelle\\ R. Deschamps \& C. Cherifi - Univ. de Pau, France\\ \\ 2-3:30pm SESSION 4A: Semantics Specification, Chair: A. Mili - Univ. of Ottawa, Canada\\ - Composants s\'emantiques pour l'\'ecriture de compilateurs\\ J. Farre - Univ. de Nice-Sophia Antipolis, France\\ - From Demonic Semantics to Loop Construction: A Relation Algebraic Approach\\ A. Alikacem, S. Sghaier, J. Desharnais, M. El Ouali \& F. Tchier - Univ. Laval, Canada\\ - Alg\`ebre et S\'emantiques pour les programmes logiques\\ M. Belmesk - USTHB, Alg\'erie\\ \\ 2-3:30pm SESSION 4B: Algorithms and Evaluation, Chair: M. Bettaz - Univ. de Constantine, Alg\'erie\\ - Evaluation de programmes Prolog par g\'en\'eration d'analyseurs syntaxiques\\ I. Foucherot \& F. Jacquenet - Univ. de Bourgogne, France\\ - A New Algorithm for Proving Termination by Polynomial Interpretations\\ N. Aoumeur - Univ. d'Oran, Alg\'erie\\ - Extension de la PLC pour le traitement des contraintes sur les s\'equences\\ H. Zidouh, P. Baptiste \& B. Ledgard - Univ. de Besan\c{c}on, France\\ \\ 4-5:30 pm SESSION 5A: Specification and Validation- Concurrency, Chair: T. Bennani - EMI, Rabat, Maroc\\ - Algorithms for Scheduling Real-time Concurrent Applications\\ M. Filali - IRIT, Toulouse, France\\ - VALID: Un environnement formel d'aide au d\'eveloppement des syst\`emes concurrents et temps r\'eel, bas\'e sur la logique de r\'e\'ecriture\\ A. Attoui \& A. Hasbani - Univ. Blaise Pascal, France\\ - Sch\'emas de traduction Grafcet/occam2\\ Z. Remaki - INSA Lyon, France\\ \\ 4-5:30pm SESSION 5B: Learning and Networks, Chair: A. Hocine - Univ. de Pau, France\\ - Introduction des techniques d'apprentissage automatique et d'acquisition des connaissances dans l'analyse de s\'ecurit\'e des syst\`emes de transport guid\'es\\ H. Hadj Mabrouk - INRETS, France\\ - Intelligence artificielle distribu\'ee et mod\'elisation par r\'eseaux \`a files: application aux protocoles\\ A. El Fallah-Seghrouchni - Univ. Paris 6, France \& Y. Souissi - EMI, Maroc\\ - Structure neurale d'un syst\`eme d'inf\'erence flou: fondements et formalisation\\ R. Hartani, S. Hayat, S. Sellam - INRETS; B. Bouchon-Meunier, P. Gallinari - Univ. Paris 6\\ \\ \\ \begin{center} THURSDAY, APRIL 14\\ 9-10am Invited lecture 3:\\ Mod\'elisation orient\'ee objet pour la conception de syst\`emes r\'epartis\\ Prof. Gregor von Bochmann - Univ. de Montr\'eal, Canada\\ \end{center} ~\\ 10:30-12:30am SESSION 6A: Specification and Validation, Chair: V. Berzins - NPS, Monterey, USA\\ - A Polymorphic Extension to Nederpelt's Lamda Calculus\\ A. Coste - IRIT, France\\ - Infinite Objects in a Constructive Theory of Operations and Types\\ A. Hamie - Univ. of Essex, England\\ - Towards a New Way of Parametrization\\ R. Grosu \& D. Nazareth - Univ. of Munchen, Germany\\ - Un environnement de programmation et de v\'erification pour LDS et LOTOS\\ A. Cavalli - INT, France\\ \\ 10:30 - 12am SESSION 6B: OO Distributed Systems\\ Chair: G. Pujolle - MASI, Univ. de Versailles, France\\ - Two Orthogonal Object Levels for Programming Reliable Distributed Software\\ B. Garbinato, R. Guerraoui \& K.R. Mazouni - EPL, Suisse\\ - DOMAINS: Une plate-forme orient\'ee objet pour la gestion des syst\`emes r\'epartis\\ R. Boutaba - Univ. Paris VI, France \& A. Benkiran - EMI, Maroc\\ - \'Evolution des sp\'ecifications de syst\`emes distribu\'es: cas d'un syst\`eme t\'el\'ephonique simplifi\'e\\ M. Erradi - ENSIAS, Maroc \& M. Faci - Univ. of Ottawa, Canada\\ \\ 2-3:30pm SESSION 7A: DBMS - Schema Evolution, Chair: N. Belkhiter - Univ. Laval, Canada\\ - Fiabilit\'e des applications, p\'erennit\'e et coh\'erence des informations d'une base de donn\'ees autorisant l'\'evolution de sch\'ema\\ B. Benatallah \& M.C. Fauvet - IMAG, France\\ - Gestion et \'evolution g\'en\'erique des sch\'emas dans l'environnement Ad\`ele\\ M. Ahmed-Nacer \& J. Estubier - IMAG, France\\ - Using an Object-Oriented Methodology to Generate an Optimized Relational Schema\\ F. Boufares - Univ. Paris XIII, France\\ \\ 2-3:30pm SESSION 7B: Distributed Systems, Chair: M. Diaz - LAAS, Toulouse, France\\ - Contr\^{o}le et extension des syst\`emes \`a \'ev\'enements discrets totalement et partiellement observables\\ A. Khoumsi, G.v. Bochmann \& R. Dssouli - Univ. de Montr\'eal, Canada\\ - Proposition d'un m\'ecanisme pour le placement dynamique de processus d\'ependants\\ C. Bernon \& A. Sayah - IRIT, France\\ - Design of AMS, an Atelier for Modelling and Simulating Open Communication Systems\\ A. Cohen \& R. Mrabet - ULB, Belgique\\ \\ 4-5:30pm SESSION 8A: Object Oriented DBMS, Chair: P. Cointe - \'Ecole des Mines, Nantes, France\\ - MOSAIC: conception orient\'ee de bases de donnn\'es et d'applications interactives\\ F. Brissaud, M. Chabre-Peccoud, J.L. Cheval \& J.P. Giraudin - IMAG, France\\ - Un mod\`ele de donn\'ees bas\'e sur le contenu pour la manipulation d'objets complexes\\ N. Mouaddib, Y. Lahlou - CRIN, France \& G. Halin- Univ. de Metz, France\\ - Vers un syst\`eme de contr\^{o}le de l'int\'egrit\'e pour les SGBD objets\\ B. Defude - INT, France \& H. Martin - IMAG, France\\ \\ 4-5:30pm SESSION 8B: Modelling and Distributed Systems, Chair: O. Rafiq - Univ. de Pau, France\\ - Compiling Temporal Logic Specifications into Observers\\ O. Drissi-Kaitouni - Univ. Hassan II, Maroc \& C. Jard - IRISA, France\\ - S\'election des tests \`a partir de sp\'ecifications orient\'ees objets\\ E.H. Htite, R. Dssouli \& G.v. Bochmann - Univ. de Montr\'eal, Canada\\ - EGL: A Lotos-Based Environment for the Design of Distributed Systems\\ A. Obaid - UQAH, Canada \& F. Abouzaid - Univ. Hassan II, Maroc\\ \pagebreak \begin{center} General Chair\\ Abdelfdil Bennani, ENSIAS, B.P. 713, Rabat, Morocco\\ \bigskip Program chair\\ Abdelhamid El Iraki (E.N.I.M., Dept. Informatique, B.P. 753, Rabat, Morocco)\\ Montasser Ouaily (Mission Universitaire Tunisienne \`a Montr\'eal, Canada H2Y 2W7) \\ Program Committee\\ \end{center} \bigskip \begin{tabular}{llll} H. Adeli & (Ohio State Univ.) & B. El Ayeb & (Univ. of Sherbrooke)\\ E. Astesiano & (Univ. of Genova) & A. El Iraki & (ENIM, Rabat) \\ K. Barkaoui & (CNAM, Paris) & L. Feraud & (Univ. Toulouse III)\\ B. Belkhouche & (Tulane Univ.) & J.P. Finance & (Univ. of Nancy)\\ C. Ben Yelles & (Univ. of Algiers) & M. Ghallab & (LAAS, Toulouse)\\ A. Benkiran & (EMI, Rabat) & Y. Hlal & (EMI, Rabat)\\ A. Bennani & (ENSIAS, Rabat) & A. Hocine & (Univ. of Pau)\\ R. Berghammer & (Univ. of Munich) & C. Kaiser & (CNAM, Paris)\\ V. Berzins & (Monterey, CA) & Luqi & (Monterey, CA)\\ M. Bettaz & (Univ. of Constantine) & A. Mili & (Univ. of Ottawa)\\ M. Bidoit & (LIENS, Paris) & R. Mittermeir & (Univ. of Klagenfurt)\\ N. Boudriga & (Univ. of Tunis) & A. Mouradi & (Univ. Mohamed V. Rabat)\\ E.H. Bouyakhf & (Univ. Mohamed V, Rabat & F. Orejas & (Univ. of Barcelone)\\ C. Choppy & (Univ. Paris-Sud) & M. Ouaily & (MUT, Montr\'eal)\\ P. Cointe & (Ecole des Mines, Nantes) & G. Pujolle & (Univ. of Paris VI)\\ F. D'Hautcourt & (ULB, Brussels) & O. Rafiq & (Univ. of Pau)\\ J. Desharnais & (Univ. Laval) & G. Scollo & (Univ. of Twente)\\ M. Diaz & (LAAS, Toulouse) & M. Sellami & (Univ. of Annaba)\\ H. Ehrig & (Univ. of Berlin) & Y. Slimani & (Univ. of Tunis) \end{tabular} Steering Committee\\ M. Bettaz, Chair\\ M. Boudriga, A. Mili, Z. Sahnoun, members\\ Organizing Committee\\ Promotion: M. Bennani (ENSIAS, Rabat)\\ Tutorials: B. Idrissi (EMI, Rabat)\\ Local arrangements: A. Janati (ENSIAS, Rabat)\\ Registration: K. Ouazzani (ENIM, Rabat)\\ Proceedings: F. Regragui (Fac. de Sciences, Rabat)\\ ~\\ Information\\ Program\\ Abdelhamid El Iraki\\ MCSEAI'94, c/o ENIM\\ B.P. 753, Rabat-Agdal, Morocco\\ Tel: (212.7)77.13.60/77.45.17\\ Fax: (212.7)77.10.55\\ Organization\\ Maria Bennani\\ MCSEAI'94, c/o ENSIAS\\ B.P. 713, Rabat-Agdal, Morocco\\ Tel: (212.7)77.73.17/77.85.79\\ Fax: (212.7)77.72.30 MCSEAI'94\\ Rabat, 11-14 April 1994\\ \newpage ~\\ REGISTRATION FORM\\ To be returned with the payment to: MCSEAI'94, MIPS-MAROC, c/o ENSIAS, B.P. 713, Rabat-Agdal, MOROCCO\\ Name:............................................................\\ Organism:.........................................................\\ Address:.........................................................\\ City:.............................................................\\ Telephone:........................................................\\ Country:..........................................................\\ Fax:...................................................................\\ Want to be registered to: Conference $\Box$ \quad Tutorial1 $\Box$ \quad or Tutorial2 $\Box$\\ Registration Fee:\\ Conference:\\ Before February 28\\ Members\* DH: 2700, FF: 1700, US\$: 300\\ Maghrebian Reesidents (Academic) DH: 1200, FF: 750, US\$: 140\\ Others DH: 3500, FF: 2200, US\$: 400\\ After February 28\\ Members\* DH: 3240, FF: 2050, US\$: 360\\ Maghrebian Residents (Academic) DH: 1440, FF: 900, US\$: 170\\ Others DH: 4200, FF: 2700, US\$: 480\\ This registration fee includes proceedings, luncheons, breaks and a banquet \\ Tutorial:\\ Before February 28:\\ Members\* DH: 750, FF: 500, US\$: 100\\ Maghrebian Residents (Academic) DH: 500, FF: 320, US\$: 60\\ Others DH: 1000, FF: 650, US\$: 120\\ After February 28\\ Members\* DH: 900, FF: 600, US\$: 120\\ Maghrebian Residents (Academic) DH: 600, FF: 390, US\$: 70\\ Others DH: 1200, FF: 780, US\$: 145\\ This registraiton fee includes documentation, luncheon and breaks\\ Payment mode:\\ $\Box$ Money Order (''Virement'') to MIPS-Maroc, Bank: SGMB Rabat-Kays No 810000070000503087023\\ $\Box$ Check (''Ch\`eque bancaire'') to MIPS-Maroc\\ $\Box$ Order Form (''Bon de commande'')\\ \* Members of MIPS, IEEE, AFCET, IFIP and Program Committee. \end{document} -----------------------------CUT-HERE-LaTeX-Version------------------------------- Newsgroups: comp.ai,comp.software-eng Subject: CFP Transcript / MCSEAI93 Summary: Followup-To: Distribution: world Organization: Universite de Sherbrooke -- Dept. d'Informatique Keywords: Article 5700 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5700 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uunet!sparky!rick From: ayeb@dmi.usherb.ca (B.e.Ayeb) Subject: Third Maghrebian Conference on Software Engineering and Artificial Intelligence Message-ID: <1994Feb15.231242.17426@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Universite Sherbrooke, Fac. Sciences / DMI. Date: Tue, 15 Feb 1994 23:12:42 GMT Approved: rick@sparky.sterling.com Expires: Fri, 15 Apr 1994 08:00:00 GMT Lines: 920 X-Md4-Signature: b1ac1f6fa591b5c4627e484c71dbce38 Here is an Ascii Transcript of MCSEAI'94 booklet. See the end of message, to know how to get a (hard) copy of the booklet. A latex version is also attached. ---------------------------------------------------------------------------------- CALL FOR PARTICIPATION FINAL PROGRAM Third Maghrebian Conference on Software Engineering and Artificial Intelligence MCSEAI'94 Rabat, 11-14 april 1994 Under the High Patronage of His Majesty Hassan II CONFERENCES TUTURIAL EXHIBITION Organizer (Maghrebian Information Processing Society) Sponsors IFIP (Geneva) IEEE Computer Society - Washington AFCET - Paris Presentation The Maghrebian Information Processing Society (MIPS), which is currently being formed from existing computer societies of Maghrebian countries, continues with the organization of two biannual Maghreb-wide series of event: - A series of biannual conferences on software engineering and artificial intelligence, held in the spring of even numbered years, - A series of biannual schools on Computer Science, held in the fall of odd numbered years. The Third Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'94) will be held from April 11th to 14th 1994, in Rabat, Morocco. Its intent is to build on the background of previous conferences (Constantine'89 and Tunis'92) by identifying areas of research and development within software engineering and artificial intelligence, that are of interest for the world at large, and for the maghrebian region in particular. Events As for previous conferences, the MCSEAI'94 will comprise a series of: - 2 Tutorials presented in parallel, - 3 invited lectures presented in plenary sessions, - 50 selected papers presented in 2 parallel sessions, - and an exhibition The tutorials, lectures and papers consider many areas of Software Engineering and Artificial Intelligence, although a special emphasis is placed on the following topics: Software Development (Methods, Tools and DBMS), Programming Paradigms (Functional, Logic and OO), Software Specification and Validation, Foundation of Expert Systems and AI, Knowledge Representation and Automation, and Distributed Systems. Given such a full program, it is not be expected that one attendee could follow all of the parallel sessions. However, in order to provide as great a choice as possible, the attendee will be allowed access to all sessions and invited lectures except the tutorials for which the registration is done apart. Finally, an excursion to Marrackech is planned for the last two days (15 to 16 April 1994). Tutorials Monday, April 11 A series of 2 one-day tutorials will be organized in parallel on Monday, April 11. Given by internationally renowned specialists, these tutorials are intended to provide an initiation to software engineering and artificial intelligence techniques and tools and state-of-the-art in particular application areas. Registration for the tutorials is not included in the conference fee. Tutorial 1 L'approche orientee objet dans tous ses etats M. Bouzeghoub (MASI, Univ. Versailles) & P. Cointe (Ecole des Mines, Nantes) L'approche objet a fait irruption dans de nombreux domaines de l'informatique, allant des langages de programmation aux interfaces, en passant par les bases de donnees et les methodes de conception. S'il existe un noyau de concepts communs a tous ces domaines, l'utilisation n'est pas toujours uniforme et des contraintes d'implementation specifiques caracterisent chacun des domaines. Ce tutorial a pour objectif principal de faire un etat de l'art sur l'approche objet. Apres une syntese des concepts de base, les differents domaines d'application sont presentes avec leurs specificites, leurs contraintes et leurs perspectives. Des exemples de langages, de SGBD, de methodes et d'environnements de developpement d'interfaces illustreront la mise en oeuvre de cette approche. Tutorial 2 Elements de logique et aspects temporels dans les SBC B. El Ayeb (Univ. de Sherbrooke) & M. Ghallab (LAAS, Toulouse) L'objectif de ce tutorial est d'introduire dans la premiere demi-journee les concepts de base de la logique sous l'angle de la mecanisation du raisonnement en IA. Ainsi, il sera introduit les notions de base relatives aux termes, a la substitution, a l'unification et filtrage des termes, le calcul des propositions, le concept de modele et des interpretations ainsi que les systemes formels. Enfin, cette lere partie abordera les composantes du calcul des predicats d'ordre un et presentera quelques exemples de mecanisation du raisonnement. Dans la seconde demi-journee, le tutorial abordera les aspects temporels dans les SBC. Cette 2e partie s'interessera aux approches proposees en IA pour une apprehension correcte du temps dans des taches diverses (interpretation dans des environnements evolutifs, raisonnement sur le changement en vue de planification ou de controle etc.). Le tutorial s'interessera aux approches dites reifiees dont la particularite est de traiter le temps par des representations et des algorithmes specifiques. L'expose presentera un etat de l'art sur ces questions en detaillant certains algorithmes et en illustrant leur mise en oeuvre sur des exemples simples. TUESDAY, APRIL 12 WELCOME 9:30-10:30 am OPENING Welcome address: A. Bennani-ENSIAS Program overview: A. El Iraki-ENIM & M. Ouaily-MUT 11-12am Invited lecture 1: Industrial Application of Software Eng. as the Victim of Programming, Prof. Herbert Weber - Univ. of Dortmund, Germany, Speaker of EUREKA Software Factory 2-3:30 pm SESSION 1A: Information Systems, Chair: F. D'Hautcourt - ULB, Belgique - ProMISE-a Process Model for Information System Evolution G. Scherrer, A. Oberweis & W. Stucky - Univ. of Karlsruhe, Germany - Combining Software Engineering and Artificial Intelligence Approaches to Construct and Validate Software Systems J. Siddiqi & I. Morrey - Sheffield Hallam Univ., England - A Low Level Storage Manager Supporting the Development of Advanced Information Systems J. Basancenot, L. Hammami, P. Pucheral - Univ. de Versailles J.M. Thevenin - Univ. Toulouse I, France 4-5:30pm SESSION 2A: Software Engineering Methods, Chair: R. Belmokhtar - IMEG, Rabat, Maroc - Apports de la methode de conception orientee objet MEMO dans la mise en place d'outils CASE integrables H. Hadjami Ben Ghezala - ENSI, F. Kamoun, Y. Jamoussi & S. Zbidi CNI, Tunisie - Intelligent Component Retrieval for Software Reuse H. Mili, O. Marcotte & A. Kabbaj - UQAM, Canada - Vbool, une extension d'Eiffel integrant le concept de point de vue S. Marcaillou - ARAMIIHS, France, A. Kriouile - ENSIAS, Maroc & B. Coulette - ENSEEIHT, France. 2-3:30pm SESSION 1B: Knowledge Representation, Chair: M. Ghallab - LAAS, Toulouse, France - Dynamique et logique epistemique J.L. Cavarero & J.M. Begue - Univ. de Nice-Sophia Antipolis, France - Processeur cooperatif d'acquisition et de representation des connaissances R. Cousin, E. Brugarolas & C. Tawbi - IRIT, France - Representation des connaissances conditionnelles S. Benferhat, D. Dubois & H. Prade - IRIT, France 4-5:30 pm SESSION 2B: AI-Reasoning, Chair: B. El. Ayeb - Univ. de Sherbrooke, Canada - Une methode de deduction automatique pour une logique multimodale C. Mathieu - Univ. de Provence, France - La generation de reponses dans le systeme d'interrogation de bases de donnees en langage naturel: SIGAR O. Nouali - CERIST, Algerie - Using Parsing Predictions for Lexical Correction K. Klebestis, Tech. Univ. of Vienna, Austria WEDNEDAY, APRIL 13 9-10am Invited Lecture 2: Multi-Paradigm Machine Learning Prof. Hojjat Adeli - Ohio State Univ., USA 10:30-12:30am SESSION 3A: Programming Paradigms, Chair: R. Mittermeir - Univ. of Klagenfurt, Autriche - Representation des Acteurs du langage STUDIO A. Hadjadji & L. Frecon - INSA Lyon, France - Modelisation et Simulation des Systemes de production par Objets X.J. Ye - EMSE, France - Une meilleure approche de la compilation sans echec A. Mehemmel - USTHB, Algerie - Tempo: A Software Process Model Based on Object Oriented Paradigms and views N. Belkhatir - IMAG, France 10:30-12am SESSION 3B: Expert Systems, Chair: F. Kamoun - ENSI, Tunisie - Genetic Expert Systems M. Faussey - FNA Lab. IL., USA - Rule Checking Expert System, RCES, using First Order Predicate Logic I. A. Hamid - Tohoku Univ. & S. Ohsuga - Univ. of Tokyo, Japan - Un modele Hypertexte Expert por une navigation contextuelle R. Deschamps & C. Cherifi - Univ. de Pau, France 2-3:30pm SESSION 4A: Semantics Specification, Chair: A. Mili - Univ. of Ottawa, Canada - Composants semantiques pour l'ecriture de compilateurs J. Farre - Univ. de Nice-Sophia Antipolis, France - From Demonic Semantics to Loop Construction: A Relation Algebraic Approach A. Alikacem, S. Sghaier, J. Desharnais, M. El Ouali & F. Tchier - Univ. Laval, Canada - Algebre et Semantiques pour les programmes logiques M. Belmesk - USTHB, Algeerie 2-3:30pm SESSION 4B: Algorithms and Evaluation, Chair: M. Bettaz - Univ. de Constantine, Algerie - Evaluation de programmes Prolog par generation d'analyseurs syntaxiques I. Foucherot & F. Jacquenet - Univ. de Bourgogne, France - A New Algorithm for Proving Termination by Polynomial Interpretations N. Aoumeur - Univ. d'Oran, Algerie - Extension de la PLC pour le traitement des contraintes sur les sequences H. Zidouh, P. Baptiste & B. Ledgard - Univ. de Besancon, France 4-5:30 pm SESSION 5A: Specification and Validation- Concurrency, Chair: T. Bennani - EMI, Rabat, Maroc - Algorithms for Scheduling Real-time Concurrent Applications M. Filali - IRIT, Toulouse, France - VALID: Un environnement formel d'aide au developpement des systemes concurrents et temps reel, base sur la logique de reecriture A. Attoui & A. Hasbani - Univ. Blaise Pascal, France - Schemas de traduction Grafcet/occam2 Z. Remaki - INSA Lyon, France 4-5:30pm SESSION 5B: Learning and Networks, Chair: A. Hocine - Univ. de Pau, France - Introduction des techniques d'apprentissage automatique et d'acquisition des connaissances dans l'analyse de securite des systemes de transport guides H. Hadj Mabrouk - INRETS, France - Intelligence artificielle distribuee et modelisation par reseaux a files: application aux protocoles A. El Fallah-Seghrouchni - Univ. Paris 6, France & Y. Souissi - EMI, Maroc - Structure neurale d'un systeme d'inference flou: fondements et formalisation R. Hartani, S. Hayat, S. Sellam - INRETS; B. Bouchon-Meunier, P. Gallinari - Univ. Paris 6 THURSDAY, APRIL 14 9-10am Invited lecture 3: Modelisation orientee objet pour la conception de systemes reepartis Prof. Gregor von Bochmann - Univ. de Montreal, Canada 10:30-12:30am SESSION 6A: Specification and Validation, Chair: V. Berzins - NPS, Monterey, USA - A Polymorphic Extension to Nederpelt's Lamda Calculus A. Coste - IRIT, France - Infinite Objects in a Constructive Theory of Operations and Types A. Hamie - Univ. of Essex, England - Towards a New Way of Parametrization R. Grosu & D. Nazareth - Univ. of Munchen, Germany - Un environnement de programmation et de verification pour LDS et LOTOS A. Cavalli - INT, France 10:30 - 12am SESSION 6B: OO Distributed Systems Chair: G. Pujolle - MASI, Univ. de Versailles, France - Two Orthogonal Object Levels for Programming Reliable Distributed Software B. Garbinato, R. Guerraoui & K.R. Mazouni - EPL, Suisse - DOMAINS: Une plate-forme orientee objet pour la gestion des systemes repartis R. Boutaba - Univ. Paris VI, France & A. Benkiran - EMI, Maroc - Evolution des specifications de systemes distribues: cas d'un systeme telephonique simplifie M. Erradi - ENSIAS, Maroc & M. Faci - Univ. of Ottawa, Canada 2-3:30pm SESSION 7A: DBMS - Schema Evolution, Chair: N. Belkhiter - Univ. Laval, Canada - Fiabilite des applications, perennite et coherence des informations d'une base de donnees autorisant l'evolution de schema B. Benatallah & M.C. Fauvet - IMAG, France - Gestion et evolution generique des schemas dans l'environnement Adele M. Ahmed-Nacer & J. Estubier - IMAG, France - Using an Object-Oriented Methodology to Generate an Optimized Relational Schema F. Boufares - Univ. Paris XIII, France 2-3:30pm SESSION 7B: Distributed Systems, Chair: M. Diaz - LAAS, Toulouse, France - Controle et extension des systemes a evenements discrets totalement et partiellement observables A. Khoumsi, G.v. Bochmann & R. Dssouli - Univ. de Montreal, Canada - Proposition d'un mecanisme pour le placement dynamique de processus dependants C. Bernon & A. Sayah - IRIT, France - Design of AMS, an Atelier for Modelling and Simulating Open Communication Systems A. Cohen & R. Mrabet - ULB, Belgique 4-5:30pm SESSION 8A: Object Oriented DBMS, Chair: P. Cointe - Ecole des Mines, Nantes, France - MOSAIC: conception orientee de bases de donnnees et d'applications interactives F. Brissaud, M. Chabre-Peccoud, J.L. Cheval & J.P. Giraudin - IMAG, France - Un modele de donneees base sur le contenu pour la manipulation d'objets complexes N. Mouaddib, Y. Lahlou - CRIN, France & G. Halin- Univ. de Metz, France - Vers un systeme de controle de l'integrite pour les SGBD objets B. Defude - INT, France & H. Martin - IMAG, France 4-5:30pm SESSION 8B: Modelling and Distributed Systems, Chair: O. Rafiq - Univ. de Pau, France - Compiling Temporal Logic Specifications into Observers O. Drissi-Kaitouni - Univ. Hassan II, Maroc & C. Jard - IRISA, France - Selection des tests a partir de specifications orientees objets E.H. Htite, R. Dssouli & G.v. Bochmann - Univ. de Montreal, Canada - EGL: A Lotos-Based Environment for the Design of Distributed Systems A. Obaid - UQAH, Canada & F. Abouzaid - Univ. Hassan II, Maroc General Chair Abdelfdil Bennani, ENSIAS, B.P. 713, Rabat, Morocco Program chair Abdelhamid El Iraki (E.N.I.M., Dept. Informatique, B.P. 753, Rabat, Morocco) Montasser Ouaily (Mission Universitaire Tunisienne a Montreal, Canada H2Y 2W7) Program Committee H. Adeli (Ohio State Univ.) B. El Ayeb (Univ. of Sherbrooke) E. Astesiano (Univ. of Genova) A. El Iraki (ENIM, Rabat) K. Barkaoui (CNAM, Paris) L. Feraud (Univ. Toulouse III) B. Belkhouche (Tulane Univ.) J.P. Finance (Univ. of Nancy) C. Ben Yelles (Univ. of Algiers) M. Ghallab (LAAS, Toulouse) A. Benkiran (EMI, Rabat) Y. Hlal (EMI, Rabat) A. Bennani (ENSIAS, Rabat) A. Hocine (Univ. of Pau) R. Berghammer (Univ. of Munich) C. Kaiser (CNAM, Paris) V. Berzins (Monterey, CA) Luqi (Monterey, CA) M. Bettaz (Univ. of Constantine) A. Mili (Univ. of Ottawa) M. Bidoit (LIENS, Paris) R. Mittermeir (Univ. of Klagenfurt) N. Boudriga (Univ. of Tunis) A. Mouradi (Univ. Mohamed V. Rabat) E.H. Bouyakhf (Univ. Mohamed V, Rabat) F. Orejas (Univ. of Barcelone) C. Choppy (Univ. Paris-Sud) M. Ouaily (MUT, Montreal) P. Cointe (Ecole des Mines, Nantes) G. Pujolle (Univ. of Paris VI) F. D'Hautcourt (ULB, Brussels) O. Rafiq (Univ. of Pau) J. Desharnais (Univ. Laval) G. Scollo (Univ. of Twente) M. Diaz (LAAS, Toulouse) M. Sellami (Univ. of Annaba) H. Ehrig (Univ. of Berlin) Y. Slimani (Univ. of Tunis) Steering Committee M. Bettaz, Chair M. Boudriga, A. Mili, Z. Sahnoun, members Organizing Committee Promotion: M. Bennani (ENSIAS, Rabat) Tutorials: B. Idrissi (EMI, Rabat) Local arrangements: A. Janati (ENSIAS, Rabat) Registration: K. Ouazzani (ENIM, Rabat) Proceedings: F. Regragui (Fac. de Sciences, Rabat) Information Program Abdelhamid El Iraki MCSEAI'94, c/o ENIM B.P. 753, Rabat-Agdal, Morocco Tel: (212.7)77.13.60/77.45.17 Fax: (212.7)77.10.55 Organization Maria Bennani MCSEAI'94, c/o ENSIAS B.P. 713, Rabat-Agdal, Morocco Tel: (212.7)77.73.17/77.85.79 Fax: (212.7)77.72.30 MCSEAI'94 Rabat, 11-14 April 1994 REGISTRATION FORM To be returned with the payment to: MCSEAI'94, MIPS-MAROC, c/o ENSIAS, B.P. 713, Rabat-Agdal, MOROCCO Name:............................................................. Organism:......................................................... Address:.......................................................... City:............................................................. Telephone:........................................................ Country:.......................................................... Fax:.............................................................. Want to be registered to: Conference: ____ Tutorial 1: ____ or Tutorial 2: ____ Registration Fee: Conference: Before February 28 Members* DH: 2700, FF: 1700, US$: 300 Maghrebian Reesidents (Academic) DH: 1200, FF: 750, US$: 140 Others DH: 3500, FF: 2200, US$: 400 After February 28 Members* DH: 3240, FF: 2050, US$: 360 Maghrebian Residents (Academic) DH: 1440, FF: 900, US$: 170 Others DH: 4200, FF: 2700, US$: 480 This registration fee includes proceedings, luncheons, breaks and a banquet Tutorial: Before February 28: Members* DH: 750, FF: 500, US$: 100 Maghrebian Residents (Academic) DH: 500, FF: 320, US$: 60 Others DH: 1000, FF: 650, US$: 120 After February 28 Members* DH: 900, FF: 600, US$: 120 Maghrebian Residents (Academic) DH: 600, FF: 390, US$: 70 Others DH: 1200, FF: 780, US$: 145 This registraiton fee includes documentation, luncheon and breaks Payment mode: ___ Money Order ("Virement") to MIPS-Maroc, Bank: SGMB Rabat-Kays No 810000070000503087023 ___ Check ("Cheque bancaire") to MIPS-Maroc ___ Order Form ("Bon de commande") * Members of MIPS, IEEE, AFCET, IFIP and Program Committee. Please (Re)Distribute-- following the latex-version. Thanks, bea, ayeb@dmi.usherb.ca ******************************************************************************* * .sig space is to rent. ******************************************************************************* -----------------------------CUT-HERE-LaTeX-Version------------------------------- \documentstyle[12pt,fullpage]{article} \begin{document} \title{Call for Participation} \author{Final Program} \date{} \maketitle \bigskip \begin{center} Third Maghrebian Conference on Software\\ Engineering and Artificial Intelligence\\ MCSEAI'94\\ {\it Rabat, 11-14 april 1994}\\ {\bf Under the High Patronage of His Majesty Hassan II} \end{center} \bigskip \begin{center}CONFERENCES\\ TUTURIAL\\ EXHIBITION \end{center} \bigskip \begin{center} {\bf Organizer}\\ \bigskip MIPS\\ (Maghrebian Information Processing Society)\\ \bigskip Sponsors\\ IFIP (Geneva) \quad IEEE Computer Society - Washington \quad AFCET - Paris \end{center} \newpage \begin{center} {\bf Presentation} \end{center} \noindent The Maghrebian Information Processing Society (MIPS), which is currently being formed from existing computer societies of Maghrebian countries, continues with the organization of two biannual Maghreb-wide series of event: \begin{enumerate} \item[$\cdot$] A series of biannual conferences on software engineering and artificial intelligence, held in the spring of even numbered years, \item[$\cdot$] A series of biannual schools on Computer Science, held in the fall of odd numbered years. \end{enumerate} \noindent The Third Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'94) will be held from April 11th to 14th 1994, in Rabat, Morocco. Its intent is to build on the background of previous conferences (Constantine'89 and Tunis'92) by identifying areas of research and development within software engineering and artificial intelligence, that are of interest for the world at large, and for the maghrebian region in particular. \begin{center} Events \end{center} As for previous conferences, the MCSEAI'94 will comprise a series of: \begin{enumerate} \item[$\cdot$] 2 Tutorials presented in parallel, \item[$\cdot$] 3 invited lectures presented in plenary sessions, \item[$\cdot$] 50 selected papers presented in 2 parallel sessions, \item[$\cdot$]and an exhibition \end{enumerate} \noindent The tutorials, lectures and papers consider many areas of Software Engineering and Artificial Intelligence, although a special emphasis is placed on the following topics: Software Development (Methods, Tools and DBMS), Programming Paradigms (Functional, Logic and OO), Software Specification and Validation, Foundation of Expert Systems and AI, Knowledge Representation and Automation, and Distributed Systems. \\ \noindent Given such a full program, it is not be expected that one attendee could follow all of the parallel sessions. However, in order to provide as great a choice as possible, the attendee will be allowed access to all sessions and invited lectures except the tutorials for which the registration is done apart. Finally, an excursion to Marrackech is planned for the last two days (15 to 16 April 1994). \pagebreak \begin{center} Tutorials\\ Monday, April 11 \end{center} \noindent A series of 2 one-day tutorials will be organized in parallel on Monday, April 11. Given by internationally renowned specialists, these tutorials are intended to provide an initiation to software engineering and artificial intelligence techniques and tools and state-of-the-art in particular application areas. Registration for the tutorials is not included in the conference fee. \bigskip \begin{center} Tutorial 1\\ L'approche orient\'ee objet dans tous ses \'etats\\ M. Bouzeghoub (MASI, Univ. Versailles)\\ \& P. Cointe (\'Ecole des Mines, Nantes) \end{center} \noindent L'approche objet a fait irruption dans de nombreux domaines de l'informatique, allant des langages de programmation aux interfaces, en passant par les bases de donn\'ees et les m\'ethodes de conception. S'il existe un noyau de concepts communs \`a tous ces domaines, l'utilisation n'est pas toujours uniforme et des contraintes d'impl\'ementation sp\'ecifiques caract\'erisent chacun des domaines. Ce tutorial a pour objectif principal de faire un \'etat de l'art sur l'approche objet. Apr\`es une synt\`ese des concepts de base, les diff\'erents domaines d'application sont pr\'esent\'es avec leurs sp\'ecificit\'es, leurs contraintes et leurs perspectives. Des exemples de langages, de SGBD, de m\'ethodes et d'environnements de d\'eveloppement d'interfaces illustreront la mise en oeuvre de cette approche. \bigskip \begin{center} Tutorial 2\\ \'El\'ements de logique et aspects temporels dans les SBC\\ B. El Ayeb (Univ. de Sherbrooke)\\ \& M. Ghallab (LAAS, Toulouse) \end{center} \noindent L'objectif de ce tutorial est d'introduire dans la premi\`ere demi-journ\'ee les concepts de base de la logique sous l'angle de la m\'ecanisation du raisonnement en IA. Ainsi, il sera introduit les notions de base relatives aux termes, \`a la substitution, \`a l'unification et filtrage des termes, le calcul des propositions, le concept de mod\`ele et des interpr\'etations ainsi que les syst\`emes formels. Enfin, cette l\`ere partie abordera les composantes du calcul des pr\'edicats d'ordre un et pr\'esentera quelques exemples de m\'ecanisation du raisonnement. Dans la seconde demi-journ\'ee, le tutorial abordera les aspects temporels dans les SBC. Cette 2e partie s'int\'eressera aux approches propos\'ees en IA pour une appr\'ehension correcte du temps dans des t\^{a}ches diverses (interpr\'etation dans des environnements \'evolutifs, raisonnement sur le changement en vue de planification ou de contr\^{o}le etc.). Le tutorial s'int\'eressera aux approches dites r\'eifi\'ees dont la particularit\'e est de traiter le temps par des repr\'esentations et des algorithmes sp\'ecifiques. L'expos\'e pr\'esentera un \'etat de l'art sur ces questions en d\'etaillant certains algorithmes et en illustrant leur mise en oeuvre sur des exemples simples. \\ \\ \begin{center} TUESDAY, APRIL 12\\ WELCOME\\ 9:30-10:30 am OPENING\\ Welcome address: A. Bennani-ENSIAS\\ Program overview: A. El Iraki-ENIM \& M. Ouaily-MUT\\ 11-12am Invited lecture 1:\\ Industrial Application of Software Eng. as the Victim of Programming, Prof. Herbert Weber - Univ. of Dortmund, Germany, Speaker of EUREKA Software Factory\\ \end{center} ~\\ 2-3:30 pm SESSION 1A: Information Systems, Chair: F. D'Hautcourt - ULB, Belgique\\ - ProMISE-a Process Model for Information System Evolution\\ G. Scherrer, A. Oberweis \& W. Stucky - Univ. of Karlsruhe, Germany\\ - Combining Software Engineering and Artificial Intelligence Approaches to Construct and Validate Software Systems\\ J. Siddiqi \& I. Morrey - Sheffield Hallam Univ., England\\ - A Low Level Storage Manager Supporting the Development of Advanced Information Systems J. Basancenot, L. Hammami, P. Pucheral - Univ. de Versailles J.M. Th\'evenin - Univ. Toulouse I, France\\ \\ 4-5:30pm SESSION 2A: Software Engineering Methods, Chair: R. Belmokhtar - IMEG, Rabat, Maroc\\ - Apports de la m\'ethode de conception orient\'ee objet MEMO dans la mise en place d'outils CASE int\'egrables\\ H. Hadjami Ben Ghezala - ENSI, F. Kamoun, Y. Jamoussi \& S. Zbidi - CNI, Tunisie\\ - Intelligent Component Retrieval for Software Reuse\\ H. Mili, O. Marcotte \& A. Kabbaj - UQAM, Canada\\ - Vbool, une extension d'Eiffel int\'egrant le concept de point de vue\\ S. Marcaillou - ARAMIIHS, France, A. Kriouile - ENSIAS, Maroc \& B. Coulette - ENSEEIHT, France.\\ \\ 2-3:30pm SESSION 1B: Knowledge Representation, Chair: M. Ghallab - LAAS, Toulouse, France\\ - Dynamique et logique \'epist\'emique\\ J.L. Cavarero \& J.M. Begue - Univ. de Nice-Sophia Antipolis, France\\ - Processeur coop\'eratif d'acquisition et de repr\'esentation des connaissances\\ R. Cousin, E. Brugarolas \& C. Tawbi - IRIT, France\\ - Repr\'esentation des connaissances conditionnelles\\ S. Benferhat, D. Dubois \& H. Prade - IRIT, France\\ \\ 4-5:30 pm SESSION 2B: AI-Reasoning, Chair: B. El. Ayeb - Univ. de Sherbrooke, Canada\\ - Une m\'ethode de deduction automatique pour une logique multimodale\\ C. Mathieu - Univ. de Provence, France\\ - La g\'en\'eration de r\'eponses dans le syst\`eme d'interrogation de bases de donn\'ees en langage naturel: SIGAR\\ O. Nouali - CERIST, Alg\'erie\\ - Using Parsing Predictions for Lexical Correction\\ K. Klebestis, Tech. Univ. of Vienna, Austria\\ \\ \begin{center} WEDNEDAY, APRIL 13\\ 9-10am Invited Lecture 2: Multi-Paradigm Machine Learning\\ Prof. Hojjat Adeli - Ohio State Univ., USA\\ \end{center} ~\\ 10:30-12:30am SESSION 3A: Programming Paradigms, Chair: R. Mittermeir - Univ. of Klagenfurt, Autriche\\ - Repr\'esentation des Acteurs du langage STUDIO\\ A. Hadjadji \& L. Fr\'econ - INSA Lyon, France\\ - Mod\'elisation et Simulation des Syst\`emes de production par Objets\\ X.Y. Ye - EMSE, France\\ - Une meilleure approche de la compilation sans \'echec\\ A. Mehemmel - USTHB, Alg\'erie\\ - Tempo: A Software Process Model Based on Object Oriented Paradigms and views\\ N. Belkhatir - IMAG, France\\ \\ 10:30-12am SESSION 3B: Expert Systems, Chair: F. Kamoun - ENSI, Tunisie\\ - Genetic Expert Systems\\ M. Faussey - FNA Lab. IL., USA\\ - Rule Checking Expert System, RCES, using First Order Predicate Logic\\ I. A. Hamid - Tohoku Univ. \& S. Ohsuga - Univ. of Tokyo, Japan\\ - Un mod\`ele Hypertexte Expert por une navigation contextuelle\\ R. Deschamps \& C. Cherifi - Univ. de Pau, France\\ \\ 2-3:30pm SESSION 4A: Semantics Specification, Chair: A. Mili - Univ. of Ottawa, Canada\\ - Composants s\'emantiques pour l'\'ecriture de compilateurs\\ J. Farre - Univ. de Nice-Sophia Antipolis, France\\ - From Demonic Semantics to Loop Construction: A Relation Algebraic Approach\\ A. Alikacem, S. Sghaier, J. Desharnais, M. El Ouali \& F. Tchier - Univ. Laval, Canada\\ - Alg\`ebre et S\'emantiques pour les programmes logiques\\ M. Belmesk - USTHB, Alg\'erie\\ \\ 2-3:30pm SESSION 4B: Algorithms and Evaluation, Chair: M. Bettaz - Univ. de Constantine, Alg\'erie\\ - Evaluation de programmes Prolog par g\'en\'eration d'analyseurs syntaxiques\\ I. Foucherot \& F. Jacquenet - Univ. de Bourgogne, France\\ - A New Algorithm for Proving Termination by Polynomial Interpretations\\ N. Aoumeur - Univ. d'Oran, Alg\'erie\\ - Extension de la PLC pour le traitement des contraintes sur les s\'equences\\ H. Zidouh, P. Baptiste \& B. Ledgard - Univ. de Besan\c{c}on, France\\ \\ 4-5:30 pm SESSION 5A: Specification and Validation- Concurrency, Chair: T. Bennani - EMI, Rabat, Maroc\\ - Algorithms for Scheduling Real-time Concurrent Applications\\ M. Filali - IRIT, Toulouse, France\\ - VALID: Un environnement formel d'aide au d\'eveloppement des syst\`emes concurrents et temps r\'eel, bas\'e sur la logique de r\'e\'ecriture\\ A. Attoui \& A. Hasbani - Univ. Blaise Pascal, France\\ - Sch\'emas de traduction Grafcet/occam2\\ Z. Remaki - INSA Lyon, France\\ \\ 4-5:30pm SESSION 5B: Learning and Networks, Chair: A. Hocine - Univ. de Pau, France\\ - Introduction des techniques d'apprentissage automatique et d'acquisition des connaissances dans l'analyse de s\'ecurit\'e des syst\`emes de transport guid\'es\\ H. Hadj Mabrouk - INRETS, France\\ - Intelligence artificielle distribu\'ee et mod\'elisation par r\'eseaux \`a files: application aux protocoles\\ A. El Fallah-Seghrouchni - Univ. Paris 6, France \& Y. Souissi - EMI, Maroc\\ - Structure neurale d'un syst\`eme d'inf\'erence flou: fondements et formalisation\\ R. Hartani, S. Hayat, S. Sellam - INRETS; B. Bouchon-Meunier, P. Gallinari - Univ. Paris 6\\ \\ \\ \begin{center} THURSDAY, APRIL 14\\ 9-10am Invited lecture 3:\\ Mod\'elisation orient\'ee objet pour la conception de syst\`emes r\'epartis\\ Prof. Gregor von Bochmann - Univ. de Montr\'eal, Canada\\ \end{center} ~\\ 10:30-12:30am SESSION 6A: Specification and Validation, Chair: V. Berzins - NPS, Monterey, USA\\ - A Polymorphic Extension to Nederpelt's Lamda Calculus\\ A. Coste - IRIT, France\\ - Infinite Objects in a Constructive Theory of Operations and Types\\ A. Hamie - Univ. of Essex, England\\ - Towards a New Way of Parametrization\\ R. Grosu \& D. Nazareth - Univ. of Munchen, Germany\\ - Un environnement de programmation et de v\'erification pour LDS et LOTOS\\ A. Cavalli - INT, France\\ \\ 10:30 - 12am SESSION 6B: OO Distributed Systems\\ Chair: G. Pujolle - MASI, Univ. de Versailles, France\\ - Two Orthogonal Object Levels for Programming Reliable Distributed Software\\ B. Garbinato, R. Guerraoui \& K.R. Mazouni - EPL, Suisse\\ - DOMAINS: Une plate-forme orient\'ee objet pour la gestion des syst\`emes r\'epartis\\ R. Boutaba - Univ. Paris VI, France \& A. Benkiran - EMI, Maroc\\ - \'Evolution des sp\'ecifications de syst\`emes distribu\'es: cas d'un syst\`eme t\'el\'ephonique simplifi\'e\\ M. Erradi - ENSIAS, Maroc \& M. Faci - Univ. of Ottawa, Canada\\ \\ 2-3:30pm SESSION 7A: DBMS - Schema Evolution, Chair: N. Belkhiter - Univ. Laval, Canada\\ - Fiabilit\'e des applications, p\'erennit\'e et coh\'erence des informations d'une base de donn\'ees autorisant l'\'evolution de sch\'ema\\ B. Benatallah \& M.C. Fauvet - IMAG, France\\ - Gestion et \'evolution g\'en\'erique des sch\'emas dans l'environnement Ad\`ele\\ M. Ahmed-Nacer \& J. Estubier - IMAG, France\\ - Using an Object-Oriented Methodology to Generate an Optimized Relational Schema\\ F. Boufares - Univ. Paris XIII, France\\ \\ 2-3:30pm SESSION 7B: Distributed Systems, Chair: M. Diaz - LAAS, Toulouse, France\\ - Contr\^{o}le et extension des syst\`emes \`a \'ev\'enements discrets totalement et partiellement observables\\ A. Khoumsi, G.v. Bochmann \& R. Dssouli - Univ. de Montr\'eal, Canada\\ - Proposition d'un m\'ecanisme pour le placement dynamique de processus d\'ependants\\ C. Bernon \& A. Sayah - IRIT, France\\ - Design of AMS, an Atelier for Modelling and Simulating Open Communication Systems\\ A. Cohen \& R. Mrabet - ULB, Belgique\\ \\ 4-5:30pm SESSION 8A: Object Oriented DBMS, Chair: P. Cointe - \'Ecole des Mines, Nantes, France\\ - MOSAIC: conception orient\'ee de bases de donnn\'es et d'applications interactives\\ F. Brissaud, M. Chabre-Peccoud, J.L. Cheval \& J.P. Giraudin - IMAG, France\\ - Un mod\`ele de donn\'ees bas\'e sur le contenu pour la manipulation d'objets complexes\\ N. Mouaddib, Y. Lahlou - CRIN, France \& G. Halin- Univ. de Metz, France\\ - Vers un syst\`eme de contr\^{o}le de l'int\'egrit\'e pour les SGBD objets\\ B. Defude - INT, France \& H. Martin - IMAG, France\\ \\ 4-5:30pm SESSION 8B: Modelling and Distributed Systems, Chair: O. Rafiq - Univ. de Pau, France\\ - Compiling Temporal Logic Specifications into Observers\\ O. Drissi-Kaitouni - Univ. Hassan II, Maroc \& C. Jard - IRISA, France\\ - S\'election des tests \`a partir de sp\'ecifications orient\'ees objets\\ E.H. Htite, R. Dssouli \& G.v. Bochmann - Univ. de Montr\'eal, Canada\\ - EGL: A Lotos-Based Environment for the Design of Distributed Systems\\ A. Obaid - UQAH, Canada \& F. Abouzaid - Univ. Hassan II, Maroc\\ \pagebreak \begin{center} General Chair\\ Abdelfdil Bennani, ENSIAS, B.P. 713, Rabat, Morocco\\ \bigskip Program chair\\ Abdelhamid El Iraki (E.N.I.M., Dept. Informatique, B.P. 753, Rabat, Morocco)\\ Montasser Ouaily (Mission Universitaire Tunisienne \`a Montr\'eal, Canada H2Y 2W7) \\ Program Committee\\ \end{center} \bigskip \begin{tabular}{llll} H. Adeli & (Ohio State Univ.) & B. El Ayeb & (Univ. of Sherbrooke)\\ E. Astesiano & (Univ. of Genova) & A. El Iraki & (ENIM, Rabat) \\ K. Barkaoui & (CNAM, Paris) & L. Feraud & (Univ. Toulouse III)\\ B. Belkhouche & (Tulane Univ.) & J.P. Finance & (Univ. of Nancy)\\ C. Ben Yelles & (Univ. of Algiers) & M. Ghallab & (LAAS, Toulouse)\\ A. Benkiran & (EMI, Rabat) & Y. Hlal & (EMI, Rabat)\\ A. Bennani & (ENSIAS, Rabat) & A. Hocine & (Univ. of Pau)\\ R. Berghammer & (Univ. of Munich) & C. Kaiser & (CNAM, Paris)\\ V. Berzins & (Monterey, CA) & Luqi & (Monterey, CA)\\ M. Bettaz & (Univ. of Constantine) & A. Mili & (Univ. of Ottawa)\\ M. Bidoit & (LIENS, Paris) & R. Mittermeir & (Univ. of Klagenfurt)\\ N. Boudriga & (Univ. of Tunis) & A. Mouradi & (Univ. Mohamed V. Rabat)\\ E.H. Bouyakhf & (Univ. Mohamed V, Rabat & F. Orejas & (Univ. of Barcelone)\\ C. Choppy & (Univ. Paris-Sud) & M. Ouaily & (MUT, Montr\'eal)\\ P. Cointe & (Ecole des Mines, Nantes) & G. Pujolle & (Univ. of Paris VI)\\ F. D'Hautcourt & (ULB, Brussels) & O. Rafiq & (Univ. of Pau)\\ J. Desharnais & (Univ. Laval) & G. Scollo & (Univ. of Twente)\\ M. Diaz & (LAAS, Toulouse) & M. Sellami & (Univ. of Annaba)\\ H. Ehrig & (Univ. of Berlin) & Y. Slimani & (Univ. of Tunis) \end{tabular} Steering Committee\\ M. Bettaz, Chair\\ M. Boudriga, A. Mili, Z. Sahnoun, members\\ Organizing Committee\\ Promotion: M. Bennani (ENSIAS, Rabat)\\ Tutorials: B. Idrissi (EMI, Rabat)\\ Local arrangements: A. Janati (ENSIAS, Rabat)\\ Registration: K. Ouazzani (ENIM, Rabat)\\ Proceedings: F. Regragui (Fac. de Sciences, Rabat)\\ ~\\ Information\\ Program\\ Abdelhamid El Iraki\\ MCSEAI'94, c/o ENIM\\ B.P. 753, Rabat-Agdal, Morocco\\ Tel: (212.7)77.13.60/77.45.17\\ Fax: (212.7)77.10.55\\ Organization\\ Maria Bennani\\ MCSEAI'94, c/o ENSIAS\\ B.P. 713, Rabat-Agdal, Morocco\\ Tel: (212.7)77.73.17/77.85.79\\ Fax: (212.7)77.72.30 MCSEAI'94\\ Rabat, 11-14 April 1994\\ \newpage ~\\ REGISTRATION FORM\\ To be returned with the payment to: MCSEAI'94, MIPS-MAROC, c/o ENSIAS, B.P. 713, Rabat-Agdal, MOROCCO\\ Name:............................................................\\ Organism:.........................................................\\ Address:.........................................................\\ City:.............................................................\\ Telephone:........................................................\\ Country:..........................................................\\ Fax:...................................................................\\ Want to be registered to: Conference $\Box$ \quad Tutorial1 $\Box$ \quad or Tutorial2 $\Box$\\ Registration Fee:\\ Conference:\\ Before February 28\\ Members\* DH: 2700, FF: 1700, US\$: 300\\ Maghrebian Reesidents (Academic) DH: 1200, FF: 750, US\$: 140\\ Others DH: 3500, FF: 2200, US\$: 400\\ After February 28\\ Members\* DH: 3240, FF: 2050, US\$: 360\\ Maghrebian Residents (Academic) DH: 1440, FF: 900, US\$: 170\\ Others DH: 4200, FF: 2700, US\$: 480\\ This registration fee includes proceedings, luncheons, breaks and a banquet \\ Tutorial:\\ Before February 28:\\ Members\* DH: 750, FF: 500, US\$: 100\\ Maghrebian Residents (Academic) DH: 500, FF: 320, US\$: 60\\ Others DH: 1000, FF: 650, US\$: 120\\ After February 28\\ Members\* DH: 900, FF: 600, US\$: 120\\ Maghrebian Residents (Academic) DH: 600, FF: 390, US\$: 70\\ Others DH: 1200, FF: 780, US\$: 145\\ This registraiton fee includes documentation, luncheon and breaks\\ Payment mode:\\ $\Box$ Money Order (''Virement'') to MIPS-Maroc, Bank: SGMB Rabat-Kays No 810000070000503087023\\ $\Box$ Check (''Ch\`eque bancaire'') to MIPS-Maroc\\ $\Box$ Order Form (''Bon de commande'')\\ \* Members of MIPS, IEEE, AFCET, IFIP and Program Committee. \end{document} -----------------------------CUT-HERE-LaTeX-Version-------------------------------