Ignorar Comandos do Friso
Saltar para o conteúdo principal
Portal UMinho

Eventos




 Eventos

Seminários "Infoblender" do HASLab

quarta-feira, 29.03.2017
DI, Campus de Gualtar, Braga
O HASLab - Laboratório de Software Confiável da UMinho, membro do laboratório associado INESC TEC, realiza o ciclo de seminários Infoblender, com peritos (inter)nacionais em sessões quinzenais, por norma das 14h00 às 14h30, no auditório A2 do Departamento de Informática da UMinho, em Braga.

AGENDA

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

NIPE Brown Bag Seminar

De quarta-feira, 29.03.2017 até quarta-feira, 19.07.2017
EEG | Room 1.25, 13h15
O Núcleo de Investigação em Políticas Económicas (NIPE) da Escola de Economia e Gestão da Universidade do Minho organiza o ciclo de seminários NIPE Brown Bag Seminar. As sessões são (salvo as exceções indicadas) às quartas-feiras, às 13h15, na Sala de Executivos da Escola de Economia e Gestão da UMinho, em Braga. A coordenação cabe às professoras Cristina Amado e Natália Pimenta Monteiro.

PROGRAMA

29 de março de 2017
A definir

12 de abril de 2017
A definir

26 de abril de 2017
A definir

10 demaio de 2017
A definir

24 de maio de 2017
A definir

7 de junho de 2017
Cristina Amado (Universidade do Minho - NIPE)
A Smooth Transition Approach to Modelling Diurnal Variation in Models of Autoregressive Conditional Duration

21 de junho de 2017
A definir

5 de julho de 2017
A definir

19 de julho de 2017
A definir

REALIZADOS

15 de março de 2017
Rihab Sawaya (Universidade do Minho)
Economic Voting in Post War Lebanese Parliamentary Elections

1 de março de 2017
Andreia Amorim (Universidade do Minho - NIPE)
15 de fevereiro de 2017
Guillermo Badía Fraile (Universidade de Zaragoza)
Possibilities of SRI retail investors to obtain extra performance

1 de fevereiro de 2017
Joana Pena (Universidade do Minho)
Social screening and mutual fund performance: international evidence

14 de dezembro de2016
Margarita Carvalho (Universidade do Minho - NIPE)
Financialization, corporate governance and employee pay: a firm level analysis (com João Cerejeira)

30 de novembro de 2016
Gilberto Loureiro (Universidade do Minho - NIPE)
The Decreasing Returns of Serial Acquirers around the World

23 de novembro de 2016
Odd Rune Straume (Universidade do Minho - NIPE)
Competition and physician behaviour: Does the competitive environment affect the propensity to issue sick notes?

26 de outubro de 2016
Maria João Thompson (Universidade do Minho - NIPE)
Social Capital, Innovation and Economic Growth

19 de outubro de 2016
Miguel Portela (Universidade do Minho - NIPE)
Education spillovers in Portugal

14 de setembro de 2016
Rita Sousa (Universidade do Minho - NIPE)
Energy Outlook for NDC Implementation In Small Island Developing States – The Case of São Tomé and Príncipe

Instituto Confúcio da UMinho promove curso de taijiquan

De quinta-feira, 20.10.2016 até quinta-feira, 22.06.2017
Campus de Gualtar, Braga
Curso de taijiquan promovido pelo Instituto Confúcio da UMinho de 20 de outubro a 22 de junho de 2017 (à quinta-feira, das 20h-21h), no Complexo Desportivo do campus de Gualtar, Braga, e orientado por Joana Matos, professora certificada na área.

O taijiquan é uma arte marcial chinesa que equilibra corpo e mente, baseando-se na teoria do yin-yang, que faz parte da cultura chinesa. Os movimentos são suaves, lentos e enraizados, desenvolvendo a musculatura e fortalecendo ossos e tendões. É também uma arte terapêutica, física e mental, que dá um estado de tranquilidade e bem-estar aos praticantes, numa espécie de meditação em movimento.

Inscrições
De 26 de setembro a 17 de outubro, com o limite de 10 a 15 pessoas, mediante o preenchimento da ficha de inscrição anexa e enviada para confucio@confucio.uminho.pt ou entregue presencialmente no Instituto Confúcio da UMinho, no campus de Gualtar, Braga.

+Info: www.confucio.uminho.pt/noticias/2016/09/26/curso-de-taijiquan-2016-2017

Candidaturas a Estágios Internacionais Erasmus+

De terça-feira, 4.10.2016 até terça-feira, 31.10.2017
Candidaturas a Estágios Internacionais Erasmus+

Os Serviços de Relações Internacionais desenvolveram uma campanha, especialmente destinada para que os recém-graduados da UMinho apresentem candidaturas aos Estágios Internacionais Erasmus+, que estão agora abertas em permanência. Os estágios poderão decorrer até um máximo de 12 meses após a data de conclusão do curso.

Rastreios de saúde na UMinho

sexta-feira, 31.03.2017
Auditórios B1, CP II (Gualtar, Braga) e B1.10 (Azurém, Guimarães)
No âmbito da promoção da segurança e saúde no trabalho, a Universidade do Minho, em colaboração com a Fundação Portuguesa de Cardiologia, a Escola de Medicina da UMinho e a Escola Superior de Enfermagem da UMinho, decidiu organizar rastreios gratuitos para toda a comunidade com o intuito de alertar para os problemas de saúde com maior incidência na população portuguesa, como a hipertensão arterial, a diabetes e o colesterol.

AGENDA

- 03 de novembro de 2016 | 9h00-17h00
Rastreio ao colesterol total, no átrio do CP II (Complexo Pedagógico II) do campus de Gualtar, em Braga, e na B-in (Biblioteca Interativa) no campus de Azurém, em Guimarães

- 24 de novembro de 2016 | 9h00-17h00
Rastreio à diabetes, no átrio do CP II (Complexo Pedagógico II) do campus de Gualtar, em Braga, e na B-in (Biblioteca Interativa) no campus de Azurém, em Guimarães

- 14 de dezembro de 2016 | 9h00-17h00
Rastreio pulmonar (espirometria e smoke check), no átrio do CP I (Complexo Pedagógico II) do campus de Gualtar, em Braga, e na B-in (Biblioteca Interativa) no campus de Azurém, em Guimarães

- 31 de março de 2017 | 15h00-17h00
Rastreios para uma alimentação saudável, no auditório B1 (CP II) do
campus de Gualtar, em Braga

- 31 de março de 2017 | 15h00-17h00
Rastreios do cancro do colo do útero e cancro do colo retal, no auditório B1.10 do campus de Azurém, em Guimarães