Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!lll-winken!uunet!ssbell!mcmi!denny From: bechir@loria.crin.fr (Bechir EL AYEB) Newsgroups: news.announce.conferences Subject: CFP: TENTH TUNISIAN FRENCH SEMINAR OF COMPUTER SCIENCE Message-ID: <1043@mcmi.UUCP> Date: 12 May 89 00:00:09 GMT Expires: 22 May 89 23:00:00 GMT Sender: denny@mcmi.UUCP Reply-To: bechir@convex.crin.fr (Bechir EL AYEB) Organization: CRIN - INRIA, Nancy, France Lines: 199 Approved: denny@mcmi CALL for PARTICIPATIONS and TECHNICAL PROGRAMM TENTH TUNISIAN FRENCH SEMINAR OF COMPUTER SCIENCE MAY 23rd-25th, 1989 The Role of Languages in Programming Tuesday May 23rd 9:00 Opening, Welcome Session 1 : Design, I 9:30 Invited talk Gilles Kahn, INRIA-SophiA Antipolis, France "Langages et Environnements de Programmation" 10:30 Coffe break 11:00 "Object Orientation as an integrating Perspective on Programming" J.L. Knudsen, Univ of Aarhus, Denmark 11:30 "A Model for Communication in Programming Languages with buffered Message Passing". C.D. Marlin, Univ of Adelaide, Australia, and D. Freidel, Helwett Packard, USA 12:00 Lunch break Session 2 : Construction 14:00 "Une approche a la problematique de la construction assistee de programmes". M.L. Potet, LIFIA, Grenoble, France 14:30 "A Rigorous Treatment of stepwise Refinement". K. Diby, P. Mateti, Case Western Reserve Univ. USA 15:30 "Quelques Elements d'un Langage de Construction de Specification". J. Souquieres, CRIN, Nancy, France 15:30 Coffee break Session 3 : Parallelism 16:00 "Le Langage FP 2 pour une Methodologie de Specification et de Programmation des Protocoles de communication" Z. Belmesk, LIFIA, Grenoble, France 16:30 "Interpretation Parallele Asynchrone de Systemes d'equations" M.C. Englin, Univ de Besancon, J. Jullian, Univ de Besancon et CRIN, Nancy, France 17:00 "Al 1 : Un langage Concurrent pour Specifier et Valider des Algorithmes Distribues" A. Marcoux, C. Maurel, Univ de Toulouse France Wendnesday May 24th Session 4 : Specification and Prototyping 9:00 Invited talk "Les Langages de Programmation Fonctionels : Evolution Actuelle et applications". guy Cousinau, INRIA, France 10:00 Coffe break 10:30 "Apports d'un langage de 4eme Generation pour le Prototypage d'Applications". J.P. Ligat, C. Rolland, P. Collignon, Univ de Paris I, France 11:00 "The Specification of Logic Programs" A. Ferchichi, Univ de Tunis III, Tunisia 11:30 "Trio : A Logic Language for Executable Specification of Real Time Systems", C. Ghezzi, D. Mandrioli, A. Morzenti, Univ de Milano, Italia 12:00 "Application de Techniques de raffinement a la Specification de systemes de commandes vivants et sur de fonctionnement" J. Tankoano, Institut Africain d'Informatique, Gabon 12:30 Lunch Break Session 5 : Design II 14:00 "Executable Specification Languages : Design and implementation issues" B. Belkhouche, M. Bringmann, Tulane Univ, New Orleans, USA 14:30 "A Usage Count Scheme for Lucid" R. Bagai, Univ of Victoria, Victoria, Canada 15:00 "A Module-based Language for Parrallel Programming" E. Zehendner, T. Ungerer, Univ Augsburg, BRD 15:30 Coffee break Session 6 : Logic and Functional Programming 16:00 "La Theorie des Cathegories Appliquee a la Formation du Typage d'un Langage Fonctionnel de Manipulation d'Objets Complexes", C. Campioni, CNRS, Marseille, France 16:30 "Langages Ensemblistes et Transformations de Programmes", P. Facon, CNAM, Evry, France 17:00 "A Fusion of Logic and Functionnal Programming Based on Relations", R. Legrand, P. Bellot, LITP, Paris, France Thursday May 25th Session 7 : Parallelism 9:00 Invited talk "Algorithmique Parallele Appliquee" I. Lavallee, INRIA, France 10:00 Coffee break 10:30 "Programming and Proving Synchronizers" J.P. Bahsoun, C. Betoune, L. Feraud, Univ de Toulouse, France 11:00 "In Search of A Specification Language for Parallelism" N. Boudriga, Unvi of Tunis, and Y. Slimani, Univ of Oran and Univ of Tunis, UMA 11:30 "Readers/Writers Problem : A Distributed Solution and Description in Actor Language" A. Bouabdallah, L. Litzler, M. Naimi, Univ de Besancon, France 12:00 Lunch break Session 8 : Object Oriented Languages and Concepts 13:30 "De la Microprogrammation aux langages a Objets" J. Codani, INRIA, Rocquencourt, France 14:00 "Structuring in Software, Database and Knowledge-Based Systems: Common Concepts and their Support", R. Motsching-Pitirk, Univ Wien, Osterreich 14:30 "Relationships as Semantic Constructs in Object-Oriented Programming" H. Mili, UQUAM, Montreal, Canada; J. Siebert, Y. Intrator, GWU, Washington, USA 15:00 "The Hibol - 2 Environment as a Basis for Visual Programming of Business Objects", H. Wernhart, R. Mittermeir, Univ Klagenfurt Osterreich 15:30 Coffe break FORMULAIRE D'INSCRIPTION/REGISTRATION FORM May 22-25 Mai 1989 Hotel Karim, Gammarth, tunisie Tel(01)742 188 Tlx 14.152 Nom/Name____________________________Prenom/First Name__________________________ Institution:___________________________________________________________________ Adresse Professionnelle/Business Adress:_______________________________________ _______________________________________________________________________ _____________________________Tel:______________________________________ Ville/City:___________________________E-mail:__________________________ Table des Charges/Schedule of Fees: Inscription/Registration: Conference / Conference Tunisie/Tunisia Etudiants/Students:______________________50 DTU____________ ___________ Universitaire/Academic:__________________60 DTU____________ ___________ Industriel/Industrial:__________________100 DTU____________ ___________ France et Afrique/France and Africa 1000 FF_____________ ___________ Autres/Other:__________________________200$ US_____________:___________ L'inscription couvre les frais de participation, les dejeuners et pauses cafe, une copie des actes du seminaire, ainsi qu'un ticket au theatre de Tunis pour la date de cloture./ Registration fees cover the participation to the conference, lunches and coffee breaks, a copy of the proceedings, as well as a ticket to the closing perfor- mance at the theater of Tunis. Cout du logement pour le participant a la conference/ Hotel costs for participant to conference only: May 22-25 Mai: 3 nuits/3 nights single Double Tunisie/Tunisia:________________100 DTU_________80 DTU_________________ France et Afrique/ France and Africa:____________1000 FF_________800 FF_________________ Autres/Other:___________________ 200$US_________160$US_________________ Cout du logement pour le conjoint, conference (3 nuits)/ hotel cost for spouse, for conference (3 nights): Tunisie/Tunisia:________________63 DTU________________:________________ France et Afrique/ France and Africa:____________600 FF________________:________________ Autres/Other:___________________ 120$US_______________:________________ ______________ PAIMENT TOTAL/TOTAL PAYMENT: | | |______________| La nuit du 25 au 26 peut etre reservee pour votre compte par le comite. Priere de l'en avertir :[]/ The night between May 25 to 26 may be reserved for you by the committee. Please notify it by placing an X in the box:[] Mode de paiement/ Mode of payment: [] cheque bancaire ou postal/ check [] virement/ bank transfert Banque de Tunisie Agence El Menzah, No 551 649/E [] international Money order/ mandat postal international please send to: Comite d'organisation, 10eme Seminaire Tuniso Francais d'Informatique, Faculte des Sciences de Tunis, Belvedere 1002 Tunis. Tel: (01) 512 600, 662 886 Tlx: 13.162 E-mail: mili@tuniscni.uucp E-MAIL bechir@tycho@crin.fr POST Bechir El. AYEB CRIN BP 239 Campus Scientifique 54506 Vandoeuvre FRANCE PHONE: (+33) 83 91 20 00 poste 27-46