Seminari-Esame per Teoria della Concorrenza

Venerdì 15 luglio, dalle 9:00 alle 13:00 circa, in Sala Riunioni del DIMA (ex DIMI, futuro DMIF), si terranno i seguenti seminari-esame per il corso di Teoria della Concorrenza:

Alessio Mansutti: Decidibilità della hedged bisimulation per lo spi calculus
Alexandru Pruteanu: Modelli per sistemi transazionali
Federico Igne: Modelli per la programmazione ad attori
Luca Geatti: Modelli per la Systems Biology
Davide Martincigh: Semantiche quantitative per calcoli con aspetti probabilistici e stocastici

Tutti gli interessati sono invitati a partecipare.

Studiare (Informatica) a UniUd, secondo l’indagine AlmaLaurea 2015

L’Espresso ha pubblicato su questa pagina un’interessante analisi dei dati raccolti dall’indagine #AlmaLaurea 2015, con grafici interattivi assai chiari e informativi.

Da questa analisi l’Università di Udine (#UniUd) si piazza stabilmente nella parte più alta della classificazione. In particolare, risulta che a tre anni dalla laurea magistrale
– è occupato il 90,1% dei laureati e lo stipendio medio è di 1370€;
– l’86,1% dei neo-laureati lavora, a fronte di una media locale del 62,2% (quindi avere la laurea a Udine aumenta la possibilità di trovare lavoro del 24%);
– in particolare, per i laureati in Informatica, il tasso di occupazione è del 100% (media nazionale: 96,8%) con un reddito medio di 1500€ (media nazionale: 1550€).

Insomma: studiare Informatica (in particolare a Udine) sarà anche faticoso, ma ne vale la pena – e non solo per gli sbocchi occupazionali.

Coinductive Methods in Computer Science (and beyond) – F. Bonchi

We are happy to host Filippo Bonchi, Chargé de Recherche at the Ecole Normale Supérieure Lyon, who will give a PhD course about

Coinductive Methods in Computer Science (and beyond).

The lectures will take place at the Department of Mathematics, Computer Science and Physics, as follows:

  1. May 9, 10.30–12.30, Sala Riunioni – slides
  2. May 10, 10.30–12.30, Aula Multimediale – slides
  3. May 11, 14.30–16.30, Sala Riunioni
  4. May 12, 11.00–13.00, Sala Riunioni
  5. May 13, 10.00–12.00, Sala Riunioni

Abstract
The induction principle is ubiquitous in computer science. For instance it is used to prove properties of programs involving finite data structures, such as natural numbers, lists and trees. For reasoning about concurrent programs or infinite data structures, like streams and infinite trees, one needs a dual principle — coinduction — which is the main topic of this course.
The relevance of coinductive reasoning has been usually associated with bisimilarity, a notion of equivalence that emerged at the end of the seventies in three different fields: non-well founded set theory, modal logics and concurrency theory. In the last years, coinductive methods has been studied in more and more areas of computer science, such as automata and type theory. Perhaps unexpectedly, applications to game theory and economy have been proposed recently.
We will introduce the coinductive definition and proof principles, several techniques to enhance coinductive proofs, and some algorithms to automatize such proofs. During the course, we will encounter examples stemming from different areas, with particular focus to automata and concurrency theory. If time allows, we will also give an overview to the theory of coalgebras, which is the abstract framework encompassing all these different examples.

Seminario “Sicurezza dell’Internet of Things in contesto industriale”

Come di tradizione, a conclusione del corso di “Reti di Calcolatori” organizziamo un evento su Sicurezza Informatica.
L’argomento di quest’anno è Sicurezza dell’Internet of Things in contesto industriale.
L’evento si terrà presso l’Aula Multimediale, dalle 14:30 alle 16:30 di martedì 26 gennaio 2016, con i seguenti relatori:

Tutti gli interessati sono invitati a partecipare – e a girare il presente invito ad altri.

Corso Game Logic – ultime lezioni

Le ultime 4 lezioni del mini-corso sulla Game Logic tenuto da Ernst-Erich Doberkat, si terranno giovedì 14 e venerdì 15 gennaio, presso la Sala Riunioni del DiMI (o come si chiama ora), secondo il seguente orario:
– Giovedì 14 gennaio:  10:00 – 11:30 e 14:30 – 16:00
– Venerdì 15 gennaio:  09:00 – 10:30 e 11:00 – 12:30.
Il titolo del queste lezioni è Coalgebras, the Giry Monad and Game Logics.
Le note per queste lezioni sono reperibili all’indirizzo https://www.dropbox.com/s/qzil91bj9i94do8/Udine_Jan16.pdf?dl=0
(Ricordo che le note della precedente lezione sono disponibili a https://www.dropbox.com/s/90x870ptp3261hc/Udine_3Dec15.pdf?dl=0)

Lauree di ottobre 2015

Triennale Informatica:
– Elia Calligaris: Simulazione di sistemi reattivi bigrafici
– Matteo Comello: Yang2NetKit: un tool modulare basato su bigrafi per progettare e simulare reti di calcolatori
– Tiziano Mele: Previsione di anomalie di un sistema informativo mediante tecniche di data mining
Triennale TWM:
– Luca Geatti: Verifica di proprietà locali su BRS
Magistrale Informatica
– Andrea Toneguzzo: Memorie transazionali aperte componibili: Semantica formale e implementazione in Haskell

Congratulazioni!