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.frbechir@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