Seminari

 
Mag 212018
 

Lecturer: Marcello Lucia, Professor at the City University of New York Dates: from Monday, May 28th, to Wednesday, June 13th Location: Palazzo delle Scienze, via Ospedale 72, Cagliari Summary. Calculus of Variations is a fundamental branch of Mathemati…

Mar 152018
 

1st Scientific School on Blockchain and Distributed Ledger Technologies Pula, Sardinia, Italy 12-15 June 2018 http://blockchain2018.crs4.it Crypto economics is a new discipline born after the rise of virtual currencies and distributed ledger technologi…

Mar 062018
 

L’Associazione Universo è lieta di invitarvi al seminario “Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts”, che si terrà Mercoledì 7 Marzo, alle ore 17 presso l’Aula Magna di Fisica del…

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
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar