Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems e Mestre em Computação Aplicada pela UDESC, sobre a linguagem de especificação Quint. O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025, Além de explorar as bases do Quint, Gabriela compartilha exemplos práticos e referências de estudo. Links citados no episódio: LinkedIn de Gabriela Moreira – Gabriela Moreira - Research Engineer at Informal Systems https://www.linkedin.com/in/bugarela/ GitHub de Gabriela Moreira – https://github.com/bugarela Página de Quint https://quint-lang.org/ GitHub de Quint https://github.com/informalsystems/quint Slides da palestra – https://bit.ly/3HnRqtM SE4FP 2025 – https://se4fp.github.io/2025/ CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/ PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/ Episódio “21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems” no YouTube – https://youtu.be/_vI8xFxn60A Capítulos 00:00 Introdução 05:15 Início da Apresentação 1:00:54 Perguntas e Respostas

Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Nelkisa Matias, Engenheira de Software no Nubank e graduada em Sistemas de Informação pela UNINASSAU, sobre a linguagem de programação funcional Clojure, uma das linguagens que inspiraram a criação de Elixir. O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025, Além de explorar as bases do Clojure, Nelkisa compartilha exemplos práticos, referências de estudo e o repositório com o conteúdo da palestra. Links citados no episódio: LinkedIn de Nelkisa Matias – https://www.linkedin.com/in/nelkisamatias/ GitHub de Nelkisa Matias – https://github.com/gabriias Repositório da palestra – https://github.com/gabriias/funcional SE4FP 2025 – https://se4fp.github.io/2025/ CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/ Clojerl – https://clojerl.org/ PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/ Clojure Brasil – https://clojurebrasil.com.br/ Seven Languages in Seven Weeks – https://pragprog.com/titles/btlang/seven-languages-in-seven-weeks/ Functional Design – Uncle Bob – https://www.amazon.com/Functional-Design-Principles-Patterns-Practices/dp/0138176396 Programming Clojure – https://pragprog.com/titles/shcloj3/programming-clojure-third-edition/ Episódio “Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria” no YouTube – https://www.youtube.com/watch?v=VOhNsfg5JSk Episódio “Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria” no Spotify – https://open.spotify.com/episode/6VyITbeEMnASqetR9odfX9 #Clojure #Elixir #programaçãocional #Clojerl #BEAM #JVM #Lisp #linguagemfuncional #NelkisaMatias #Nubank #SE4FP #CBSoft #desenvolvimentodesoftware #SevenLanguagesinSevenWeeks #UncleBob #ProgrammingClojure #ClojureBrasil #comunidadesdeprogramação #engenhariadesoftware #PPGCAUTFPR