Palestra

palestra, participação, apresentação

Simpósio marca diplomação dos membros afiliados da ABC Região MG & CO 2024-2028

Na próxima terça-feira, 03, de 14h às 18h, nos auditórios 101 e 102 do CAD 3 da UFMG, ocorrerá o Simpósio e Diplomação dos membros afiliados da ABC da Regional Minas Gerais e Centro-Oeste 2024-2028. O evento será presidido pelo professor do Departamento de Ciência da Computação (DCC) e vice-presidente da Região MG e CO, […]

Simpósio marca diplomação dos membros afiliados da ABC Região MG & CO 2024-2028 Read More »

Na próxima terça-feira, 03, de 14h às 18h, nos auditórios 101 e 102 do CAD 3 da UFMG, ocorrerá o Simpósio e Diplomação dos membros afiliados da ABC da Regional Minas Gerais e Centro-Oeste 2024-2028. O evento será presidido pelo professor do Departamento de Ciência da Computação (DCC) e vice-presidente da Região MG e CO,

Professora do DCC participa de evento do Google sobre Inteligência Artificial e Cibersegurança

A professora do Departamento de Ciência da Computação (DCC) da UFMG, Michele Nogueira, participou, nesta terça-feira, 27, no Google – São Paulo, do evento denominado “Research Day on AI and Cybersecurity”. O encontro foi restrito a convidados e teve por objetivo discutir a relevância da Inteligência Artificial e da cibersegurança. Michele participou do evento em

Professora do DCC participa de evento do Google sobre Inteligência Artificial e Cibersegurança Read More »

A professora do Departamento de Ciência da Computação (DCC) da UFMG, Michele Nogueira, participou, nesta terça-feira, 27, no Google – São Paulo, do evento denominado “Research Day on AI and Cybersecurity”. O encontro foi restrito a convidados e teve por objetivo discutir a relevância da Inteligência Artificial e da cibersegurança. Michele participou do evento em

Evento promovido pelo DCC/UFMG, em parceria com universidade de Nova York, discute o futuro do Futebol

O Sports Analytics Lab (SALab), do Departamento de Ciência da Computação (DCC) da Universidade Federal de Minas Gerais (UFMG), em parceria com a New York University (NYU) realizará, nos dias 4 e 5 de setembro próximo, nos auditórios do 1º andar do Centro de Atividades Didáticas 3 (CAD 3) da UFMG – Campus Pampulha, o

Evento promovido pelo DCC/UFMG, em parceria com universidade de Nova York, discute o futuro do Futebol Read More »

O Sports Analytics Lab (SALab), do Departamento de Ciência da Computação (DCC) da Universidade Federal de Minas Gerais (UFMG), em parceria com a New York University (NYU) realizará, nos dias 4 e 5 de setembro próximo, nos auditórios do 1º andar do Centro de Atividades Didáticas 3 (CAD 3) da UFMG – Campus Pampulha, o

Pesquisador da Rowan University, nos EUA, profere palestra no DCC

O professor adjunto em Ciência da Computação na Rowan University, nos EUA,André Gomes, irá proferir amanhã, 20, às 14 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), de forma presencial, a palestra “Towards ultra-reliable mobile networks“. André possui doutorado em Engenharia da Computação pela Virginia Tech, nos EUA, mestrado em Ciência da Computação

Pesquisador da Rowan University, nos EUA, profere palestra no DCC Read More »

O professor adjunto em Ciência da Computação na Rowan University, nos EUA,André Gomes, irá proferir amanhã, 20, às 14 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), de forma presencial, a palestra “Towards ultra-reliable mobile networks“. André possui doutorado em Engenharia da Computação pela Virginia Tech, nos EUA, mestrado em Ciência da Computação

Palestra – Generic bidirectional typing for dependent type theories

Na próxima quarta-feira, 21, às 11 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o doutorando em Ciência da Computação no Laboratoire Méthodes Formelles (LMF) da Universidade Paris-Saclay, Thiago Felicissimo, irá proferir a palestra “Generic bidirectional typing for dependent type theories”. O evento é presencial e aberto aos interessados, sem necessidade

Palestra – Generic bidirectional typing for dependent type theories Read More »

Na próxima quarta-feira, 21, às 11 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o doutorando em Ciência da Computação no Laboratoire Méthodes Formelles (LMF) da Universidade Paris-Saclay, Thiago Felicissimo, irá proferir a palestra “Generic bidirectional typing for dependent type theories”. O evento é presencial e aberto aos interessados, sem necessidade

Pesquisadoras do DCC participam do Mind The Gap do Google

Nesta terça-feira, 13, as professoras do Departamento de Ciência da Computação (DCC) da UFMG, Michele Nogueira e Raquel Prates, as mestrandas Pâmela Carvalho da Silva e Clarissa Lima Loures e a doutoranda Camila Laranjeira, participaram do Mind The Gap, um programa global do Google. O objetivo da empresa é incentivar alunas do Ensino Médio a

Pesquisadoras do DCC participam do Mind The Gap do Google Read More »

Nesta terça-feira, 13, as professoras do Departamento de Ciência da Computação (DCC) da UFMG, Michele Nogueira e Raquel Prates, as mestrandas Pâmela Carvalho da Silva e Clarissa Lima Loures e a doutoranda Camila Laranjeira, participaram do Mind The Gap, um programa global do Google. O objetivo da empresa é incentivar alunas do Ensino Médio a

Troca de experiências, conhecimento, networking e entretenimento marcam DCC Week 2024

Encerrada na última sexta-feira, 09, a DCC Week 2024: Ensino, Pesquisa e Inovação, organizada pelo Departamento de Ciência da Computação (DCC) da UFMG, contou com palestrantes nacionais e internacionais que abordaram diversos temas ligados à Ciência da Computação. Além disso, tanto os quase 300 participantes que estiveram diariamente no evento, quanto a comunidade da UFMG,

Troca de experiências, conhecimento, networking e entretenimento marcam DCC Week 2024 Read More »

Encerrada na última sexta-feira, 09, a DCC Week 2024: Ensino, Pesquisa e Inovação, organizada pelo Departamento de Ciência da Computação (DCC) da UFMG, contou com palestrantes nacionais e internacionais que abordaram diversos temas ligados à Ciência da Computação. Além disso, tanto os quase 300 participantes que estiveram diariamente no evento, quanto a comunidade da UFMG,

Professor do DCC profere palestra em Seminário “Minas Contra Fake News”

O professor do Departamento de Ciência da Computação da UFMG, Fabrício Benevenuto, irá participar, nesta terça-feira, 13, às 14 horas, no Auditório da Reitoria – Campus Pampulha da UFMG, do painel “Programa UFMG de Formação Cidadã em Defesa da Democracia”, com apresentação do projeto “Eleições sem fake”. O evento integra o Seminário “Minas Contra Fake

Professor do DCC profere palestra em Seminário “Minas Contra Fake News” Read More »

O professor do Departamento de Ciência da Computação da UFMG, Fabrício Benevenuto, irá participar, nesta terça-feira, 13, às 14 horas, no Auditório da Reitoria – Campus Pampulha da UFMG, do painel “Programa UFMG de Formação Cidadã em Defesa da Democracia”, com apresentação do projeto “Eleições sem fake”. O evento integra o Seminário “Minas Contra Fake

DCC Week terá desafio, feira de oportunidades e conferências

Inscrições encerram-se na sexta; evento será realizado de 7 a 9 de agosto Até a próxima sexta-feira, 2 de agosto, estarão abertas as inscrições para o DCC Week 2024, que será realizado nos dias 7, 8 e 9 de agosto, no Departamento de Ciência da Computação da UFMG. A programação prevê uma série de conferências, em que serão tratados temas como

DCC Week terá desafio, feira de oportunidades e conferências Read More »

Inscrições encerram-se na sexta; evento será realizado de 7 a 9 de agosto Até a próxima sexta-feira, 2 de agosto, estarão abertas as inscrições para o DCC Week 2024, que será realizado nos dias 7, 8 e 9 de agosto, no Departamento de Ciência da Computação da UFMG. A programação prevê uma série de conferências, em que serão tratados temas como

Palestra – The Hows and Whys of Higher-Order SMT

Data: 30 de julho, terça-feira Horário: 11 horas Local: Sala 2077, do ICEx Título: The Hows and Whys of Higher-Order SMT Resumo: SMT solving for higher order logic has been around for a few years and many challenges remain to tackle. In this talk, I will present an assessment of the current state of research

Palestra – The Hows and Whys of Higher-Order SMT Read More »

Data: 30 de julho, terça-feira Horário: 11 horas Local: Sala 2077, do ICEx Título: The Hows and Whys of Higher-Order SMT Resumo: SMT solving for higher order logic has been around for a few years and many challenges remain to tackle. In this talk, I will present an assessment of the current state of research

Acesso por PERFIL

Pular para o conteúdo