English Version
Bonas, France
15-18 Septembre 1999
[Postscript
|ASCII]
Thèmes |
Lieu |
Information |
Soumission |
Invités |
Comité |
Organisateurs |
Soutiens
Liste des résumés
| L'approche algébrique pour la spécification et le développement de systèmes informatiques, qui était initialement une méthode formelle pour les types abstraits de données, inclut aujourd'hui la conception formelle de systèmes matériels et logiciels intégrés, de nouveaux cadres de spécification, de nouveaux paradigmes de programmation (programmation orientée objet, logique, ou fonctionnelle d'ordre supérieur), ainsi qu'un large éventail d'applications (comportant notamment les systèmes d'information, les systèmes concurrents et distribués, etc.). |
English Version |
Les sujets de ce colloque comprennent (sans que cette liste soit limitative) :
Ce colloque fournira une occasion de présenter des travaux récents et en cours, de confronter les nouvelles idées et d'identifier les futurs défis. Il permettra aux jeunes chercheurs de connaître des collègues d'autres pays et de maintenir une communauté de première importance mondiale dans le domaine.
Les langues officielles du colloque sont le français et
l'anglais.
| Le colloque WADT'99 se tiendra au Château de Bonas, près de Toulouse, la semaine précédant le congrès FM'99 (World Congress on Formal Methods). Le Château est un lieu très agréable fournissant des services modernes pour des conférences (incluant une piscine !). Le nombre de places disponibles au Château est limité. Les participants qui sont pré-inscrits seront logés prioritairement dans les locaux du centre de conférences. Ils seront avertis des détails concernant l'inscription finale à WADT'99 en juin. L'information sera aussi disponible sur le Web. La liste des participants pré-inscrits peut être consultée en cliquant ici. |
|
Venue:
Les participants sont attendus Mardi 14 Septembre avant le diner
(c'est-à-dire autour de 19h30). Un transport par bus sera organisé
entre Toulouse (gare SNCF et aéroport) et Bonas.
Le bus devrait partir aux alentours de 16h (à confirmer).
Un mél sera envoyé aux participants inscrits pour qu'ils tiennent compte
au mieux des horaires.
La distance entre Toulouse et Bonas est de 100km, et il n'y a pas
de transport public standard sur ce trajet. Si vous ne pouvez pas
prendre le bus WADT, la seule façon de faire est de prendre
le train jusqu'à Auch, et de là, de prendre un taxi pour le
château de Bonas (près de Castera-Verduzan) distant de 24km.
Le coût du taxi est de l'ordre de 200FF (300FF en week-end).
Frais:
Les frais pour participer à WADT sont de 2400FF. Ils comprennent le
transport de et à Toulouse, les frais de séjour durant la conférence
et les actes (volume LNCS Springer) qui seront publiés avec les
articles sélectionnés.
Si vous voulez vous inscrire (et si vous n'êtes pas dans la liste des pré-inscrits ni parmi les auteurs), envoyez un mél à wadt99@imag.fr, de préférence avant le 20 Juillet. Vous recevrez alors des informations précises pour faire cette inscription.
Autres informations:
Comme vous le savez certainement, Toulouse est une très belle ville,
aussi vous pouvez vouloir réserver un peu de temps pour la visiter.
La gare est à 10mn à pied du centre-ville. On peut trouver une information
sur Toulouse (et ses environs) à partir de l'adresse:
http://www.cert.fr/fm99/
L'information au sujet des horaires de train se trouve à http://www.sncf.fr/indexe.htm (avec version anglaise) et à http://www.sncf.fr/ Ou encore, on peut consulter: http://bahn.hafas.de/bin/query.exe/en.
Enfin, pour chercher un numéro de téléphone en France (par exemple
un taxi à Auch ;-) ) consulter:
http://www.pagesjaunes.fr/wjpm_pages_jaunes.cgi.
Ceux qui souhaitent faire un exposé à WADT'99 sont invité à soumettre un résumé ne dépassant pas une page. Les résumés doivent être envoyés par mel à wadt99@imag.fr (sous forme "texte") avant la date limite: 26 mai 1999. S'il s'agit de résumés de papiers complets disponibles, il est recommandé de les référencer et de les rendre accessibles sur le Web. À l'issue du colloque, certains auteurs seront sollicités par le comité de pilotage pour fournir des articles complets à paraître, après revue, dans les actes du colloque. Ces actes sont habituellement publiés en un volume des "Lecture Notes in Computer Science", chez Springer.
Dates importantes
|
Date limite de soumission: Notification aux auteurs: Résumés définitifs avant le: Dates du colloque: |
26 Mai 1999 21 Juin 1999 13 Juillet 1999 15-18 Septembre 1999 |
|
Michel Bidoit Hans-Jörg Kreowski Peter Mosses, chair Fernando Orejas Francesco Parisi-Presicce Donald Sannella Andrzej Tarlecki |
(Cachan, France) (Bremen, Allemagne) (Aarhus, Danemark) (Barcelona, Espagne) (Rome, Italie) (Edinburgh, Ecosse) (Warsaw, Pologne) |
Le colloque est organisé sous l'égide du groupe
WG1.3 (Foundations
of System Specification) de l'IFIP
Il reçoit un soutien logistique ou financier:
|
Didier Bert LSR-IMAG 681, rue de la Passerelle, BP 72 F-38402 Saint-Martin-d'Hères Cedex France |
Christine Choppy LIPN Institut Galilée, Université Paris XIII Avenue Jean-Baptiste Clément F-93430 Villetaneuse France |
Email: wadt99@imag.fr
|
|
URL de cette page: http://www-lsr.imag.fr/WADT99/WADT99-f.html Le site web est situé à l' Institut IMAG, Grenoble, France. |