bechir@crin.crin.fr (Bechir EL AYEB) (08/05/88)
CALL FOR PAPERS The computer science department of the University of Tunis II, Tunisia, and the "Institut National de Recherche en Informatique et Automatisme" (INRIA), France, organize the: TENTH TUNISIAN FRENCH SEMINAR OF COMPUTER SCIENCE in Tunis, Tunisia, May 23-25th 1989 THEME: THE ROLE OF LANGUAGES IN PROGRAMMING Sponsors: TIPS, Tunisia, AFCET, France, in cooperation with: IFIP, ACM (SIGPLAN, SIGSOFT), IEEE's Computer Society. TOPICS: programming languages; specification languages; design languages; query languages. IMPORTANT DATES: submission of papers: Nov 15th, 1988 notification of acceptance: February 1st, 1989 camera ready copies due: March 3rd, 1989 GUIDELINES FOR AUTHORS: Conference is bilingual (English-French), with simultaneous translation. Four copies of submission, in french: Prof J-P Finance, CRIN BP 239, 54506 Vandoeuvre France finance@crin.crin.fr in english: Dr A Mili, Faculte des Sciences 1002 Belvedere Tunisia mili@tuniscni.uucp / mcvax!inria!imag!tuniscni!mili (under test) Proceedings. Special issues in TSI (best papers in French) and JSS (best papers in English) PROGRAM COMMITTEE: R Babb (US) A Belghith (TN) M Ben Ahmed (TN) N Boudriga (TN) M Dupras (CDN) L Durieux (FR) J-P Finance (FR) A Gamache (CDN) MC Gaudel (FR) A Jaoua (TN) A Jerraya (FR) Ph Jorrand (FR) JP Jouannaud(FR) F Kammoun (TN) O Lecarme (FR) C Marlin (AUS) P Maurice (FR) F Mhidi (US) A Mili (TN) R Mittermeir (OST) M Moalla (TN) S Muchnick (US) J Mzali (FR) A Ohnishi (JAP) M Ouaily (US) C Pair (FR) L Qi (CHINA) A Quere (FR) JC Rault (FR) J Woodcock (UK) S Scahch (US) Y Slimani (ALG) J Urban (US) M Wirsing (FRG) J Wing (US) A V Lamsweerde (B) P N Robillard (CDN) MORE INFORMATION: you can write to: 10th TFSCS, Departement d'Informatique, Faculte des Sciences 1002 Belvedere Tunisia. Tel [216] (1) 512 600 / 662 886 Tlx: 13.162 or contact via E-mail: bechir@crin.crin.fr
bechir@crin.crin.fr (Bechir EL AYEB) (10/18/88)
The Computer Science department of the University of Tunis II (Tunisia) and the Institut National de Recherche en Informatique et Automatisme (France) organise the : TENTH TUNISIAN FRENCH SEMINAR OF COMPUTER SCIENCE Tunis, Tunisia, May 23-25 1989 Topic : The Role of Languages in Programming Sponsors : ACM, AFCET, IEEE, IFIP, TIPS. Objet. Ever since the beginnings of computing, languages have always been a hot topic : programming languages ; specification languages ; design languages ; query languages ; etc ... The importance of languages in pro- gramming is subject to debate : while some consider their role secondary, emphasizing methods and tools, others consider them critical for the acti- vity of programming, and continue their quest for ever more powerful lan- guages. The subject of this conference is to present, compare and assess vari- ous languages (existing or being developed) vis-a`-vis qualities that users consider important. A (non exhaustive) list of such qualities is given be- low : reuse, applicability of refinement techniques, ease of design, assoc- iated proof techniques, tunability, continuity vis-a`-vis specification notations, efficiency. These qualities can be realized by means of a number of quality factors, such as : modularity, inheritance, genericity. Submissions are sought (4 copies) according to these guidelines : the text must be typed on one side of sheets only, and must leave ample margins on both sides; it must not exceed 30 pages, doubled spaced ; the first page must include the complete identification of the author and his affiliation. Submissions are accepted in french and english : french contributions must be addressed to Prof. Jean-Pierre Finance, CRIN BP 239, 54506 Vandoeuvre- les-Nancy, France; english submissions must be addressed to Dr Ali Mili, Faculty of Sciences of Tunis, Belve'de`re 1002 Tunisia. Conference proceedings will be published. Futhermore, the best papers in english will be included in a special issue of the Journal of Systems and Software ; and the best papers submitted in french will be included in a special issue of Technique et Science Informatique. The conference will be preceded by a set of tutorials dealing with languages. IMPORTANT DATES: Deadline for submitting papers : November 15, 1988 Notification of acceptance : February 1st, 1989 Camera ready manuscripts due : March 3rd, 1989. Honoray Co-chairmen : The President of the University of Tunis II, Tunisia The President of INRIA, France Organizing Committee : Chairman : The Dean, Faculty of Sciences of Tunis Promotion : A. Belghith, S. Guemara El Fatemi, Y. Sorel Publicity : E. Bonnet, M. Gafsi, A. Hammouda Local Arrangements : N. Chakroun, A. Ferchichi, Ch. Mankai Treasury and Registration : F. Charrada, A. Jaoua Publication : H. Mehdi, E. Dridi, N. Sahli, K. Ben Salem Tutorials : M. Marrakchi, S. Ouerghi, H. Mhiri Exposition : M-K. Ben Rhouma, M. Temani, R. Marouane Program Committee : R. Babb (USA) A. Belghith (Tunisia) M. Ben Ahmed (Tunisia) N. Boudriga (Tunisia) M. Dupras (Canada) J-L. Durieux (France) J-P. Finance (program co-chairman, France) A. Gamache (Canada) M-C. Gaudel (France) A. Jaoua (Tunisia) A. Jerraya (France) Ph. Jorrand (France) J-P. Jouannaud (France) F. Kammoun (Tunisia) O. Lecarme (France) C. Marlin (Australia) P. Maurice (France) F. Mhidi (USA) A. Mili (program co-chairman, Tunisia) R. Mittermeir (Austria) M. Moalla (Tunisia) S. Muchnick (USA) J. Mzali (France) A. Ohnishi (Japan) M. Ouaily (USA) C. Pair (France) L. Qi (China) A. Que're' (France) J-C. Rault (France) P-N. Robillard (Canada) S. Schach (USA) Y. Slimani (Algeria) J. Urban (USA) A. Van Lamsweerde (Belgium) M. Wirsing (FRG) J. Wing (USA) J. Woodcock (UK) For more information : Organizing Committee of the 10th TFSCS, Computer Science Department, Faculty of Sciences of Tunis, 1002 Belve'de`re Tunisia. Tel : [216] 1 512 600, [216] 1 662 886. Tlx: 13.162. E-mail: bechir@crin.crin.fr
bechir@loria.crin.fr (Bechir EL AYEB) (05/12/89)
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