Blockchain day @ Stirling
Post date: 25-Aug-2016 09:50:41
Bitcoin and Blockchain Technologies
August 31st 2016
Cottrell building 4B96 - University of Stirling
An open, international, one-day of study, brainstorming and networking opportunities for interested researchers and stakeholders.
Courant Institute of Mathematical Sciences and School of Medicine
New York University
Mt Sinai School of Medicine
Beyond the keynote talk, the day will comprise short introductions by the participants on ongoing research, initiatives, and groups focussing on BTC/BC. Networking opportunities and discussion on possible grants and projects will also be part of the day. We will be targeting H2020 and other EU initiatives, as well as UK funders and US-EU possible partnerships.
09.30 Coffee & registration
Welcome and round of short introductions
10.20 Daniela Bolle, Research Office, University of Stirling
Funding opportunities + questions/comments/insights.
(including COST, ITN, Global Challenge, …)
11.00 Invited talk: Bud Mishra, New York University.
12.00 Lunch (Room 2B87)
13.15 Short talks
Andrea Bracciali, University of Stirling
Validation of decentralised Smart Contracts through game theory and formal methods
Massimo Bartoletti, TCS group University of Cagliari
Martin Chapman, King's College
Davide Grossi, University of Liverpool
Andrea Pinna, Agile group University of Cagliari
Federico Pintore, University of Trento
Simon Dobson, University of St Andrews
Can blockchains help make science must trustworthy?
15.30 Coffee break
16.00 Discussion on grant applications
A networking session aimed at exploring the possibility of collaborations and funding
applications, with a specific focus on selected EU and National programmes.
Accomodation and travelling information
Participation is free, but registration required for organisational purposes. Please register at:
preferably not later than 28th August!
Accommodation can be booked on campus or in nearby structures. Please see
for useful information about traveling to and staying in Stirling, as well as on-campus accommodation (please note that the event precedes the CIBB2016 conference, which is an independent event, but you can enquire for accommodation through the conference channels).
- Andrea Bracciali, University of Stirling - email@example.com, +44 (0)1786 467446
- Massimo Bartoletti, University of Cagliari - firstname.lastname@example.org +39 (0)70 6758540
From spamhaus to our house: Blockchains and Costly Signaling
Abstract: this talk will focus on Bit-Coins and BlockChain Technologies and their implications for Privacy, Anonymity, Data Science, Finance and Market Micro-structure.
Topics: Information Asymmetry, Signaling Games, Risks and Deception – Signaling Games On the Internet (& Biology) – Costly Signaling, Block Chains, Verifiers and Recommenders – Circulating Money via Signaling Games – Value-Storing Money via Signaling Games – Case Studies: Bit-Coins, Dark Web, Silk Road and MtGox – Data Science and Finance
Slides: available here.
Bud Mishra is a professor of computer science and mathematics at NYU's Courant Institute of Mathematical Sciences, professor of computer science and engineering at NYU’s Tandon School of Engineering, professor of human genetics at Mt. Sinai School of Medicine, and a professor of cell biology at NYU School of Medicine. Prof. Mishra has a degree in Physics from Utkal University, in Electronics and Communication Engineering from IIT, Kharagpur, and MS and PhD degrees in Computer Science from Carnegie-Mellon University. He has industrial experience in Computer and Data Science (brainiad, Genesis Media, Pypestream, Tartan Laboratories, and ATTAP), Finance (Instadat, Tudor Investment and PRF, LLC), Robotics and Bio- and Nanotechnologies (Bioarrays, InSilico, Seqster, Abraxis, MRTech, and OpGen). He is the author of a textbook on algorithmic algebra and more than two hundred archived publications. He has advised and mentored more than 35 graduate students and post-docs in the areas of computer science, robotics and control engineering, applied mathematics, finance, biology and medicine. He is a fellow of IEEE, ACM and AAAS, a Distinguished Alumnus of IIT- Kharagpur, and a NYSTAR Distinguished Professor. From 2003-2006, he held adjunct professorship at Tata Institute of Fundamental Research in Mumbai, India. From 2001-04, he was a professor at the Watson School of Biological Sciences, Cold Spring Harbor Lab; currently he is a QB visiting scholar at Simons Center for Quantitative Biology, Cold Spring Harbor Lab.