10º Workshop sugli aspetti quantitativi dei linguaggi di programmazione, Tallinn, Estonia
31 Marzo 2012 - 31 Marzo 2012
Estonia
Il decimo workshop sugli aspetti quantitativi dei linguaggi di programmazione si terrà dal 31 marzo al 1º aprile 2012 a Tallinn, in Estonia.
Gli aspetti quantitativi in informatica sono correlati all'uso di grandezze fisiche (come lo spazio, il tempo e la larghezza di banda) e quantità matematiche (tra cui la probabilità e le misure di affidabilità, sicurezza e fiducia ). Queste quantità hanno un ruolo centrale nel definire sia l'architettura, la progettazione del linguaggio, la semantica di un sistema e le metodologie e gli strumenti per l'analisi e la verifica delle proprietà di sistema.
Il workshop sarà un forum per discutere l'uso delle informazioni quantitative sia direttamente nel modello che come strumento per l'analisi dei sistemi. I temi riguarderanno tra l'altro:
- progettazione di linguaggi quantistici probabilistici in tempo reale e la definizione di modelli semantici per tali linguaggi;
- discussione di metodologie per l'analisi della probabilistica e tempistica, e di altre proprietà quantificabili e l'utilizzo delle risorse;
- analisi probabilistica di sistemi che non incorporano esplicitamente aspetti quantitativi;
- applicazioni per sistemi safety-critical, protocolli di comunicazione, sistemi di controllo, hardware asincrono e altri domini che coinvolgono aspetti quantitativi.Per ulteriori informazioni, visitare: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(si apre in una nuova finestra)
Gli aspetti quantitativi in informatica sono correlati all'uso di grandezze fisiche (come lo spazio, il tempo e la larghezza di banda) e quantità matematiche (tra cui la probabilità e le misure di affidabilità, sicurezza e fiducia ). Queste quantità hanno un ruolo centrale nel definire sia l'architettura, la progettazione del linguaggio, la semantica di un sistema e le metodologie e gli strumenti per l'analisi e la verifica delle proprietà di sistema.
Il workshop sarà un forum per discutere l'uso delle informazioni quantitative sia direttamente nel modello che come strumento per l'analisi dei sistemi. I temi riguarderanno tra l'altro:
- progettazione di linguaggi quantistici probabilistici in tempo reale e la definizione di modelli semantici per tali linguaggi;
- discussione di metodologie per l'analisi della probabilistica e tempistica, e di altre proprietà quantificabili e l'utilizzo delle risorse;
- analisi probabilistica di sistemi che non incorporano esplicitamente aspetti quantitativi;
- applicazioni per sistemi safety-critical, protocolli di comunicazione, sistemi di controllo, hardware asincrono e altri domini che coinvolgono aspetti quantitativi.Per ulteriori informazioni, visitare: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(si apre in una nuova finestra)