Anticast, Projeto Humanos, Tribo Forte e Cafeína Compilada

De acordo com a mais recente PodPesquisa (a de 2018), o Anticast é o quarto podcast mais escutado no Brasil. O criador do Anticast, Ivan Mizanzuk, é também criador do podcast Projeto Humanos. A quarta temporada do Projeto Humanos, sobre o Caso Evandro, estourou e talvez hoje seja até mais famoso do que o Anticast. O Caso Evandro vai virar série documental e livro.

O aplicativo Spotify tem um ranking (Podcast Charts) de podcasts brasileiros. Neste exato momento em que escrevo (não sei a periodicidade do ranking), Projeto Humanos está na posição 45 e Anticast na posição 47.

O podcast Tribo Forte aparece na posição 102 da PodPesquisa. Foi criado por Rodrigo Polesso e conta como convidado regular o Dr. José Carlos Souto, autor do blog Ciência Low-Carb.

O que estes três podcasts têm em comum? Foram criados por egressos da UTFPR.

Ivan Mizanzuk é Doutor em Tecnologia e Sociedade pelo PPGTE-UTFPR (leia a tese dele aqui). Ele fez o curso entre 2010 e 2015. Ambos os podcasts foram criados enquanto ele foi aluno da UTFPR: Anticast em 2011 e Projeto Humanos em agosto de 2015. Mas, ao que tudo indica, sem qualquer ligação com seu doutorado na UTFPR.

Já Rodrigo Polesso é formado em Tecnologia em Informática pelo DAINF-UTFPR, tendo ingressado no segundo semestre de 2002 e se formado em 2007. O site Tribo Forte, que depois deu origem ao podcast, foi criado apenas em 2016. Hoje o trabalho de Rodrigo Polesso cresceu tanto que ele organiza eventos, como o Tribo Forte Ao Vivo, e escreveu um livro que aparece em algumas listas de livros mais vendidos. Neste exato momento, na Amazon, o livro está em:

• Nº1 na categoria "Dietas Saúde, Boa Forma e Dieta"
• Nº1 na categoria "Vida saudável e bem-estar"

Um outro podcast nascido na UTFPR é o Cafeína Compilada. É "um projeto de alunos da Universidade Tecnológica Federal do Paraná - Campo Mourão" que  "tem como objetivo divulgar ciência com foco em computação usando linguagem acessível e de maneira descontraída, mostrando sua aplicação nos mais diversos contextos do nosso cotidiano." Ainda não é um sucesso como os outros três acima, mas tem episódios ótimos como este sobre Comunidades Open Source entrevistando o professor Igor Wiese. 

Em breve teremos também o Emílias Podcast. Aguardem.

Visita EBANX

Wilson Bissi foi meu orientado no mestrado e hoje trabalha no EBANX. Estive lá no dia 05/09/2018.

Vários alunos da UTFPR estagiam lá.

Linguagens que usam: Java, PHP, Ruby.

Um pequeno sistema em Elixir foi desenvolvido durante uma Hackathon interna (24 horas) como Prova de Conceito. Mostra status em TVs.

Um dos ambientes tem um quadro informativo, incluindo Kanban. O quadro é de vidro e contém varios post-its e anotações feitas a caneta para vidro.

Quase todos os ambientes são open office. Existem salas de reuniões para fins específicos.

Há uma copa em que os os funcionários podem beber água, café e comer cereais.

Funcionários podem ter aulas de inglês, pagas pela empresa, durante o horário de trabalho

Há iniciativas de diversidade (LGBTQ e outras).

Enquanto estava lá, um funcionário chegou com roupa de ciclista. Há banheiro para ciclistas.

Empresa tem muitas vagas abertas.

Há uma incubadora, mas não visitei.

Defesa Jean Avila Rangel

Assédio e machismo na Universidade

Escutei o ótimo episódio "Assédio e machismo na Universidade" do podcast Chutando a Escada.

É um tema importante que vejo sendo pouco discutido na minha universidade, a UTFPR, exceto em ocasiões como o Dia Internacional da Mulher.

Em temas como este, acho que o que de melhor posso fazer é divulgar o bom trabalho das mulheres (vejam também o site do grupo Emílias na UTFPR). Escutem o podcast!!!

Trouxemos a Prof. @MarciaCBBarbosa (UFRGS) para falar sobre um dos principais desafios das mulheres na academia: o machismo e o assédio. Escute este bate-papo com uma das pesquisadoras mais respeitadas no país que luta diariamente para mudar esta realidadehttps://t.co/9j9CpLU8vr

— Chutando a Escada (@chutandoaescada) July 3, 2018

Ser mulher na UTFPR é...

Imagens do mural do Dia Internacional da Mulher na UTFPR em 2018:

MiniDebConf Curitiba 2018 na UTFPR

Recebi via softwarelivre.org:

MiniDebConf Curitiba 2018

De 11 a 14 de abril Curitiba sediará pelo terceiro ano consecutivo uma MiniDebConf composta por palestras, oficinas, sprints, BSP (Bug Squashing Party) e eventos sociais. A MiniDebConf Curitiba 2018 é um evento aberto a todos(as), independente do seu nível de conhecimento sobre Debian. O mais importante será reunir novamente a comunidade para celebrar o maior projeto de Software Livre no mundo, por isso queremos receber desde usuários(as) inexperientes que estão iniciando o seu contato com o Debian até Desenvolvedores(as) oficiais do projeto. Ou seja, estão todos(as) convidados(as)!

Este ano serão quatro dias dedicados exclusivamente ao Debian, divididos assim:

• 11 e 12 (quarta e quinta): MiniDebCamp - período para colaboradores(as) do Debian se encontrarem e trabalharem conjuntamente em um ou mais aspectos do projeto. Essa será a nossa versão da brasileira da Debcamp, que acontece tradicionalmente antes da Debconf. Não haverá palestras, debates e oficinas nesses dias, teremos apenas "mão na massa" como empacotamentos de softwares, traduções e BSP - Bug Squashing Party.
• 13 e 14 (sexta e sábado): MiniDebConf propriamente dita - palestras, debates, oficinas, e mais "mão na massa".

A inscrição para a MiniDebConf Curitiba 2018 é totalmente gratuita e pode ser feita no formulário disponível no site do evento: https://minidebconf.curitiba.br

• Data: 11 a 14 de abril de 2018 (quinta, sexta, sábado e domingo)
• Horário: Das 9h00min às 20h00min
• Local: Campus central da UTFPR - Universidade Tecnológica Federal do Paraná
• Endereço: Av. Sete de Setembro, 3165 - Centro

Dia Internacional da Mulher by Emíli@s

Mensagem da professora Silvia Amélia (DAINF-UTFPR):

Acesse a Programação das atividades do Dia Internacional da Mulher organizadas pelo Projeto de Extensão Emili@s - Armação em Bits.

Com exceção da oficina, toda a programação do dia 08 de março será realizada no miniauditório da UTFPR Curitiba, Av. Sete de Semebro, 3165, das 18:00 às 21:00 e esperamos a participação de todos(as) - mulheres, homens, docentes, estudantes, demais pessoas interessadas.

Pedimos a colaboração de vocês na divulgação destas atividades.

Os(as) integrantes do projeto deverão passar nas salas nos primeiros dias de aula para reforçar a divulgação. Desta forma, já pedimos licença para, eventualmente, usarmos 5 minutos de suas aulas para esta divulgação.

No perfil do Facebook do projeto (https://www.facebook.com/emiliasarmacaoembits) publicaremos mais detalhes sobre a programação nos próximos dias.

Estas atividades fazem parte do "III Mês da Mulher na UTFPR: nem uma a menos!"

Contamos com a colaboração e a participação de vocês!

Inscrições em: bit.ly/dimutfpr2017

MiniDebConf Curitiba 2017

Vai ser na UTFPR!

"Nos dias 17, 18 e 19 de março (sexta, sábado e domingo) Curitiba irá sediar pelo segundo ano consecutivo uma MiniDebConf composta por palestras, oficinas e eventos sociais. A MiniDebConf Curitiba 2017 é um evento aberto a todos, independente do seu nível de conhecimento sobre Debian. O mais importante será reunir novamente a comunidade para celebrar o maior projeto de Software Livre no mundo, por isso queremos receber desde usuários inexperientes que estão iniciando o seu contato com o Debian até Desenvolvedores oficiais do projeto. Ou seja, estão todos convidados!"

Mais informações em http://br2017.mini.debconf.org/

Tablôs Analíticos para Lógica Proposicional Clássica - Uma aula

Este texto replica o conteúdo de uma aula que ministro para os alunos de Lógica para Computação da UTFPR.

O objetivo desta aula é que os alunos aprendam a fazer demonstrações utilizando o sistema dedutivo chamado Tablôs Analíticos.

Inicialmente relembro as motivações para usar sistemas dedutivos (verificar se uma conclusão vem de um conjunto de premissas).

Utilizo o capítulo 2 de Lógica para Computação, Silva, Finger e Melo. Leia-o antes de continuar.

Depois de ler, assista ao vídeo abaixo (observação: são vídeos experimentais, sem qualidade), que descreve as regras do sistema.

No vídeo, inicialmente apresento a configuração inicial do tablô, uma vez que se trata de um método refutacional e que estamos usando a versão marcada do sistema de tablôs analíticos:

Início, conforme vídeo

Em sala de aula, explico o que são fórmulas marcadas e porque as fórmulas do lado esquerdo do sequente (premissas) recebem T (representando True, ou seja, Verdadeiro) e a fórmula do lado direito recebe F (False, Falso).

Em relação a Silva, Finger e Melo, eu mudei um pouco a apresentação das regras no vídeo. Em primeiro lugar, eu digo que o fechamento é uma regra, como se pode ver na figura abaixo.

Regra de fechamento.

Depois eu defino as regras da figura abaixo como sendo as regras lineares (também chamadas de regras alfa):

Regras Lineares, conforme vídeo.

Por fim, temos as regras que bifurcam (também chamadas de regras beta).

Regras que bifurcam, conforme vídeo.

Neste link você pode ver todas as regras do sistema de tablôs analíticos com fórmulas marcadas.

Depois disso, mostro exemplos de tablôs que fecham, isto é, cuja demonstração indica que o sequente é válido. O vídeo abaixo faz isso incluindo alguns indicadores visuais para as razões das aplicações das regras e do fechamento dos ramos.

Neste momento aplico alguns exercícios para, de acordo com os princípios da Aprendizagem Ativa, verificar se os alunos aprenderam.

Depois de confirmar que os alunos entenderam o necessário até agora, explico o que são árvores, que uma árvore tem a raiz na parte de cima e as folhas em baixo. Explico o que são ramos. Depois, explico o que são ramos abertos, ramos fechados, ramos abertos e saturados usando um vídeo que mostra tablôs que não fecham:

No vídeo anterior e no próximo mostro também a ideia de valoração contra-exemplo.

E por fim aplico mais exercícios para verificar se os alunos realmente entenderam o assunto, isto é, que sabem fazer demonstrações utilizando o sistema dedutivo chamado Tablôs Analíticos.

Façam os exercícios em Trabalho de Tablôs Analíticos.

Brazilian Conference on Intelligent Systems (BRACIS) 2016

Está aberta a chamada de trabalhos para o BRACIS.

BRACIS is one of the most important events in Brazil for researchers in the field of Artificial and Computational intelligence. The domain of the conference includes traditional and original topics of both areas and it aims to promote theories and novel applications dealing with the use and analysis of AI/CI techniques in various related fields.

Detalhes para a submissão em http://www.cin.ufpe.br/~bracis2016/

Segundo a professora Myriam Delgado, daqui do DAINF-UTFPR, que está participando da organização como Program Chair, "o evento tem associado à chamada uma edição especial da revista NeuroComputing (Impact Factor 2.083). Os autores dos melhores trabalhos serão convidados a submeterem uma versão estendida do artigo publicado no congresso para esta edição".

Datas importantes:

• Submission Deadline: May 15, 2016 
• Notification Due: Jun 30, 2016 
• Final Version Due: Jul 20, 2016  

Capes aprova dois mestrados (um destes em Ciências do Movimento Humano) e um doutorado na UTFPR

Recebi pelo email institucional a seguinte notícia:

Capes aprova dois mestrados e um doutorado na UTFPR

Na 162a reunião  do Conselho Técnico-Científico da Educação Superior (CTC-ES) da Capes, realizada entre os dias 22 e 26 de fevereiro, a UTFPR teve aprovados mais dois Programas de Pós-Graduação stricto sensu com cursos de Mestrado: Física e Astronomia e Ciências do Movimento Humano, ambos no câmpus Curitiba.  

Além disso, foi aprovado o Doutorado em Engenharia Elétrica, curso ofertando em associação entre a Universidade Estadual de Londrina e a UTFPR, câmpus Cornélio Procópio.  

Com isso, a UTFPR passa de 41 programas de Pós-graduação para 43 e de sete Doutorados para oito. Graças ao esforço de toda a comunidade da UTFPR, o sistema de pós-graduação da universidade tem conseguido conciliar a uma expansão constante, a consolidação dos programas já estabelecidos.  

Link para o resultado.   http://www.capes.gov.br/avaliacao/entrada-no-snpg-propostas/mestrado-e-ou-doutorado-academico/resultados

Os melhores cursos da UTFPR

Segundo este post no Blog do Aluno da UTFPR, o DAINF tem dois dos melhores cursos de graduação da UTFPR, que estão entre os melhores do Brasil: Engenharia de Computação e Sistemas de Informação.

Na minha opinião, são os melhores cursos da UTFPR. Mas, como professor e membro do NDE dos dois cursos, sou bastante suspeito.

Capes aprova mestrado em Ciência da Computação para o Câmpus Ponta Grossa da UTFPR

Agora a UTFPR tem 3 programas de Mestrado em Computação:

• PPGCA - Programa de Pós-Graduação em Computação Aplicada, na UTFPR Curitiba
• PPGI - Programa de Pós-Graduação em Informática, na UTFPR Cornélio Procópio
• Programa de Pós-Graduação em Ciência da Computação (nome a confirmar), na UTFPR Ponta Grossa. Leia notícia no site da UTFPR.

Também relacionados à área são os seguintes programas:

• Programa de Pós-Graduação em Bioinformática - PPGBIOINFO, ma UTFPR Cornélio Procópio
• Pós-Graduação em Engenharia Elétrica e Informática Industrial - CPGEI, na UTFPR Curitiba. O único com Doutorado atualmente.

Dissertações do PPGCA, onde atuou, podem ser encontradas aqui. 

Próximas defesas do PPGCA neste link.

Próximas defesas.

Segundo a Plataforma Sucupira, são apenas 7 os programas de pós-graduação em Ciência da Computação no estado do Paraná. Destes, 42% estão na UTFPR (clique na imagem para visualizar).

Páginas no Facebook

Tenho postado pouco aqui mas mantenho atividade em minha conta no Twitter: @adolfont e em duas páginas no Facebook:

• Página do PPGCA UTFPR
• Metodologia da Pesquisa PPGCA
• Métodos Ágeis na UTFPR

Além disso, criei um grupo sobre Aprendizagem Ativa também lá no FB.

Aprendizagem Ativa na Computação

Um colega escreveu (e forneceu evidências) para

"a mudança do perfil do aluno que entra na UTFPR desde 2010, para os altos índices de retenção e evasão (pós-Sisu), e a real quantidade de alunos que as engenharias têm formado (ainda não sentimos o impacto do CsF e nem do Sisu... o número de formados nos próximos 3 semestres provavelmente vai cair)." 

 Os links que ele mencionou estão abaixo:

• http://hpc.ct.utfpr.edu.br/~barreto/utf/analise.html
• http://hpc.ct.utfpr.edu.br/~barreto/utf/formados/formados.png
• http://hpc.ct.utfpr.edu.br/~barreto/correlacoes/eng_comp.html

Eu respondi: Sobre "a mudança do perfil do aluno que entra na instituição desde 2010", acho que outras universidades já passaram por este problema. E a solução mais conhecida (existem evidências e não somente opiniões) é a Aprendizagem Ativa (Active Learning). Saiu até no New York Times.

Um outro colega comentou:

"Fiz uma leitura rápida das referências e achei interessante. Na verdade, fiquei bastante curioso em saber se existem referências com mais detalhes técnicos sobre a implementação de active learning especificamente no ensino das cadeiras básicas de computação (principalmente programação), você teria alguma sugestão?"   

Turma praticando Aprendizagem Ativa

E eu complementei: 

O material que li é independente de disciplina.

Mas procurando no blog do Mark Guzdial um defensor de Metodogias Ativas e que tem coluna na Communications of the ACM (ver este e este textos, em particular), encontrei o Peer4CS.

Mas Peer Instruction é apenas um dos tipos de metodologias ativas. Tem um vídeo legal do pessoal da PUC-PR explicando. Encontrei  este relato de experiência também da PUC.

A propósito, criei um grupo no Facebook sobre Aprendizagem Ativa.

Concurso para Professor no DAINF-UTFPR

Temos vagas no DAINF-UTFPR! Estão abertas as inscrições do Concurso para Professor (efetivo, isto é, com estabilidade após três anos) de Magistério Superior da Universidade Tecnológica Federal do Paraná em Curitiba. As inscrições vão de 22/08 a 13/09/2015. São duas vagas na área de Computação, nas seguintes sub-áreas (o candidato escolhe uma das três):

•  Algoritmos e Complexidade
•  Banco de Dados
•  Segurança e Tolerância a Faltas

Leia o Edital e demais informações sobre este concurso em http://bit.ly/ConcursoDAINF2015 e leia aqui com informações gerais sobre o DAINF, a UTFPR e Curitiba.

E pode me perguntar (nos comentários ou pelo meu email adolfo (AT) utfpr.edu.br) qualquer dúvida sobre Curitiba, sobre o DAINF, sobre a UTFPR, sobre onde ficar para fazer o concurso, etc.

Entrada do Câmpus Centro da UTFPR.

Scrum: A Arte de Fazer o Dobro do Trabalho na Metade do Tempo

Em 22 de novembro estive no lançamento do novo livro de Jeff Sutherland, cujo título traduzido é Scrum: A Arte de Fazer o Dobro do Trabalho na Metade do Tempo (Scrum: The Art of Doing Twice the Work in Half the Time). Eu li em inglês mas já está disponível em português (também na Amazon como ebook).

Scrum: A Arte de Fazer o Dobro do Trabalho na Metade do Tempo

Eu gostei do livro pois se foca mais nos porquês do que no como fazer Scrum. É um livro cujo objetivo é divulgar Scrum para pessoas que não necessariamente trabalham com desenvolvimento de software. O livro tem vários exemplos da aplicação de Scrum. As mais interessantes para mim: eduScrum (aplicação de Scrum na educação, que me lembra das ideias de Ricardo Semler) e WIKISPEED (que está construindo carros extremamente econômicos).


Um ponto negativo indicado por alguns dos revisores do livro na Amazon é que o livro não aponta nenhum problema no Scrum e quase nenhum obstáculo à implantação de Scrum. Concordo, mas em geral é este tipo de livro que faz sucesso na área de negócios.

Abaixo um mapa mental do Apêndice sobre a Implementação de Scrum (a única parte do livro sobre Como Fazer Scrum):


Mind Map created by Adolfo Neto with ExamTime


Abaixo fotos do lançamento do livro em Washington DC: