Archive for the ‘Palestras’ Category.

Palestra em 30/out às 11h na sala 511 RDC – Building Human-Error Tolerant Systems through Systematic Analysis and Refinement of Tasks Descriptions – Dr. Célia Martinie e Dr. Philippe Palanque

Título: Building Human-Error Tolerant Systems through Systematic Analysis and Refinement of Tasks Descriptions
Local: sala 511 RDC
Data: sexta-feira, 30/out/2015
Horário: 11h-12h30

Resumo: Task models produced from task analysis, are a very important element of UCD approaches as they provide support for describing users goals and users activities, allowing human factors specialists to ensure and assess the effectiveness of interactive applications. As user errors are not part of a user goal they are usually omitted from tasks descriptions. However, in the field of Human Reliability Assessment, task descriptions (including task models) are central artefacts for the analysis of human errors. Several methods (such as HET, CREAM and HERT) require task models in order to systematically analyze all the potential errors and deviations that may occur. However, during this systematic analysis, potential human errors are gathered and record-ed separately and not connected to the task models. Such non integration brings issues such as completeness (i.e. ensuring that all the potential human errors have been identified) or combined errors identification (i.e. identifying deviations resulting from a combination of errors). We argue that repre-senting human errors explicitly and systematically within task models con-tributes to the design and evaluation of error-tolerant interactive system. However, as demonstrated in the paper, existing task modeling notations, even those used in the methods mentioned above, do not have a sufficient expressive power to allow systematic and precise description of potential human errors. Based on the analysis of existing human error classifications, we propose several extensions to existing task modelling techniques to represent explicitly all the types of human error and to support their systematic task-based identification. These extensions are integrated within the tool-supported notation called HAMSTERS and are illustrated on a case study from the avionics domain.

Short Bios:

Dr. Célia Martinie is lecturer in Computer Science at the University of Toulouse 3. She has been involved in research projects dealing with techniques and tools to analyse, design and develop interactive critical systems (such as satellite ground segment applications, flight deck applications and air traffic management systems). She also applied the notations and tools to mobile games through the EU-funded project FlyHigher ( She joined the University of Toulouse in 2009 and previously worked for 8 years at Motorola Mobile Devices on the design and development of embedded services and innovative technologies for mobile systems.

Dr. Philippe Palanque is Professor in Computer Science at the University Toulouse 3. He has worked extensively in the field of air traffic control for many years including a 2-year secondment with CENA (the former French researcher center on Air Traffic Management). He has been involved in several research projects developing tools for the specification of real-time interactive systems, addressing validation and certification issues of new interactive cockpits of aircraft including A380, A400M and Boeing 787.

Palestra 6/fev às 14h na sala 511 RDC – An Exact Method for Vehicle Routing and Truck Driver Scheduling Problems – Asvin Goel

An Exact Method for Vehicle Routing and Truck Driver Scheduling Problems
Asvin Goel and Stefan Inrich

In most developed countries working hours of truck drivers are constrained by hours of service regulations. When optimizing vehicle routes, trucking companies must consider these constraints in order to assure that drivers can comply with the regulations. This talk presents the vehicle routing and truck driver scheduling problem (VRTDSP), which generalizes the well-known vehicle-routing problem with time windows by considering working hour constraints. A branch-and-price algorithm for solving the VRTDSP with U.S. hours of service regulations is presented. This is the first algorithm that solves the VRTDSP to proven optimality.

Palestra 2/fev às 14h na sala 511 RDC – Substitution in the Presence of Quantification – Rene Gazarri

Título: Substitution in the Presence of Quantification

Abstract: Aim of this short talk is to outline the formal treatment of substitution in the presence of quantification. For that purpose, we carry over our methods introduced in our last talk from the case of occurrences in usual terms to the realm of untyped lambda calculus. With this formalism available, we are able to define central notions as “free for substitution” and different special substitution functions as the substitution of all free occurrences of a variable or the renaming of bounded variables. We conclude our talk with some remarks about the limits of our methods. In particular, we discuss why we are not able to treat syntactical entities as derivations in the same way.

Palestra sexta-feira 7/nov às 13h na 511 RDC: “Towards a more human-centred informatics?” Prof. Liam Bannon, Univ. Limerick, Irlanda

Palestrante: Prof. Liam Bannon — University of Limerick and Aarhus University
Título: Towards a more human-centred informatics?
Data e hora: sexta-feira 7/nov às 13h
Local: 511 RDC

In this talk I will argue that the field of Computing should not solely be about the study of computability (Mathematics) or the building of applications (Engineering). Most of the software we design today is used by people, and so an understanding of people’s activities and practices is also in my view a necessary aspect of education in the computing field. Strangely, this is still the exception rather than the rule in most Computing departments worldwide. My argument is not simply that students should receive a few lectures on the creation of user interfaces, or learn some heuristics about Human Computer Interaction (HCI), or speculate about the future on an optional course on “computers and society” (although such brief introductions are better than nothing!), but rather that they explore what it means to create artefacts that fit into, and enhance, people’s everyday lives and activities. In this talk, I’ll take up this challenge, and show how historically, these issues have surfaced in debates about the field of Computer Science over the years, without ever becoming mainstream.

Liam Bannon is Honorary Professor in Human Computer Interaction at Aarhus University, Denmark, and Emeritus Professor in the Department of Computer Science and Information Systems at the University of Limerick, Ireland. Currently, he is a Visiting Research Professor at UFRJ. In recent years, he has also held Visiting Professor positions in several Universities in France, Spain and Italy. His research interests range over the gamut of human-technology relations, including cognitive ergonomics, human-computer interaction, computer-supported cooperative work, computer-supported collaborative learning, new media, interaction design, and social dimensions of new technologies. He has been involved for many years in the elaboration of more human-centred approaches to the design of complex ICT systems (Bannon, 2011). He was a founding editor of CSCW: The Journal of Collaborative Computing and is serving, or has served, on the editorial boards of several other international journals in HCI, CSCW, CSCL, and Design. He has served on numerous International Programme Committees for Conferences in these areas, and also served as a member of the International Panel of Reviewers for many scientific research projects and organizations wordwide. Liam was recognized as a Pioneer in the HCI field by IFIP in 2010. Liam holds an Honorary Doctorate from the Royal Institute of Technology (KTH), in Stockholm, Sweden. Liam is a Fellow of the Irish Ergonomics Society, was first Chair of the ACM SigCHI Irish Chapter, and is Irish representative on IFIP TC13 (Human-Computer Interaction). In 2013 he was jointly awarded (with Kjeld Schmidt) the EUSSET-IISI Lifetime Achievement Award for contributions to HCI & CSCW.

Suggested Reading
Bannon, Liam (2011) Reimagining HCI: Toward a more human-centred perspective. ACM Interactions (cover story), July-August 2011, vol. 18, Issue 4 pp. 50-57.

Palestra 7/jul 14h, 511 RDC: “Cut-elimination and the decidability of reachability in alternating pushdown systems” – Prof. Gilles Dowek (INRIA)

Palestra: “Cut-elimination and the decidability of reachability in alternating pushdown systems”
Palestrante: Prof. Gilles Dowek (INRIA)
Data e horário: 7/jul 14h
Local: 511 RDC

Proof theory and automata theory both provide methods to prove
decidability results. We will show in this talk that, despite differences
in their presentation, some proof-theoretical and automata-theoretical
methods essentially are the same. More precisely, we will give a new proof
of the decidability of accessibility in alternating pushdown systems,
showing that it is a consequence of a cut-elimination theorem for a
natural-deduction like system.

(Gilles Dowek et Ying Jiang)

Prof. Andres Diaz-Pace – Tutorial e Palestra

Prof. Andres Diaz-Pace, especialista em arquitetura de software
*Tutorial title: A roadmap of architecture-centric design techniques*
*Talk title: Text mining techniques for identifying crosscutting 
concerns in requirements and architecture documents*
Data 21/05/2014  16:00h Tutorial   e 17:20h Palestra     sala RDC511
*Bio:* From 2007 to 2010, Andres Diaz-Pace was a member of the technical 
staff at the Software Engineering Institute (SEI, Pittsburgh, USA), with 
the Research, Technology, and System Solutions Program. He  is currently 
a professor at UNICEN University (Tandil, Argentina), and also a 
research fellow of the National Council for Scientific and Technical 
Research of Argentina (CONICET). His primary research interests are: 
quality-driven architecture design, AI techniques in design, 
architecture-based evolution and conformance. He has authored several 
publications on topics of design assistance and object-oriented 
frameworks. He
also participated, as an architecture evaluator or as a lead architect, 
in several technology transfer projects with industry. Mr. Diaz-Pace 
received a Ph.D. in Computer Science from UNICEN University in 2004. 
Contact him at <>


Palestra: “Performance: Are Your Computers Fast Enough?”

Data e Local:   5 de maio,  15:00 h      sala L774 (Prédio Cardeal Leme)

Abstract: Many people think that their computer programs are “fast enough” simply because they get the answer in a reasonable period of time. But “speed” is often not the only measure of performance. Battery life in a phone is also important, as are various real-time characteristics.This talk will not only give you insight to why your programs may be wasting time and electrical power, but tell you what to do about it. It will also announce a new competition sponsored by Linaro which will work to make GNU/Linux better for everyone.

Jon “maddog” Hall is the Executive Director of Linux International (, an association of computer users who wish to support and promote the Linux Operating System. During his career in commercial computing which started in 1969, Mr. Hall has been a programmer, systems designer, systems administrator, product manager, technical marketing manager, author and educator.

Seminário: Network Survivability and Polyhedral Analysis – A. Ridha Mahjoub

A. Ridha Mahjoub
Dia 16/4/2014 -  4a.-feira -     16:15hs -       Sala 511 RDC

For the past few decades, combinatorial optimization techniques have shown to be powerful tools for formulating, analyzing and solving problems arising from practical decision situations. In particular, the polyhedral approach has been successfully applied for many well known NP-hard problems. The equivalence between separation and optimization has been behind a big development of this method.  The so-called « Branch and Cut » method, which is inspired from this equivalence, is now widely used for obtaining optimal and near-optimal solutions for hard combinatorial optimization problems. In this talk we present these methods, and discuss some applications to survivable network design models.


Short bio

A. Ridha Mahjoub is Professeur Classe Exceptionnelle of Operations Research and Combinatorial Optimization at Université Paris-Dauphine, Paris, France. He is also member of the LAMSADE laboratory, CNRS. Previous positions include full professor at the University of Brest, France, from 1991 to 1998 and the University of Clermont-Ferrand, France, from 1998 to 2007. Professor Mahjoub holds an undergraduate degree in Mathematics from University of Tunis, Tunisia and a Ph.D. and a Doctorat d’Etat in Operations Research and Combinatorial Optimization from the University of Grenoble, France. His research areas include the theory and applications of polyhedral approaches for modelling, analysing and solving large NP-hard combinatorial optimization problems, mixed integer programming as well as complexity and graph theory. A part of his research has recently focused on the design of cutting plane algorithms for network design problems. Professor Mahjoub is author and co-author of several papers that have appeared in leading journals such as Mathematical Programming, Mathematics of Operations Research, SIAM Journal on Discrete Mathematics, Discrete Mathematics, Discrete Applied Mathematics and Networks. He served as co-director of the Mathematics and Computer Science Department at Université Paris-Dauphine between 2008 and 2013. Dr Mahjoub edited and co-edited books and several special issues of journals. He currently serves as Editor-in-Chief of the international journal RAIRO-Operations Research.


Palestra dia 10/04 às 16:00 na 511 RDC: How Developers Reason about Module Cohesion? – Cláudio Nogueira Sant’Anna (UFBA)

Data: quinta-feira, 10/04, às 16:00
Local: sala 511 RDC
Título: How Developers Reason about Module Cohesion?
Palestrante: Cláudio Nogueira Sant’Anna (UFBA)


Several cohesion metrics have been proposed to support development and maintenance activities. The most traditional ones are the structural cohesion metrics, which rely on structural information in the source code. For instance, many of these metrics quantify cohesion based how methods and attributes are related to each other within a given module. Recently, conceptual cohesion metrics have been proposed for computing cohesion based on the responsibilities a given module realizes. Besides different flavors of cohesion, there is a lack of empirical evidence about how developers actually perceive cohesion and what kind of cohesion measurement aligns with developers’ perception. In this paper we fill this gap by empirically investigating developers opinion through a web-based survey, which involved 80 participants from 9 countries with different levels of programming experience. We found that: most of the developers are familiar with cohesion; and they perceive cohesion based on class responsibilities, thus associating more with conceptual cohesion measurement. These results support the claim that conceptual cohesion seems to be more intuitive and closer to the human-oriented view of software cohesion. Moreover, the results showed that conceptual cohesion measurement captures the developers’ notion of cohesion better than traditional structural cohesion measurement.

Short bio:

Cláudio Nogueira Sant’Anna é professor adjunto do Departamento de Ciência da Computação da Universidade Federal da Bahia (UFBA). Ele obteve seu Doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2008), tendo realizado doutorado “sanduíche” na Universidade de Lancaster, Reino Unido. Seus interesses de pesquisa incluem: design de software, modularidade de software, métricas de software, arquitetura de software, engenharia de software experimental, compreensão de software e visualização de software.

Palestra dia 12/03 às 11:00-12:00, sala 511 RDC: “Engineering Autonomous and Adaptive Systems”, Prof. Nikola Serbedzjia

Data: 12/03/2014
Local: Sala 511 RDC
Horário: 11:00-12:00
Título: Engineering Autonomous and Adaptive Systems
Palestrante: Prof. Nikola Serbedzjia

Abstract: Managing software intensive systems that run in highly dynamic environments, where physical and social context, operational and functional requirements and workloads are continuously changing is a grand challenge in software engineering. In search for adequate technical solutions autonomic, knowledge-based and adaptive behavior have emerged as necessary characteristics of smart technology. The talk focuses on an approach to engineer smart systems, showing how to achieve awareness, adaptation and autonomous functioning of technical systems. At the end, the focus is shifted to the emerging issue of the impact that the development of smart technology can have on individuals and society in general.

 Keywords: Adaptive mechanisms, Autonomous systems, Software engineering, Technology impact, Social implications.

Nikola Serbedzija works at Fraunhofer FOKUS (Berlin)  where he is responsible for new research activities and innovative technology. He was a visiting professor at University of Technology Sydney (1999–2000) and at University of Arts, Berlin (2000–2008). His major research areas are: Adaptive Control, Pervasive Adaptation, Ubiquitous Computing, Middleware Architectures, and Internet Programming, mostly applied within embedded and real-time systems, ambient assistance and empathic systems. As a principle designer he led the developments of a number of practical systems in vehicular, in- and out-door infrastructures and e-commerce domains. He is currently involved in a large EU project dealing with autonomous control [ASCENS project:].