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.

A sessão terá o seguinte programa:

Alcides Fonseca
DI/FCUL

Luís Cruz-Filipe
University of Southern Denmark

Marcelo Finger
USP