Seminari

 
Mar 172017
 

Avviso di seminario: lunedi 27 Marzo 2017 alle ore 16.00, nell’aula F presso il Dipartimento di Matematica ed Informatica dell’Università di […]

Set 132016
 

Dal 19 al 21 settembre 2016, presso l’hotel Flamingo di Santa Margherita di Pula, si svolgerà il convegno Geometric properties of solutions to elliptic and parabolic problems cofinanziato dal Dipartimento di Matematica e Informatica e dal PRIN 2012 “Aspetti variazionali e perturbativi nei problemi differenziali nonlineari”. Maggiori informazioni sul sito https://sites.google.com/site/workshopgeomcagliari/ Antonio Greco

 Scritto da in 13 settembre 2016  home page, seminari  Commenti disabilitati su Convegno di Analisi Matematica
Set 022016
 

The details of the workshop are available here: https://sites.google.com/site/complandriemangeometrydays/home

 Scritto da in 2 settembre 2016  home page, seminari  Commenti disabilitati su Complex and Riemannian Geometry days
Ago 312016
 

Nell’ambito del programma “Visiting Scientist” finanziato dall’Università di Cagliari, il Dr. Antonio De Nicola (Centro de Matemática, Università di Coimbra, Portogallo) terrà il mini-corso Metodi algebrici per la geometria differenziale Il mini-corso si articolerà in tre lezioni, secondo i seguenti orari: Lezione 1 – Lunedì 12 Settembre 2016, Ore 16.30, Aula D – Palazzo delle Scienze Lezione 2 – Giovedì 15 Settembre 2016, Ore 12.00, Aula D – Palazzo delle Scienze Lezione 3 – Lunedì 19 Settembre 2016, Ore 12.00, Aula B – Palazzo delle Scienze Il mini-corso si rivolge in particolare a studenti della Laurea Magistrale in Matematica e a studenti […]

Lug 182016
 

Upcoming Seminar

July 22, 15.00 (Aula C)
Palazzo delle Scienze – Cagliari


Andrea Bracciali

SICSA Lecturer – University of Stirling (UK)

Abstract. Decentralised smart contracts represent the next step in the development of protocols that support the interaction of independent players without the presence of a coercing authority. Based on protocols à la BitCoin for digital currencies, smart contracts are believed to be a potentially enabling technology for a wealth of future applications. The validation of such an early developing technology is as necessary as it is complex. In this paper we combine game theory and formal models to tackle the new challenges posed by the validation of such systems.

 Scritto da in 18 luglio 2016  seminari  Commenti disabilitati su Seminar: Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Lug 022016
 

Upcoming Seminar

Lightweight session programming in Scala

July 7, 15.00 (Aula C)
Palazzo delle Scienze – Cagliari

Alceste Scalas

Imperial College London

Abstract. Designing, developing and maintaining concurrent applications is an error-prone and time-consuming task; most difficulties arise because compilers are usually unable to check whether the inputs/outputs performed by a program at runtime will adhere to a given protocol specification. To address this problem, we propose lightweight session programming in Scala: we leverage the native features of the Scala type system and standard library, to introduce (1) a representation of session types as Scala types, and (2) a library, called lchannels, with a convenient API for session-based programming, supporting local and distributed communication. We generalise the idea of Continuation-Passing Style (CPS) protocols, studying their formal relationship with session types. We illustrate how session programming can be carried over in Scala: how to formalise a communication protocol, and represent it using Scala classes and lchannels, letting the compiler help spotting protocol violations. We attest the practicality of our approach with a complex use case, and evaluate the performance of lchannels with a series of benchmarks.

 Scritto da in 2 luglio 2016  seminari  Commenti disabilitati su Seminar: Lightweight session programming in Scala
Giu 132016
 

1 – Introduction to cryptocurrencies and smart contracts

15.4.2016 h12.00 – Lab M (Massimo Bartoletti)


2 – Introduction to smart contracts in Ethereum

22.4.2016 h12.00 – Lab M (Tiziana Cimoli)  —  Slides


3 – Incentives for smart contracts

29.4.2016 h11.00 – Lab M (Nicola Atzei) — Slides

4 – Vulnerabilities of Bitcoin

6.5.2016 h11.00 – Lab M (Stefano Lande) — Slides

5 – Analysis of the Bitcoin protocol

13.5.2016 – h11.00 – Lab M (Alessandro Sebastian Podda) — Slides

6 – Ethereum in depth

20.5.2016 h11.00 – Lab M (Nicola Atzei and Tiziana Cimoli) — Slides

7 – A survey of frameworks for smart contracts

27.5.2016 h11.00 – Lab M (Livio Pompianu) — Slides

 Scritto da in 13 giugno 2016  seminari  Commenti disabilitati su Seminars series: cryptocurrencies and smart contracts
Gen 222016
 

La prof.ssa Filomena Pacella, ordinario di Analisi Matematica presso l’università di Roma “La Sapienza”, sarà ospite del nostro dipartimento lunedì 8 e martedì 9 febbraio 2016. Martedì 9 febbraio, alle ore 10, nell’aula B al Palazzo delle Scienze, la prof.ssa Pacella terrà un seminario dal titolo Equazioni ellittiche completamente non lineari: spettro e proprietà di simmetria (Fully nonlinear elliptic equations: symmetry and spectral properties). Abstract. Dopo aver introdotto una classe di equazioni ellittiche completamente non lineari e delle loro soluzioni in senso debole, verranno presentati alcuni risultati di simmetria, basati, essenzialmente, sul principio del massimo. Saranno infine mostrate alcune conseguenze […]

Gen 132016
 

La prof.ssa Filomena Pacella, ordinario di Analisi Matematica presso l’università di Roma “La Sapienza”, sarà ospite del nostro dipartimento il 9 e il 10 febbraio prossimi, e terrà una conferenza i cui dettagli saranno resi noti a breve. Antonio Greco.

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar