Latest Past Events

Blockchain – Intro

Facultatea de Matematica si Informatica, sala 219

Speaker:  Ruxandra Olimid (University of Bucharest) Abstract: Short (crypto) introduction in Blockchain. Mostly a reading group, discussing the original bitcoin paper: https://bitcoin.org/bitcoin.pdf

Around Hilbert’s Tenth Problem

Speaker: Mihai Prunescu (University of Bucharest) Abstract: We discuss different implications of the negative answer of Hilbert's Tenth Problem: the exponential Diophantine equation over ℕ and ℚ, the minimal number

How to find bugs in your (x86) code: Applications that use RIVER

Facultatea de Matematica si Informatica, sala 202

Speaker: Bogdan Ghimiș (University of Bucharest) Abstract: From a security perspective, discovering bugs before shipping a product is crucial. This presentation will be about RIVER, a tool that can help