http://pessoal.dainf.ct.utfpr.edu.br/adolfo/ 2026-04-29T21:17:19+00:00 http://pessoal.dainf.ct.utfpr.edu.br/adolfo/ http://pessoal.dainf.ct.utfpr.edu.br/adolfo/lib/exe/fetch.php?media=logo.png text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2012_class_of_agile_methods_for_software_development&rev=1605786142&do=diff May 30th, 2012 Introduction * I did an informal survey with the students * Results * Research resources (in Portuguese) * Our objectives (in Portuguese) How to find a good paper * Look only for Research Papers. Some journals, like IEEE Software have some non scientific articles. * Good papers are peer reviewed. Peer review is usually better in Journals. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2017&rev=1605786142&do=diff * Coding Dojo Unreal Engine * Jogo "Encontre a Fraude" * Global Day of Coderetreat 2017 * MindMaps * Horário * ICSE * Tasks * Blog Post Ideas * Corredores e Corredoras da UTFPR * Metodologia da Pesquisa * Ideias para Trabalhos de Conclusão de Curso * Start * On Writing * Lógica * Software Engineering Lab at UTFPR Curitiba * The Elixir Programming Language * Tópicos Avançados em Engenharia de Software 2 * Metodologias Ágeis para o Desenvolvimento de Software… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018&rev=1605786142&do=diff Leadership * Leadership Research * Elixir Community * Meetups, Coding Dojos, Coderetreats * SAT Solver * Active Learning and Logic * Tax Havens * Tax Evasion Datathon * Elixir Forum Survey 2018 Results Ensino Graduação * Introdução à Lógica para Computação * Métodos Ágeis para o Desenvolvimento de Software * Trilha de Engenharia de Software * Estatísticas Pós-Graduação (Mestrado e Doutorado) * Metodologia da Pesquisa * Métodos Ágeis para o Desenvolvimento de S… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2019&rev=1605786142&do=diff 2019 * Events * Reviews * Continuous Tasks * PPGCA tasks * Writing * Secret * Questões de Lógica no POSCOMP * Métodos Ágeis para Dispositivos Móveis 2019 * Introdução a Lógica para Computação * Metodologia da Pesquisa * Metodologias Ágeis para o Desenvolvimento de Software 2019 * Emílias Podcast * Content produced by women and miniorites * Trabalhando no Exterior * CAES005 - Introdução à Programação Funcional * Concurrent Functional Programming * Ferramentas pa… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2020&rev=1605786142&do=diff 2020 Teaching * Metodologias Ágeis para o Desenvolvimento de Software 2020 * Introdução a Lógica para Computação * Metodologia da Pesquisa - Turma 2020 * Links EAD e Trabalho Remoto Advising * Trabalho de Conclusão de Curso de Especialização Research * Resources for beginners learning a programming language * Collaborative events Others * PPGCA * Estatísticas Públicas dos Meus Podcasts (Emílias Podcast e Podcast do Professor Adolfo Neto * Utilities * Resources rela… text/html 2021-04-21T11:37:51+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2021&rev=1619005071&do=diff Adolfo Neto's activities in 2021 Curso de Stream Yard - Fevereiro de 2021 New projects * Elixir PT podcast * OTP course New pages * Software Engineering Research on Twitter Done * StreammYard course * Podcasts class * Recording FES 9 * Editing Emilias 34 * Editing two extras Emilias text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=about_conferences&rev=1605786142&do=diff About Conferences * <http://www.targetprocess.com/blog/2014/07/agile-conference-revolution.html> * <http://blackswanfarming.com/thoughts-on-agile2013/> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=advisor&rev=1605786142&do=diff * Ramiro * Vagner * Tiago * Thiago Lazier * PPGCA text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=agile_methods_for_software_development&rev=1605786142&do=diff * 2012 Class of Agile Methods for Software Development text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=anotacoes&rev=1605786142&do=diff Anotações A Lógica do Cisne Negro, de Nassim Nicholas Taleb Teaching and Learning text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=aulas&rev=1605786142&do=diff Aulas de Lógica Aulas de Métodos Ágeis Aula sobre Práticas Ágeis Aula sobre Scrum text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=aula_sobre_praticas_ageis&rev=1605786142&do=diff Aula sobre Práticas Ágeis Divididas em duas categorias e na ordem de mais utilizadas de 12a. State of Agile Técnicas Ágeis * Reunião (em pé) diária * Planejamento de Sprint/iteração * Retrospectivas * Revisão de Sprint/iteração * Iterações curtas text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=aula_sobre_scrum&rev=1605786142&do=diff Aula sobre Scrum Motivação Google Trends no Mundo, de 2004 a hoje, para: * Scrum * Unified Process * Capability Maturity Model Integration * Capability Maturity Model * Extreme programming Pessoas * Jeff Sutherland: Wikipedia * Ken Schwaber: Wikipedia * Mike Cohn: Wikipedia * Steve Denning: site blog * text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=a_logica_do_cisne_negro_de_nassim_nicholas_taleb&rev=1605786142&do=diff A Lógica do Cisne Negro, de Nassim Nicholas Taleb Prólogo Cisne negro. Uma observação invalida crença confirmada por evidências empíricas. Limitação severa no aprendizado por meio de observações ou experiências. Fragilidade do nosso conhecimento. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=barefoot_running&rev=1605786142&do=diff Barefoot Running Videos text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=barefoot_running_videos&rev=1605786142&do=diff * Rae's Run: A Barefoot Trek Across The Country * More on Rae Haim text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=books_i_may_write&rev=1605786142&do=diff Idea: a book on how I work * Three most important things: * Timeboxing * Deep work * Analog things What is the question here? Well, there are many books on “productivity”. Too much. I have read a lot of books and texts, listened to a lor of podcasts, watched some videos about it. Some were useful, most were not, to me. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=coding_dojos&rev=1605786142&do=diff Coding Dojos Papers on Coding Dojos 2005 * Bossavit, Laurent, and Emmanuel Gaillot. "The coder’s dojo–a different way to teach and learn programming." In International Conference on Extreme Programming and Agile Processes in Software Engineering, pp. 290-291. Springer, Berlin, Heidelberg, 2005. 2008 * Sato, Danilo Toshiaki, Hugo Corbucci, and Mariana Vivian Bravo. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=comments_on_modular_construction_of_cut-free_sequent_calculi_for_paraconsistent_logics&rev=1605786142&do=diff Comments on Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics Provides “a general method for a systematic and modular generation of cut-free calculi for thousands of paraconsistent logics known as Logics of Formal (In)consistency. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=contas&rev=1605786142&do=diff text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=current_research_projects&rev=1605786142&do=diff Current Research Projects Format: Question + Project Logic-SAT What are the common features of the best SAT Solvers? Can you build an effective SAT Solver in a slow language like Clojure? Logic-Teaching Is it possible to help students learn Logic more and faster by providing them with tools that require concentration and text-based skills? text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=developer_productivity&rev=1605786142&do=diff Software Craftsmanship * Manifesto * Wikipedia page * Against: Programming is not a craft * Main points: * practicing it * helping others learn the craft Questions * How? * Why? * What do you do in practice? * How do you define “well-crafted software”? * Is “value text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=disciplina_metodos_ageis_para_dispositivos_moveis_2013&rev=1605786142&do=diff Métodos Ágeis para Dispositivos Móveis 2013 (Especialização) Aulas Aula 1 22/02/2013 * Dojo de Programação * Manifesto Ágil Aula 2 01/03/2013 * Ideia de aplicativo * 180-age formula * Scrum * Slides Agilcoop * Wikipedia text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=embedding_reflection_and_learning_into_agile_software_development&rev=1605786142&do=diff Embedding Reflection and Learning into Agile Software Development * <http://dx.doi.org/10.1109/MS.2014.54> * Action Research - small sw company US, Virginia! * Jeffry Babb (Texas A&M) * Grounded Theory - 58 practitioners, 23 companies * REALM: Reflective Agile Learning Model (Babb's PhD in Virginia text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=estagio&rev=1605786142&do=diff Em andamento Obrigatórios Aluno Curso Empresa Período Andressa BSI ?? 04/13 Guilherme Fujiyoshi EC ou BSI? Cinq 06/13 Camila Ferreira de Lima EC Cinq 06/13 Tiago Rafael Volkmann Coelho BSI Cinq 06/13 Obs. Camila apresentou relatório em 21/01/2014. Prazo: 17/06/2013 a 17/07/2014. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=ficha_pautada_3x5&rev=1605786142&do=diff Ficha Pautada 3x5 text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=guias_de_estudo&rev=1605786142&do=diff * Guia de Estudo para a Prova 1 de Lógica para Computação * Guia de Estudo para a Prova 2 de Lógica para Computação * Trabalho 3, sobre Lógica de Predicados * Guia de Estudo para a Prova 3 de Lógica para Computação * Para a Prova de Recuperação, use o Guia de Estudo da Prova cuja nota deseja recuperar. * Para a Prova Final, use o Guia de Estudo das Provas 1 a 3. text/html 2021-07-06T11:56:48+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=guia_de_estudo_para_a_prova_1_de_logica_para_computacao&rev=1625572608&do=diff Guia de Estudo para a Prova 1 O(A) aluno(a) deverá ser capaz de: Introdução * Descrever o que entende por lógica * Descrever o que entende por argumento * Descrever o que entende por proposição * Descrever o que entende por premissa text/html 2021-08-23T13:56:50+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=guia_de_estudo_para_a_prova_2_de_logica_para_computacao&rev=1629727010&do=diff Guia de Estudo para a Prova 2 O(A) aluno(a) deverá ser capaz de: Sistemas Dedutivos - Teoria * Descrever o que entende por sistema dedutivo * Descrever o que entende por sistema dedutivo refutacional Tablôs Analíticos * Descrever as regras do sistema de Tablôs Analíticos text/html 2021-08-25T17:28:20+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=guia_de_estudo_para_a_prova_3_de_logica_para_computacao&rev=1629912500&do=diff Guia de Estudo para a Prova 3 A partir de 2020/2, teremos apenas duas provas e o assunto da Prova 2 será o assunto das antigas provas 2 e 3. O(A) aluno(a) deverá ser capaz de: Sintaxe de Lógica de Predicados * Escrever frases que podem ser representadas como fórmulas da Lógica de Predicados text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=leadership&rev=1605786142&do=diff Current Leadership Roles * PPGCA Coordinator (08/2018-) * Coordinator of the TCE-PR/UTFPR partnership project (2011-2016) * NDE-BSI member * NDE-EC member (-2017) PS: Service as leadership. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=leituras_produtividade&rev=1605786142&do=diff Leituras Produtividade * 7 Tips to Become a Productivity Superstar <http://www.inc.com/john-brandon/how-to-become-a-productivity-superstar-7-tips.html> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=leituras_running&rev=1605786142&do=diff Leituras Running * Maffetone Faster <http://www.ironman.com/triathlon/news/articles/2014/07/art-and-science-of-speed.aspx#axzz37v4a2quu> * Gymnastics BJJ <http://bjjcaveman.com/2014/07/20/gymnastic-bodies-coach-christopher-sommer/> * Maffetone Energy Spectrum <http://philmaffetone.com/the-energy-spectrum> * Cucuzzella <http://runnersconnect.net/running-interviews/how-to-transition-to-minimalst-running-mark-cucuzzella/> * Diet Elite <http://runnersconnect.net/running-nutrition-articles… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=linha_de_pesquisa_em_engenharia_de_software_no_ppgca&rev=1605786142&do=diff Engenharia de Software (PPGCA) GEES - UTFPR Curitiba Membros e produções * Adolfo Neto (CV Lattes). * Produção em periódico A2 em 2016 * The effects of test driven development on internal quality, external quality and productivity * Produção (artigo curto) em evento B2 em 2017 * "Jogo Sério como Facilitador de Denúncias e Detecção de Fraudes em Órgãos Públicos Governamentais * Jean Marcelo Simão (CV Lattes) * Produção em periódico B1 e em evento A2 em 2015… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=links_diversos&rev=1605786142&do=diff * List of Logical Lists * Métodos Ágeis para Dispositivos Móveis - Turma 2016 * Lógica para Computação * Current Research Projects text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=list_of_logical_lists&rev=1605786142&do=diff List of Logical Lists * Logic List * LOGICA-L: Brazilian Logic List (in Portuguese) * FOM. An automated e-mail list for discussing foundations of mathematics * Proof Theory Mailing List * Types: a mailing list for people interested in Type Theory, its implementation, theory and applications * LICS electronic newsletter * PlanetKR -- Planet KR provides a discussion forum for the Knowledge Representation and Reasoning community. * Send PlanetKR mailing list submissions to pla… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=logica_para_computacao&rev=1605786142&do=diff Página das Disciplinas Relacionadas a Lógica para Computação na UTFPR Curitiba Em construção :!: Links importantes * Canal de Vídeos no Youtube sobre Lógica para Computação * Página no Facebook de Lógica para Computação * Conta no Twitter @logcomp * Página anterior de Lógica para Computação * Página anterior de Introdução à Lógica para Computação * Repositório novo de materiais de Lógica para Computação * Repositório antigo de materiais de Lógica para Computação Posts no bl… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=meetups&rev=1605786142&do=diff * Next Interviews * Questionnaire * Types of Meetup Activities text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=metodologia_de_pesquisa_2013&rev=1605786142&do=diff Metodologia da Pesquisa 2013 * How papers work * Avaliação da Pós-Graduação * Gilson Volpato * <http://slashdot.org/story/13/03/01/1331244/the-real-reason-journal-articles-should-be-free> * <https://twitter.com/GilsonVolpato/status/307566558304153601> * <https://twitter.com/GilsonVolpato/status/307501248221958146> * <https://www.facebook.com/mhermeslima/posts/613121998701814> * “Aprendi razoavelmente bem a ler papers, como a fazer uma filtragem inicial para poder selecionar … text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=metodos_ageis_para_dispositivos_moveis_-_turma_2016&rev=1605786142&do=diff Métodos Ágeis para Dispositivos Móveis 2016 Informações Básicas * Disciplina: Métodos Ágeis para Dispositivos Móveis * Professor: Adolfo Neto * Link para esta página: <http://bit.ly/MA2016AN> Formulários * Perfil do Aluno * Resposta Aberta * Resposta Multi-Escolha Aulas Aula 1: 23/09/2016 * Programação Pareada * Testes Automatizados (Testes de Unidade) text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=microblog_logica_para_computacao&rev=1605786142&do=diff * The Gateway to Logic is a collection of web-based logic programs offering a number of logical functions (e.g. truth tables, normal forms, proof checking, proof building).<https://logik.phl.univie.ac.at/~chris/gateway/>. 6 de julho de 2017. * Paper que descreve algoritmo para sistemas axiomáticos. E Sistema Tutorial Interativo (LOGAX) para dar dicas e feedback na construção de provas em sistemas axiomáticos. Generating hints and feedback for Hilbert-style axiomatic proofs. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=my_favorite_books&rev=1605786142&do=diff Books and Ideas My favorite books, authors and ideas. Nassim Nicholas Taleb Taleb created/systematized some concepts related to real-world Philosophy and risk: * Black Swan * Skin in The game * Antifragility * Precautionary Principle * Via Negativa text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=next_interviews&rev=1605786142&do=diff Done Bob Galen experimental - Skype Laura Burke answered my email agreed time important because it is a woman interviewed To do Chris Calloway answered my email Nathan sent email answered my email Jeff Barschaw jbarschaw@gmail.com Cory text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=old&rev=1605786142&do=diff * Teaching * Personal * Research * Estágio * Todo text/html 2023-11-17T10:55:31+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=old_page&rev=1700218531&do=diff I am an Associate Professor at the Informatics Department (DAINF) of the Federal University of Technology - Paraná (UTFPR). My email is adolfo AT utfpr . edu . br. I am a member of the Education, Training, & Adoption Working Group of the Erlang Ecosystem Foundation. I was (April 2014-March 2015) a visiting professor at North Carolina State University, working with text/html 2021-06-29T14:07:53+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=oportunidades&rev=1624975673&do=diff Tenho postado agora em <https://oportunidades-adolfont.blogspot.com/> Doutorado e Pós-Doutorado na Holanda <https://twitter.com/mauricioaniche/status/1314544796699176962?s=20> Oportunidades Siga <https://twitter.com/adolfont> para mais oportunidades. Veja <https://oportunidades-adolfont.blogspot.com/> para outras oportunidades. CITS contrata - Vagas para profissinais de TI Algumas vagas. Contacte-me por email. Anunciadas em 29/07/2020. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=o_que_preciso_atualizar_no_lattes&rev=1605786142&do=diff * ENIAC 2018 * CBSoft 2018 - WTDSoft: TPC invitation <http://cbsoft2018.icmc.usp.br/index_pt.html> * Review JSERD * WBMA 2018 <http://www.agilebrazil.com/2018/wbma/> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=paulo_cezar_oliveira&rev=1605786142&do=diff Paulo Cezar Oliveira 27/08/2018 Experimento? Comparar: * alunos que, em dupla, resolvem um kata * alunos que participam de um coding dojo estilo randori * (?) alunos que participam de coding dojo no estilo criado por Paulo Turmas-alvo: * text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=personal&rev=1605786142&do=diff * Races 2015 * Barefoot Running * to read maybe * Contas text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=podcast_do_professor_adolfo_neto&rev=1605786142&do=diff Podcast do Professor Adolfo Neto Episódio mais recente: Arte-educação com Alexandre Villares <html> <iframe src=“<https://anchor.fm/adolfont/embed/episodes/Arte-educao-com-Alexandre-Villares-eg7kl6/a-a2k0ke6>” height=“102px” width=“400px” frameborder=“0” scrolling=“no”></iframe> </html> Em construção FIXME Escute todos os episódios em text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=post-its&rev=1605786142&do=diff Post-its text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=ppgca&rev=1605786142&do=diff * Seminarios de Acompanhamento I 2012 text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=productivity&rev=1605786142&do=diff * Thinking, Programming, and Inventing in the 21st Century (Andy Hunt) text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=projeto_integrado_2012.1&rev=1605786142&do=diff Bancas 12/11/2012 Ricardo, Lucas, William DOCX. Slides. Boas telas. Com obstáculo. Labirinto. Algoritmo de inundação. William Brepohl, para Monitor, Maratona, PET, Bolsa TCE?? 3 Diferenciais: escolha do tamanho do tabuleiro, ... Demonstração. Software em modo texto. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=proof_methods_for_paraconsistent_logics&rev=1605786142&do=diff Papers * Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics * Comments on Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=quadro_branco&rev=1605786142&do=diff Quadro branco text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=quadro_negro&rev=1605786142&do=diff Quadro Negro text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=questionnaire&rev=1605786142&do=diff Sent to Nathan Walls on 10/02/2015 1) When, how and why did you start going to Meetups*? *or Users' Groups or other kind of face-to-face meeting related to technology but that is not part of your job. 2) Why do you help to organize Meetups? Which are the challenges and the benefits (for you personally) in being a co-organizer? text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=questoes_de_logica_para_computacao&rev=1605786142&do=diff Questões de Lógica para Computação Questões mais conceituais Introdução à Lógica * O que é Lógica? * O que é um Argumento? * Para quê serve a Lógica? * Dê exemplos de aplicações da Lógica na Computação. * Por que a linguagem da Lógica é formalizada? text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=races_2015&rev=1605786142&do=diff * 14/02 Krispy Kreme * 15/02 Geezer Pleezer 4-mile <http://www.carolinagodiva.org/?page=winter-series> * 21/02 - Cucuzzella? * 28/02 * 01/03 -Race 13.1 Roanoke VA? See Roanoke Attractions * 07/03 parkrun * 15/03 Tobacco Road Marathon text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=reflective_research&rev=1605786142&do=diff Books * Random thoughts It is hard reading papers... Why is it so borinng? Someone must do that... * Requisitos para estruturar um artigo Links * A good general discussion of limitation of public health research and the five-minutes-of-running finding <https://twitter.com/ProfEmilyOster/status/495236465413357568> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=requisitos_para_estruturar_um_artigo&rev=1605786142&do=diff Abaixo está uma listagem dos requisitos para estruturar umm artigo de pesquisa que evoluiu no nosso grupo. Os requisitos fornecem informação sobre o que deve estar nas seções principais do artigo e depois alguns princípios gerais. Estes requisitos são aspectos de um artigo que com certeza serão comentados pelos professores ou pelo Grupo de Leitura se não seguidos adequadamente. Também, seguir estes requisitos dá a seu artigo uma chance muito maior de ser aceito em uma conferência. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=research&rev=1605786142&do=diff * Current Research Projects * Meetups * Developer Productivity -- includes Meetups and Software Craftmanship * Software Security * Productivity * Advisor * Proof Methods for Paraconsistent Logics * Software Engineering * Reflective Research * Reviewer text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=reviewer&rev=1605786142&do=diff Tools * Reviewing a Manuscript <http://www.people.vcu.edu/~aslee/referee.htm#WHYREVIEW> ENIA 2014 (2014-07-29) * Acompanhamento de Campanha Eleitoral pelo Twitter * Who is their mother? * Estudo do impacto de um corpus... * <https://www.easychair.org/conferences/review_all.cgi?a=6777182;my=yes> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=seminarios_de_acompanhamento_i_2012&rev=1605786142&do=diff <html> <h1>Bancas PPGCA 01.06.2012</h1> <h2>Ramiro (10h37)</h2> <ul> <li>Como usar o vídeo do Moschen?</li> <li>Tipos de Dojo nos slides logo no começo<ul> <li>Tipos de Dojo são relevantes? <strong>Foco</strong> apenas no <em>Randori!</em></li> </ul> </li> <li>Figura passa a ideia de que há um semáforo na sala de aula</li> <li>Apresentação do que é um Dojo é muito clara na apresentação mas não no texto</li> <li>Será que não seria melhor que os programadores praticassem de forma isolada, cada um … text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=software_developers_moods_emotions_and_performance&rev=1605786142&do=diff Software Developers, Moods, Emotions, and Performance * The best of the day (2014-07-21). They have used several web comments as data! * <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6834716> * Voice of Evidence column -- Tore Dybå (editor) * HIGH-TECH COMPANIES like Google, Facebook, and Supercell are well known for their perks text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=software_ecosystem&rev=1605786142&do=diff Software Ecosystem “A software ecosystem is a collection of software projects which are developed and evolve together in the same environment.” “The environment is usually a large company, an open-source community, or a research group. It is even possible for multiple organizations to collaborate and develop software in a common ecosystem text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=software_engineering&rev=1605786142&do=diff Software Engineering Productivity * Notes as Slides * Notes on paper, mindmaps * Do not prepare to be improductive: more willpower before... * Use tools suck as StayFocusd My research on Meetups * Interviews? Questionnaires? Apply on place so that no doubt text/html 2021-04-21T11:39:24+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=software_engineering_research_on_twitter&rev=1619005164&do=diff Software Engineering Research on Twitter <html> <a class=“twitter-timeline” data-width=“800” data-height=“600” href=“<https://twitter.com/adolfont/lists/se-research?ref_src=twsrc%5Etfw>”>A Twitter List by adolfont</a> <script async src=“<https://platform.twitter.com/widgets.js>” charset=“utf-8”></script> </html> text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=software_security&rev=1605786142&do=diff Gary McGraw talk 2015 NC State * The NASCAR Effect: Offense is Sexy * <https://twitter.com/cigitalgem/status/560085843717922817> * BSIMM * BSIMM-V * not some theory: laundry list * How many developers on Planet Earth? text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=some_notes_on_meetups&rev=1605786142&do=diff Some notes on Meetups Kinds of meetups * Meetup as simple talk: probably the most common. * Usually the talk is from some from the community, but it can be from someone from abroad. * Meetup to drink beer. * Meetup with two talks. * Demo meetup. * Meetup to have lunch. * Meetup to help the society. * Meetup to hack (and to show and tell) * text/html 2023-11-17T10:56:02+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=start&rev=1700218562&do=diff I am slowly moving the content of this page to <https://adolfont.github.io/>. old page text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=teaching&rev=1605786142&do=diff * Projeto Integrado 2012.1 * Agile Methods for Software Development * Disciplina Métodos Ágeis para Dispositivos Móveis 2013 * Metodologia de Pesquisa 2013 * Teaching Knowlegde text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=teaching_and_learning&rev=1605786142&do=diff Teaching and Learning See also Notes on Teaching Elixir 5 New Teaching Techniques To Make Your Lesson Antifragile EDUCATION. Distilling the conversation with @bryan_caplan hosted by @tylercowen <html> <blockquote class=“twitter-tweet”><p lang=“en” dir=“ltr”>This is one reason why I no longer use textbooks in any of my courses. They are pure rent-seeking, and are mostly redundant in an online world. <a href= text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=teaching_knowlegde&rev=1605786142&do=diff On Teaching Moved to Teaching and learning text/html 2021-09-01T19:56:18+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=the_elixir_programming_language&rev=1630526178&do=diff The Elixir Programming Language, notes by Adolfo Neto I have a YouTube channel: Elixir, Erlang and the BEAM with Adolfo Neto * History of Elixir, Erlang, BEAM * Adolfo Neto - Elixir Educator * Elixir_UTFPR Twitter Account * Elixir Brasil 2020 - A page (in Portuguese) about the major Brazilian Elixir event. * The Elixir Community of Practice - a GitHub project with data. * The Elixir Programming Language and its Community - Talk at UFPR on September 18th, 2018. text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=todo&rev=1605786142&do=diff Work * Reviews enia * Keep Wiki * Read papers * Read paper 1 * Read paper 2 * Read paper 3 (the best!) * wilson Finan * Car? (insurance 72 or more, fuel) Linux * How to access Dropbox from the command line in Linux <http://xmodulo.com/2013/09/access-dropbox-command-line-linux.html> Running text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=to_read_maybe&rev=1605786142&do=diff Running podcast * <http://busca.globo.com/Busca/cbn/?query=Sa%FAde%20em%20Movimento> Should find time to read * Taleb on Birds <https://www.facebook.com/photo.php?fbid=10150874989393375&set=a.10150109720973375.279515.13012333374&type=1&theater> Personal reads * <http://well.blogs.nytimes.com/2012/06/06/moderation-as-the-sweet-spot-for-exercise/> * Gallowalk <http://www.letsrun.com/forum/flat_read.php?thread=2069423> * Half <http://www.jeffgalloway.com/training/half_marathon.html> … text/html 2022-11-10T13:07:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=trabalho_sobre_logica_de_predicados&rev=1668085642&do=diff Trabalho 3 de Introdução à Lógica para Computação Trabalho 3 em 2019.2 * Datas: * “Entrega” (isto é, versão atualizada no link fornecido) do Trabalho 3: 02/12/2019 * Equipes e Temas do Trabalho 3 - 2019.2 - Engenharia de Computação * Links: * Documento sobre Assinaturas * Documento sobre Modelos * Mais documentos sobre Lógica de Predicados * Exemplo (incompleto) "A Comunidade de Elixir" no GitLab * Modelo em Latex criado por Franco Barpp Gomes, Lucas Eduardo Bonan… text/html 2020-11-19T11:42:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=types_of_meetup_activities&rev=1605786142&do=diff Do you remember Evernote? <https://www.evernote.com/> * Talk: * usually one or two speakers * usually lasting 1 hour * Lightning talks: * 1 speaker each 5-15 minutes * Meal/Drink: * breakfast, lunch, * Beer * Tech On Tap at Gizmo Brew Works <http://www.meetup.com/TechsOnTap/events/219650841/?a=md1_grp&rv=md1> * Hack Session: