Circolo della Cultura e delle Arti

Il Circolo della Cultura e delle Arti di Trieste, fondato nel 1946 per volontà dello scrittore Giani Stuparich, segue con attenzione le trasformazioni sociali e culturali della città nel contesto regionale ed europeo, aggiornando di anno in anno il proprio programma di divulgazione.
In tre quarti di secolo di attività ha realizzato oltre seimila manifestazioni: conferenze, convegni, pubblicazioni, concerti, mostre, dibattiti, tavole rotonde, ospitando centinaia di personalità tra le più importanti della cultura.

Virgolette sx

Il Circolo - per tradizione consolidata - opera non limitatamente ai propri Soci, ma a vantaggio di tutta la collettività.
Le sue manifestazioni sono assolutamente gratuite ed aperte a tutti.

Virgolette dx

"Maestri triestini":
video ritratti

video Stuparich

Giani Stuparich

video Gambini

Quarantotti Gambini

video Rogers

Ernesto Nathan Rogers

Logo TSUSA

Partenariato CCA con
Il Rossetti - Teatro Stabile
del Friuli Venezia Giulia

programma trimestrale

Archivio Storico btn

Archivio Storico btn

Mercoledì 14 aprile 2021 - ore 17.30

Incontro con il prof. Eugenio Omodeo

A cura del prof. Andrea Sgarro

Uno dei sette problemi per il millennio proposti dal Clay Mathematics Institute nell'anno 2000 è noto con la sigla “P vs NP". Esso presenta una contiguità concettuale con il decimo dei 23 problemi che Hilbert proponeva, nell'anno 1900, come sfide per la matematica del XX secolo.

Per poter dare risposta al 10° problema di Hilbert occorreva esplicitare la nozione di algoritmo e dunque sviluppare una teoria della computabilità; da questa, con l'evolversi della tecnologia, si è diramato lo studio della complessità computazionale, che si domanda: “quanto tempo di calcolo e quanta memoria richiede la risoluzione di ciascun'istanza di un certo problema?"

Non di rado un algoritmo è atto alla risoluzione di un problema ma solo in linea di principio, in quanto esso richiede in qualche caso tempi di calcolo proibitivi; da ciò scaturisce la questione: “quali, fra i problemi algoritmicamente risolubili, sono davvero trattabili?"

C'è una pervasiva famiglia di problemi, detti NP-completi, dei quali ancor oggi non siamo in grado di dire se siano risolubili tramite algoritmi di complessità polinomiale. Sappiamo nondimeno che se uno di essi si rivelasse - in questa ben poco esigente accezione del termine - trattabile, tali allora risulterebbero anche tutti gli altri.

Questa comunicazione delineerà le nozioni centrali all'ambito della complessità computazionale, per poi approfondire il significato dell'NP-completezza. Esporrà alcuni problemi emblematici della famiglia NP, spiegherà in che senso ciascuno sia riconducibile agli altri. Esaminando uno dei più rappresentativi problemi di questa famiglia, quello di stabilire se un enunciato proposizionale sia soddisfacibile o meno, chiarirà infine perchè la sua risoluzione sembri esigere - allo stato odierno delle nostre conoscenze - un sia pur occasionale ricorso alla forza bruta.

 

Prof. Eugenio G. Omodeo – Nasce a Pisa e ha come campi di interesse: Automazione del ragionamento; Logica computazionale; Verifica automatica di dimostrazioni; Teoria computabile degli insiemi; Specifica di algoritmi e rapida prototipazione; Programmazione dichiarativa; Ambienti per la programmazione logica; Logica algebrica.

Dopo la laurea in Matematica conferitagli dall’Università di Padova (1975), Eugenio Omodeo conseguì i titoli di Master of Science (1979) e di Ph.D. (1984) in Computer Science presso la New York University, GSAS, sotto la supervisione di Martin Davis. Finché era all’NYU,

fruì di varie borse di studio del Consiglio Nazionale delle Ricerche italiano,di una research assistantship nel Dept. of Economics (1978/79, per conto di Andrew Schotter), e di una nel Computer Science Dept. (1979/80, per Jacob T. Schwartz).

Dal 1981 al 1989, Eugenio Omodeo fu dipendente di aziende—Tema ed Enidata—appartenenti all’ENI, il Gruppo nazionale idrocarburi dell’Italia. Prese parte (1981-1984) all’implementazione di un grande sistema computerizzato per la simulazione di reti di gasdotti e in seguito (1984- 1989) coordinò le attività R&D dell’Enidata nell’area di Advanced Information Processing. Il suo gruppo di lavoro, costituito da oltre 15 persone a Bologna,

prese parte in numerosi progetti finanziati dall’European Commission (CEC): Alpes (Esprit, P363 and P973), Epsilon (Esprit P530), SED (Esprit P1227); e in altre attività di ricerca sponsorizzate dall’ENI, fra le quali un progetto sulla programmazione dichiarativa con insiemi. Il fuoco di tutte queste attività era sulla programmazione dichiarativa e sue applicazioni in Intelligenza Artificiale; inoltre, esse riguardavano la rapida prototipazione.

In varie occasioni, Eugenio Omodeo è stato valutatore di progetti per conto della EU. Dal 2001 al 2004, è stato rappresentante dell’Italia per l’azione europea COST 274 (TARSKI).

Eugenio Omodeo divenne professore associato nel 1989 e intraprese la sua nuova attività presso l’Università di Udine; nel 1990 si trasferì all’Università “La Sapienza” di Roma.

Divenne professore (stra)ordinario nel 1994. Dopo un anno all’Università di Salerno, prestò servizio all’Università di L’Aquila dal 1995 al 2004, contribuendo alla creazione e all’avvio di un Dipartimento di Informatica presso quella sede.

Dall’1 Nov. 2004 sino al 31 Ott. 2020, è stato alle dipendenze dell’Università degli Studi di Trieste. È in pensione dall’1 Nov. 2020.

I suoi insegnamenti in corsi di laurea triennale per l’anno accademico 2019/2020 sono stati: un modulo sulla programmazione Java per studenti d’Ingegneria, un corso sulla Logica matematica per studenti iscritti a Matematica, due corsi introduttivi sull’Informatica per studenti di Geologia e di Tecnica della Riabilitazione Psichiatrica. I suoi insegnamenti in corsi di laurea triennale per il corrente a.a. 2020/2021 includono: lezioni su aspetti di base dell’Informatica rivolte a studenti in Tecnica della Riabilitazione Psichiatrica; un modulo di un corso intitolato “Planet Earth modeling in Matlab”, a Geologia.

È stato coordinatore del Collegio di Dottorato in Informatica ed Applicazioni all’Università di L’Aquila dal 2001 al 2004. È stato delegato del Rettore per i servizi IT all’Università di Trieste dal 2007 al 2009. Recentemente ha coordinato i lavori di una commissione per l’acquisizione di infrastrutture HW/SW funzionali al progetto ‘Dipartimento di eccellenza’ del DMG (“Dipartimento di Matematica e Geoscienze”), sua affiliazione presso l’Università di Trieste.

Videoregistrazione: https://www.facebook.com/502593113124623/videos/130326215679260

 


Rubriche e servizi

Si segnala, nella rubrica "Grandangolo" curata da Paolo Frandoli, la nuova galleria di immagini dedicata all’oasi faunistica dell’Isola della Cona, situata alle foci dell’Isonzo: vero e proprio tesoro naturalistico della nostra regione.

Lo spazio Letteratura presenta le opere dei vincitori premiati e segnalati nelle due edizioni del concorso internazionale “Giani Stuparich” riservato a giovani scrittori e videoamatori della macroregione Friuli V. Giulia – Austria – Slovenia – Croazia.

La sezione Cinematografia riporta una sintesi del libro di Francesco Cenetiempo “Fulgidi quegli anni!”, dedicato alle attività in campo cinematografico sviluppate della Sezione Spettacolo del CCA nei primi anni del dopoguerra (1947-1956).

Audio-video archivio

Le pagine Appuntamenti offrono la cronologia completa degli eventi realizzati dal Circolo a partire dall'anno 2017. Cliccando sul titolo di ciascuna manifestazione si accede alla relativa sintesi descrittiva, alle note biografiche sui relatori e ai contenuti multimediali disponibili.

Dal 2018 diverse conferenze sono state audio-registrate. Nel biennio 2020-21 numerosi incontri si sono tenuti in videoconferenza su piattaforme dedicate, consentendone la videoregistrazione. In altri casi i relatori hanno messo a disposizione le slide utilizzate a supporto della propria illustrazione.
L’individuazione e l’accesso a tali contenuti è facilitato dai pulsanti AUDIO, VIDEO, SLIDE presenti nell’indice cronologico e linkati direttamente ai record, come nel caso delle recenti conferenze scientifiche "Lady Sapiens", "Sintassi del / nel Tempo", “Origine evoluzione e conseguenze del pensiero unico”.

images/loghi/Logo-FVG.jpg#joomlaImage://local-images/loghi/Logo-FVG.jpg?width=400&height=105

Regione Autonoma Friuli Venezia Giulia

Regione Autonoma Friuli Venezia Giulia
images/loghi/Logo-Fondazione-Casali.jpg#joomlaImage://local-images/loghi/Logo-Fondazione-Casali.jpg?width=400&height=105

Fondazione Casali

Fondazione Casali
images/loghi/Logo-Fondazione-CRT-colore.jpg#joomlaImage://local-images/loghi/Logo-Fondazione-CRT-colore.jpg?width=400&height=105

Fondazione CRTrieste

Fondazione CRTrieste
images/sezioni/Sezione-Tutte.jpg#joomlaImage://local-images/sezioni/Sezione-Tutte.jpg?width=450&height=300

Prossimi Appuntamenti

images/sezioni/Sezione-Arti_Visive.jpg#joomlaImage://local-images/sezioni/Sezione-Arti_Visive.jpg?width=450&height=300

Sezione Arti Visive

images/sezioni/Sezione-Cinematografia.jpg#joomlaImage://local-images/sezioni/Sezione-Cinematografia.jpg?width=450&height=300

Sezione Cinematografia

images/sezioni/Sezione-Economia.jpg#joomlaImage://local-images/sezioni/Sezione-Economia.jpg?width=450&height=300

Sezione Economia

images/sezioni/Sezione-Musica.jpg#joomlaImage://local-images/sezioni/Sezione-Musica.jpg?width=450&height=300

Sezione Musica

images/sezioni/Sezione-Lettere.jpg#joomlaImage://local-images/sezioni/Sezione-Lettere.jpg?width=450&height=300

Sezione Letteratura

images/sezioni/Sezione-Medicina.jpg#joomlaImage://local-images/sezioni/Sezione-Medicina.jpg?width=450&height=300

Sezione Medicina

images/sezioni/Sezione-Musicologia.jpg#joomlaImage://local-images/sezioni/Sezione-Musicologia.jpg?width=450&height=300

Sezione Musicologia

images/sezioni/Sezione-Scienze.jpg#joomlaImage://local-images/sezioni/Sezione-Scienze.jpg?width=450&height=300

Sezione Scienze matematiche e naturali

images/sezioni/Sezione-Integrazione.jpg#joomlaImage://local-images/sezioni/Sezione-Integrazione.jpg?width=450&height=300

Sezione Relazioni Internazionali e Integrazione Europea

images/sezioni/Sezione-Scienze_Morali.jpg#joomlaImage://local-images/sezioni/Sezione-Scienze_Morali.jpg?width=450&height=300

Sezione Scienze Morali

images/sezioni/Sezione-Spettacolo.jpg#joomlaImage://local-images/sezioni/Sezione-Spettacolo.jpg?width=450&height=300

Sezione Spettacolo

sede via Besenghi

via Besenghi, 16 • 34143 Trieste
presso Seminario Vescovile

tel/fax 040 3404100
info@circoloculturaeartits.org

Iscrizione al Circolo

C.F. 80022560322

Segreteria

ORARIO PER IL PUBBLICO

dal lunedì al giovedì
dalle 9:00 alle 11:30

sede via Besenghi

Dove siamo

images/mappa_350x350.jpg#joomlaImage://local-images/mappa_350x350.jpg?width=350&height=350