Archive for the ‘Palestras’ Category.

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:].

Seminário: “Criptografia Pós-quântica: algoritmos e aplicações”

Data: 10/2/2014
Local: Sala 511 RDC
Horário: 14hs (14-15)

Título: “Criptografia Pós-quântica: algoritmos e aplicações”

Palestrante: Ricardo Dahab (IC/UNICAMP)

Abstract: Post-quantum Cryptography is the name given to a collection
of techniques that gained new momentum after Peter Shor’s
proposal of quantum polynomial algorithms for the integer factorization
and discrete logarithm problems. These have been, for decades
now, at the base of all popular cryptographic algorithms and
protocols. We will review these techniques and their applications
in information security.

Sobre o palestrante:
Ricardo Dahab é professor livre-docente do Instituto de Computação da Universidade Estadual de Campinas, UNICAMP. Tem mestrado pela UNICAMP em Criptografia e doutorado pela Universidade de Waterloo, Canadá, em Combinatória e Otimização. Seus interesses de docência e pesquisa situam-se nas áreas de Algoritmos e Protocolos Criptográficos e Segurança da Informação. Desde 1995 tem publicado trabalhos científicos e orientado teses de doutorado e mestrado nessas áreas, várias das quais receberam prêmios e distinções. Atuou também na área de Teoria dos Grafos. Participou do projeto ICP-EDU, em parceria com a RNP, UFSC, UFMG e Kryptus Tecnologias de Segurança, do qual resultou o primeiro hardware de alta segurança (HSM) totalmente nacional. Esse HSM hoje equipa a autoridade certificadora-raiz da ICP Brasil, da qual o Prof. Dahab participa também como membro do comitê gestor. Mais recentemente tem participado e coordenado projetos de pesquisa e desenvolvimento acadêmicos e com a indústria, na área de autenticação para tecnologia bancária, avaliação de segurança de dispositivos, e implementação eficiente de métodos criptográficos. Junto com as comunidades de Criptografia e Segurança vem cooperando ativamente na consolidação dessas áreas no Brasil e na América Latina, participando da Comissão Especial de Segurança da SBC, da organização de eventos como o SBSeg, a Escola Avançada de Criptografia e o Latincrypt. Iniciou, junto com outros colegas, a Maratona de Programação da ACM no Brasil, em 1996, que se tornou a Regional Brasileira do ACM International Collegiate Programming Contests. Hoje é diretor destas competições para a América Latina. Em 2011, com o prêmio Zeferino Vaz de Excelência Acadêmica da UNICAMP