Home Page-Dep.Computer Science-University of Verona

Calendar

Mon 19 Oct 2026

Introduction to mathematical modelling in Ecology and in Biology [1 ECTS, MATH-03/A]

prof. Luis Almeida | CNRS, Sorbonne Université, Université Paris-Cité | h 4:30 PM

Seminar

Wed 21 Oct 2026

Minimizing N-harmonic maps with partially constrained boundary conditions of prescribed degree

prof. Adriano Pisante | Sapienza Università, Roma | h 2:30 PM Aula F

Seminar

Thu 22 Oct 2026

Image restoration: from model to learning based techniques [1 ECTS, MATH-05]

Mauro Dalla Mura | Grenoble INP, FR | h 10:30 AM

Seminar

Mon 2 Nov 2026

Semantics and Proof Theory of Modal Logic [3 ETCS, MATH-01/A]

Dirk Pattinson | Australian National University (ANU) | h 3:30 PM (time and venue to be confirmed)

Seminar

Seminars

Conferences

Today's Events

Highlights

SEE OUR DEGREE COURSES

PhDs

Regional Innovation Networks

POD - Informatica

skills research

Work with us

ERASMUS

Computer Science Park

Museo dell'informatica

ECDL Test center

News

Open Day al IIT Silva Ricci (Legnago): l’offerta formativa in Informatica dell’Università di Verona
BANDO PER IL CONFERIMENTO DI N. 55 ASSEGNI PER L’ATTIVAZIONE DEL SERVIZIO DI TUTORATO DIDATTICO - A.A. 2026/2027 (1° semestre e annuali) - DIPARTIMENTO DI INFORMATICA - REP. N. 7523 - PROT. 326139 DEL 29.07.2026
Verona ospita CAiSE 2026, tra i principali convegni internazionali sui sistemi informativi
Ottava edizione della gara di retroprogrammazione "64K STUNNING RUNNING" in seno al Festival DIGITALmeet.
Speech all'evento ABOH (A Bit Of History) di Torino da parte del Museo DI-UniVR quale co-autore del linro AICA "Storia dell'Iformatica in talia"
Pubblicato il Piano di Orientamento del Dipartimento di Informatica 2026-2027
STEM@DI
Convegno sui Cambiamenti Climatici - Sustainable Art Prize 2025

News

NEWS FOR STUDENTS

Public Engagement

Continuing Education

Overview

Organisation

Contact us

Research in brief

Research activities

Facilities

Courses

PhD programmes and postgraduate training

Teaching services

Information for community

Innovation and partnership

Contact us

Scopri i nostri corsi di laurea

Piano di Orientamento del Dipartimento

Intelligenza artificiale al servizio della raccolta rifiuti

Calendar

Introduction to mathematical modelling in Ecology and in Biology [1 ECTS, MATH-03/A]

Minimizing N-harmonic maps with partially constrained boundary conditions of prescribed degree

Image restoration: from model to learning based techniques [1 ECTS, MATH-05]

Semantics and Proof Theory of Modal Logic [3 ETCS, MATH-01/A]

Highlights

SEE OUR DEGREE COURSES

PhDs

Regional Innovation Networks

POD - Informatica

skills research

Work with us

ERASMUS

Computer Science Park

Museo dell'informatica

ECDL Test center

News