CosaSeminario
Quando16/2/2018 - 09:30
DoveSala Riunioni
ReferenteAlberto Policriti
Emailalberto.policriti@uniud.it

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

Domenico Cantone

Università di Catania

Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each menu A in Omega a nonempty subset c(A) of A comprising all elements of A that are deemed selectable by an [...]

CosaWorkshop
Quando5/2/2018 - 09:00
DoveAula T5 - Palazzo Toppo-Wassermann
ReferenteGiovanni Panti
Emailgiovanni.panti@uniud.it

Around Dynamical Systems

Programma e calendario del workshop

CosaSeminario
Quando24/1/2018 - 10:30
DoveAula Multimediale
ReferenteMarino Miculan
Emailmarino.miculan@uniud.it

Gestire la complessità dei moderni sistemi software: spaghetti, esagoni e alveari

Andrea Baruzzo, Mauro Rocchi

DMIF UniUD, emaze Networks

Il seminario presenta un approccio metodologico alla costruzione di sistemi software complessi di media e grande dimensione, dove gli aspetti legati alla manutenibilità, alla gestione del debito tecnico e alla costruzione di architetture solide sono elementi chiave per la sostenibilità di un progetto. Nella prima parte dell’incontro vengono discusse alcune tecniche chiave come il Domain-Driven [...]

CosaSeminario
Quando19/1/2018 - 09:00
DoveSala Riunioni
ReferenteAlberto Marcone
Emailalberto.marcone@uniud.it

Random forcing e cardinali caratteristici del continuo

Manlio Valenti

Dottorando in Informatica e Scienze Matematiche e Fisiche

CosaSeminario
Quando11/1/2018 - 15:00
DoveAula 42
ReferenteFabio Zanolin
Emailfabio.zanolin@uniud.it

About some mathematical models in crime pattern formation

Prof. Raúl Manásevich

Center for Mathematical Modeling, and Department of Engineering Mathematics, University of Chile, Santiago, Chile