BLOQUES
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
S2018/TCS-4339 (BLOQUES-CM)
|
|||||||||||||||||||||||||
|
CharlasCharlasLos eventos científicos organizados por el Programa (seminarios, workshops, charlas, etc.) son actividades importantes ya que sirven para que los investigadores puedan promover su investigación, y para que que a su vez estén al tanto de los últimos desarrollos. Además la investigación es más productiva en un un entorno en el que la interacción entre los investigadores es continua. Muchos de los seminarios organizados regularmente por Bloques-CM son impartidos por investigadores de otras universidades y grupos de investigación. Algunos otros son parte de grupos de investigación concretos, presentando trabajos de interés para esos grupos. Un tercer tipo de seminario son charlas locales, en las cuales los investigadores y estudiantes involucrados en el Programa se turnan para presentar el progreso en su investigación. En esta sección se informará sobre las charlas organizadas total o parcialmente por miembros del Programa: |
||||||||||||||||||||||||