Gusz Eibein
University Amsterdam

Frederico Mário Vieira Menezes apresenta a dissertação "Gestão Integrada de Cobranças e Dívida".

Although considerable effort has been invested in developing methods for testing and failure detection, synthesis of programs from abstract models and verification of programs (and models), techniques for locating the root cause of observed program failures are still relatively immature. Therefore, the utility for general testing and debugging techniques remain limited to specific programs, execution environments, and problem contexts. Furthermore, no plug&play toolset exists providing state-of-the-art techniques to help developers with testing and debugging.

Jorge Miguel Carvalho Gomes apresenta a tese "Novel Approaches to Cooperative Coevolution of Heterogeneous Multiagent Systems".

Esta sessão tem como objetivo discutir as motivações e perspetivas associadas com a realização de um mestrado ou uma pós-graduação, apresentar a estrutura dos cursos e as disciplinas que estes envolvem e esclarecer as dúvidas que os potenciais interessados coloquem.

O programa da sessão inclui apresentações sobre:

O FCUL Rally Pro é um concurso de programação, dirigido aos alunos do secundário e visando promover a prática e o gosto pela programação, com inscrições abertas até 15 de maio de 2017.

The secret pi calculus is a variant of the pi calculus that features both dynamic and static communication channels; differently from dynamic channels, the scope of static channels cannot be extruded.  This is achieved during the execution by means of a mechanism of accepted/blocked channels in process  rearrangement; the  construction  can be interpreted as a monitored run-time system.

O Girls in ICT Day é uma iniciativa de União Internacional das Telecomunicações, com o objetivo de aumentar a consciencialização das jovens mulheres sobre as oportunidades de carreiras na área das Tecnologias da Informação e das Comunicações (TIC).

Pelo terceiro ano consecutivo, o Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa (DI Ciências ULisboa) associa-se a esta iniciativa, sob o lema “Alargar horizontes, mudar atitudes”.

The field of Metabolic Engineering (ME) has gained a major importance, since it allows the design of improved microorganisms for industrial applications, starting with wild-type strains that usually have low production capabilities in terms of the target compounds. The ultimate aim of ME is to identify genetic manipulations in silico leading to improved microbial strains, that can be implemented using novel molecular biology techniques.