Relatório Carga Fapesp / 2011Emissão: 09/02/2015 21:01:03
DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

Projeto Alterado
Nome Projeto: METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES.
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 09/2011
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES.
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no país PD
Nº Processo na Financiadora: 2011/08947-1
Data Início Financiamento: 09/2011
Data Fim Financiamento: 09/2015
Valor do Financiamento: R$ 166.357,25
Complemento do Tipo Financiamento: BOLSA NO PAIS-PD
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Rachid Rebiha( Participante )
ARNALDO VIEIRA MOURA( Responsável )

Projeto Alterado
Nome Projeto: THE SAO PAULO ADVANCED SCHOOL OF CRYPTOGRAPHY SPASCRYPTO 2011 CAMPINAS SP
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 10/2011
Ano Fim Projeto: 2011
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Auxilio organiz reunião
Linha Pesquisa:
Teoria da Computação e Algoritmos X
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Auxilio organiz reunião
Nº Processo na Financiadora: 2011/50273-8
Data Início Financiamento: 10/2011
Data Fim Financiamento: 10/2011
Valor do Financiamento: R$ 344.006,97
Complemento do Tipo Financiamento: AUXILIO-ORGANIZACAO-ESPCA
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
RICARDO DAHAB( Responsável )



Voltar