ETAPS'98 - Conferenza europea sulla teoria e la pratica del software

ETAPS'98, la conferenza europea sulla teoria e la pratica del software (European conference on Theory and Practice of Software), si svolgerà a Lisbona (Portogallo) dal 28 marzo al 4 aprile 1998. L'avvenimento è il primo di una rassegna con scadenza annuale, rivolto ai ricercatori sia della sfera accademica che industriale nel settore delle scienze informatiche.

La conferenza, che riceve il sostegno da parte del programma Formazione e mobilità dei ricercatori (FMR), coprirà un ampio ventaglio di argomenti sui quali dovrebbero essere presentati più di 100 documenti. Inoltre, saranno tenute sette conferenze a invito, mentre si terranno anche 9 seminari ristretti e 4 workshop tematici. Gli argomenti principali da coprire saranno:

- fondazioni di scienza del software e strutture di calcolo;
- approcci fondamentali all'ingegneria di software;
- simposio europeo sulla programmazione;
- conferenza internazionale sulla costruzione di compilazione;
- strumenti e algoritmi per la costruzione e l'analisi di sistemi.

I quattro workshops affronteranno argomenti relativi ai servizi di comunicazione avanzati; alla visualizzazione di questioni per metodi formali; ai metodi coalgebrici in informatica e alle tecniche di sviluppo algebrico.

Per maggiori informazioni, rivolgersi a:

Università di Lisbona
ETAPS 98
Dipartimento di informatica
Facoltà di scienze
Campo Grande
P-1700 Lisboa
Tel. +351-1-7500087; Fax +351-1-7500084
E-mail: etaps@di.fc.ul.pt

Le informazioni sono altresì disponibili sul World Wide Web al seguente indirizzo:

http://www.di.fc.ul.pt:80/~llf/etaps98/etaps.html(si apre in una nuova finestra)