IX workshop internazionale su "Constraint Modelling and Reformulation", St Andrews, Gran Bretagna
6 Settembre 2010 - 6 Settembre 2010
Regno Unito
Il IX workshop internazionale dedicato a "Constraint Modelling and Reformulation" (Modellazione e riformulazione a vincoli) avrà luogo a St Andrews, in Gran Bretagna, il prossimo 6 settembre.
La programmazione a vincoli rappresenta una tecnologia dal grande potenziale in grado di modellare e risolvere problemi combinatori. Questo paradigma di programmazione non specifica il passo o la sequenza di passi da eseguire, ma specifica invece le proprietà della soluzione che deve essere individuata.
Nel corso dell'ultimo decennio, una quantità consistente dell'attività di ricerca è stata proprio dedicata alla modellazione e alla risoluzione dei problemi mediante i vincoli. La programmazione a vincoli costituisce un settore di ricerca che si è rivelato particolarmente utile per la gestione di applicazioni real-life complesse. Tuttavia, questa tecnologia rimane accessibile solo a un ristretto numero di esperti. Perché anche i non esperti possano utilizzare questo linguaggio di programmazione, è innanzitutto necessario semplificarlo.
In occasione del workshop si parlerà di:
- problemi di rilevo e metodologie utili per la modellazione dei problemi,
- individuazione delle tecniche di modellazione per la formulazione manuale o automatica dei modelli,
- identificazione dei criteri da utilizzare per l'analisi dei modelli e la creazione di tecniche pratiche per facilitare la scelta e l'eventuale combinazione di modelli alternativi,
- progettazione di linguaggi di modellazione e tecniche di riformulazione automatica di più alto livello.Per maggiori informazioni, visitare:
http://www.it.uu.se/research/group/astra/ModRef10/(si apre in una nuova finestra)
La programmazione a vincoli rappresenta una tecnologia dal grande potenziale in grado di modellare e risolvere problemi combinatori. Questo paradigma di programmazione non specifica il passo o la sequenza di passi da eseguire, ma specifica invece le proprietà della soluzione che deve essere individuata.
Nel corso dell'ultimo decennio, una quantità consistente dell'attività di ricerca è stata proprio dedicata alla modellazione e alla risoluzione dei problemi mediante i vincoli. La programmazione a vincoli costituisce un settore di ricerca che si è rivelato particolarmente utile per la gestione di applicazioni real-life complesse. Tuttavia, questa tecnologia rimane accessibile solo a un ristretto numero di esperti. Perché anche i non esperti possano utilizzare questo linguaggio di programmazione, è innanzitutto necessario semplificarlo.
In occasione del workshop si parlerà di:
- problemi di rilevo e metodologie utili per la modellazione dei problemi,
- individuazione delle tecniche di modellazione per la formulazione manuale o automatica dei modelli,
- identificazione dei criteri da utilizzare per l'analisi dei modelli e la creazione di tecniche pratiche per facilitare la scelta e l'eventuale combinazione di modelli alternativi,
- progettazione di linguaggi di modellazione e tecniche di riformulazione automatica di più alto livello.Per maggiori informazioni, visitare:
http://www.it.uu.se/research/group/astra/ModRef10/(si apre in una nuova finestra)