Detalhe do evento

Seminários "Infoblender" do HASLab

Fotos

quinta-feira, 21/12/2017
DI, Campus de Gualtar, Braga

Iniciativa do HASLab - Laboratório de Software Confiável da EEUM, membro do INESC TEC.

O HASLab - Laboratório de Software Confiável da EEUM, membro do laboratório associado INESC TEC, realiza o ciclo de seminários Infoblender, com peritos (inter)nacionais em sessões quinzenais, no auditório A2 do Departamento de Informática da UMinho, em Braga.

AGENDA

21 de fevereiro’18
An Executable Formal Framework for Safety-Critical Human Multitasking(das 14h às 15h00)
By By Giovanna Broccia, University of Pisa, Italy.

7 de fevereiro’18
Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors (das 14h às 15h00)
By Prof. Meng Sun, Peking University, China

14 de dezembro’17
Resource-Aware Models in ABS (das 16h às 17h30)
By Prof. Einar Broch Johnsen, University of Oslo, Norway 7 de dezembro’17
Blockchain Technology Workshop (das 18h às 19h30)
By Ali Shoker, HASLab, INESC TEC & Minho University. Emanuel Mota. Yari Labs, Lda, Ana Trigo and Jo ̃ao Galv ̃ao. Centro Algoritmi, UMinho, and Bosch Multimedia

8 de novembro’17
An Algebraic Approach to the Design of Block (das 14h às 14h30)
By Óscar Pereira, HASLab, INESC TEC & Minho University.

27 de outubro’17
Energy Efficiency Across Programming Languages (das 14h às 14h30)
por Prof. José N. Oliveira, HASLab, INESC TEC & Minho University. 27 de setembro’17
The Data Cube as a Typed Linear Algebra Operator (das 14h às 14h30)
por Prof. José N. Oliveira, HASLab, INESC TEC & Minho University

24 de julho’17
VOCAL — The Verified OCaml Library (das 10h30 às 12h00)
por Mário Pereira, LRI — Université Paris-Saclay, France.

28 de junho’17
SafeFS: A Modular Architecture for Secure User-Space File Systems (One FUSE to rule them all) (das 14h às 14h30)
por João Paulo, HASLab, INESC TEC & Minho University.

10 de maio’17
Static Energy Consumption Analysis in Software: the Worst-Case Scenario (das 14h às 14h30)
por Marco Couto, HASLab, INESC TEC & Minho University.

29 de março’17
Green Computing as an Engineering Discipline (das 14h às 14h30)
por Prof. Rui Pereira, HASLab, INESC TEC & Minho University.

8 de março’17
Data Mining Machine Learning Subgroup Mining (das 14h às 14h30)
por Prof. Paulo J. Azevedo, HASLab, INESC TEC & Minho University.

15 de fevereiro’17
On the Design of Distributed Programming Models (das 14h às 14h45)
por Christopher Meiklejohn, Université catholique de Louvain & Instituto Superior Técnico.

8 de fevereiro’17
Next Generation Clouds (das 14h às 14h45)
Por Rolando Martins, FCUP & CRACS/INESC TEC, Porto.

11 de janeiro’17
Conflict-free Replicated DataTypes in Practice (das 14h às 14h45)
Por Georges Younes e Vitor Enes, HASLab, INESC TEC & University of Minho.

26 de outubro'16
Beyond Breaking RSA - Algorithms and Applications of Quantum Computation (das 13h30 às 15h00)
Por Carlos Tavares, HASLab, INESC TEC & University of Minho.

12 de outubro'16
Causality is Simple (das 13h30 às 15h00)
Por Carlos Baquero, HASLab, INESC TEC & University of Minho.

28 de setembro'16
A Framework for Quality Assessment of ROS Applications (das 13h30 às 15h00)
Por André Santos, HASLab, INESC TEC & University of Minho.

13 de julho'16
On The ’Divide & Conquer’ Metaphor — The ‘Quinta Essentia’ Of Programming (das 13h30 às 15h00)
Por José Nuno Oliveira, HASLab, INESC TEC & UMinho. 29 de junho'16
Pattern based software development (das 14h00 às 14h30)
Por Rui Couto, HASLab, INESC TEC & UMinho.

15 junho'16
Parallel processing of SQL window functions (das 14h00 às 14h30)
Por Fábio Coelho, HASLab, INESC TEC & UMinho.

25 maio'16
Verifiable side-channel security of cryptographic implementations: Constant-time MEE-CBC
Por Manuel Barbosa, do HASLab/INESC TEC e da Faculdade de Ciências da Universidade do Porto

11 maio'16
Frontiers of Big and Open Linked Data (das 14h00 às 15h00)
Por Marijn Janssen, da Universidade Técnica de Delft (Netherlands)

30 março'16
Formalizing Single-assignment Program Verification: an Adaptation-complete Approach (das 14h00 às 14h30)
Por Cláudio Belo Lourenço, do HASLab/INESC TEC e UMinho.

3 março'16
Suggested read: A personal view of average-case complexity
Por Bernardo Portela, do HASLab/INESC TEC e UMinho

17 fevereiro'16
Towards a Linear Algebra Semantics for SQL (das 14h00 às 15h00)
Por José N. Oliveira, HASLab/INESC TEC e UMinho

3 fevereiro'16
Formal Analysis and Verification of Database Query Languages (das 13h30 às 15h00)
Por Raju Halder, HASLab/INESC TEC e UMinho

22 janeiro'16
A Layered Architecture for Tracing Distributed Systems (das 11h30 às 13h00)
Por Rodrigo Fonseca (Brown University, EUA)

13 de janeiro'16
Typed Connector Families (das 13h30 às 14h45)
Por José Proença, HASLab/INESC TEC e UMinho

6 de janeiro'16
Toward Dependable Interactive Systems: Dealing with System Faults at Development and Run Time
Por Camille Fayollas, Instituto Politécnico Nacional (Universidade de Toulouse), França

2 de dezembro'15
From Abstract Requirements to Processes in the Same Logic
Por Alexandre Madeira, do HASLab/INESC TEC

18 de novembro'15
On The Iot, from A to Z
Por Ali Shoker, do HASLab/INESC TEC

4 de novembro'15
Random Oracles and Obfuscation
Por Pooya Farshim, da Queen's University Belfast (Reino Unido)

21 de outubro'15
Cumulonimbo: A Cloud Scaleble SQL Database
Por Rui Oliveira, professor da EEUM e diretor do HASLab/INESC TEC

1 de julho'15
A Cryptographic Treatment of Software Guard Extensions
Por Bernardo Portela, estudante de doutoramento do HASLab

17 de junho'15
Reviewing Human Robot Interaction
Por Michael Harrison, professor na Universidade de Newcastle e investigador do Queen Mary University of London e do HASLab

27 de maio'15
A New Foundation for Computing Science
Por Dines Bjorner, professor da Universidade Técnica da Dinamarca e uma referência mundial na área de Engenharia de Software

6 de maio'15
Dependable Decentralized Storage Management for Cloud Computing
Por João Paulo, aluno de doutoramento do HASLab/ INESC TEC

27 de abril'15
Epidemic Store for Massive Scale Systems
Por Francisco Maia, aluno de doutoramento do HASLab/ INESC TEC

22 de abril'15
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets
Por Jorge Mendes, aluno de doutoramento do HASLab/ INESC TEC

13 de abril'15
Refinement Algebra for an Object-Oriented Language with Pointers
Por Augusto Sampaio, professor da Universidade Federal de Pernambuco, Brasil

8 de abril'15
Exploring Scenario Exploration
Por Nuno Macedo, aluno de doutoramento do HASLab/ INESC TEC

Mais informações: http://haslab.uminho.pt, www.facebook.com/haslabinesctec

Detalhe do evento // <![CDATA[ _spBodyOnLoadFunctionNames.push("setupPageDescriptionCallout"); // ]]>

Detalhe do evento

Seminários "Infoblender" do HASLab

quinta-feira, 21/12/2017 DI, Campus de Gualtar, Braga

Detalhe do evento

quinta-feira, 21/12/2017
DI, Campus de Gualtar, Braga