https://www.ime.usp.br/~ddm/tags/logic-programming/ Logic Programming Hugo Blox Builder (https://hugoblox.com)en-usFri, 09 May 2025 16:30:00 -0300 https://www.ime.usp.br/~ddm/media/icon_hu_da05098ef60dc2e7.png https://www.ime.usp.br/~ddm/tags/logic-programming/ https://www.ime.usp.br/~ddm/event/ebl-2025/ Fri, 09 May 2025 16:30:00 -0300 https://www.ime.usp.br/~ddm/event/ebl-2025/ <!-- <div class="flex px-4 py-3 mb-6 rounded-md bg-primary-100 dark:bg-primary-900"> <span class="pr-3 pt-1 text-primary-600 dark:text-primary-300"> <svg height="24" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="m11.25 11.25l.041-.02a.75.75 0 0 1 1.063.852l-.708 2.836a.75.75 0 0 0 1.063.853l.041-.021M21 12a9 9 0 1 1-18 0a9 9 0 0 1 18 0m-9-3.75h.008v.008H12z"/></svg> </span> <span class="dark:text-neutral-300">Click on the <strong>Slides</strong> button above to view the built-in slides feature.</span> </div> Slides can be added in a few ways: - **Create** slides using Hugo Blox Builder's [_Slides_](https://docs.hugoblox.com/reference/content-types/) feature and link using `slides` parameter in the front matter of the talk file - **Upload** an existing slide deck to `static/` and link using `url_slides` parameter in the front matter of the talk file - **Embed** your slides (e.g. Google Slides) or presentation video on this page using [shortcodes](https://docs.hugoblox.com/reference/markdown/). Further event details, including [page elements](https://docs.hugoblox.com/reference/markdown/) such as image galleries, can be added to the body of this page. -->