| Processo: | 13/12939-0 |
| Modalidade de apoio: | Auxílio Organização - Reunião Científica |
| Data de Início da vigência: | 02 de setembro de 2013 |
| Data de Término da vigência: | 03 de setembro de 2013 |
| Área do conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação |
| Pesquisador responsável: | Renata Wassermann |
| Beneficiário: | Renata Wassermann |
| Instituição Sede: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Assunto(s): | Lógica computacional Semântica |
| Palavra(s)-Chave do Pesquisador: | Formalizações | Lógica | semântica | Lógica, semântica e métodos formais |
Resumo
O evento acontecerá nos dia 2 e 3 de setembro. Dia 2 teremos dois palestrantes convidados e quatro sessões técnicas e dia 3 um palestrante convidado, um tutorial e duas sessões técnicas. (AU)
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |