https://leopoldomt.github.io/news/2020-12-03-splc-tutorials/ 2020-12-03T15:00:00+00:00 https://leopoldomt.github.io/news/2020-12-10-capes-humboldt/ 2020-12-10T15:00:00+00:00 https://leopoldomt.github.io/news/2020-12-11-tosem-icst/ 2020-12-11T15:00:00+00:00 https://leopoldomt.github.io/news/2020-12-15-icse/ 2020-12-15T15:00:00+00:00 https://leopoldomt.github.io/news/2021-01-28-splc-pc/ 2021-01-28T15:00:00+00:00 https://leopoldomt.github.io/news/2021-03-16-gpce-pc/ 2021-03-16T15:00:00+00:00 https://leopoldomt.github.io/news/2021-06-14-sosym/ 2021-06-14T15:00:00+00:00 https://leopoldomt.github.io/news/2021-07-05-sbes/ 2021-07-05T15:00:00+00:00 https://leopoldomt.github.io/news/2021-07-09-sblp/ 2021-07-09T15:00:00+00:00 https://leopoldomt.github.io/news/2021-07-30-ase-tools/ 2021-07-30T15:00:00+00:00 https://leopoldomt.github.io/news/2021-09-27-ast-pc/ 2021-09-27T15:00:00+00:00 https://leopoldomt.github.io/news/2021-12-06-universal/ 2021-12-06T15:00:00+00:00 https://leopoldomt.github.io/news/2021-12-18-pq/ 2021-12-18T15:00:00+00:00 https://leopoldomt.github.io/news/2022-01-17-splc-pc/ 2022-01-17T15:00:00+00:00 https://leopoldomt.github.io/news/2022-02-07-avh/ 2022-02-07T15:00:00+00:00 https://leopoldomt.github.io/news/2022-04-11-varivolution-keynote/ 2022-04-11T15:00:00+00:00 https://leopoldomt.github.io/news/2022-07-05-sbes/ 2022-07-12T15:00:00+00:00 https://leopoldomt.github.io/news/2022-12-06-zimmerle/ 2022-12-06T15:00:00+00:00 https://leopoldomt.github.io/news/2023-01-10-vamos/ 2023-01-10T15:00:00+00:00 https://leopoldomt.github.io/news/2023-02-01-brazil/ 2023-02-01T15:00:00+00:00 https://leopoldomt.github.io/news/2023-02-25-twins/ 2023-02-25T15:00:00+00:00 https://leopoldomt.github.io/news/2023-05-01-coord-pos/ 2023-05-01T15:00:00+00:00 https://leopoldomt.github.io/news/2023-06-05-ist/ 2023-06-05T15:00:00+00:00 https://leopoldomt.github.io/news/2023-11-10-icse-pc/ 2023-11-10T15:00:00+00:00 https://leopoldomt.github.io/news/2023-12-14-splc-pc/ 2023-12-14T15:00:00+00:00 https://leopoldomt.github.io/news/2024-02-06-icsme-nier-pc/ 2024-02-06T15:00:00+00:00 https://leopoldomt.github.io/news/2024-05-02-gpce-pc/ 2024-05-02T15:00:00+00:00 https://leopoldomt.github.io/news/2024-05-11-icse-nier-pc/ 2024-05-11T15:00:00+00:00 https://leopoldomt.github.io/news/2024-07-05-sbes-tools/ 2024-07-05T15:00:00+00:00 https://leopoldomt.github.io/news/2024-07-19-fse/ 2024-07-19T15:00:00+00:00 https://leopoldomt.github.io/news/2024-08-06-ase/ 2024-08-06T15:00:00+00:00 https://leopoldomt.github.io/news/2024-08-18-oopsla/ 2024-08-18T15:00:00+00:00 https://leopoldomt.github.io/news/2024-08-19-sqj/ 2024-08-19T15:00:00+00:00 https://leopoldomt.github.io/news/2024-09-30-cbsoft/ 2024-09-30T10:00:00+00:00 https://leopoldomt.github.io/news/2024-10-09-oopsla-artifact/ 2024-10-09T10:00:00+00:00 https://leopoldomt.github.io/news/2024-10-24-sbmf/ 2024-10-24T10:00:00+00:00 https://leopoldomt.github.io/news/2024-10-28-ase/ 2024-10-28T10:00:00+00:00 https://leopoldomt.github.io/news/2025-01-16-icse-pc/ 2025-01-16T15:00:00+00:00 https://leopoldomt.github.io/news/2025-02-09-ase-pc/ 2025-02-09T15:00:00+00:00 https://leopoldomt.github.io/news/2025-02-12-jserd/ 2025-02-12T15:00:00+00:00 https://leopoldomt.github.io/news/2025-04-29-icse/ 2025-04-29T10:00:00+00:00 https://leopoldomt.github.io/news/2025-05-01-sbmf/ 2025-05-01T10:00:00+00:00 https://leopoldomt.github.io/news/2025-05-20-icse-nier-pc/ 2025-05-20T15:00:00+00:00 https://leopoldomt.github.io/news/2025-07-28-sblp/ 2025-07-28T15:00:00+00:00 https://leopoldomt.github.io/news/2025-08-04-sast/ 2025-08-04T15:00:00+00:00 https://leopoldomt.github.io/news/2025-12-18-ase-pc/ 2025-12-18T15:00:00+00:00 https://leopoldomt.github.io/news/2026-01-20-msr/ 2026-01-20T15:00:00+00:00 https://leopoldomt.github.io/blog/2015/formatting-and-links/ 2015-03-15T16:40:16+00:00 https://leopoldomt.github.io/blog/2015/images/ 2015-05-15T21:01:00+00:00 https://leopoldomt.github.io/blog/2015/code/ 2015-07-15T15:09:00+00:00 https://leopoldomt.github.io/blog/2015/math/ 2015-10-20T15:12:00+00:00 https://leopoldomt.github.io/blog/2015/disqus-comments/ 2015-10-20T15:59:00+00:00 https://leopoldomt.github.io/blog/2020/twitter/ 2020-09-28T15:12:00+00:00 https://leopoldomt.github.io/blog/2020/github-metadata/ 2020-09-28T21:01:00+00:00 https://leopoldomt.github.io/blog/2021/distill/ 2021-05-22T00:00:00+00:00 https://leopoldomt.github.io/blog/2021/diagrams/ 2021-07-04T17:39:00+00:00 https://leopoldomt.github.io/blog/2022/redirect/ 2022-02-01T17:39:00+00:00 https://leopoldomt.github.io/blog/2022/giscus-comments/ 2022-12-10T15:59:00+00:00 https://leopoldomt.github.io/blog/2023/table-of-contents/ 2023-03-20T15:59:00+00:00 https://leopoldomt.github.io/blog/2023/tables/ 2023-03-20T18:37:00+00:00 https://leopoldomt.github.io/blog/2023/videos/ 2023-04-24T21:01:00+00:00 https://leopoldomt.github.io/blog/2023/audios/ 2023-04-25T10:25:00+00:00 https://leopoldomt.github.io/blog/2023/sidebar-table-of-contents/ 2023-04-25T14:14:00+00:00 https://leopoldomt.github.io/blog/2023/custom-blockquotes/ 2023-05-12T19:53:00+00:00 https://leopoldomt.github.io/blog/2023/jupyter-notebook/ 2023-07-04T12:57:00+00:00 https://leopoldomt.github.io/blog/2023/post-bibliography/ 2023-07-12T13:56:00+00:00 https://leopoldomt.github.io/blog/2022/displaying-external-posts-on-your-al-folio-blog/ 2022-04-23T23:20:09+00:00 https://leopoldomt.github.io/ https://leopoldomt.github.io/cv/ https://leopoldomt.github.io/_pages/dropdown/ https://leopoldomt.github.io/news/ https://leopoldomt.github.io/people/ https://leopoldomt.github.io/projects/ https://leopoldomt.github.io/publications/ https://leopoldomt.github.io/repositories/ https://leopoldomt.github.io/service/ https://leopoldomt.github.io/students/ https://leopoldomt.github.io/teaching/ https://leopoldomt.github.io/blog/tag/formatting/ https://leopoldomt.github.io/blog/tag/links/ https://leopoldomt.github.io/blog/tag/images/ https://leopoldomt.github.io/blog/tag/code/ https://leopoldomt.github.io/blog/tag/math/ https://leopoldomt.github.io/blog/tag/comments/ https://leopoldomt.github.io/blog/tag/metadata/ https://leopoldomt.github.io/blog/tag/distill/ https://leopoldomt.github.io/blog/tag/diagrams/ https://leopoldomt.github.io/blog/tag/toc/ https://leopoldomt.github.io/blog/tag/tables/ https://leopoldomt.github.io/blog/tag/videos/ https://leopoldomt.github.io/blog/tag/audios/ https://leopoldomt.github.io/blog/tag/sidebar/ https://leopoldomt.github.io/blog/tag/blockquotes/ https://leopoldomt.github.io/blog/tag/jupyter/ https://leopoldomt.github.io/blog/tag/bib/ https://leopoldomt.github.io/blog/category/sample-posts/ https://leopoldomt.github.io/blog/category/external-services/ https://leopoldomt.github.io/blog/2015/ https://leopoldomt.github.io/blog/2020/ https://leopoldomt.github.io/blog/2021/ https://leopoldomt.github.io/blog/2022/ https://leopoldomt.github.io/blog/2023/