Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali
Progetto MIUR PRIN 2005 n.2005-015491

+ english

Primo workshop

10 Aprile 2006
Padova, Dip. di Matematica Pura ed Applicata

11:30-12:30 presentazione dei responsabili

• F. Rossi: Progetto e unità di Padova
  [ Visualizza ]
• A. Dovier: unità di Udine
  [ Visualizza ]
• G. Delzanno: unità di Genova
  [ Visualizza ]
• S. Bistarelli: unità di Pescara
  [ Visualizza ]

12:30-13:30: presentazioni

• Nicola Policella
  Uncertainty in Project Scheduling
  [ Visualizza ]
• Luca Bortolussi
  Stochastic Concurrent Constraint Programming
  [ Visualizza ]
• Giorgio Delzanno
  Constraint Multiset Rewriting
  [ Visualizza ]

13:30-14:30: pranzo

14:30-15:30: presentazioni

• Marco Gavanelli
  Integrazione di tecniche di ricerca operativa e constraint programming per ottimizzazione multiobiettivo
  [ Visualizza ]
• Angelo Oddi
  Boosting the Performance of Iterative Flattening Search
  [ Visualizza ]
• Roberto Montagna
  Simulazione di sistemi (biologici) stocastici
  [ Visualizza ]
• K. Brent Venable
  Preferenze bipolari
• Pamela Peretti
  Defense trees for economic evaluation of security investments
  [ Visualizza ]

16:30-16:45: pausa

16:45-17:30: discussione

+ Progetto

• Obiettivo
• Linee di lavoro

+ Unità di ricerca

• Padova
• Udine
• Genova
• Pescara

+ Attività di ricerca

• T1: Estensione di formalismi esistenti
• T2: Applicazione delle tecniche di vincoli

+ Workshop

• 10 Aprile 2006
• 21 Marzo 2007

+ Risultati + Contatto

+ torna su

Progetto MIUR PRIN 2005 - Coordinatore Scientifico del Programma di Ricerca: Francesca Rossi