http://pessoal.dainf.ct.utfpr.edu.br/adolfo/ 2026-04-29T23:33:25+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=2020:adolfo_neto_-_elixir_educator&rev=1605786142&do=diff Adolfo Neto - Elixir Educator 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:apps_and_sites_for_working_and_communicating&rev=1605786142&do=diff Apps and sites for working and communicating Social Networks * Twitter <https://twitter.com/home> * Instagram <https://www.instagram.com/> * <https://www.instagram.com/adolfont> * <https://www.instagram.com/emilias_utfpr> * LinkedIn <https://www.linkedin.com/feed/> * Facebook <https://www.facebook.com/> One-on-one Chat * Signal * WhatsApp * Facebook Messanger Open Group Communication * WhatsApp <https://web.whatsapp.com/> * Telegram 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:beam_elixir_erlang_links&rev=1605786142&do=diff BEAM (Elixir, Erlang) links * Phoenix Beginner's Guide <https://www.wintermeyer-consulting.de/books/phoenix/1.5/index.html> * Programming Distributed Systems <https://pl.cs.uni-kl.de/homepage/de/teaching/ss20/progdist/> 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:collaborative_events&rev=1605786142&do=diff Cooperative and Collaborative events * Coding Dojos * The official site seems to have a problem today <https://codingdojo.org/> * Coding Dojos (Wikipedia in Portuguese) * In English, it is only part of [<https://en.wikipedia.org/wiki/Dojo#Computer-related>|Dojo]] * Code Katas in Portuguese <http://dojopuzzles.com/> * Coderetreats * Site: <https://www.coderetreat.org/> * Game of Life * In Portuguese 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:elixir_brasil_2020&rev=1605786142&do=diff Elixir Brasil 2020 Você sabe o que é Elixir? * "Elixir é uma linguagem de programação funcional, concorrente, de propósito geral que executa na máquina virtual Erlang (BEAM)." Elixir foi criada pelo brasileiro José Valim. Elixir Brasil é o evento brasileiro da comunidade de Elixir. Já está em sua terceira edição. O Elixir Brasil 2020 já tem datas confirmadas: 23 e 24 de maio de 2020. Vai ser em São Paulo. 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:elixir_utfpr_twitter_account&rev=1605786142&do=diff Elixir_UTFPR Twitter Account Acesse @Elixir_UTFPR Temas abordados * Um mapa/roteiro de como ensinar/aprender Elixir <https://twitter.com/elixir_utfpr/status/1237830247996968960> * Primeiras impressões aprendendo Elixir, por Nuno Bernardes <https://twitter.com/elixir_utfpr/status/1237370424712986624> * Listas <https://twitter.com/elixir_utfpr/status/1237126048304656384> * Phoenix <https://twitter.com/elixir_utfpr/status/1237361514316812288> * Usando Elixir sem instalá-lo <https://twi… 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:emx_106_-_elixir_education_with_adolfo_neto&rev=1605786142&do=diff EMx 106 - Elixir Education with Adolfo Neto I was interviewed by the Elixir Mix podcast panel. “In this episode of Elixir Mix, we chat with Adolfo Neto, a professor of computer science at UTFPR in Brazil, about what it’s like to teach Elixir, how we as educators can support the Elixir community to grow and thrive, and what the Erlang Ecosystem Foundation’s Education Working Group is up to. 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:estatisticas_publicas_dos_meus_podcasts_emilias_podcast_e_podcast_do_professor_adolfo_neto&rev=1605786142&do=diff Estatísticas Públicas dos Meus Podcasts (Emílias Podcast e Podcast do Professor Adolfo Neto Emílias Podcast Link do podcast: <https://anchor.fm/emilias-podcast> Links (só para administradores) * Dashboard <https://anchor.fm/dashboard> * Episodes <https://anchor.fm/dashboard/episodes> 23/05/2020 09:03 AM * Total plays: 849 * Estimated audience size: 40 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:events_2020&rev=1605786142&do=diff Events 2020 Erlang Workshop and ICFP Unfortunately NOT ? Elixir Conf US September 3-4 <https://2020.elixirconf.com/> ? Elixir Conf EU Conference 7-8 October | Training 6 October <https://www.elixirconf.eu/> ?? CBSOFT 19 a 23 de outubro de 2020 <https://cbsoft2020.imd.ufrn.br/mensagem-chairs.php> SBES accepted papers CSBC Inscrito. 16 a 20/11 <http://www2.sbc.org.br/csbc2020/> 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:everything_i_am_doing&rev=1605786142&do=diff Everything I am doing * 2020 ADNP, RLE Métodos Ágeis * <http://www.dainf.ct.utfpr.edu.br/~adolfo/dokuwiki/doku.php?id=2019:metodos_ageis_para_dispositivos_moveis_2019> * Emílias Podcast <https://anchor.fm/emilias-podcast> * Producer * Co-host * Editor * ?Marketer * <https://twitter.com/emilias_utfpr> * <https://instagram.com/emilias_utfpr> * <https://www.facebook.com/emiliasarmacaoembits/> * <https://www.headliner.app/> * Adolfo Neto Podcast <https://an… 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:first_page&rev=1605786142&do=diff First page REPLACED BY Initial Page, which is simpler. :!: Agenda Modo Texto <https://read.amazon.com/> <https://github.com/adolfont/organization> :!: Cleaning Inbox Páginas/projetos que mantenho Vídeos para ver depois (e vistos) Everything I am doing Interesting papers Really interesting links Edições em andamento Dar aulas, fazer vídeos, em inglês. O que preciso fazer de mais urgente? * Doglas * Estudo Individual da Laura Keity * KE * Vídeo Lógica * ELIXIR MIX!!! * p… 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:fronteiras_da_engenharia_de_software&rev=1605786142&do=diff Fronteiras da Engenharia de Software “Um podcast para refletir sobre o presente e futuro da engenharia de software.” Equipe * Leo Fernandes (IFAL) <https://sigaa.ifal.edu.br/sigaa/public/docente/portal.jsf?siape=1887897> <https://twitter.com/leofernandesmo> * Marco Túlio Valente (UFMG) <https://homepages.dcc.ufmg.br/~mtov/> <https://twitter.com/mtov> * Gustavo Pinto (UFPA) <http://gustavopinto.org/> <https://twitter.com/gustavopinto> * Fabio Petrillo (UQAC) <https://fabiopetrillo.com/… 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:gees_-_utfpr_curitiba&rev=1605786142&do=diff Grupo de Pesquisa em Engenharia de Software Empírica - UTFPR Curitiba Professores-pesquisadores: * Adolfo Neto * Laudelino Cordeiro Bastos * Maria Claudia Emer Estudantes: * André Luis Santos Pereira * Christiane Barbieri de Pelegrin * Desirée Fernanda Hoppe text/html 2023-07-26T11:19:18+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2020:history_of_elixir_erlang_beam&rev=1690370358&do=diff History of Elixir, Erlang, BEAM 2022 * 10 Years of Elixir, by Gustavo Oliveira and Adolfo Neto, with many guests <https://youtu.be/xqT7vjw-3bg> * Webpage: <http://bit.ly/10YearsOfElixir> * See also the playlist with the testimonials <https://www.youtube.com/playlist?list=PLGj5ZUU3H99SESNis6ea1o6lBDlQ5gn0a> * Key takeaways from ElixirConf EU 2022 (includes section on “ 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:horario_da_fase_1_2020_do_ppgca-ct&rev=1605786142&do=diff Horário da Fase 1 2020 do PPGCA-CT Veja os horários de 2019 (abaixo) e confirme por email se vai ofertar ou não e se vai ou não mudar horário, local, sala, vagas. Aqui serão mantidos temporariamente os horários de 2020 até serem incluídos no sistema e na página oficial text/html 2020-11-19T12:31:36+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2020:initial_page&rev=1605789096&do=diff Initial page TODO Urgente e importante * notas METS AGEIS - POS * Contas até 25 * Pagar SY * Reunião ESE * Trabalho - UTFPR - Aplicativo para imobiliárias * Machine Learning para Todos * finan pessoal caixa * KE * Disciplinas Fase 2 * Reunião 3 <https://github.com/adolfont/PPGCA/blob/master/reunioes/03_2020.md> * Estudos * (falta pagar) StreamYard * Até 10/10 Code BEAM BR * 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:interesting_papers&rev=1605786142&do=diff Interesting papers How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge <https://youtu.be/algJJQLutHY> paper * RQ1: What motivates software professionals to participate in technology meetups? * RQ2: How do software professionals make use of information they receive from meetups? 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:links_ead_e_trabalho_remoto&rev=1605786142&do=diff Links EAD e Trabalho Remoto * Please do a bad job of putting your courses online <https://anygoodthing.com/2020/03/12/please-do-a-bad-job-of-putting-your-courses-online/> * Quatro Abordagens Simples para Gravação de Vídeo <https://youtu.be/DKxsTb3Z6N4> * Sobre o ensino a distância durante a pandemia <http://portal.ufrrj.br/o-ensino-a-distancia-durante-a-pandemia/> * GSuite UTFPR <http://portal.utfpr.edu.br/noticias/geral/utfpr-disponibiliza-ferramenta-do-google-para-aulas-em-ambiente-vi… 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:links_relevantes_sobre_pesquisa_em_engenharia_de_software_no_brasil&rev=1605786142&do=diff Links relevantes sobre Pesquisa em Engenharia de Software no Brasil Agosto de 2020 17: Programação da ERES 2020 divulgada <http://eres.sbc.org.br/2020/> Artigos aceitos na Trilha de Pesquisa do SBES divulgados <http://cbsoft2020.imd.ufrn.br/artigos.php?evento=sbes-pesquisa> 14: Concurso de Teses e Dissertações em Engenharia de Software - Trabalhos aceitos 14: Entrevista com Daniela S. Cruzes (SINTEF/NTNU) sobre Segurança em DevOpsno Fronteiras da Engenharia 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=2020:links_that_helped_me&rev=1605786142&do=diff Links that helped me * <https://www.howtogeek.com/261383/how-to-access-your-ubuntu-bash-files-in-windows-and-your-windows-system-drive-in-bash/> 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:lista_completa_de_episodios_do_emilias_podcast&rev=1605786142&do=diff Lista completa de episódios do Emílias Podcast Dados extraídos de <http://anchor.fm/emilias-podcast> Episódio Data Entrevistada Profissão da Entrevistada Hosts 1 03/10/2019 Sílvia Amélia Bim Professora Universitária Adolfo Neto e Nayara Souza 2 18/10/2019 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:metodologias_ageis_para_o_desenvolvimento_de_software_2020&rev=1605786142&do=diff Metodologias Ágeis para o Desenvolvimento de Software 2020 Disciplina oferecida em paralelo para o Mestrado Profissional em Computação Aplicada - PPGCA (CAES001) e para os cursos de Bacharelado em Sistemas de Informação e Engenharia de Computação ( 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:metodologia_da_pesquisa_-_turma_2020&rev=1605786142&do=diff Metodologia da Pesquisa - Turma 2020 Leituras obrigatórias Uma Tese são só 5 coisas, Silvio Meira <https://boletim.de/silvio/uma-tese-sao-so-5-coisas/> <https://archive.is/KSKVF> Vídeos Uma reflexão sobre como fazer e escrever um TCC, MsC ou PhD, com Silvio Meira comentando o texto “Uma Tese são só 5 coisas” <https://youtu.be/HVWxJx37tJ4> (2.728 views até 15/09/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=2020:paginas_projetos_que_mantenho&rev=1605786142&do=diff Páginas/projetos que mantenho * Podcasts para pessoas desenvolvedoras de software * Links relevantes sobre Pesquisa em Engenharia de Software no Brasil * <https://linktr.ee/Emilias> * <https://linktr.ee/adolfont> * <https://github.com/adolfont/elixir_cop> * Podcasts sobre Mulheres na Computação * <http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct> * Comunidade Elixir <https://github.com/adolfont/elixir_cop> * Oportunidades * Brazilian Software Engineering… text/html 2023-12-21T16:26:52+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2020:podcasts_da_utfpr&rev=1703176012&do=diff Podcasts da UTFPR Ativos publicaram ao menos dois episódios em 2023 * Cafezíneos. Este podcast traz pequenas doses de informação, entretenimento, cultura geek, jogos e tem uma quedinha por ciência e universidades. A nossa proposta é levar informação até você em episódios de curta duração. 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:podcasts_i_listen_to&rev=1605786142&do=diff Podcasts I listen to Cleaning <https://play.pocketcasts.com/> Unsubscribed because it is too much NTBN <https://play.pocketcasts.com/podcasts/95b368f0-087d-0137-f265-1d245fc5f9cf> Elixir JS to Elm <https://pca.st/podcast/078b0dc0-6583-0135-902c-63f4b61a9224> Why You Should Learn Erlang & Elixir | Erlang Solutions Webinar <https://play.pocketcasts.com/podcasts/3e28c6d0-8c6c-0138-ee55-0acc26574db2> Once in a while * Segurança legal <https://play.pocketcasts.com/podcasts/7f22fb40-7c6c-013… text/html 2021-06-02T12:33:21+00:00 Anonymous (anonymous@undisclosed.example.com) http://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2020:podcasts_para_pessoas_desenvolvedoras_de_software&rev=1622637201&do=diff Podcasts para pessoas desenvolvedoras de software Brasileiros e em português #DevBrPodcasts os que faço, escutei ou costumo escutar * Fronteiras da Engenharia de Software <https://anchor.fm/fronteirasES> * Elixir em Foco <https://www.elixiremfoco.com/> * Emílias Podcast - Mulheres na Computação <https://anchor.fm/emilias-podcast> * 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:ppgca&rev=1605786142&do=diff PPGCA Sucupira ano base 2019 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:really_interesting_links&rev=1605786142&do=diff Really interesting links <https://exercism.io/tracks/elixir/exercises/secret-handshake/solutions/bdaf75c84a3b477b832f82ec47a51644> <https://minhajuddin.com/2018/07/06/7-ways-of-doing-fizz-buzz-in-elixir-and-other-clickbaity-stuff/> (Exbr) <https://revistapesquisa.fapesp.br/nivio-ziviani-o-criador-de-startups/> <https://medium.com/@gustavopinto/what-are-the-attributes-of-a-great-open-source-maintainer-2b2df9a0d285> <https://meindica.tech/> <https://carbon.now.sh/> 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:resources_for_beginners_learning_a_programming_language&rev=1605786142&do=diff Resources for beginners learning a programming language Text-based resources * Books * Blog posts * Software documentation Social networks ### Grupos ### Contatos ### Hashtags Grupos de Discussão ---------- ### Fóruns ### Multicanais 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:resources_related_to_programming_languages&rev=1605786142&do=diff Resources related to Programming Languages Except BEAM (Elixir, Erlang) links. * Coconut is a functional programming language that compiles to Python <http://coconut-lang.org/> * Matt Thompson - Creative Coding with Clojure <https://youtu.be/vN5A5bxUR4c> 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:streamyard_ppgca-ct&rev=1605786142&do=diff StreamYard O PPGCA-CT <http://ppgca.ct.utfpr.edu.br/>, com verbas do Campus Curitiba da UTFPR, assinou o serviço StreamYard por um ano em seu plano Basic. A ideia é compartilhar com todos os programas de pós-graduação do Campus Curitiba da UTFPR. Se você é coordenador(a) de algum programa de pós-graduação da UTFPR Curitiba e quer usar o StreamYard para seu evento acadêmico, entre em contato comigo através do e-mail adolfo EM utfpr.edu.br. 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:sucupira_ano_base_2019&rev=1605786142&do=diff Sucupira ano base 2019 Texto institucional histórico e contextualização e vinculo ao PPG Inserir texto recomendado pela PROPPG. Onde está?? LabMulti N/A PDI Não. Inserir texto recomendado pela PROPPG. Biblioteca Não. Inserir texto recomendado pela PROPPG. 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:trabalho_de_conclusao_de_curso_de_especializacao&rev=1605786142&do=diff Trabalho de Conclusão de Curso de Especialização Esqueleto * Introdução * Que problema você quer resolver? Por que ele é relevante? Como você pretende resolvê-lo? * Referencial Teórico * Que conhecimentos são necessários para entender seu trabalho? 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:utilities&rev=1605786142&do=diff Utilities * Listenbox: Turn YouTube into a podcast <https://listenbox.app/> * Treeverse: a tool for visualizing and navigating Twitter conversation threads: <https://treeverse.app/> * Example <https://treeverse.app/view/oxZ3cNx8> * ThreadReader: Transform Twitter Threads into a Readable Page! <https://threadreaderapp.com/> * Threader: Compile your favorite Twitter threads in one place: 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:videos_para_ver_depois_e_vistos&rev=1605786142&do=diff Vídeos para ver (ou ouvir) depois (e vistos) Gerenciamento de Tempo <https://youtu.be/UJ4WmFnSQG4?t=177> Novo Qualis <http://www.prppg.ufpr.br/site/blog/2020/08/10/novo-qualis/> UTFPR Mulher <https://listenbox.app/i/gl8FwiGFIGr> Parceria Universidade e Empresa: Onde estamos e para onde vamos? <https://youtu.be/ceXfSngmoN8> ICER 2020 <https://www.youtube.com/channel/UCHcsOCE8mR5GNxPmLqUhvBA/playlists> * ICER '20: Proceedings of the 2020 ACM Conference on International Computing Education … 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:what_am_i_learning&rev=1605786142&do=diff What am I learning? * CONCURRENT PROGRAMMING IN ERLANG, THE UNIVERSITY OF KENT <https://www.futurelearn.com/courses/concurrent-programming-erlang> 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:women_in_logic&rev=1605786142&do=diff Women in Logic Mensagem de Valeria de Paiva em logica-l <https://groups.google.com/a/dimap.ufrn.br/forum/#!topic/logica-l/QkFeqhnrfO4> “Iniciativas que nos temos tomado pra aumentar a representatividade de mulheres na lógica no Brasil.” “Nós temos uma planilha **link escondido** onde gostariamos que todas as lógicas se inscrevessem. Estudantes ou professoras, iniciantes ou não, lógicas mais matemáticas, lógicas mais filosóficas, lógicas mais de computação ou da linguística. ou não. A ideia de…