JCC 2006

Porto, 14 Junho 2006, 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

Os interessados em fazer uma apresentação neste encontro devem comunicar aos organizadores, até 31 de Maio, o título e resumo (no máx. meia página) da mesma.

Web-page: http://wiki.di.uminho.pt/bin/view/Events/JCC/2006

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