dipartimenti.it

Bando 14 ottobre 2019

Submitted by admin on Tue, 10/15/2019 - 09:29

File:

Bando Borsa di ricerca HIT 2019B01.pdf

Introduction to program verification

Submitted by admin on Sat, 10/12/2019 - 19:51

Teacher
Francesco ranzato
Department of Mathematics
ranzato[at]math.unipd.it
INF/01

Aim
Computer programs may contain bugs, namely errors and flaws in programs that cause incorrect output or unintended behavior. This course aims to be a gentle introduction to methodologies and tools used for automatically and formally proving that computer programs do not contain bugs, a discipline known as program verification.

Read more

Process Mining: When Data Science Meets Process Intelligence

Submitted by admin on Sat, 10/12/2019 - 19:46

Teacher
Massimiliano DeLeoni
Department of Mathematics
deleoni[at]math.unipd.it
INF/01

Read more

POR FESR PROJECTS AT HIT

Submitted by ruggiero on Fri, 10/11/2019 - 19:42

Hybrid Sustainable Worlds

Read more

Bando HIT at UNIPD - Digital Meet award 2019 (scadenza 21 ottobre 2019)

Submitted by admin on Fri, 10/11/2019 - 14:19

Events

Data:

Fri, 10/11/2019 - Tue, 10/22/2019

Per iniziativa e contributo del Centro Interdipartimentale Human Inspired Technologies Research Center — HIT, dell'Universitá degli Studi di Padova, approvato con provvedimento d'urgenza del Direttore del Centro, si bandisce un concorso a premi di studio. Potranno candidarsi al premio persone con eta massima di 34 anni, iscritte ad un Corso di Dottorato o titolari di un assegno/contratto di ricerca presso l'Universitá degli Studi di Padova, tuttora in corso o terminati da un massimo di 180 giorni solari.