Strumenti ed algoritmi per la costruzione e l'analisi di sistemi

Dal 22 al 26 marzo 1999, ad Amsterdam (Paesi Bassi), si svolgerà TACAS'99, la quinta conferenza internazionale sugli strumenti ed algoritmi per la costruzione e l'analisi di sistemi. L'avvenimento fa parte di ETAPS'99, le conferenze europee congiunte sulla teoria e la pratica del software, una confederazione libera ed aperta delle conferenze e degli avvenimenti esistenti e di quelli a venire, rivolti ai ricercatori accademici ed industriali che lavorano nelle scienze di programmazione.

L'obiettivo dell'avvenimento è fornire un forum a ricercatori, sviluppatori ed utenti interessati a strumenti rigorosamente fondamentali per la costruzione e l'analisi di sistemi. Esso servirà per colmare il divario tra le diverse comunità, quali quelle devote ai metodi formali, al tempo reale, all'ingegneria di programmazione, ai protocolli di comunicazione, al software, alla verifica di teoremi e ai linguaggi di programmazione. Fornendo una sede per discutere di problemi comuni, euristica, algoritmi, strutture di dati e metodologie, TACAS mira a sostenere i ricercatori nella ricerca per migliorare l'utilità, l'affidabilità, la flessibilità e l'efficienza degli strumenti finalizzati a costruire sistemi.

Gli argomenti specifici, affrontati nel corso della conferenza, comprendono, tra gli altri:

- tecniche di verifica e di costruzione
- metodologie compositive e basate sul perfezionamento
- analisi eterogenee
- teoremi e controllo di modelli
- tecniche analitiche per sistemi di tempo reale, ibridi, probabilistici e critici dal punto di vista della sicurezza
- ambienti di strumenti e architettura
- applicazioni e studi analitici.

Per maggiori informazioni, rivolgersi a:

SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
USA
Tel. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(si apre in una nuova finestra)