Forum da Pós-Graduação em Computação do Paraná View in browser <https://substack.com/redirect/2/eyJlIjoiaHR0cHM6Ly9hZG9sZm9uLnN1YnN0YWNrLmNvbS9wL3VtLWZyYW1ld29yay1sb2dpY28tcGFyYS1yYWNpb2NpbmlvP3V0bV9jYW1wYWlnbj1lbWFpbC1wb3N0JnI9OTRmaXQmdG9rZW49ZXlKMWMyVnlYMmxrSWpveE5UTXlNekk0TlN3aWNHOXpkRjlwWkNJNk1UTTNOakl3TURRMExDSnBZWFFpT2pFMk9UWXpNelUwT1RNc0ltVjRjQ0k2TVRZNU9Ea3lOelE1TXl3aWFYTnpJam9pY0hWaUxURTBORE00TURraUxDSnpkV0lpT2lKd2IzTjBMWEpsWVdOMGFXOXVJbjAucmZGdjBWelFOTkszMkJmNDBaNUZTZkIwMGNXeC1ETnJXaFFUWmxOay15USIsInAiOjEzNzYyMDA0NCwicyI6MTQ0MzgwOSwiZiI6ZmFsc2UsInUiOjE1MzIzMjg1LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTAiLCJzdWIiOiJsaW5rLXJlZGlyZWN0In0.2h2w0dqO_X58rqSK3Or0jTFO21eJB6favxHmraYUiR0?> Um framework lógico para raciocínio sobre sistemas críticos, Bruno Lopes (UFF) <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=post-email-title&utm_campaign=email-post-title&isFreemail=false&r=94fit&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTE0NDM4MDkiLCJzdWIiOiJwb3N0LXJlYWN0aW9uIn0.rfFv0VzQNNK32Bf40Z5FSfB00cWx-DNrWhQTZlNk-yQ>Forum da Pós-Graduação em Computação do Paraná
Adolfo Neto <https://link.sbstck.com/redirect/6ddf1616-ffb9-4392-ab14-cacbde0feb75?j=eyJ1IjoiOTRmaXQifQ.kirIRSEyybT5bcVHVRtj_P1XEG7WsHkby6TN1FHx9qo> Oct 3 <https://link.sbstck.com/redirect/6ddf1616-ffb9-4392-ab14-cacbde0feb75?j=eyJ1IjoiOTRmaXQifQ.kirIRSEyybT5bcVHVRtj_P1XEG7WsHkby6TN1FHx9qo> <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=substack&isFreemail=false&submitLike=true&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJyZWFjdGlvbiI6IuKdpCIsImlhdCI6MTY5NjMzNTQ5MywiZXhwIjoxNjk4OTI3NDkzLCJpc3MiOiJwdWItMTQ0MzgwOSIsInN1YiI6InJlYWN0aW9uIn0.l1A5VaFrjF-wQYctUrT6PTc4yDV0QUhcqV1IpWI2hzQ&utm_medium=email&utm_campaign=email-reaction&r=94fit> <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=substack&utm_medium=email&isFreemail=false&comments=true&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTE0NDM4MDkiLCJzdWIiOiJwb3N0LXJlYWN0aW9uIn0.rfFv0VzQNNK32Bf40Z5FSfB00cWx-DNrWhQTZlNk-yQ&r=94fit&utm_campaign=email-half-magic-comments&utm_source=substack&utm_medium=email> <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=substack&utm_medium=email&utm_content=share&utm_campaign=email-share&action=share&triggerShare=true&isFreemail=false&r=94fit&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTE0NDM4MDkiLCJzdWIiOiJwb3N0LXJlYWN0aW9uIn0.rfFv0VzQNNK32Bf40Z5FSfB00cWx-DNrWhQTZlNk-yQ> <https://substack.com/redirect/2/eyJlIjoiaHR0cHM6Ly9hZG9sZm9uLnN1YnN0YWNrLmNvbS9wL3VtLWZyYW1ld29yay1sb2dpY28tcGFyYS1yYWNpb2NpbmlvP3V0bV9zb3VyY2U9c3Vic3RhY2smdXRtX21lZGl1bT1lbWFpbCZhY3Rpb249cmVzdGFjay1jb21tZW50JnV0bV9jYW1wYWlnbj1lbWFpbC1yZXN0YWNrLWNvbW1lbnQmcj05NGZpdCIsInAiOjEzNzYyMDA0NCwicyI6MTQ0MzgwOSwiZiI6ZmFsc2UsInUiOjE1MzIzMjg1LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTAiLCJzdWIiOiJsaW5rLXJlZGlyZWN0In0.GYmy90age0Oad-v6T2pFwgkWflWMAfexCAVUUDuJUk8?&utm_source=substack&utm_medium=email> READ IN APP <https://open.substack.com/pub/adolfon/p/um-framework-logico-para-raciocinio?utm_source=email&redirect=app-store> <https://link.sbstck.com/redirect/f5e0e283-5d0e-48f9-8510-db1c7bd1ac2f?j=eyJ1IjoiOTRmaXQifQ.kirIRSEyybT5bcVHVRtj_P1XEG7WsHkby6TN1FHx9qo> Resumo: Nesta apresentação discutiremos uma família de lógicas modais denominadas dinâmicas, o uso de Reo, uma linguagem para a modelagem de sistemas concorrentes baseada em coordenações e suas aplicações na modelagem e raciocínio sobre sistemas concorrentes. Uma ferramenta para automatizar o raciocínio será apresentada. Mini-bio do palestrante: Bruno é Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, com período sanduíche em Institut National de Recherche en Informatique et en Automatique - Siège. É professor na Universidade Federal Fluminense (IC/UFF) e sua linha de trabalho é na área de lógica para sistemas concorrentes, bem como pesquisa sobre o desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas. Foi Secretário Geral da Sociedade Brasileira de Lógica por duas gestões (2017-2019 e 2019-2021) e atualmente é Segundo Vice-Presidente, além de Coordenador do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação. Demais transmissões em https://www.youtube.com/@forppgcpr/streams <https://link.sbstck.com/redirect/0917dfe4-b00a-411d-98d8-4a0550e1e2ca?j=eyJ1IjoiOTRmaXQifQ.kirIRSEyybT5bcVHVRtj_P1XEG7WsHkby6TN1FHx9qo> <https://link.sbstck.com/redirect/db9e9829-a10e-463c-817f-1f4fc198f890?j=eyJ1IjoiOTRmaXQifQ.kirIRSEyybT5bcVHVRtj_P1XEG7WsHkby6TN1FHx9qo> Share <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=substack&utm_medium=email&utm_content=share&utm_campaign=email-share&action=share&triggerShare=true&isFreemail=false&r=94fit&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTE0NDM4MDkiLCJzdWIiOiJwb3N0LXJlYWN0aW9uIn0.rfFv0VzQNNK32Bf40Z5FSfB00cWx-DNrWhQTZlNk-yQ> Like <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=substack&isFreemail=false&submitLike=true&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJyZWFjdGlvbiI6IuKdpCIsImlhdCI6MTY5NjMzNTQ5MywiZXhwIjoxNjk4OTI3NDkzLCJpc3MiOiJwdWItMTQ0MzgwOSIsInN1YiI6InJlYWN0aW9uIn0.l1A5VaFrjF-wQYctUrT6PTc4yDV0QUhcqV1IpWI2hzQ&utm_medium=email&utm_campaign=email-reaction&r=94fit> Comment <https://substack.com/app-link/post?publication_id=1443809&post_id=137620044&utm_source=substack&utm_medium=email&isFreemail=false&comments=true&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTE0NDM4MDkiLCJzdWIiOiJwb3N0LXJlYWN0aW9uIn0.rfFv0VzQNNK32Bf40Z5FSfB00cWx-DNrWhQTZlNk-yQ&r=94fit&utm_campaign=email-half-magic-comments&utm_source=substack&utm_medium=email> Restack <https://substack.com/redirect/2/eyJlIjoiaHR0cHM6Ly9hZG9sZm9uLnN1YnN0YWNrLmNvbS9wL3VtLWZyYW1ld29yay1sb2dpY28tcGFyYS1yYWNpb2NpbmlvP3V0bV9zb3VyY2U9c3Vic3RhY2smdXRtX21lZGl1bT1lbWFpbCZhY3Rpb249cmVzdGFjay1jb21tZW50JnV0bV9jYW1wYWlnbj1lbWFpbC1yZXN0YWNrLWNvbW1lbnQmcj05NGZpdCIsInAiOjEzNzYyMDA0NCwicyI6MTQ0MzgwOSwiZiI6ZmFsc2UsInUiOjE1MzIzMjg1LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTAiLCJzdWIiOiJsaW5rLXJlZGlyZWN0In0.GYmy90age0Oad-v6T2pFwgkWflWMAfexCAVUUDuJUk8?&utm_source=substack&utm_medium=email> © 2023 Adolfo Neto 548 Market Street PMB 72296, San Francisco, CA 94104 Unsubscribe <https://substack.com/redirect/2/eyJlIjoiaHR0cHM6Ly9hZG9sZm9uLnN1YnN0YWNrLmNvbS9hY3Rpb24vZGlzYWJsZV9lbWFpbD90b2tlbj1leUoxYzJWeVgybGtJam94TlRNeU16STROU3dpY0c5emRGOXBaQ0k2TVRNM05qSXdNRFEwTENKcFlYUWlPakUyT1RZek16VTBPVE1zSW1WNGNDSTZNVFk1T0RreU56UTVNeXdpYVhOeklqb2ljSFZpTFRFME5ETTRNRGtpTENKemRXSWlPaUprYVhOaFlteGxYMlZ0WVdsc0luMC5QT0xuZ0N3MWJITmxSX1ktQVZkeTZWWVZael9NaV9Ya21Qenc5NEZJZnZRJmV4cGlyZXM9MzY1ZCIsInAiOjEzNzYyMDA0NCwicyI6MTQ0MzgwOSwiZiI6ZmFsc2UsInUiOjE1MzIzMjg1LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTAiLCJzdWIiOiJsaW5rLXJlZGlyZWN0In0.SlCh40Fzg_Tzf3PTpl26mhruQbxl2B41KJFBC6D21sk?> [image: Start writing] <https://substack.com/redirect/2/eyJlIjoiaHR0cHM6Ly9zdWJzdGFjay5jb20vc2lnbnVwP3V0bV9zb3VyY2U9c3Vic3RhY2smdXRtX21lZGl1bT1lbWFpbCZ1dG1fY29udGVudD1mb290ZXImdXRtX2NhbXBhaWduPWF1dG9maWxsZWQtZm9vdGVyJmZyZWVTaWdudXBFbWFpbD1hZG9sZm8udXRmcHJAZ21haWwuY29tJnI9OTRmaXQiLCJwIjoxMzc2MjAwNDQsInMiOjE0NDM4MDksImYiOmZhbHNlLCJ1IjoxNTMyMzI4NSwiaWF0IjoxNjk2MzM1NDkzLCJleHAiOjE2OTg5Mjc0OTMsImlzcyI6InB1Yi0wIiwic3ViIjoibGluay1yZWRpcmVjdCJ9.CpOdt9bHeY-EstH2oZhRCwC5I_l7AHPgTauRXtdqv2E?> -- ================================================================== Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYX8jgtHT5Upxm2hzbrT3U%2BSO-h7kSmSNQaEDZ360c-G5Q%40mail.gmail.com.
