El CIE invita a su comunidad a participar de una charla especializada de "Smart contracts en la blockchain". Los "contratos inteligentes" suelen definirse como un protocolo informático destinado a facilitar, verificar o hacer cumplir digitalmente la negociación o el cumplimiento de un "contrato”. ¿Cómo lo hacemos con blockchain?
- Fecha: 3 dic. 2018 Hora: 18:30 a 21:30 Lugar: Campus Centro - Sala de seminarios - Cuareim 1451
Los "contratos inteligentes" refieren a programas ejecutados en la llamada blockchain. El hecho de ser ejecutados allí, garantiza que tales transacciones se ejecuten de forma confiable sin necesidad de intermediarios, permitiendo además que estas sean rastreables e irreversibles. En esta charla se introducirán conceptos de smart contracts a alto nivel, poniendo énfasis en el estado del arte, limitaciones y oportunidades, y la conexión de estos contratos con los contratos legales que tratan de representar.
Expone
-
Gerardo Schneider
Profesor de informática en la Universidad de Gotemburgo
Jefe de la División de Métodos Formales del Departamento de Ciencias de la Computación e Ingeniería en la Universidad de Gotemburgo