https://folivetti.github.io/courses/AEDI/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/AprendizadoMaquina/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/BigData/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/BigData/Parallel 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/BigData/Haskell 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/BigData/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ComunicacaoRedes/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Evoman/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/ADT 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Basico 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Exercicios1 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Exercicios2 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Exercicios3 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Exercicios4 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Exercicios5 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Funcoes 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Intro 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Listas 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Matrizes 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/Tipos 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Haskell/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/IA/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Lcon2016 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ParadigmasProgramacao/Atividades/atividade02 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ParadigmasProgramacao/Atividades/atividade01 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ParadigmasProgramacao/PDF/Pratica/K-Means 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ParadigmasProgramacao/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ProcessamentoInformacao/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Projetos/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana01/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana02/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana03/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana04/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana05/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana06/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana07/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana08/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana09/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana10/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2016/Semana11/ 2015-05-01T00:00:00-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/2017/notas 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/ProgramacaoEstruturada/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/RegSimbolica/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/courses/Tipos/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/portfolio/interactiontransformation/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/portfolio/programsynthesis/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/portfolio/scihask/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/portfolio/stencilcomonadas/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/portfolio/toolsforsymreg/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/portfolio/typesafeevolution/ 2026-03-17T19:02:21-03:00 https://folivetti.github.io/publication/2009-10-01-paper-title-number-1 2009-10-01T00:00:00-03:00 https://folivetti.github.io/publication/2010-10-01-paper-title-number-2 2010-10-01T00:00:00-03:00 https://folivetti.github.io/publication/2015-10-01-paper-title-number-3 2015-10-01T00:00:00-03:00 https://folivetti.github.io/talks/2014-09-13-ppsn2014 2014-09-13T00:00:00-03:00 https://folivetti.github.io/talks/2015-03-25-complenet2015 2015-03-25T00:00:00-03:00 https://folivetti.github.io/talks/2015-12-02-inova 2015-12-02T00:00:00-02:00 https://folivetti.github.io/talks/2016-01-07-Hicss2016-1 2016-01-07T00:00:00-02:00 https://folivetti.github.io/talks/2016-01-07-Hicss2016-2 2016-01-07T00:00:00-02:00 https://folivetti.github.io/talks/2016-03-28-vimvivenci 2016-03-28T00:00:00-03:00 https://folivetti.github.io/talks/2017-04-25-lcon2016 2017-04-25T00:00:00-03:00 https://folivetti.github.io/talks/2017-06-22-escience2017 2017-06-22T00:00:00-03:00 https://folivetti.github.io/talks/2017-11-29-bigdata2017 2017-11-29T00:00:00-02:00 https://folivetti.github.io/talks/2018-07-12-wcci2018 2018-07-12T00:00:00-03:00 https://folivetti.github.io/talks/2018-07-17-lcon 2018-07-17T00:00:00-03:00 https://folivetti.github.io/talks/2018-09-25-hal 2018-09-25T00:00:00-03:00 https://folivetti.github.io/talks/2019-03-18-hal 2019-03-18T00:00:00-03:00 https://folivetti.github.io/talks/2023-06-01-hal 2023-06-01T00:00:00-03:00 https://folivetti.github.io/talks/2024-02-15-hal 2024-02-15T00:00:00-03:00 https://folivetti.github.io/talks/2024-07-11-hal 2024-07-11T00:00:00-03:00 https://folivetti.github.io/talks/2025-04-29-RoyalSociety2025 2025-04-29T00:00:00-03:00 https://folivetti.github.io/talks/2025-08-25 2025-08-25T00:00:00-03:00 https://folivetti.github.io/teaching/2012-winter-teaching-1 2012-05-28T00:00:00-03:00 https://folivetti.github.io/teaching/2013-summer-teaching-1 2013-02-01T00:00:00-02:00 https://folivetti.github.io/teaching/2013-winter-teaching-1 2013-05-28T00:00:00-03:00 https://folivetti.github.io/teaching/2014-summer-teaching-1 2014-02-01T00:00:00-02:00 https://folivetti.github.io/teaching/2014-winter-teaching-1 2014-05-28T00:00:00-03:00 https://folivetti.github.io/teaching/2015-summer-teaching-1 2015-02-01T00:00:00-02:00 https://folivetti.github.io/teaching/2016-summer-teaching-1 2016-02-01T00:00:00-02:00 https://folivetti.github.io/teaching/2016-spring-teaching-1 2016-09-10T00:00:00-03:00 https://folivetti.github.io/teaching/2017-summer-teaching-1 2017-02-01T00:00:00-02:00 https://folivetti.github.io/teaching/2014-winter-teaching-1 2017-05-28T00:00:00-03:00 https://folivetti.github.io/teaching/2017-spring-teaching-1 2017-09-20T00:00:00-03:00 https://folivetti.github.io/teaching/2017-spring-teaching-2 2017-09-20T00:00:00-03:00 https://folivetti.github.io/teaching/2017-spring-teaching-3 2017-09-20T00:00:00-03:00 https://folivetti.github.io/teaching/2018-summer-teaching-1 2018-02-28T00:00:00-03:00 https://folivetti.github.io/teaching/2018-summer-teaching-2 2018-02-28T00:00:00-03:00 https://folivetti.github.io/teaching/2018-summer-teaching-3 2018-02-28T00:00:00-03:00 https://folivetti.github.io/teaching/2018-autumn-teaching-1 2018-06-05T00:00:00-03:00 https://folivetti.github.io/teaching/2018-spring-teaching-1 2018-09-20T00:00:00-03:00 https://folivetti.github.io/teaching/2019-summer-teaching-1 2019-02-12T00:00:00-02:00 https://folivetti.github.io/teaching/2019-summer-teaching-2 2019-02-12T00:00:00-02:00 https://folivetti.github.io/teaching/2019-spring-teaching-1 2019-09-20T00:00:00-03:00 https://folivetti.github.io/teaching/2019-spring-teaching-2 2019-09-20T00:00:00-03:00 https://folivetti.github.io/teaching/2020-summer-teaching-1 2020-02-10T00:00:00-03:00 https://folivetti.github.io/teaching/2020-summer-teaching-1 2020-02-10T00:00:00-03:00 https://folivetti.github.io/teaching/2020-winter-teaching-1 2020-09-10T00:00:00-03:00 https://folivetti.github.io/teaching/2020-winter-teaching-2 2020-09-10T00:00:00-03:00 https://folivetti.github.io/teaching/2021-summer-teaching-1 2021-02-01T00:00:00-03:00 https://folivetti.github.io/teaching/2021-summer-teaching-2 2021-02-01T00:00:00-03:00 https://folivetti.github.io/teaching/2020-spring-teaching-1 2021-09-10T00:00:00-03:00 https://folivetti.github.io/teaching/2023-summer-teaching-1 2023-09-01T00:00:00-03:00 https://folivetti.github.io/teaching/2024-summer-teaching-1 2024-01-01T00:00:00-03:00 https://folivetti.github.io/teaching/2024-summer-teaching-2 2024-01-01T00:00:00-03:00 https://folivetti.github.io/teaching/2025-summer-teaching-1 2025-01-01T00:00:00-03:00 https://folivetti.github.io/teaching/2025-summer-teaching-2 2025-01-01T00:00:00-03:00 https://folivetti.github.io/teaching/2026-summer-teaching-1 2026-01-01T00:00:00-03:00 https://folivetti.github.io/ https://folivetti.github.io/archive-layout-with-content/ https://folivetti.github.io/categories/ https://folivetti.github.io/backup/coclustering/ https://folivetti.github.io/collection-archive/ https://folivetti.github.io/cv/ https://folivetti.github.io/markdown/ https://folivetti.github.io/backup/multimodaloptimization/ https://folivetti.github.io/backup/multiview/ https://folivetti.github.io/non-menu-page/ https://folivetti.github.io/page-archive/ https://folivetti.github.io/portfolio/ https://folivetti.github.io/publications/ https://folivetti.github.io/publications/ https://folivetti.github.io/backup/recommendersystems/ https://folivetti.github.io/sitemap/ https://folivetti.github.io/backup/socialnetworks/ https://folivetti.github.io/students/ https://folivetti.github.io/tags/ https://folivetti.github.io/talkmap.html https://folivetti.github.io/talks/ https://folivetti.github.io/teaching/ https://folivetti.github.io/terms/ https://folivetti.github.io/year-archive/ https://folivetti.github.io/markdown_generator/ https://folivetti.github.io/_pages/equality-saturation-visualizer.html 2026-03-17T19:02:17-03:00 https://folivetti.github.io/collabmap/map.html 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/FLEX.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/HAL.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/HICSS-Cassia.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/HICSS-Eric.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/InfoScienceITSR.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/Inova.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/MaxDiversityPPSN14.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/Origami.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/Plenaria.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/ResearchStatement.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/SymRegWorkshop.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/SymRegWorkshop169.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/SymregAgainstTheWorld.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/TIR.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/TeachingStatement.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/WebinarIT-2018.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/cv.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/egraphGP.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/egraphs.html 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/egraphs.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/equality-saturation-visualizer.html 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/goingBananas.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/hblcoclust.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/multimodal.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/overparam.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/presentationIT.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/presentationLCON_IT.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/rEGGression.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/srbench++.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/symreg.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/symreg4sci.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/talk.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/files/vim.pdf 2026-03-17T19:02:17-03:00 https://folivetti.github.io/talkmap/map.html 2026-03-17T19:02:17-03:00