Il Convegno internazionale di studi su «Logica, informatica, diritto» (Firenze, Palazzo dei Congressi, 6-10 aprile 1981)

• Pagine: 61-62

Page 61

L'Istituto per la documentazione giuridica, allo scopo d'indagare le possibilità e i limiti degli attuai sistemi d'information retrieval in campo giuridico e di valutare le esperienze compiute all'estero e in Italia nel settore dell'automazione delle procedure di formazione e applicazione del diritto, ha di recente pubblicato, nell'ambito di questa rivista, due volumi monografici dedicati all'individuazione dell'apporto della logica, della linguistica e della matematica all'evoluzione dell'informatica applicata al diritto.

Data l'importanza del tema e il vasto interesse suscitato su di esso, l'Istituto ha ritenuto opportuno promuovere un Convegno internazionale di studi dedicato appunto a «Logica, informatica, diritto», affidandone l'organizzazione a un Comitato composto dai proff. A. A. Martino ed E. Maretti e dal dott. C. Ciampi.

A tale Convegno, che si terrà a Firenze presso il Palazzo dei Congressi dal 6 al 10 aprile del corrente anno, parteciperanno relatori di fama internazionale. 1 lavori si articoleranno in nove sessioni:

1) teoria dei processi decisionali nel diritto;

2) abrogazione di norme, e decidibilità sintattica negli ordinamenti giuridici;

3) sistemi informativi e intelligenza artificiale nel diritto;

4) modelli matematici per l'informatica giuridica;

5) antinomia. La incompatibilità tra norme;

6) modelli semantici per l'informatica giuridica;

7) thesauri giuridici;

8) modelli operativi e sistemi giuridici;

9) uso di procedure automatiche nell'amministrazione della giustizia.

Parallelamente ai lavori, inoltre, si svolgeranno dimostrazioni pratiche ai terminali in relazione ai più importanti sistemi informativi giuridici esistenti nel mondo.

Il Comitato scientifico dei coordinatori presieduto dal prof. V. Frosini, è costituito da:

dott. R. Borruso, Corte di Cassazione, Roma;

prof...