Secções
  Entrada HASLab Notícias & Eventos Eventos
Acções do Documento

Eventos

Subir um nível

9th HASLab InfoBlender

INESC TEC's High Assurance Software Laboratory (HASLab) is organising the 9th Edition of the InfoBlender, which will feature Prof. Wolfram Kahl, from McMaster University, Ontario, Canada. The professor will be discussing Code Graphs as Data-Flow Graphs, Control-Flow Graphs, and Inter-action Nets.

Ler Mais…

10th HASLab InfoBlender

10th HASLab Infoblender Seminar

Ler Mais…

11th HASLab InfoBlender

INESC TEC's High Assurance Software Laboratory (HASLab) is organising the 11th Edition of the InfoBlender, which will feature Prof. Pooya Farshim, Queen's University Belfast, UK. The professor will be discussing Random Oracles and Obfuscation.

Ler Mais…

18th HASLab Infoblender Seminar

Towards a Linear Algebra Semantics for SQL

Ler Mais…

OPEN DAY HASLab

Um dia sobre a qualidade e confiabilidade do software.

Ler Mais…

destaque.jpg
destaque.jpg
anuncio-site
anuncio-contactos

Contactos

HASLAB +351 22 209 4000