Univrmagazine
domenica, 27 Luglio 2025
verona
  • Attualità
    Da sinistra: Mario Sedilesu (assegnista), Eldison Dimo (post-doc), Andrea Calanca (prof. associato), Davide Costanzi (collaboratore alla ricerca), Francesco Pascucci (post-doc), Emanuele Feola (ex assegnista, ora phd student all'università di Twente e collaboratore)

    Un esoscheletro per ridare autonomia, la svolta del team veronese nella robotica assistiva

    Da sinistra: De Manzoni, Ruzzenente, Bravi, Giacomello, MaffeisPhotocredits: Aoui Verona Stampa

    Verona pioniera della chirurgia robotica pediatrica, formazione e innovazione grazie a Univr e all’Aoui

    Photocredits: Federico Battista

    Life Dimitra, il progetto Univr per un mondo agricolo più sostenibile

    Adobe creator: Zia

    Le società Benefit vicentine, una fotografia in bianco e nero tra impegno e sfide di trasparenza

  • Ricerca
    Adobe creator: Masud

    Dottorato di interesse nazionale in Scienze motorie e sportive

    sulla sinistra: il team di ricerca photocredits VeronaOFF

    Gelsibachicoltura nel veronese

    Unisco, un ecosistema intelligente a supporto del co-housing di persone fragili

    da sx al centro Gallo, Bertossi Lanzarin Bravi

    “Hyppocrates Verona” la piattaforma per vivere in diretta il percorso di cura

  • Dai dipartimenti
    Da sinistra: Mario Sedilesu (assegnista), Eldison Dimo (post-doc), Andrea Calanca (prof. associato), Davide Costanzi (collaboratore alla ricerca), Francesco Pascucci (post-doc), Emanuele Feola (ex assegnista, ora phd student all'università di Twente e collaboratore)

    Un esoscheletro per ridare autonomia, la svolta del team veronese nella robotica assistiva

    Photocredits: Federico Battista

    Life Dimitra, il progetto Univr per un mondo agricolo più sostenibile

    Adobe creator: Zia

    Le società Benefit vicentine, una fotografia in bianco e nero tra impegno e sfide di trasparenza

    Credits: ARTE3

    Shakespeare in Dream, la danza contro i tabù dell’invecchiamento

  • Verona città universitaria

    La ministra Bernini in visita alle residenze universitarie e al Centro ricerche cliniche di Verona

    L’impegno sociale del Veronetta Contemporanea Festival

    Veronetta Contemporanea Festival, un lavoro di squadra

    Veronetta Contemporanea Festival 2025, dieci giorni di cultura, comunità e riflessione

  • Redazione
    • Opinioni
No Result
View All Result
Univrmagazine
  • Attualità
    Da sinistra: Mario Sedilesu (assegnista), Eldison Dimo (post-doc), Andrea Calanca (prof. associato), Davide Costanzi (collaboratore alla ricerca), Francesco Pascucci (post-doc), Emanuele Feola (ex assegnista, ora phd student all'università di Twente e collaboratore)

    Un esoscheletro per ridare autonomia, la svolta del team veronese nella robotica assistiva

    Da sinistra: De Manzoni, Ruzzenente, Bravi, Giacomello, MaffeisPhotocredits: Aoui Verona Stampa

    Verona pioniera della chirurgia robotica pediatrica, formazione e innovazione grazie a Univr e all’Aoui

    Photocredits: Federico Battista

    Life Dimitra, il progetto Univr per un mondo agricolo più sostenibile

    Adobe creator: Zia

    Le società Benefit vicentine, una fotografia in bianco e nero tra impegno e sfide di trasparenza

  • Ricerca
    Adobe creator: Masud

    Dottorato di interesse nazionale in Scienze motorie e sportive

    sulla sinistra: il team di ricerca photocredits VeronaOFF

    Gelsibachicoltura nel veronese

    Unisco, un ecosistema intelligente a supporto del co-housing di persone fragili

    da sx al centro Gallo, Bertossi Lanzarin Bravi

    “Hyppocrates Verona” la piattaforma per vivere in diretta il percorso di cura

  • Dai dipartimenti
    Da sinistra: Mario Sedilesu (assegnista), Eldison Dimo (post-doc), Andrea Calanca (prof. associato), Davide Costanzi (collaboratore alla ricerca), Francesco Pascucci (post-doc), Emanuele Feola (ex assegnista, ora phd student all'università di Twente e collaboratore)

    Un esoscheletro per ridare autonomia, la svolta del team veronese nella robotica assistiva

    Photocredits: Federico Battista

    Life Dimitra, il progetto Univr per un mondo agricolo più sostenibile

    Adobe creator: Zia

    Le società Benefit vicentine, una fotografia in bianco e nero tra impegno e sfide di trasparenza

    Credits: ARTE3

    Shakespeare in Dream, la danza contro i tabù dell’invecchiamento

  • Verona città universitaria

    La ministra Bernini in visita alle residenze universitarie e al Centro ricerche cliniche di Verona

    L’impegno sociale del Veronetta Contemporanea Festival

    Veronetta Contemporanea Festival, un lavoro di squadra

    Veronetta Contemporanea Festival 2025, dieci giorni di cultura, comunità e riflessione

  • Redazione
    • Opinioni
No Result
View All Result
Univrmagazine
No Result
View All Result

Maria Paola Bonacina prima presidente italiana del Cade

Ordinaria di Informatica, guiderà l'International Conference on Automated Deduction

di univr
18 Gennaio 2010
in Attualità
Maria Paola Bonacina

Maria Paola Bonacina

Maria Paola Bonacina, ordinaria di Informatica dell’Università è stata eletta presidente del Cade. La professoressa Bonacina, che negli ultimi anni è stata docente del corso di laurea in Bionformatica e del corso di laurea magistrale in Ingegneria informatica, è anche preside vicaria della facoltà di Scienze Matematiche, Fisiche e Naturali.

Professoressa, può spiegarci in cosa consiste il Cade?
Cade è l'acronimo di International Conference on Automated Deduction. E' la più antica e una delle maggiori conferenze internazionali nel campo della deduzione automatica, o più generalmente ragionamento automatico, che a sua volta è una branca fondamentale dell'intelligenza artificiale. Qui "conferenza" è usato nell'accezione di "congresso".
Inoltre, Cade non è solo una conferenza, ma anche è una fondazione. Tecnicamente è una "corporation", da cui Cade Inc, secondo le leggi dello Stato dell'Illinois, Usa

Di cosa si occuperà lei in quanto presidente?
Le funzioni del presidente includono presiedere il Comitato di fiduciari e rappresentare Cade Inc in vari ambiti, quali l'Association for Automated Reasoning, la International Joint Conference on Automated Reasoning e lo Special Interest Group in Logic (Siglog) della Association for Computing Machinery (Acm). Il presidente inoltre ogni anno riceve le nomine per l'Herbrand Award, guida il processo della loro valutazione, ed infine consegna il premio durante la conferenza.

Quali sono invece i compiti dei fiduciarii?
Il Comitato dei fiduciarii nomina il "Program Chair", cioè chi presiede il Comitato scientifico della Conferenza, decide dove si tiene la conferenza, e a chi affidarne l'organizzazione ("Conference Chair").

In cosa consiste L’Herbrand Award?
Cade Inc consegna ogni anno l'Herbrand Award, che è il massimo premio nel campo del ragionamento automatico, ed è uno dei più prestigiosi in informatica, dopo il "Turing Award" che è il massimo riconoscimento per tutta l'informatica.

Cosa significa per lei questo riconoscimento?
Questa mia elezione a presidentessa di Cade Inc è un risultato che arriva alla fine di un lungo lavoro, e non solo di ricerca, ma anche di un percorso iniziato dieci anni fa quando entrai nel "Board of Trustees" di Cade Inc come Segretaria ed ex-officio "Trustee". Alcuni anni dopo mi candidai alle elezioni per "Trustee". Si viene eletti con voto elettronico dai soci dell'Association for Automated Reasoning che sono circa 600 persone, distribuite in tutto il mondo e risultai eletta per prima. Scaduto il primo mandato triennale, mi candidai per un secondo mandato triennale e risultai di nuovo prima. Ora, durante questo secondo mandato, è arrivata l'elezione a presidente. Aggiungo che sono stata la prima donna e la prima italiana sia a entrare nel "Board" che a presiederlo. I precedenti presidenti venivano da Stati Uniti, Australia, Regno Unito e Germania.

Cosa comporta la sua nomina per l’Università di Verona? E' un risultato che porta ulteriore visibilità al Dipartimento di Informatica, alla Facoltà di Scienze e alla nostra Università e per questo è un successo che voglio condividere .

Articolo precedente

Un motore culturale per Verona e la sua Università

Articolo successivo

Professione musica

Ti potrebbe piacere anche

Da sinistra: Mario Sedilesu (assegnista), Eldison Dimo (post-doc), Andrea Calanca (prof. associato), Davide Costanzi (collaboratore alla ricerca), Francesco Pascucci (post-doc), Emanuele Feola (ex assegnista, ora phd student all'università di Twente e collaboratore)
Attualità

Un esoscheletro per ridare autonomia, la svolta del team veronese nella robotica assistiva

di Michele D'Andretta
25 Luglio 2025
Da sinistra: De Manzoni, Ruzzenente, Bravi, Giacomello, MaffeisPhotocredits: Aoui Verona Stampa
Attualità

Verona pioniera della chirurgia robotica pediatrica, formazione e innovazione grazie a Univr e all’Aoui

di Sara Mauroner
25 Luglio 2025
Photocredits: Federico Battista
Attualità

Life Dimitra, il progetto Univr per un mondo agricolo più sostenibile

di Michele D'Andretta
25 Luglio 2025
Adobe creator: Zia
Attualità

Le società Benefit vicentine, una fotografia in bianco e nero tra impegno e sfide di trasparenza

di Michele D'Andretta
24 Luglio 2025
Credits: ARTE3
Attualità

Shakespeare in Dream, la danza contro i tabù dell’invecchiamento

di Michele D'Andretta
24 Luglio 2025

Ultimi articoli

Da sinistra: Mario Sedilesu (assegnista), Eldison Dimo (post-doc), Andrea Calanca (prof. associato), Davide Costanzi (collaboratore alla ricerca), Francesco Pascucci (post-doc), Emanuele Feola (ex assegnista, ora phd student all'università di Twente e collaboratore)
Attualità

Un esoscheletro per ridare autonomia, la svolta del team veronese nella robotica assistiva

25 Luglio 2025
Da sinistra: De Manzoni, Ruzzenente, Bravi, Giacomello, MaffeisPhotocredits: Aoui Verona Stampa
Attualità

Verona pioniera della chirurgia robotica pediatrica, formazione e innovazione grazie a Univr e all’Aoui

25 Luglio 2025
Photocredits: Federico Battista
Attualità

Life Dimitra, il progetto Univr per un mondo agricolo più sostenibile

25 Luglio 2025
Adobe creator: Zia
Attualità

Le società Benefit vicentine, una fotografia in bianco e nero tra impegno e sfide di trasparenza

24 Luglio 2025
Credits: ARTE3
Attualità

Shakespeare in Dream, la danza contro i tabù dell’invecchiamento

24 Luglio 2025
Da sn. Marco Cambiaghi, Laura Calderan, Daniele dell'Orco, Elsa Guidorizzi, Maria Teresa Scupoli, Barbara Cisterna
Dai dipartimenti

Prima laureata del corso di laurea magistrale in Biology for translational research and precision medicine

23 Luglio 2025
L'isola di PovegliaCredits: associazione Poveglia per tutti
Dai dipartimenti

Univr approda a Poveglia, parte il progetto per valorizzare l’isola lagunare

23 Luglio 2025
Attualità

Verona Shakespeare Fringe 2025

18 Luglio 2025
Univrmagazine

il giornale dell’Università degli Studi di Verona

Direttrice editoriale: Nicoletta Zerman
Direttrice responsabile: Tiziana Cavallo

Registrazione presso il Tribunale di Verona
Numero di registrazione testata N.1820 del 18.11.2008

Copyright © 2024
Università degli Studi di Verona - Area Comunicazione e Public Engagement (Direzione Informatica, Tecnologie e Comunicazione)

Iscriviti alla newsletter

Inviami una mail per confermare l’iscrizione al servizio di newsletter e così esprimere il mio consenso al trattamento dei dati personali

Controlla la tua casella di posta o la cartella spam per confermare la tua iscrizione

  • Privacy Policy
  • Cookie Policy
Utilizziamo i cookie sul nostro sito Web per offrirti l'esperienza più pertinente ricordando le tue preferenze e ripetendo le visite. Facendo clic su "Accetta tutto", acconsenti all'uso di TUTTI i cookie. Tuttavia, puoi visitare "Impostazioni cookie" per fornire un consenso controllato.
Preferenze cookieAccetta tutti
Manage consent

Informativa breve cookies

Il Titolare utilizza i cookie per ottimizzare la fruizione del sito e per velocizzare le esperienze ed attività degli utenti. Il sito consente anche l’invio di cookie di “terze parti” per compilare statistiche anonime aggregate.
Necessari
Sempre abilitato
I cookie necessari per l’utilizzo del sito Web sono essenziali per il funzionamento del sito web, bloccarli non ne permette il funzionamento. Questa categoria include cookie che consentono di facilitare la navigazione e il servizio reso all’utente. Per la loro installazione non è necessario il tuo consenso.
CookieDurataDescrizione
cookielawinfo-checkbox-analytics11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional11 monthsThe cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy11 monthsThe cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Non necessari
Cookie Analitici di Terze Parti I cookie statistici aiutano il titolare a capire come i visitatori interagiscono con il sito, trasmettendo informazioni in forma anonima. Alcuni di questi cookie sono gestiti per noi da terzi (Google Analytics, Matomo) sempre in forma anonima e non consentiamo loro di utilizzarli per altre finalità.
ACCETTA E SALVA
Powered by CookieYes Logo
No Result
View All Result
  • Attualità
  • Ricerca e innovazione
  • Dai dipartimenti
  • Verona città universitaria
  • Redazione