Offside
30 Anos à Conversa

No ano do trigésimo aniversário do INESC TEC, o BIP foi em busca de histórias da casa, contadas por gente da casa.

Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho do CGI, pela voz de Luís Barruncho.

Fora de Série

"... Quero agradecer a nomeação do Conselho de Administração que se traduz no reconhecimento público de um trabalho que muitas vezes passa despercebido", Vanda Ferreira (Controlo de Gestão)

A Vós a Razão

"A utilidade da investigação (fundamental e aplicada) para o desenvolvimento da economia parece-me inquestionável. (...) Colocar questões de investigação na agenda diária das empresas é ainda em muitos casos uma dificuldade.", Alexandra Marques (CESE)

Asneira Livre

"Now, Portuguese people, yes come here and listen to me well: I know that you know the basics so why do you have to drive me crazy?", Dario Messina (CESE)

Galeria do Insólito

"De facto, a sigla ECMLPKDD2015 é, em si, um problema de big data, razão pela qual a organização a quer manter em detrimento de um nome mais pomposo. Todavia, há conferências que preferiram a vertente do marketing na hora de escolher as siglas..."

Ecografia

BIP tira Raio X a colaboradores do INESC TEC...

Novos Doutorados

Venha conhecer os novos doutorados do INESC TEC...

Cadê Você?

O INESC TEC lança todos os meses no mercado pessoas altamente qualificadas...

Jobs 4 the Boys & Girls

Referência a anúncios publicados pelo INESC TEC, oferecendo bolsas, contratos de trabalho e outras oportunidades do mesmo género...

Biptoon

Mais cenas de como bamos indo porreiros...

Subscrever o BIP
 
 

INESC TEC organiza conferência internacional sobre Ciências da Computação

O Laboratório de Software Confiável (HASLab) do INESC TEC está a organizar a 15ª edição da RAMiCS – Conferência Internacional em Métodos Algébricos e Relacionais em Ciências da Computação, que decorre de 28 de setembro a 1 de outubro, na cidade de Braga.

Várias dezenas de investigadores de cerca de 20 nacionalidades vão participar na RAMiCS, um fórum internacional nas áreas da Matemática e da Computação, mais concretamente, na aplicação de técnicas algébricas à Engenharia de Software.

Como convidados de honra, a RAMiCS conta com os investigadores Ernst-Erich Doberkat, professor na Universidade Técnica de Dortmund, na Alemanha, Gheorghe Stefanescu, professor na Universidade de Bucareste, na Roménia, e Ian Hodkinson, professor na Imperial College, no Reino Unido.

A primeira edição desta conferência realizou-se em 1991, em Varsóvia, no âmbito do “38º Semestre Banach de Métodos Algébricos em Lógica e sua Aplicação Ciência da Computação”. Desde então, com um período médio de ano e meio, a RAMiCS tem sido regularmente realizada em todos os continentes, exceto na Oceânia.