Universidade do Minho
Escola de Engenharia
Departamento de Informática
Apresentação Ensino I&D Competências Formação Especializada Visitas
Não Docentes
Associação de Estudantes


HASLab InfoBlender Seminar: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC.

Speaker. Prof. Manuel Barbosa, HASLab/INESC TEC & UMinho, and DCC-FCUP.

Date&Location: Wednesday, May 25, 2016, at DI, Gualtar campus, Braga.

Coffee Session: 13h30 -14h00, Sala de Estar, 4th Floor.

Talk Session: 14h -15h, Auditório A2, 1st Floor.

Abstract: We provide further evidence that implementing software countermeasures against timing attacks is a non-trivial task and requires domain-specific software development processes: we report an implementation bug in the S2N library, recently released by AWS Labs. This bug (now fixed) allowed bypassing the balancing countermeasures against timing attacks deployed in the implementation of the MAC-then-Encode- then-CBC- Encrypt (MEE-CBC) component, creating a timing side-channel similar to that exploited by Lucky 13. Although such an attack could only be launched when the MEE-CBC component is used in isolation – Albrecht and Paterson recently confirmed in independent work that S2N’s second line of defence provides adequate mitigation – its existence shows that conventional software validation processes are not being effective in this domain. To solve this problem, we define a methodology for prov- ing security of implementations in the presence of timing attackers: first, prove black-box security of an algorithmic description of a cryptographic construction; then, establish functional correctness of an implementation with respect to the algorithmic description; and finally, prove that the implementation is leakage secure.

We present a proof-of-concept application of our methodology to MEE- CBC, bringing together three different formal verification tools to produce an assembly implementation of this construction that is verifiably secure against adversaries with access to some timing leakage. Our methodology subsumes previous work connecting provable security and side-channel analysis at the implementation level, and supports the verification of a much larger case study. Our case study itself provides the first provable security validation of complex timing countermeasures deployed, for ex- ample, in OpenSSL.

About the speaker: Manuel Barbosa is an Assistant Professor at the Department of Computer Science, Faculty of Science, University of Porto. He is a member and co-coordinator of the High Assurance Software Laboratory at INESC TEC, where he leads the Cryptography and Information Security group. He obtained a degree in Electrical and Computer Engineering from the University of Porto in 1996, an MSc degree from University Newcastle in 1997 and a PhD degree in Electric and Electronic Engineering from the University of Newcastle upon Tyne in 2000. His recent research contributions have been in the field of provable security of cryptographic algorithms and domain-specific languages for the implementation and formal verification of cryptographic software. Learn more about him at http://haslab.uminho.pt/mbb.

HASLab InfoBlender Seminar: Frontiers of Big and Open Linked Data.

Speaker: Prof. Marijn Janssen, Delft University of Technology, The Netherlands.

Date&Location: Wednesday, May 11, 2016, at DI, Gualtar campus, Braga.

Coffee session: 13h30 -14h00, Sala de Estar, 4th Floor.

Talk session: 14h -15h, Auditório A2, 1st Floor.

Abstract: Governments attach much attention to the opening and linking of data to serve transparency, innovation, better resources utilization, and related objectives. At the same time, datification produce more and more data (big, linked and potentially open) that can be used for a variety of purposes. This data deluge has resulted in many new applications and services. However, despite the efforts undertaken, the progress in utilizing such data is falling short of its potential and government ambitions. The seminar will introduce the concepts of big, linked, open data, outline how such data is being produced through datafication processes, and present innovative applications and the latest research results in the area. The focus will be on combing varieties of data using platforms that bring together public organizations, businesses and citizens.

About the speaker: Prof.dr.ir. Marijn Janssen holds the Antoni van Leeuwenhoek chair in “ICT and Governance” and is head of the Information and Communication Technology section of the Technology, Policy and Management Faculty of Delft University of Technology.

More information at www.tbm.tudelft.nl/marijnj.

HASLab InfoBlender Seminar: Formalizing Single-assignment Program Verification: an Adaptation-complete Approach.

Speaker: Cláudio B. Lourenço, HASLab/INESC TEC & University of Minho.

Date&Location: Wednesday, March 30, 2016, at DI, Gualtar campus, Braga.

Coffee session: 13h30 -14h00, Sala de Estar, 4th Floor.

Talk session: 14h00 -14h30, Auditório A2, 1st Floor.

Abstract: Deductive verification tools typically rely on the conversion of code to a single-assignment (SA) form. In this paper we formalize program verification based on the translation of While programs annotated with loop invariants into a dynamic single-assignment language with a dedicated iterating construct, and the subsequent generation of compact, indeed linear-size, verification conditions. Soundness and completeness proofs are given for the entire workflow, including the translation of annotated programs to SA form. The formalization is based on a program logic that we show to be adaptation-complete. Although this important property has not, as far as we know, been established for any existing program verification tool, we believe that adaptation-completeness is one of the major motivations for the use of SA form as an intermediate language. Our results here show that indeed this allows for the tools to achieve the maximum degree of adaptation when handling subprograms.

About the speaker: Cláudio is a third-year MAPi PhD student, affiliated with HASLab/INESC TEC & University of Minho, and working under supervision of Jorge Sousa Pinto. His area of interest and PhD thesis focuses on formal verification of programs. In particular, he has been working on the formalization of different approaches to generate efficiently-solved verification conditions. He has graduated in Computer Science from the University of Minho, in 2011, having attended one year at the University of Groningen, under the European Erasmus Program. In 2013, he completed his Master degree in Software Engineering at the University of Minho, where he studied mainly formal methods and distributed systems. His Master's thesis, "A bounded model checker for SPARK", focused on bounded verification of SPARK programs. In 2012 and 2013, he also participated, as a research fellow, in different projects supported by the Portuguese Foundation for Science and Technology. More recently he did an internship at the Japanese National Institute of Informatics under the supervision of Shin Nakajima where he explored and implemented different methods to generate verification conditions in the context of LLVM intermediate representation.

Workshop - Git

18 de março de 2015

O CESIUM organiza mais uma workshop, desta vez subordinada ao tema Introdução ao Git. Esta workshop decorrerá no Departamento de Informatica, em Gualtar, no dia 16 de março no DI-A2 pelas 14:30.

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

HASLab InfoBlender Seminar: Suggested Read: A Personal View of Average-Case Complexity.

Speaker: Bernardo Portela, HASLab/INESC TEC & University of Minho.

Date&Location: Wednesday, March 2, 2016, at DI, Gualtar campus, Braga.

Coffee session: 13h30 -14h00, Sala de Estar, 4th Floor.

Talk session: 14h00 -14h30, Sala de Estar, 4th Floor.

Abstract:There is a large gap between a problem not being easy and the same problem being difficult - A Personal View of Average-Case Complexity represents a classic work by Russel Impagliazzo in the fields of computational complexity and cryptography, and serves as introductory and motivational material for promoting research in these subjects. To do this, Impagliazzo proposes five worlds, existing as a direct consequence of solving the "big" questions of computational complexity: Algorithmica, Heuristica, Pessiland, Minicrypt and Cryptomania. In each world, he analyzes (at a very high-level) the influence of solving these questions on algorithm design, artificial intelligence, cryptography and computer security. Our world is one of the above. This work is particularly interesting for researchers outside these areas of complexity and cryptography, as they are exactly the intended audience. The challenges presented are fairly well-known by everyone in the computer sciences community, and the consequences of their solutions are a powerful way to contextualize their importance. Furthermore, it is interesting to realize that these questions were not recent by the time the paper was published (1995), and they remain relevant and unanswered by 2016.

About the speaker: Bernardo is a third-year MAPi PhD student, affiliated with HASLab/INESC TEC & Univ. of Minho, and working under supervision of Manuel Barbosa. His areas of interest are Cryptography, Formal methods and Distributed systems. In particular, his thesis "High-Assurance Multiparty Computation" is focused on the challenge of bridging theoretical and practical approaches towards multiparty computation. Bernardo has been actively contributing in two projects: PRACTICE and SafeCloud. In the context of PRACTICE, he has researched the theoretical implications of the new Intel instruction set architecture "SGX", towards enabling multiparty computation. In the context of SafeCloud, he has explored the feasibility of different trust models and special encryption techniques towards real-world cloud deployments. Bernardo's cooperation with researchers from the University of Bristol has resulted in a contribution to be presented at EuroS&P: "Foundations of Hardware-Based Attested Computation and Application to SGX".

HASLab InfoBlender Seminar: Towards a Linear Algebra Semantics for SQL.

Speaker: Prof. José Nuno Oliveira, HASLab/INESC TEC & University of Minho.

Date&Location: Wednesday, February 17, 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 the 1990s, J. Gray (et al.) wrote: "[...] expressing roll-up, and cross-tab queries with conventional SQL is daunting. [...] GROUP BY is an unusual relational operator [...]". E.Codd also expressed similar concerns: "[...] relational DBMS were never intended to provide [...] for data [...] consolidation [in] multi-dimensional data analysis". In this talk, these remarks are taken as motivation for proposing (typed) linear algebra as theoretical framework able to smoothly accommodate the quantitative and qualitative aspects of SQL semantics, in a unified way, amenable to interpreting SQL queries in a distributed, map-reduce style.

About the speaker: José Nuno Oliveira is a full professor at the Informatics Department of the university of Minho and a senior research member at HASLabINESC TEC and Univ. of Minho. He graduated in electrical engineering from the Univ. of Porto and received the MSc and PhD degrees in computer science from the Univ. of Manchester, UK. Prof. Oliveira's main research interests are formal methods, algebra of programming, and functional programming. The proposed talk can be framed in his efforts to develop a linear algebra of programming applicable to quantitative formal methods in software engineering. Prof. Oliveira served on the PC of almost 50 conferences and workshops in his field of study and co-chaired some of them. He is also a member of IFIP WG2.1 and of the FME association. For more information, please visit his webpage

MERSTel 2016 Workshop: "IoT for Intelligent Transport System: How Crowdsourcing has Changed Our World"

05 de fevereiro de 2016

Invited Talk Prof. Riri Fitri Sari
Department of Electrical Engineering, University of Indonesia

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.
Since April 2010, she has been the Chairperson of UI GreenMetric Ranking of World Universities, a flagship program of the University of Indonesia to rank university worldwide based on their green campus and sustainability programs and is the only specific ranking on university’s sustainability worldwide. Her international experiences include a study program and internship at the United Nations Headquarters in Geneve and New York. She has also involved in a joint research at CERN (European Laboratory for Particle Physics) in Geneve, a training in Engineering Education funded by UNESCO in Australia, higher education management training in Japan (JICA), and being an invited speakers in Korea (KAIST). Prof. Dr. Ir. Riri Fitri Sari is a reviewers for many competitive grant schemes of Higher Education Directorate General of Ministry of National Education, Ministry of Information and Communication Technology, National Research Board and Directorate General of Population Administration of the Ministry of Internal Affairs. Prof. Dr. Sari have visited some IT industries such as   Microsoft Research at Redmond, USA, Huawei Tech in Shenzen, Wipro in Bangalore, Samsung in Korea. Dr. Riri Fitri Sari was awarded with a Distinguished Toastmaster (DTM) from from the Toastmaster International. She received other award such as  Inspiring Woman and Youth 2012 from PT Indosat, and Kartini 2.0 Woman Technologist from PT Telkom in 2013. Married to Dr. Ir. Kusno Adi Sambowo, she lives with her three daughters Almira, Naufalia, and Laura Sambowo. Playing piano, reading novels and swimming are her hobbies. http://www.ppsi.ui.ac.id/riri

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

Rui Oliveira, diretor do HASLab - Laboratório de Software Confiável, é um dos novos membros do Conselho de Administração do INESC TEC.

No âmbito da alteração do nome do INESC Porto para INESC TEC, foram também eleitos, no mês passado, os novos órgãos associativos da instituição.

O número de membros da antiga direção do INESC TEC foi alargado, de forma a dar resposta ao recente crescimento da instituição. Com isto, passou a chamar-se Conselho de Administração e é constituído pelo presidente, José Manuel Mendonça, pelos administradores Mário Jorge Leitão, João Peças Lopes e Vladimiro Miranda e, ainda, por cinco novos administradores, Luís Carneiro, Gabriel David, João Claro, Bernardo Almada Lobo e Rui Oliveira.

“Este convite muito me honra e é também um reconhecimento da relevância do HASLab e da UMinho no INESC TEC”, admite Rui Oliveira, diretor do HASLab.

José Manuel Mendonça afirma, em comunicado, que “esta alteração no modelo de governação do INESC TEC prende-se com a vontade de introduzir uma necessária renovação geracional nos nosssos órgãos de gestão, aliada a um imprescindível período de passagem de testemunho”.

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:

  • 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