Professor do CLE apresenta última palestra da Terceira Margem em 2017

Professor Walter Carnielli foi o convidado do IMECC na última quarta-feira

A última edição das palestras da Terceira Margem em 2017 foi realizada na tarde da última quarta-feira (18) no Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP.

Veja como foi a apresentação do professor Walter Carnielli, do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP, que falou sobre os teoremas de Gödel:

Workshop reúne Sociedades Científicas para debate no IMECC/Unicamp

Evento também marcou o início das comemorações dos 50 anos do Instituto

O dia 29 de setembro foi marcado pelo início das comemorações dos 50 anos do Instituto de Matemática, Estatística e Computação Científica (IMECC/Unicamp) com o Workshop de Matemática, Aplicações e Sociedades Científicas.

Organizado pelo presidente eleito da SBMAC, professor do IMECC e pesquisador do CEPID-CeMEAI, Carlile Lavor, o evento debateu temas como a diferença entre a Matemática e a Matemática Aplicada, como ela se relaciona com outras áreas, relação entre as universidades e o setor produtivo e desafios para o século 21 pontuaram as apresentações e interação com a plateia.

Veja como foi o evento:

Palestra no IMECC esclarece teoremas de Gödel

Apresentação será realizada nesta quarta-feira (18)

Nesta semana, o Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP promoverá as edições mensais do ciclo de palestras "A Terceira Margem" e das exibições de filmes na cIneMatECCa.

Na quarta-feira (18), a partir das 13h, o professor Walter Carnielli, do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP, apresentará a palestra "Tudo o que você sempre quis saber sobre os teoremas de incompletude de Gödel mas tinha medo de perguntar". Os dois teoremas de incompletude de Kurt Gödel, publicados em 1931, estão entre os resultados mais importantes da ciência contemporânea, com profundas implicações para várias questões sobre a matemática, a lógica e a computação. Os teoremas impõem limites para a demonstrabilidade em teorias formais, no sentido em que qualquer sistema axiomático capaz de conter a aritmética é incompleto ou inconsistente. Um sistema incompleto é aquele em que existem teoremas que podem ser verdadeiros, mas não podem ser demonstrados. Um sistema inconsistente, por outro lado, é aquele que contém contradições. Portanto, se não quisermos contradições, todo sistema axiomático capaz de raciocínios aritméticos deve ser incompleto. Na computação, um resultado análogo devido a Alan Turing mostrou que o processo de buscar teoremas que não podem ser demonstrados é indecidível. A palestra discutirá estas e outras questões relativas à matemática e mostrará como a prova do primeiro teorema de Gödel é essencialmente o Paradoxo do Mentiroso sofisticado, e como a prova do Teorema de Turing usa o argumento diagonal de Cantor.

Já na sexta-feira (20), às 15h30, a atração do Instituto será o filme britânico Enigma, de 2001. A obra se passa na segunda guerra mundial e traz como personagem central o talentoso matemático Tom Jericho, que trabalha para o governo britânico e desenvolve e opera Enigma, uma máquina que permite que os agentes secretos dos Aliados decifrem códigos enviados pelos militares alemães. Porém, em dado momento, os alemães passam a utilizar um novo tipo de código que não pode ser decifrado por Enigma. Ao mesmo tempo, Jericho precisa lidar com o desaparecimento de Claire Romilly, companheira de trabalho pela qual se apaixonou.

As duas atividades serão realizadas no auditório do IMECC e são abertas ao público.

Sobre o CeMEAI

O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.

O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.

Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.

Leonardo Zacarin - Comunicação CeMEAI

Mais informações

Assessoria de Comunicação do CeMEAI: (16) 3373-6609

E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

CeMEAI recebe Comitê Internacional de Avaliação

Consultores avaliam os números e propõem melhorias

Dirigentes e pesquisadores do Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI) receberam no dia 18 de setembro, em um dos auditórios Instituto de Ciências Matemáticas e de Computação (ICMC), da USP em São Carlos, consultores de um Comitê Internacional para uma avaliação das atividades desenvolvidas nos últimos dois anos pelo Centro.

Willian Meeker (Iowa State University), Wil Schilders (Eindhoven University of Technology) e João Fernando Gomes de Oliveira (Escola de Engenharia de São Carlos) receberam dos coordenadores informações sobre projetos em andamento.

Francisco Louzada falou sobre Transferência de Tecnologia. Lúcio dos Santos apresentou o desempenho na área de Educação e Difusão. Os coordenadores de cada área falaram sobre: Otimização (Franklina Toledo e José Martínez), Inteligência Computacional (André Ponce de Leon Carvalho), Mecânica dos Fluidos (Antonio Castelo Filho, Gustavo Buscaglia e João Luiz Azevedo) e Modelagem de Risco (Francisco Louzada).

Leandro Franco de Souza apresentou dados sobre o uso do cluster “Euler”, supercomputador do CeMEAI e o Gestor de Educação e Difusão do Conhecimento, Gustavo Faria, falou sobre a repercussão positiva das pesquisas na mídia. Alguns dos quase 100 projetos realizados foram divulgados na página do Centro e podem ser vistos neste link.

O diretor do CEPID- CeMEAI José Alberto Cuminato falou sobre o aumento da interação com empresas, incluindo projetos que contemplam financiamentos externos. Foi também apresentada a evolução no número de patentes e spin offs/start ups e as atividades de educação que levaram conhecimento a um maior número de público. A colaboração entre pesquisadores em diferentes áreas foi outro índice em ascensão.

“É nítida e significativa a evolução do CeMEAI nos últimos dois anos. Estamos bem próximos de atingir o objetivo que propomos no início do projeto. Isso tudo é resultado do engajamento dos pesquisadores e do trabalho de aproximação da indústria, nosso foco principal”, comentou o diretor.

Apontamentos, sugestões e novos caminhos

Discussões e propostas para o futuro do CEPID-CeMEAI foram apresentadas ao final do encontro. Os membros do Comitê falaram sobre a análise que fizeram sobre as aplicações possíveis e impactos das pesquisas desenvolvidas. Entre os apontamentos sugeridos estão caminhos para parcerias com outros Institutos.

“Tudo parece bem positivo para mim, houve muito avanço comparado ao relatório de dois anos atrás. Agora o trabalho é implementar as novas ações sugeridas. É sempre útil ter alguém vendo de fora o que estamos fazendo e dando diferentes perspectivas e acho que podemos dar este tipo de colaboração”, falou Meeker do departamento de estatística da Universidade Estadual de Iowa.

O encontro fortaleceu a avaliação que ocorre a cada dois anos e foi realizada nesta segunda-feira, 16 de outubro, pelo Comitê Internacional da FAPESP- Fundação de Amparo à Pesquisa do Estado de São Paulo que apoia os Cepids.

Sobre o CeMEAI

O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.

O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.

Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.

Raquel Vieira - Comunicação CeMEAI

Mais informações

Assessoria de Comunicação do CeMEAI: (16) 3373-6609

E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

III Workshop de Soluções Matemáticas para Problemas Industriais - Splice

A Splice foi uma das empresas participantes do III Workshop de Soluções Matemáticas para Problemas Industriais, organizado pelo CEPID - CeMEAI. Confira o relato dos pesquisadores e representantes que estudaram o problema da empresa: 

Acesse o relatório produzido pelos pesquisadores!

Íntegra - A Terceira Margem: A objetividade do conhecimento nas ciências sociais e a relação com as ciências exatas

O Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP recebeu, no último dia 13, o professor Sávio Cavalcante, do Instituto de Filosofia e Ciências Humanas (IFCH), para um papo sobre as relações entre as ciências humanas e exatas. Confira a íntegra do evento:

Pesquisador do CeMEAI oferece curso na Rússia

Nikolai Kolev apresentou o Centro a pesquisadores internacionais

A Universidade Russa da Amizade dos Povos (RUDN), em Moscou, recebeu, nos dias 5 e 6 deste mês, o professor Nikolai Kolev, do Instituto de Matemática e Estatística (IME) da USP em São Paulo e pesquisador do Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI).

Kolev apresentou as atividades do Centro e também ofereceu um curso para alunos de doutorado do Departamento de Informática Aplicada e pesquisadores interessados. Denominado “Copulas – nonstandard view”, o curso detalhou aplicações dos métodos de cópula, amplamente utilizados em seguros e atividades financeiras – em particular, na gestão de risco dos bancos.

Sobre o CeMEAI

O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.

O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.

Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.

Leonardo Zacarin - Comunicação CeMEAI

Mais informações

Assessoria de Comunicação do CeMEAI: (16) 3373-6609

E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Encontro discute métodos para simulação de reservatórios de petróleo

Evento reuniu alunos e pesquisadores do CeMEAI, ICMC e Unicamp

Nos dias 7 e 8 de agosto professores do ICMC/USP, IMECC/Unicamp e alunos de pesquisadores do CEPID-CeMEAI envolvidos no projeto Métodos Multiescala para a Simulação Numérica de Reservatórios de Petróleo - firmado recentemente com a Petrobras - participaram de um encontro periódico para avaliar o andamento de um convênio que resultará novas tecnologias nos reservatórios brasileiros do pré-sal.

A reunião ocorreu em um dos auditórios do ICMC, em São Carlos, e foi coordenada pelos pesquisadores responsáveis Fabrício Simeoni de Sousa e Gustavo Carlos Buscaglia. Entre os participantes estavam o Prof. Luis Felipe Pereira da University of Texas at Dallas, professor Eduardo Abreu da Unicamp, Prof. Roberto Ausas do ICMC/USP e pesquisadores do CENPES/Petrobras Ramón Domingues e José Roberto Pereira Rodrigues.

Além das discussões sobre o convênio com a Petrobras, andamento dos projetos da USP e da Unicamp com apresentações feitas pelos alunos envolvidos, a reunião contou com apresentações dos pesquisadores do CENPES, sobre desafios de modelagem e geologia de campos de petróleo em águas profundas.

“Estas reuniões fazem parte de um cronograma de atividades periódicas em conjunto entre as quatro instituições envolvidas no projeto, visando uma efetiva colaboração através da troca de experiências e sincronização dos projetos. A reunião foi muito proveitosa e todos ficaram muito satisfeitos com o andamento do projeto”, comentou Fabrício.

Sobre o CeMEAI

O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.

O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.

Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.

Raquel Vieira - Comunicação CeMEAI

Mais informações

Assessoria de Comunicação do CeMEAI: (16) 3373-6609

E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Pesquisador do CeMEAI é eleito presidente da SBMAC

Carlile Lavor do IMECC assumirá mandato para biênio 2018-2019

O professor do IMECC e pesquisador do CEPID-CeMEAI Carlile Lavor assumirá em primeiro de janeiro de 2018 a presidência da SBMAC – Sociedade Brasileira de Matemática Aplicada e Computacional.

A chapa vencedora terá outros integrantes do CeMEAI. Para o cargo de 1º Secretário assumirá Pablo Martín Rodríguez e como Conselheiros, José Alberto Cuminato e José Mario Martínez Perez.

O resultado da eleição foi divulgado no último mês de agosto e Carlile cumprirá mandato de dois anos para o biênio 2018-2019.

Segundo ele, um dos principais desafios é enfrentar com a nova diretoria eleita um período difícil da ciência brasileira.

“Acredito que um dos caminhos para enfrentar toda essa crise nacional é o diálogo, dentro e fora da academia. Precisamos mostrar para a sociedade brasileira, e isso inclui, obviamente, a classe política, a importância do trabalho realizado nas universidades e centros de pesquisa”, comentou.

“É também um momento oportuno para fazermos uma autocrítica, identificando o que pode e deve ser melhorado em nossas universidades. As melhores universidades do mundo estão se transformando para se adaptarem às novas exigências do século XXI, e se não ficarmos atentos, ficaremos para trás”, observou Carlile.

Sobre alguns planos de ações, Carlile destacou dois deles que são o fortalecimento dos laços com outras sociedades científicas e tornar o evento anual da SBMAC, o CNMAC - Congresso Nacional de Matemática Aplicada e Computacional- um grande evento da matemática aplicada em toda a América Latina. “Juntamente com a diretoria atual, já estamos trabalhando para isso”, finalizou.

Sobre o CeMEAI

O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.

O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.

Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.

Raquel Vieira - Comunicação CeMEAI

Mais informações

Assessoria de Comunicação do CeMEAI: (16) 3373-6609

E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Pesquisadores do CeMEAI no CNMAC 2017

Participação inclui posters, artigos, palestra e coordenação de minissimpósio

De 19 a 22 de setembro São José dos Campos sediará a trigésima sétima edição do CNMAC (Congresso Nacional de Matemática Aplicada e Computacional), maior evento da SBMAC (Sociedade Brasileira de Matemática Aplicada e Computacional) e que congrega cerca de 800 participantes, entre pesquisadores, professores, profissionais de empresas e centros de pesquisas e estudantes das mais diversas áreas da Matemática Aplicada e Computacional.

Pesquisadores do CEPID-CeMEAI participarão do evento com apresentações orais de artigos e posters com diferentes produções científicas em desenvolvimento.

No CNMAC são apresentados Minicursos, Minissimpósios, Conferências, Sessões Técnicas de Comunicações, Sessões Especiais dedicadas à Iniciação Científica e ao Ensino, Exposições e Mesas Redondas. Também durante o CNMAC são premiados trabalhos de Iniciação Científica, dissertações de Mestrado e teses de Doutorado.

Um dos minissimpósios sobre Otimização: Desafios e Perspectivas tem coordenação das pesquisadoras do CeMEAI Helenice de Oliveira Florentino Silva (Unesp – Botucatu), Franklina Toledo e Maristela Santos (USP – São Carlos). Pedro Munari (UFSCar- São Carlos) apresentará a palestra Problemas Otimização de Grande Porte em Logística: Teoria e Aplicações.

A 37ª edição do CNMAC será no Instituto de Ciência e Tecnologia da Unifesp, da FATEC e do Parque Tecnológico. Veja a programação completa.

Sobre o CeMEAI

O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.

O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.

Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.

Raquel Vieira - Comunicação CeMEAI

Mais informações

Assessoria de Comunicação do CeMEAI: (16) 3373-6609

E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.