English
Universidade do Minho
Escola de Engenharia
Departamento de Informática
Apresentação Ensino I&D Competências Formação Especializada Visitas
 
Início
Eventos
Docentes
Não Docentes
Associação de Estudantes
Jornadas
Boletim
Atrium
ENGINews
Contactos

Eventos

JOIN'2015 - Jornadas de Informática

23, 25 e 26 de junho de 2015

Nos dias 23, 25 e 26 de Junho de 2015 decorrem na Universidade do Minho as XIII Jornadas de Informática, um evento anual que visa promover a interação entre os alunos dos cursos de três ciclos de estudos desta universidade com uma forte componente de informática e o meio empresarial, regional ou nacional, que tem sido a sua maior força empregadora.

Os três dias do evento serão divididos entre sessões científicas, de índole mais técnica ou tutorial, nas partes da manhã, e em sessões de divulgação das empresas do referido tecido empresarial, de workshops temáticos por elas oferecidos e divulgação de propostas de temas de dissertação, projetos de investigação e desenvolvimento e oportunidades de emprego. Estas atividades da parte da tarde são já conhecidas como JobShop.

Assim, as manhãs serão preenchidas com sessões de aproximadamente de 45 minutos cada, em que os oradores convidados abordarão temas de interesse técnico para a comunidade científica da universidade. Este ano, os temas abordam conceitos e tecnologias avançadas sobre : Internet of Things / Unmanned Aerial Vehicles (UAVs), 40 Anos de Informática na UM e Novas Linguagens de Programação .

Mais info http://join.di.uminho.pt

Conference: Julia Taylor - What Can We Learn From Computers’ (Not) Understanding Humor

18th of March, 2015, 14h30 at DI-A2

Abstract: Humor-centered computing is impossible without humor.  In order for it to have humor, humor must be formalized and made computable.  For it to happen, there must exist a theory of humor suitable for computation.  For a quarter of a century, the humor community has thought there was a reliable formal linguistic theory: on a full comprehension of its nature, it has allowed for reasonable consensus on joke analyses and their reproducibility by human experts.  With the development and availability of semantic computing, however, it has become clear to the principals that the theory is not quite adequate. The talk focuses on elevating the currently dominant formal theory of humor to a level suitable for computational use and developing a computational system capable of understanding the joke mechanism. This mechanism will enable the computer to provide a punch line to a human generated setup (even if unintentional) and conversely, to react competently to a human generated punch line that follows a setup that is generated by either participant. The talk will utilize the Ontological Semantic Technology resources and algorithms that are applied to comprehensive meaning representations of jokes and individual preferences for them.

Bio: Julia M. Taylor earned her Ph.D. in Computer Science and Engineering in 2008, M.S. in Computer Science in 2004, and B.S. in Computer Science and B. A. in Mathematics in 1999 at the University of Cincinnati. After a short postdoc at the Cincinnati Children Hospital and Medical Center, she worked as Senior Research Engineer at RiverGlass, Inc. (2008-2011), improving and implementing the Ontological Semantic Technology for an analytics application. She was a Visiting Scholar at Purdue since 2008 and joined CERIAS as a Research Assistant Professor in June 2011. Since January 2012, she has been a tenure-track Assistant Professor of Computer and Information Technology as well as an elected Fellow of CERIAS. She has published over 50 peer-reviewed papers in artificial intelligence, computational humor, computational semantics, fuzzy logic, information security, and robotic communication and intelligence. She has also served on the editorial boards of HUMOR: International Journal of Humor Research and European Journal of Humour Research and co-chaired the first AAAI Fall 2012 Symposium on Artificial intelligence of Humor in Arlington, VA.

Workshop - Git Basics

18 de março de 2015

O CESIUM organiza mais uma workshop, desta vez subordinada ao tema Git Basics. Esta workshop decorrerá no Departamento de Informatica, em Gualtar, no dia 18 de março no DI-A1 pelas 17:00.

Inscrições em https://cesium.typeform.com/to/RTEyMB

Semana da Engenharia Informática

14 a 21 de fevereiro de 2015

O grupo de estudantes CESIUM, promoveu de 14 a 21 de fevereiro de 2015 a Semana da Engenharia Informática aqui no Departamento de Informática. Os alunos puderam participar em palestras, workshops, eventos sociais, interação com empresas, desafios, animação e outras surpresas. Neste evento participaram alunos de LEI, LCC e de algumas secundárias de Braga.

Mais info aqui

Seminário: "Formal modelling, safety analysis and medical devices"

18 de fevereiro de 2015

No dia 18 de fevereiro de 2015 teve lugar no A1, entre as 13h45 e as 14:30, um seminário sob o tema "Formal modelling, safety analysis and medical devices." como orador Michael Harrison (Newcastle University & Queen Mary University of London).

Resumo: The talk describes aspects of two current research projects, part of CHI+MED a UK funded initiative focusing on the safety and usability of medical devices. The first project uses the IVY tool (developed at Braga) in an ongoing risk analysis of a paediatric dialysis machine, currently making the transition from research project at Newcastle Royal Victoria Infirmary to marketable product. Issues for focus include the nature of the model, the properties relevant to arguing that appropriate control measures are in place, and the nature of the conversation between the medical physicists, who developed the device, and the modeller.The second project explores the role of IVY patterns in proving properties of an IV infusion pump using theorem proving techniques. This part of the talk will (if there is time) discuss the role of the patterns as heuristics driving the analysis of the interactive behaviour of the device, demonstrating that user related safety requirements are satisfied.

Alunos de Engenharia Informática da UMinho apresentam produtos de software no GNRation.

13 de fevereiro de 2015

No dia 13-Fev, pelas 14h, oito grupos de alunos do Mestrado em Engenharia Informática da UMinho deslocaram-se ao espaço GNRation para tentarem virar a sua sorte. O evento, que contou com o apoio da StartupBraga, teve como enfoque a apresentação, a um conjunto de especialistas e empresários, dos projetos desenvolvidos, no âmbito da unidade curricular (UC) de Projecto de Engenharia Informática. Esta UC permite aos alunos desenvolverem produtos de software, em permanente contacto com o meio empresarial e os clientes finais. Ao longo da tarde foram apresentados os oito projetos: Nutrium, SOL, Parkr, Reconfigurable, Duster, CLAP, CloudProphet e yWallet.

Este evento marcou o fim oficial da unidade curricular de Projecto de Engenharia Informática e os envolvidos nos projetos esperam que este sirva de plataforma de visibilidade para os mesmos. Esperam assim que o mercado lhes dê atenção e absorva as suas propostas de negócio, reforçando assim a posição de referência que o Mestrado de Engenharia Informática, da UMinho, assume no panorama nacional e internacional.

Cerimónia de Graduação dos alunos da EEUM que concluíram a sua Licenciatura ou o seu Mestrado em 2013/14

24 de janeiro de 2015

24 de Janeiro, 9h30, realizou-se em Azurém, sede da Escola de Engenharia da UM, a Cerimónia de Graduação dos alunos da EEUM que concluíram a sua Licenciatura ou o seu Mestrado em 2013/14. As Direções de Curso do DI foram representadas pelo Professor Doutor Pedro Rangel Henriques, Diretor de Curso da LEI. Esta Cerimónia de Graduação está inserida na Semana da Escola de Engenharia que decorreu de 22 a 27 de janeiro de 2015.

Palestra sobre "Bidirectional Model Transformation"

30 de Outubro de 2014

Title: Bidirectional Programming in Software Development

Convidado: Zhenjiang Hu (National Institute of Informatics)

Abstract: Bidirectional programming is to develop well-behaved bidirectional transformations in order to solve various synchronization problems. Several bidirectional programming languages exist to aid programmers in writing bidirectional transformations with increased maintainability but decreased expressiveness. Most existing bidirectional programming languages are to aid programmers in writing a forward transformation "get" and deriving a backward transformation "put" for free. However, the maintainability offered by such languages comes at the cost of expressiveness and (more importantly) predictability because the ambiguity of synchronization handled by the putback transformation is solved by default strategies over which programmers have little control.

One interesting but less known fact is that while get usually loses information when mapping from a source to a view, put must preserve information when putting back from the view to the source, according to the well-behavedness property.

In this talk, I will talk about our recent progress on putback-baesd bidirectional programming, explaining how to design user-friendly languages for supporting putback-based bidirectional programming, showing how to systematically check whether the definition of a put is in a valid form that guarantees that the corresponding unique get exists, demonstrating how to apply putback-based bidirectional programming in software development, and highlighting important issues and challenges for future work.

Jornadas Internacionais sobre Cidades Inteligentes

16 e 17 de Outubro de 2014

Envio em anexo o cartaz e o programa das JORNADAS INTERNACIONAIS SOBRE CIDADES INTELIGENTES, que se realizarão, nos próximos dias 16 e 17 de Outubro de 2014, na Escola de Direito da Universidade do Minho.

Code Week @ Departamento de Informática

11 a 17 de outubro de 2014

É com grande entusiasmo que apresentamos mais uma edição da Code Week @ Departamento de Informática, na qual as portas estão abertas a toda a comunidade.

Não percas a oportunidade de te inscrever em www.di.uminho.pt/codeweek

O CeSIUM junta-se assim ao movimento Europe Code Week com uma semana repleta de eventos que não vais querer perder!

O nosso programa conta com numerosas iniciativas que promovemos tal como:

  • Coderdojo Minho – clube de programação para os mais novos.
  • Improve Braga – melhorar a nossa cidade através de projetos tecnológicos.
  • Rails Girls Braga – Meetup de Rails para qualquer rapariga com interesse em programação.
  • Brackerspace – HackerSpace @ Braga

Incluímos uma palestra de Java 8, cobrindo os seus numerosos updates, um crash course onde os participantes vão desenvolver uma aplicação completamente funcional com Ruby on Rails. Além disto, podemos ainda contar com uma palestra sobre Server Automation, através de exemplos como Puppet e Docker.

Vai estar disponível um desafio algorítmico que durará a toda a semana, no qual os participantes vão competir codificando a solução na linguagem à sua escolha, apenas precisando de submeter uma resposta – o que pode ser feito quantas vezes quiserem.

Conferência Internacional sobre Ruby

13 e 14 de outubro de 2014

Pela primeira vez em Portugal, uma conferência internacional dedicada à linguagem de programação Ruby. A decorrer no Bom Jesus de Braga e com organização a cargo da Group Buddies, esta conferência conta com cerca de 200 participantes e vários speakers de renome na área (Steve Klabnik, Katrina Owen, Carlos Souza, Terence Lee, entre outros).

Esperamos que todos os Associação de Estudantespossam assistir a esta incrível conferência. No entanto, mesmo que não compareçam, esses dias incluem outras atividades como um dia temático de Retrocomputing no Departamento de Informática da Universidade do Minho e a palestra de Java 8 falada anteriormente.

© Universidade do Minho - Departamento de Informática - Termos Legais