{"id":2,"date":"2020-03-03T11:20:45","date_gmt":"2020-03-03T14:20:45","guid":{"rendered":"https:\/\/www.ime.usp.br\/~coloquio\/?page_id=2"},"modified":"2026-08-13T22:37:25","modified_gmt":"2026-08-14T01:37:25","slug":"pagina-exemplo","status":"publish","type":"page","link":"https:\/\/www.ime.usp.br\/coloquio\/","title":{"rendered":"28\/08\/2026: Tem gente nova no IME!"},"content":{"rendered":"\n<h3><strong>Benjamin Bumpus<\/strong>, MAC-IME-USP<\/h3>\n\n\n\n<h4>Categorical Algorithmics: Towards Mathematical Computer Science<\/h4>\n\n\n\n<p>There is a distinction between &#8220;theoretical physicists&#8221; and &#8220;mathematical physicists&#8221;. The former use mathematics to describe the world and its underlying mechanisms. The latter build the mathematical edifice of physics. In computer science such a distinction is needed, but does not yet exist. I think of myself as a mathematical computer scientist: I am a mathematician concerned with the mathematics of computer science. This talk is all about my modest stab at engineering this edifice and my use of category theory to get there.<\/p>\n\n\n\n<h3>Claude Marion, MAT-IME-USP<\/h3>\n\n\n\n<h4>Alguns problemas em teoria de grupos\u00a0<\/h4>\n\n\n\n<p>Abordaremos v\u00e1rios problemas sobre grupos finitos acerca de gera\u00e7\u00e3o de grupos simples, do n\u00famero m\u00ednimo de geradores de um grupo, do grafo\u00a0gerador dos grupos alternados e sim\u00e9tricos, e da propriedade de Magnus.\u00a0<\/p>\n\n\n\n<p>*****<\/p>\n\n\n\n<p>As palestras do Col\u00f3quio do IME s\u00e3o transmitidas e disponibilizadas no nosso Canal do YouTube sempre que autorizado pela\/o palestrante: <a href=\"https:\/\/www.youtube.com\/@coloquiodoime\">https:\/\/www.youtube.com\/@coloquiodoime<\/a><\/p>\n\n\n\n<p>Inclua o Col\u00f3quio do IME na sua agenda <a href=\"https:\/\/calendar.google.com\/calendar\/u\/1?cid=dXNwLmJyXzMyMXBhaDAwaTFyNDduMXZ1bWNqamg1MG9zQGdyb3VwLmNhbGVuZGFyLmdvb2dsZS5jb20\">clicando aqui<\/a>! <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Benjamin Bumpus, MAC-IME-USP Categorical Algorithmics: Towards Mathematical Computer Science There is a distinction between &#8220;theoretical physicists&#8221; and &#8220;mathematical physicists&#8221;. The former use mathematics to describe the world and its underlying mechanisms. The latter build the mathematical edifice of physics. In computer science such a distinction is needed, but does not yet exist. I think of &hellip; <a href=\"https:\/\/www.ime.usp.br\/coloquio\/\" class=\"more-link\">Continue lendo<span class=\"screen-reader-text\"> &#8220;28\/08\/2026: Tem gente nova no IME!&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/pages\/2"}],"collection":[{"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/comments?post=2"}],"version-history":[{"count":149,"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":582,"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/pages\/2\/revisions\/582"}],"wp:attachment":[{"href":"https:\/\/www.ime.usp.br\/coloquio\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}