Nuova versione di THUD

Il famoso stile LaTeX THUD per le tesi del DMIF è stato adeguato all’immagine coordinata dell’Università di Udine. Oltre alla grafica del frontespizio, dove sono apparsi i colori istituzionali di UniUD, sono stati modificate anche le intestazioni dei capitoli e le intestazioni delle pagine.

Purtroppo questo ha significato perdere il “mezzo pollo” in trasparenza sullo sfondo del frontespizio… Ma non c’è tempo per i rimpianti: nei cambiamenti, bisogna guardare avanti!

Come sempre, il pacchetto è disponibile dall’apposita pagina di download.

Conferenza “Il potere digitale: come internet sta cambiando la sfera pubblica, l’economia e la democrazia”

Sabato 18 maggio 2019 sono invitato dal Circolo della Stampa di Pordenone a partecipare alla tavola rotonda “Il potere digitale: come internet sta cambiando la sfera pubblica, l’economia e la democrazia”, assieme a Gabriele Giacomini e ai giornalisti Pier Paolo Simonato e Sergio Maistrello.

Grazie in anticipo a tutti quelli che parteciperanno all’incontro.

Assenza 20-21 marzo

Per gli studenti e i tesisti: sarò assente il 20 e 21 febbraio per partecipare al Workshop on “Connecting young researchers: best practices of EU-India PhD programmes”, che si terrà a Lisbona. La lezione di Distributed Systems di mercoledì 22 si terrà regolarmente.

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.