====== 2019 ====== * [[2019:Events]] * [[2019:Reviews]] * [[2019:Continuous Tasks]] * [[2019:PPGCA tasks]] * [[2019:Writing]] * [[2019:Secret]] * [[2019:Questões de Lógica no POSCOMP]] * [[2019:Métodos Ágeis para Dispositivos Móveis 2019]] * [[2018:introducao_a_logica_para_computacao|Introdução a Lógica para Computação]] * [[2019:Metodologia da Pesquisa]] * [[2019:Metodologias Ágeis para o Desenvolvimento de Software 2019]] * [[2019:Emílias Podcast]] * [[2019:Content produced by women and miniorites]] * [[2019:Trabalhando no Exterior]] * [[2019:CAES005 - Introdução à Programação Funcional]] * [[2019:Concurrent Functional Programming]] * [[2019:Ferramentas para o Ensino de Programação em Português]] * [[2019:Facebook Infer links]] * [[2019:Brazilian Software Engineering Researchers working abroad]] * [[2020]] ===== Graduate Students supervised ===== * Paulo Cezar de Oliveira (2017) * Myrian Raquel Noguera Salinas (2017) - [[2018:Tax Evasion Datathon]] - Finished on 20/02/2019 * Marcelo Mendes da Silva (2018) * Cristiane Barbieri de Pelegrin (2019) * Desiree Fernanda Hoppe (2019) * Doglas Andre Finco (2019) * Gustavo Cunha Teles (2019) * Marlon Jhonathan Pinheiro (2019) * Rodrigo Cirino de Andrade (2019) ===== Public Drafts ===== * [[2019:The Elixir Community of Practice -- A Preliminary Characterization]] * [[2019:The Elixir Forum Survey]] * [[2019:Notes for Public Drafts]] ===== Drafts of Blog Posts ===== * [[2019:What have I learned from "Digital Minimalism", by Cal Newport?]] * [[2019:Former DAINF-UTFPR students in nice places]] * [[2019:Who is making (big) money with Elixir and how?]] * [[2019:What have I not yet put into practice from "Deep Work", by Cal Newport?]] * [[2019:Dez mandamentos para uma era digital]] * [[2019:Agile Lite - Agile sem todo o burnout]] * [[2019:Indicações de Vídeos]] * [[2019:Artigos-exemplo]] * [[2019:Language Popularity]] ===== Private ===== * Elixir Forum paper * [[https://workflowy.com/|Use Workflowy]] * [[https://docs.google.com/presentation/d/1vZGIMuxANb2fSNtAEnnZ9B1-RTRVQaJSr9RHxXLrDPA/edit|Elixir para quem não sabe programar]] * [[https://photos.google.com/u/2/album/AF1QipO5ijH3ndoM4iA5aN4aNr84vEJReOkoMrBKa-ZD|Anotações digitalizadas]] * [[Aulas]] * [[Anotações]] * [[Oportunidades]] * [[2019:Uncategorized Links]] ====== Principles ====== * More analog things * Notebooks * Fountain pens * Not many colors ====== Leadership/Service ====== ===== Management ===== * [[http://ppgca.dainf.ct.utfpr.edu.br|PPGCA]] Coordinator ===== Conferences ===== * Member of the Programme Committe of the [[https://www.uc.pt/en/congressos/thedu/thedu19|8th International Workshop on Theorem Proving Components for Educational Software (ThEdu'19)]]