Primo Workshop del Progetto MIURCoMeta - Computational Metamodels | ||
Dicembre 19-21, 2002
|
Hosted by
Dipartimento di Informatica
|
Supported by
Dipartimento di Matematica e Informatica
|
Il Progetto CoMeta nasce dalla constatazione di come lo sviluppo dell'informatica degli ultimi decenni abbia indicato con chiarezza che non esiste né il linguaggio di programmazione o di modellizzazione universale né una logica universale. Occorre pertanto convivere con una pletora di linguaggi e formalismi special-purpose ed essere pronti a concepire nuovi quadri concettuali. Non si vuole però ricominciare ogni volta da zero né lo studio della teoria di questi molteplici sistemi formali né lo sviluppo di strumenti per la loro manipolazione rigorosa. Il progetto si propone quindi come obiettivo l'individuazione, lo studio e lo sviluppo di `teorie quadro', ad un superiore livello di astrazione, all'interno delle quali mettere in luce gli aspetti che accomunano le teorie dei sistemi del primo metalivello. Solo mediante tali teorie ambiente è possibile stabilire risultati strutturali che permettano di non duplicare dimostrazioni di teoremi su strutture di livello inferiore, e costruire assistenti interattivi generali. Il progetto è organizzato in quattro filoni corrispondenti a quattro profili diversi sotto i quali considerare i metamodelli:
Dopo il kick-off meeting tenutosi a Milano (11 marzo 2002), il primo workshop annuale del progetto CoMeta si propone un duplice obiettivo:
La terza giornata sara` dedicata alla pianificazione delle attività future: secondo anno di CoMeta e possibili nuove proposte di progetto.
I partecipanti sono invitati a presentare i risultati ottenuti nell'ambito del progetto. Le poposte di presentazione dovranno essere inviate nei tempi e nelle modalità indicate nella sezione Contributi.
Gli atti consisteranno degli abstract di tutti i contributi con riferimenti ai lavori relativi. Saranno distribuiti ai partecipanti e resi disponibili sulla pagina web.
Proposte di presentazioni | Lunedì 25 Novembre, 2002 |
Abstract delle presentazioni | Mercoledì 4 Dicembre, 2002 |
Termine per la Registrazione | Venerdì 6 Dicembre, 2002 |
Inizio Workshop | Giovedì 19 Dicembre, ore 9:30 |
Fine Workshop | Sabato 21 Dicembre, ore 14:00 |