Departamento de Informática
MERSTel 2016 Workshop: "IoT for Intelligent Transport System: How Crowdsourcing has Changed Our World"
05 de fevereiro de 2016
Prof. Riri Fitri Sari
DI - Anf. A2 - Friday, February 5th 2016, 15h00
Abstract: This talk presents the development of the Internet of Things (IoT) with the use of sensors and devices and their implementation for the Intelligent Transportation System (ITS). The development of the Intelligent Transport System, Vehicular Network, and the supporting communication technologies will be elaborated. The theme of people as sensors and mining social media for meaningful information will be elaborated for the topic of Intelligent Transport System. We will also discuss some applications that take an open data approach to traffic and navigation.
Riri Fitri Sari is a Professor of Computer Engineering at the Electrical Engineering Department, Faculty of Engineering, University of Indonesia (UI) . Presently she holds the position of the CIO/Head of Information System Development and Services of the University of Indonesia. She graduated with a BSc in Electrical Engineering from UI. She gained a Master in Human Resources Management from the Atmajaya University Jakarta. Subsequently she completed her MSc degree in Software Systems and Parallel Processing from the Department of Computer Science, University of Sheffield, UK, funded by British Council Chevening Award. She holds a PhD in Computer Networks from the School of Computing, University of Leeds, UK. Her PhD research was on Active Networks-based Congestion Control Protocols. Her current main teaching and research area includes Computer Network, Grid Computing, and ICT implementation. Prof. Dr. Sari is a Senior Member of the Institute for Electronics and Electrical Engineers (IEEE). In November 2011, IEEE Region 10 Asia Pacific announce her as the recipient of the IEEE WIE Most Inspiring Engineer Award, awarded at the IEEE Region 10 Meeting in Kolkata, India, March 2012. Prof. Dr. Riri Fitri Sari is the 2009 Most Outstanding Lecturer at the University of Indonesia and the 3rd Winner of the National Selection of the Most Outstanding Lecturer hold by the Ministry of National Education of Republic of Indonesia in conjunction with the 64th National Independence Day.
HASLab InfoBlender Seminar: Formal Analysis and Verification of Database Query Languages.
03 de fevereiro de 2016
Speaker: Dr. Raju Halder, HASLab/INESC TEC & University of Minho.
Date&Location: Wednesday, February 3, 2016, at DI, Gualtar campus, Braga.
Coffee session: 13h30 -14h00, Sala de Estar, 4th Floor.
Talk session: 14h00 -15h00, Sala de Estar, 4th Floor.
Abstract. In this talk, we describe the abstract interpretation of Database Query Languages and its various applications. We formalized a complete denotational semantics, both at concrete and abstract levels, of database applications instrumented with data manipulation language operations such as SELECT, UPDATE, INSERT, DELETE. The theoretical formal framework serves as a foundation of several interesting practical applications, e.g. fine grained access control of data, persistent watermarking, cooperative query answering, etc. In this direction, the issue of semantics-based dependence refinement in database language is also addressed which leads to a more precise analysis of database applications, including program slicing, language-based information flow security analysis, etc. The semantics-based analysis of Hibernate Query Language this way leads to a formal verification of persistent object’s properties as well..
About the speaker. Raju Halder is currently a re- searcher at HASLab/INESC TEC and University of Minho. He received his Ph.D degree in Computer Science from Ca’ Foscari University of Venice, Italy. Prior to HASLab, Raju was a Post-Doctoral researcher at Macquarie University (Australia) and then joined the Indian Institute of Technology Patna. Be- fore the Ph.D, he also worked at IBM India Pvt. Ltd. Raju is the recipient of “Italian Ministry of Education, Universities and Re- search (MIUR)” fellowship; he also got two Best Paper Awards at CISIM’11 and ACSS’15. Raju has served as PC member and reviewer for tens of conferences. His research interests include Abstract Interpretation, Model Checking, Program Analysis and Verification, Databases, etc.. You may want to visit the speaker's webpage for more details: http://www.iitp.ac.in/~halder/index.html.
CESIUM - Semana de Engenharia Informática.
06 a 13 de fevereiro de 2016
Na semana de 6 a 13 de Fevereiro realizar-se-à mais uma edição da SEI - Semana da Engenharia Informática, uma semana organizada por alunos e para alunos, gratuita e totalmente dedicada a apresentar e aprofundar temas de destaque no panorama atual da informática.
A SEI (http://seium.org), anteriormente designada por Semana da LEI, tem vindo a apresentar um programa intensivo composto por uma Hackathon, palestras e workshops orientados por oradores de relevo a nível nacional, uma variedade de momentos de discussão e pró-atividade, uma abordagem social e momentos de lazer. Desta forma, pretende-se inspirar alunos não só da nossa universidade, mas também de outras e até de toda comunidade que nos rodeia.
HASLab InfoBlender Seminar: A Layered Architecture for Tracing Distributed Systems.
22 de janeiro de 2016
Date&Location: Friday, January 22, 2016, at DI, Gualtar campus, Braga.
Coffee session: 11h30 -12h00, Sala de Estar, 4th Floor.
Talk session: 12h00 -13h00, Auditório 2, first Floor.
Speaker: Prof. Rodrigo Fonseca, Brown University, USA.
Title. A Layered Architecture for Tracing Distributed Systems.
Abstract. Many tasks for understanding and managing the execution of systems, such as debugging, snapshotting, monitoring, accounting, providing performance guarantees, are much harder in distributed settings. Correspondingly, many techniques such as distributed timestamps, end-to-end tracing, and taint tracking have been successfully used to help with these tasks. Their deployment, however, is usually fraught with difficulties, including intrusive instrumentation and lack of pervasiveness. In this talk I describe a layered architecture that factors primitives that are common to all these techniques – most importantly the causal propagation of generic metadata – with the goal of simplifying the instrumentation of current and new systems, and lowering the barrier for the adoption of these and novel techniques.
About the speaker. Rodrigo Fonseca is an assistant professor at Brown University’s Computer Science Department. He holds a PhD from UC Berkeley, and prior to Brown was a visiting researcher at Yahoo! Research. He is broadly interested in networking, distributed systems, and operating systems. His research involves seeking better ways to build, operate, and diagnose distributed systems, including large-scale internet systems, cloud computing, and mobile computing. He is currently working on dynamic tracing infrastructures for these systems, on new ways to leverage network programmability, and on better ways to manage energy usage in mobile devices. Rodrigo has a high record of peer reviewed publications; he regularly serves as a PC member in pioneer conferences in his area like SIGCOMM, EuroSys, NSDI, DSN, OSDI, Middleware, HotCloud, etc., and co-chaired some of them. He teaches Computer Networks and Advanced Networking at the Computer Science Department, and he mentored several PhD students. You may want to visit the speaker's webpage for more details: http://cs.brown.edu/people/rfonseca/.
HASLab InfoBlender Seminar: Typed Connector Families.
13 de janeiro de 2016
Date&Location: Wednesday, January 13, 2016, at DI, Gualtar campus, Braga.
Coffee session: 13h30 -14h00, Sala de Estar, 4th Floor.
Talk session: 14h00 -14h45, Auditório 2, first Floor.
Speaker: José Proença, HASLab/INESC TEC and University of Minho.
Title. Typed Connector Families.
Abstract. Typed models of connector/component composition specify interfaces describing ports of components and connectors. Typing ensures that these ports are plugged together appropriately, so that data can flow out of each output port and into an input port. These interfaces typically consider the direction of data flow and the type of values flowing. Components, connectors, and systems are often parameterised in such a way that the parameters affect the interfaces. Typing such connector families is challenging. This work takes a first step towards addressing this problem by presenting a calculus of connector families with integer and boolean parameters. The calculus is based on monoidal categories, with a dependent type system that describes the parameterised interfaces of these connectors. As an example, we demonstrate how to define n-ary Reo connectors in the calculus. The paper focusses on the structure of connectors – well-connectedness – and less on their behaviour, making it easily applicable to a wide range of coordination and component-based models. A type-checking algorithm based on constraints is used to analyse connector families, supported by a proof-of-concept implementation.
About the speaker. José Proença is currently a postdoc at HASLab/INESC TEC and University of Minho, working with Prof. Luís Barbosa. José holds a masters degree in Mathematics and Computer Science from University of Minho and a PhD from Leiden University, Amsterdam, working on CWI within the group of Foundations of Software Engineering. Before joining HASLab, José was affiliated with Distrinet, KU Leuven, working mainly with Danny Hughes and Dave Clarke, and he spent some time at Bristol University, UK. José works mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently he has been working on binding and component models for embedded devices in the context of the LooCI middleware and micro PnP. José has many publications in his research area, and he serves as PC member and reviewer for several journals and conferences, which he co-chaired some of them.
HASLab InfoBlender Seminar: Toward dependable interactive systems
06 de janeiro de 2016
Date&Location: Wednesday, January 6, 2016, at DI, Gualtar campus, Braga.
Coffee session: 13h30 -14h00, Sala de Estar, 4th Floor.
Talk session: 14h00 -14h45, Auditório 2, first Floor.
Speaker: Camille Fayollas, Université de Toulouse, France
Title. Toward dependable interactive systems: dealing with system faults at development and run time.
Abstract. Engineering interactive systems for safety critical applications such as in avionic digital cockpits (and more generally Graphical User Interfaces (GUI)) is a challenge from a dependability viewpoint. The dependability of the user interface and its related hardware and software components must be consistent with the criticality of the functions to be controlled. This talk will introduce the challenges existing for using interactive systems for the command and control of critical functions. This talk will then present and a dual approach based on fault prevention and fault tolerance for dealing with system faults both at development and run time. Firstly, we propose a model-based approach to describe in a complete and unambiguous way interactive software components to prevent as much as possible development software faults. Secondly, we propose a fault tolerant approach to deal with operational natural faults. This is achieved through the implementation of a fault tolerant architecture based on the principle of self-checking components.
About the speaker. Camille Fayollas is a temporary assistant professor in Computer Science at National Polytechnic Institute (University of Toulouse, INP-ENSEEIHT), France. She completed her PhD, focusing on a Generic Soft- ware Architecture and a Model-Based Approach for the Dependability of Critical Interactive Systems in July 2015. Her research involves techniques, notations and tools to analyse dependability and fault-tolerance of interactive critical systems. Please read about the speaker on http://www.irit.fr/~Camille.Fayollas/.
Membro do DI e Diretor do HASLab é membro do Conselho de Administração do INESC TEC
10 de julho de 2015
Mais info http://haslab.uminho.pt
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:
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|