UITP'97 (version française)

INRIA Sophia-Antipolis, Lundi et Mardi, 1 et 2 Septembre 1997
[English language information] [Postscript version] [Colloque] [Sujets d'intérêt] [Soumissions] [Dates] [Comité de Programme] [Site] [Organisateur]

Le colloque

Ce colloque international fournit un lieu d'échange pour des idées et de la recherche sur l'analyse et la conception d'interfaces utilisateurs pour des assistants à la preuve de théorèmes. En particulier, il facilite la fertilisation croisée entre les domaines de l'interaction homme-machine et la preuve mécanique de théorèmes.

Cette série de colloques a été initiée par la compréhension que la difficulté d'utiliser des logiciels de preuve de théorèmes puissants provenait souvent d'interfaces utilisateurs faibles. Il y a un fossé entre les connaissances requises des concepteurs de ces interfaces et la pratique courante dans la conception d'interfaces. Des solutions efficaces demandent une collaboration entre les praticiens de l'interface homme-machine et les auteurs et utilisateurs des logiciels existants pour la preuve de théorème.

en 1995 le premier colloque de la série fut accueilli par le "Department of Computer Science" à l'Université de Glasgow. Un rapport bref fut publié dans FACS Europe et est disponible sur le réseau.

En 1996 le second colloque a été accueilli par l'Université de York.
Des actes de ce colloque sont disponible sous forme électronique à l'adresse suivante: http://www.cs.york.ac.uk/~nam/uitp/proceedings.html

Il existe une liste d'adresses électronique pour diffuser des informations sur cette série de colloques et pour discuter des thèmes associés aux interfaces utilisateurs pour les prouveurs de théorèmes. Pour s'abonner, envoyez un courrier électronique à: uitp-request@dcs.gla.ac.uk. Les message peuvent être envoyé à la liste à l'adresse suivante: uitp@dcs.gla.ac.uk. Toutes les informations à propos du colloque pour l'année 97 seront diffusée par cette liste.

Sujets d'intérêt

Le thème du colloque est l'étude des interfaces pour les assistants à la preuve de théorèmes et toutes les soumissions pertinentes seront étudiées. Les articles sur les sujets suivants recevront une attention particulière.

Soumissions

La longueur des articles peut atteindre 8 pages. De plus, les démonstrations d'outils sont invités. Une page de garde indiquant le nom de l'auteur, une adresse électronique et une adresse postale, le titre et le résumé du papier et si une démonstration est prévue devra être fournie.

Les soumission peuvent envoyées soit électroniquement, avec la page garde comme le corps d'un message et l'article comme inclusion postscript à

Yves.Bertot@sophia.inria.fr
ou sous forme de quatre copies papier à
Yves Bertot
UITP '97
INRIA Sophia-Antipolis,
2004, route des lucioles, B.P. 93,
06902 Sophia Antipolis Cedex,
France
Cet appel à publication est également disponible sous forme postscript.

Dates

Date limite de soumission 7th April 1997
Notification d'acceptation 16th June 1997
Papiers terminés 15th July 1997
Intention de participer 15th July 1997
Colloque 1-2 September 1997

Programme Committee

Site

Ce colloque sera accueilli par INRIA Sophia-Antipolis dans le sud de la France. Ce centre de recherche est situé près d'Antibes, non loin de l'aéroport de Nice.

Organisateur

Yves Bertot
Remonter à la page du projet CROAP.
Veuillez envoyer tous vos commentaires sur cette page à Yves Bertot
Last modified: Fri Dec 6 16:38:27 MET