Old Stuff

Jornada de Ciências da Computação

14 Junho, DCC-FCUP

O Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto, o núcleo de Ciência de Computadores do LIACC-UP e os Departamentos de Informática e Matemática da Universidade do Minho organizam uma Jornada de Ciência da Computação, a decorrer no DCC-FCUP a 14 de Junho. O objectivo é promover um encontro informal entre as pessoas destes departamentos com interesse nas áreas mais teóricas das Ciencias da Computação, seus interfaces e suas aplicações. O encontro consistirá em apresentações e debate sobre trabalho de investigação e projectos.

Algumas sugestões de tópicos (esta lista não é limitativa - outros tópicos que se enquadrem no espírito do encontro são igualmente bem-vindos):

    * Lógica

    * Modelos de Computação

    * Autómatos e linguagens formais

    * Especificação, refinamento e verificação

    * Fundamentos de linguagens de programação

    * Modelos de concorrência

    * Análise e transformação de programas

    * Sistemas e teoria de tipos

    * Complexidade computacional

    * Criptografia e segurança


Organizadores:

    * José Carlos Bacelar, DI-UM, jba@di.uminho.pt

    * José Carlos Espírito Santo, DM-UM, jes@math.uminho.pt

    * Mário Florido, DCC-FCUP, amf@dcc.fc.up.pt


2nd. LerNet Project Meeting

Belo Horizonte, MG, Brazil, May 22-25 2006. 

Hosted by Departamento de Ciência da Computação. More information.


Research Workshop on Coinduction, Interaction and Composition

Universidade do Minho, Braga, Portugal
11 - 14 October, 2006

Both from a theoretical and a technological point of view, global computing raises a number of challenging and difficult research questions whose relevance for the future of Software Engineering cannot be underestimated. On the theory side, examples include the quest for interaction models, coordination calculi, foundations for co-operation and mobility, resource usage and security, semantics and methods for service specification, orchestration and deployment, among many others.

On the other hand, long term research in coalgebra theory and coindution provided an useful set of both conceptual and methodological tools to study the the semantics of reactive, interactive and mutable systems.

In such a context, this Research Workshop, intends to bring together Dutch and Portuguese research groups on both coalgebraic methods and their application to the development of models and calculi for interaction, composition and coordination of software components and services. Is is expected the workshop will promote a deep understanding of these topics and their interplay, raising new research questions and fostering further collaboration.

Theory and Formal Methods at U.Minho