Con­fe­ren­ce on Com­pu­ter Scien­ce Logic 2024, Pre­sen­ta­zio­ni, Foto e Interviste

Si è con­clu­sa vener­dì 23 feb­bra­io la CSL24, la con­fe­ren­za annua­le del­l’As­so­cia­zio­ne Euro­pea per la Logi­ca Infor­ma­ti­ca (EAC­SL). CSL è la con­fe­ren­za annua­le del­l’As­so­cia­zio­ne Euro­pea per la Logi­ca Infor­ma­ti­ca (EAC­SL). È la pri­ma vol­ta che que­sta mani­fe­sta­zio­ne inter­na­zio­na­le si tie­ne in Ita­lia ed in par­ti­co­la­re a Napo­li. Si trat­ta di una con­fe­ren­za inter­di­sci­pli­na­re, che abbrac­cia sia la ricer­ca di base che quel­la orien­ta­ta alle appli­ca­zio­ni nel­la logi­ca mate­ma­ti­ca e nel­l’in­for­ma­ti­ca ed in par­ti­co­la­re agli aspet­ti fon­da­zio­na­li dell’ Intel­li­gen­za Arti­fi­cia­le Teorica.

Prof. Aniello Murano Rise University CSL 24 Computer Science Logic Conference-Massimiliano Canestro

La con­fe­ren­za orga­niz­za­ta dal Prof. Aniel­lo Mura­no, Pro­fes­so­re Ordi­na­rio di Infor­ma­ti­ca e di Intel­li­gen­za Arti­fi­cia­le del­la Fede­ri­co II di Napo­li, ha visto la par­te­ci­pa­zio­ne degli attua­li Guru Mon­dia­li dell’Informatica per la pri­ma vol­ta insie­me : Moshe Y. Var­di, Georg Gotlob, Mar­ta Kwia­t­ko­w­ska, segui­ti da Bar­ba­ra König Bal­der ten Cate. La CSL24 si è tenu­ta nel­la pre­sti­gio­sa sede del­la Fede­ri­co II in via Par­te­no­pe, difron­te il Castel dell’ Ovo. Mer­co­le­dì 21 feb­bra­io All’interno del Com­ples­so Monu­men­ta­le di San­ta Chia­ra c’è sta­to il Gala Dinner.

Moshe Y. Vardi Rice University CSL 24 Computer Science Logic Conference with Massimiliano Canestro

Sca­ri­ca Logi­cal Algo­ri­th­mics From Theo­ry to Prac­ti­ce Moshe Var­di : CLIC­CA QUI

Georg Got­tlob ha sot­to­li­nea­to il con­fi­ne tra intel­li­gen­za arti­fi­cia­le e igno­ran­za ed ha ricor­da­to che la sua inte­gra­zio­ne in cam­po medi­co sal­va vite. Dove non c’è logi­ca, meto­do scien­ti­fi­co, c’è appros­si­ma­zio­ne e l’Intelligenza Arti­fi­cia­le Gene­ra­ti­va (quel­la che sta alla base anche di Chat GPT) non sem­pre è cor­ret­ta e duran­te il suo inter­ven­to ha dato dimo­stra­zio­ne di alcu­ni erro­ri. Moshe Y. Var­di ha aller­ta­to sul­la dif­fu­sio­ne del­le fake news che pos­so­no tro­va­re una miglio­re pene­tra­zio­ne pro­prio gra­zie all’AI. Il Prof Var­di ha tenu­to un inter­ven­to vener­dì 23 su Logi­cal Algo­ri­th­mics : From Theo­ry to Prac­ti­ce. La Con­fe­ren­za Inter­na­zio­na­le è sta­ta un momen­to di incon­tro tra ricer­ca­to­ri, azien­de e stu­den­ti per par­la­re di aspet­ti fon­dan­ti dell’AI” Prof. Aniel­lo Mura­no “ e di logi­ca e model­li per la pre­sen­ta­zio­ne del­la conoscenza”.

Risorsa o pericolo? Alla Federico II il dibattito sull'intelligenza artificiale

Tra gli spon­sor del­la ker­mes­se la SMS Engi­nee­ring, che ha una divi­sio­ne spe­ci­fi­ca per l’intelligenza arti­fi­cia­le, ed in par­ti­co­la­re duran­te la set­ti­ma­na tut­ti e quat­tro i soci han­no pre­so par­te ai lavo­ri in momen­ti alter­ni in par­ti­co­la­re il CEO Fran­ce­sco Casta­gna, il Diret­to­re Gene­ra­le Rosan­ge­la Capas­so, il Vice Pre­si­den­te Mas­si­mi­lia­no Cane­stro e il Pre­si­den­te Anto­nio Ascio­ne che ha pre­sen­ta­to l’Azienda e le Solu­zio­ni AI rea­liz­za­te pro­prio alla con­clu­sio­ne del­la mani­fe­sta­zio­ne vener­dì 24 febbraio.

Conference on Computer Science Logic 2024- Presentazione Soluzioni AI realizzate dalla SMS Engineering