Dipartimento di Informatica - Università di Verona

Dipartimento di Informatica - Università di Verona Informazioni di contatto, mappa e indicazioni stradali, modulo di contatto, orari di apertura, servizi, valutazioni, foto, video e annunci di Dipartimento di Informatica - Università di Verona, College pubblico, Strada le Grazie 15, Verona.

Il Dipartimento di Informatica dell'Università di Verona promuove numerose attività didattiche e di ricerca basate su un continuo di competenze che vanno dalla matematica alla fisica attraverso l'informatica vista come scienze e ingegneria. Sono attivi 3 corsi di laurea triennale (in Bioinformatica, in Informatica e in Matematica Applicata), 3 corsi di laurea magistrale (in Ingegneria e scienze in

formatiche, in Mathematics e in in Medical bioinformatics – questi ultimi due offerti in lingua inglese) e 3 corsi post laurea (Master in Computer Game Development, Dottorato in Informatica, Dottorato interateneo in Matematica).

Verona ospita CAiSE 2026, tra i principali convegni internazionali sui sistemi informativiDal 8 al 12 giugno 2026 si ter...
26/05/2026

Verona ospita CAiSE 2026, tra i principali convegni internazionali sui sistemi informativi

Dal 8 al 12 giugno 2026 si terrà a Verona, presso il Centro Congressi della Camera di Commercio, CAiSE 2026 (International Conference on Advanced Information Systems Engineering), uno dei più autorevoli appuntamenti scientifici internazionali dedicati ai sistemi informativi.

Giunto alla 38ª edizione, il convegno rappresenta da anni un punto di riferimento per la comunità accademica e scientifica internazionale impegnata nello studio dell’ingegneria dei sistemi informativi, con una crescente attenzione, nelle edizioni più recenti, al ruolo di questi sistemi nell’era dell’intelligenza artificiale.

Il tema di quest'anno è "Rethinking Information System Engineering in a continuously changing information system world” (Ripensare all’ingegneria dei sistemi informativi in un mondo dei sistemi informativi in continuo cambiamento). L’edizione 2026 vede un significativo coinvolgimento del Dipartimento di Informatica dell’Università di Verona.

Fanno parte del comitato organizzatore il prof. Carlo Combi, General Co-Chair, il prof. Roberto Posenato, Workshop Chair, il dott. Matteo Mantovani, Publication Chair, la prof.ssa Barbara Oliboni, Financial Chair, e la prof.ssa Sara Migliorini, Organizing Chair. Sono attesi circa 300 studiosi provenienti da Europa, Asia, Australia, Nord e Sud America, a conferma del respiro internazionale dell’iniziativa e della rilevanza scientifica dei temi affrontati.

Tra gli enti patrocinatori del convegno figurano l’Università di Verona, il Dipartimento di Informatica dell’Università di Verona, l’Ordine degli Ingegneri e la Camera di Commercio di Verona. Sostengono inoltre l’evento, in qualità di sponsor, Sys-dat Group S.p.A., Connetia S.r.l. e Springer.

Torna Science Night |  !Venerdì 5 giugno si terrà, negli spazi Univr di Ca’ Vignal (Borgo Roma), l'edizione 2026 di Scie...
20/05/2026

Torna Science Night | !

Venerdì 5 giugno si terrà, negli spazi Univr di Ca’ Vignal (Borgo Roma), l'edizione 2026 di Science Night, una serata pensata per unire musica, tecnologia, creatività e partecipazione studentesca in un evento di fine anno accademico.

L’evento, ad ingresso gratuito, si svolgerà presso il Parcheggio di Ca’ Vignal, in Strada Le Grazie 15, e avrà inizio alle 18 per concludersi a mezzanotte. Durante tutta la serata, gli spazi del campus ospiteranno attività di intrattenimento, momenti divulgativi e DJ set, creando un ambiente dinamico e partecipativo aperto all’intera comunità universitaria. L'iniziativa è organizzata da un team di studentesse e studenti dell’area di Scienze, Ingegneria e Medicina Univr.

La serata sarà così suddivisa:
OPEN LAB: 18.00 - 20.30
SCIENCE SHOW: 19.00 - 20.30
DJ SET: 21.00 - 00.00

✨ Il 12 maggio si è svolta la Festa delle Donne Matematiche 2026 presso l’Aula Tessari del CA’ Vignal 2 del Dipartimento...
12/05/2026

✨ Il 12 maggio si è svolta la Festa delle Donne Matematiche 2026 presso l’Aula Tessari del CA’ Vignal 2 del Dipartimento di Informatica!

Una mattinata ricca di incontri, curiosità e divulgazione scientifica, con gli interventi di Silvia Crafa (Università di Padova), Marco Cristianini (Università di Verona) e Nadia Loy (Politecnico di Torino).

📚💡 Grande entusiasmo e partecipazione da parte degli studenti, che hanno seguito con interesse i seminari e preso parte alle attività del contest artistico/multimediale.

Grazie a tutte le persone che hanno contribuito a rendere questa giornata speciale e a celebrare il talento, la creatività e il ruolo delle donne nella matematica e nella scienza! 💜

La professoressa Maria Paola Bonacina, docente del Dipartimento di Informatica, ha vinto per la seconda volta un Amazon ...
08/05/2026

La professoressa Maria Paola Bonacina, docente del Dipartimento di Informatica, ha vinto per la seconda volta un Amazon Research Award nella categoria Automatic Reasoning.

📚 Il progetto premiato, “New Data Structure Theories and Quantifiers in CDSAT”, punta a sviluppare nuove teorie e strumenti per migliorare la verifica automatica dei programmi, con applicazioni fondamentali nell’informatica moderna e nell’intelligenza artificiale.

🔍 La ricerca si concentra sul ragionamento automatico, sulle strutture dati e sui quantificatori (“per ogni”, “esiste”), elementi chiave per rendere i sistemi software più affidabili ed efficienti.

💡 Al centro del progetto ci sono i metodi CDSAT e QSMA, frutto delle precedenti ricerche della docente, che verranno applicati a nuove teorie per superare i limiti attuali nella gestione di array e vettori dinamici.

🗣️ “Vincere l’Amazon Research Award per la seconda volta è una grande soddisfazione: un riconoscimento alla continuità e alla persistenza nella ricerca di alto livello”, commenta la professoressa Bonacina.

👏 Complimenti per questo importante traguardo internazionale!

05/05/2026

La curiosità che dà forma al futuro |

La ricerca di base è il luogo in cui una domanda diventa conoscenza. Non sempre sappiamo subito a cosa servirà. Ma sappiamo che è da lì che iniziano le scoperte che cambiano il modo in cui viviamo, curiamo, comprendiamo il mondo.

Sostenere la ricerca di base significa scegliere di investire in ciò che ancora non si vede, ma che può trasformare il futuro di tutti.
Con il tuo 5x1000 puoi sostenere le ricercatrici dell’Università di Verona.

Nella dichiarazione dei redditi (modelli 730, CU, Redditi), firma nel riquadro "Finanziamento della ricerca scientifica e della università" e inserisci il codice fiscale dell'Ateneo di Verona: 93009870234

Non è una questione di Genere. È una questione di Ricerca.
Visita il sito web: www.univr.it/it/5xmille

Tag e menzioni: Dipartimento di Biotecnologie - Università di Verona Dipartimento di Culture e Civiltà - Università di Verona Dipartimento di Informatica - Università di Verona Dipartimento di Lingue e Letterature Straniere - Università di Verona Dipartimento di Scienze Economiche - Università di Verona Dipartimento di Scienze Umane - Università di Verona Biblioteca Arturo Frinzi Biblioteca Centrale Egidio Meneghetti

✨ Torna la Festa delle Donne Matematiche!Un evento dedicato a studentesse, studenti e insegnanti per riflettere insieme ...
30/04/2026

✨ Torna la Festa delle Donne Matematiche!

Un evento dedicato a studentesse, studenti e insegnanti per riflettere insieme sul ruolo fondamentale delle donne nella matematica e promuovere le discipline STEM, superando stereotipi e pregiudizi 💡 

📅 5 Maggio 2026 – Verona

📍 Aula Tessari, Ca’ Vignal 2
(Strada Le Grazie 15, Verona)
⏰ Ore 09:00 – 13:00

🎤 Seminari divulgativi con:
• Silvia Crafa (Università di Padova)
• Marco Cristanini (Università di Verona)
• Nadia Loy (Politecnico di Torino)

🌍 L’iniziativa fa parte delle attività internazionali legate al May12, per celebrare e valorizzare il contributo delle donne nella matematica. 

🎨 Contest artistico/multimediale
Gruppi di studenti presenteranno progetti dedicati a una donna matematica, unendo scienza e creatività 🎭 

Un’occasione per ispirare, orientare e costruire una comunità più inclusiva nella scienza 🚀

🔗 Scopri di più: donnematematiche.di.univr.it

Vi aspettiamo!

🚀 Quando un supercomputer incontra un computer quantisticoUn seminario imperdibile con il Dr. Daniele Ottaviani per espl...
29/04/2026

🚀 Quando un supercomputer incontra un computer quantistico

Un seminario imperdibile con il Dr. Daniele Ottaviani per esplorare il futuro del calcolo tra supercomputer e tecnologie quantistiche.

📅 3 giugno 2026
🕒 Ore 15:00
📍 Aula C – Ca’ Vignal 1, Dipartimento di Informatica, Università di Verona

💡 Scopri come queste due potenze stanno rivoluzionando il mondo dell’informatica e aprendo nuove frontiere nella ricerca e nell’innovazione.

🎓 Evento aperto a docenti e studenti delle scuole superiori

👉 Organizzato da PLS Informatica
🔗 Iscriviti e partecipa!
Vi aspettiamo!

24/04/2026

Venerdì 8 maggio, dalle ore 9:30 alle ore 15.30 si terranno le presentazioni dei corsi di laurea magistrale dell’area di scienze e ingegneria.

Le presentazioni si terranno sia in presenza in Aula I Ca’ Vignal 2, Strada Le Grazie 15, Verona che in diretta streaming.

Per maggiori informazioni e iscrizioni: https://www.univr.it/area-scienze-ingegneria

Tag e menzioni: Dipartimento di Biotecnologie - Università di Verona Dipartimento di Informatica - Università di Verona

📢 Siamo felici di ospitare il Prof. Pierluigi Graziani (Università di Urbino Carlo Bo) per un seminario di Dipartimento....
16/04/2026

📢 Siamo felici di ospitare il Prof. Pierluigi Graziani (Università di Urbino Carlo Bo) per un seminario di Dipartimento.

🧩 Titolo: “Simplicity, Readability, and Interestingness: From Lemoine’s Geometrography to Wo’s 31st Problem”

🔍 Un viaggio affascinante tra semplicità, leggibilità e bellezza nei problemi matematici, dalle radici storiche fino a sfide contemporanee.

📅 Martedì 21 aprile 2026
🕙 Ore 10:00
📍 Sala Verde – Cà Vignal 3, Strada Le Grazie, 15 – Verona

🔍 Il seminario esplora tre domande fondamentali nella ricerca matematica: come misurare la semplicità di una dimostrazione, valutarne la leggibilità e comprendere quanto un teorema sia interessante.
Questi aspetti saranno analizzati nel contesto dell’Automated Theorem Proving (ATP) e dell’Automated Theorem Finding (ATF), con particolare attenzione alla geometria, mostrando come siano profondamente connessi e utili per capire sia il processo sia i risultati del ragionamento automatico.

✨ Aperto a studenti, docenti e a chiunque sia curioso di esplorare il lato più elegante della matematica!

Vi aspettiamo!

🧬🔍 Bioinformatico: un investigatore a caccia di (bio)informazioni!Hai mai pensato a cosa succuede quando la scienza inco...
15/04/2026

🧬🔍 Bioinformatico: un investigatore a caccia di (bio)informazioni!

Hai mai pensato a cosa succuede quando la scienza incontra il modo dell’investigazione?

Il Prof. Vincenzo Bonnici ti guiderà nel mondo della bioinformatica, tra dati, scoperte e nuove frontiere della ricerca.

📅 24 aprile 2026
🕒 Ore 15:00
📍 Aula T.02B – Ca’ Vignal 3
📌 Dipartimento di Informatica, Università di Verona

Non perdere questa occasione per scoprire una disciplina che unisce informatica e biologia in modo sorprendente!

👩‍🏫 Evento aperto a docenti e studenti delle scuole superiori
🎓 Organizzato da PLS Informatica

👉 Iscriviti e vieni a esplorare il futuro della scienza

Indirizzo

Strada Le Grazie 15
Verona
37134

Notifiche

Lasciando la tua email puoi essere il primo a sapere quando Dipartimento di Informatica - Università di Verona pubblica notizie e promozioni. Il tuo indirizzo email non verrà utilizzato per nessun altro scopo e potrai annullare l'iscrizione in qualsiasi momento.

Contatta L'università

Invia un messaggio a Dipartimento di Informatica - Università di Verona:

Condividi