Saltar para:
Logótipo
Você está em: Início > Projetos > Projeto/Contrato PS:POCI-01-0145-FEDER-016844
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Projetos

Projeto/Contrato PS:POCI-01-0145-FEDER-016844

Início Aprovado Em Curso Concluído Encerrado

Estado
Estado ConcluídoConcluído
Publicação
PublicadoPublicado
Dados Gerais
Código: 70921
 
Referência: POCI-01-0145-FEDER-016844
Nome Curto: Elven
Título: Elven - Expressive Logics for VErifying the Net (PTDC/EEI-CTP/3506/2014)
Financiamento Competitivo: Sim
Envolve empresas?: Não
Nº de Instituições Participantes: 3
Âmbito
Tipo: Projeto Financiado
 
Âmbito Geográfico: Internacional
 
Tipo de Ação: I&DT
Financiamento
Programa: I&DT - Projectos de I&DT em Todos os Domínios Científicos
Instituição Financiadora: FCT - Fundação para a Ciência e Tecnologia
Âmbito Geográfico Financeiro: Nacional
Calendarização
Data de Início Efetivo: 2016-07-01
Data de Conclusão Prevista: 2019-07-01
Data de Conclusão Efetiva: 2019-08-01
Orçamento
Moeda: EUR
 
Orçamento Global Aprovado: 184.300,00 EUR
Detalhes
Resumo: Elven - Expressive Logics for VErifying the Net
Enquadramento Científico
Domínio Científico (FOS - Nível 2): Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

Áreas Científicas (CORDIS - Nível 5)

Mais informações Não existem Áreas Científicas associadas ao Projeto.

Palavras Chave

Mais informações Não existem Palavras Chave associados ao Projeto.
Documentos
Mais informações Não existem Documentos associados ao Projeto.

Publicações associados ao Projeto

Instituições Participantes no Projeto
Instituição Contacto Criar Tab?
Nome Nome Curto País Tipo Participação Nome Telefone Email
Faculdade de Ciências da Universidade do Porto FCUP Portugal Universidade Proponente
INESC TEC Portugal Instituto de ID Parceiro
INSTITUTO DE TELECOMUNICAÇÕES Portugal Instituto Parceiro
 
Orçamentos e Equipas
Orçamento Aprovado: 80.454,00 EUR
Valor Financiado Aprovado: -
Valor co-financiado Aprovado: -
Taxa de Financiamento: -
Orçamento Confidencial:

Pessoas no Projeto

Instituição Nome Nome Curto Função Dedicação (%) Contribuição (%) Afetação
Data de Início Data de Fim
FCUP Ana Gualdina Almeida Matos AGAM Investigador 30
FCUP António Beça Gonçalves Porto AP Investigador 50
FCUP António Mário da Silva Marcos Florido AMSMF Investigador Responsável na UO 50
FCUP Cláudio de Oliveira Amaral COA Investigador 50
FCUP Inês de Castro Dutra ICD Investigador 20
FCUP Pedro Baltazar Vasconcelos PBV Investigador 30
FCUP Ricardo Jorge Gomes Lopes da Rocha RJGLR Investigador 20
FCUP Sabine Babette Broda SBB Investigador 20
FCUP Vitor Manuel de Morais Santos Costa VMMSC Investigador 25

Técnicos no Projeto

Mais informações Não existem Técnicos associadas ao Projeto.
Laboratórios
Mais informações Não existem Laboratórios associados ao Projeto.
Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-09-21 às 21:41:51 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias