{"id":1104,"date":"2023-01-30T14:44:37","date_gmt":"2023-01-30T14:44:37","guid":{"rendered":"https:\/\/csbc.sbc.org.br\/2023\/?page_id=1104"},"modified":"2023-07-26T12:56:58","modified_gmt":"2023-07-26T12:56:58","slug":"wbl","status":"publish","type":"page","link":"https:\/\/csbc.sbc.org.br\/2023\/wbl\/","title":{"rendered":"WBL"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1104\" class=\"elementor elementor-1104\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-39ceafef e-flex e-con-boxed e-con e-parent\" data-id=\"39ceafef\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;video&quot;,&quot;background_video_link&quot;:&quot;https:\\\/\\\/csbc.sbc.org.br\\\/2023\\\/wp-content\\\/uploads\\\/2023\\\/01\\\/O-Circuito-27725.mp4&quot;,&quot;background_play_on_mobile&quot;:&quot;yes&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-background-video-container\">\n\t\t\t\t\t\t\t<video class=\"elementor-background-video-hosted\" role=\"presentation\" autoplay muted playsinline loop><\/video>\n\t\t\t\t\t<\/div>\t\t<div class=\"elementor-element elementor-element-d50e176 elementor-widget elementor-widget-heading\" data-id=\"d50e176\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">WBL - IV Workshop Brasileiro de L\u00f3gica<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-22bf223f elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"22bf223f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-5884282 e-flex e-con-boxed e-con e-parent\" data-id=\"5884282\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a927925 elementor-widget__width-inherit e-n-tabs-mobile elementor-widget elementor-widget-n-tabs\" data-id=\"a927925\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"nested-tabs.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-n-tabs\" data-widget-number=\"177371429\" aria-label=\"Abas. Abra itens com &quot;Enter&quot; ou &quot;Espa\u00e7o&quot;, feche com &quot;Escape&quot; e navegue usando as teclas de &quot;Seta&quot;.\">\n\t\t\t<div class=\"e-n-tabs-heading\" role=\"tablist\">\n\t\t\t\t\t<button id=\"e-n-tab-title-1773714291\" data-tab-title-id=\"e-n-tab-title-1773714291\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"true\" data-tab-index=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"e-n-tab-content-1773714291\" style=\"--n-tabs-title-order: 1;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tSobre o evento\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714292\" data-tab-title-id=\"e-n-tab-title-1773714292\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714292\" style=\"--n-tabs-title-order: 2;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tT\u00f3picos de Interesse\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714293\" data-tab-title-id=\"e-n-tab-title-1773714293\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714293\" style=\"--n-tabs-title-order: 3;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tInstru\u00e7\u00f5es para submiss\u00e3o\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714294\" data-tab-title-id=\"e-n-tab-title-1773714294\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"4\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714294\" style=\"--n-tabs-title-order: 4;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tDatas importantes\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714295\" data-tab-title-id=\"e-n-tab-title-1773714295\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"5\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714295\" style=\"--n-tabs-title-order: 5;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tPublica\u00e7\u00e3o de Trabalhos\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714296\" data-tab-title-id=\"e-n-tab-title-1773714296\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"6\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714296\" style=\"--n-tabs-title-order: 6;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tPrograma\u00e7\u00e3o\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714297\" data-tab-title-id=\"e-n-tab-title-1773714297\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"7\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714297\" style=\"--n-tabs-title-order: 7;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tPalestra\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714298\" data-tab-title-id=\"e-n-tab-title-1773714298\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"8\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714298\" style=\"--n-tabs-title-order: 8;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tOrganiza\u00e7\u00e3o\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t\t<\/div>\n\t\t\t<div class=\"e-n-tabs-content\">\n\t\t\t\t<div id=\"e-n-tab-content-1773714291\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714291\" data-tab-index=\"1\" style=\"--n-tabs-title-order: 1;\" class=\"e-active elementor-element elementor-element-d4b1dc7 e-con-full e-flex e-con e-parent\" data-id=\"d4b1dc7\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-01df104 elementor-widget elementor-widget-text-editor\" data-id=\"01df104\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>O Quarto Workshop Brasileiro de L\u00f3gica (WBL\u201923) \u00e9 uma iniciativa do Grupo de Interesse em L\u00f3gica da Sociedade Brasileira de Computa\u00e7\u00e3o (SBC), numa parceria com a Sociedade Brasileira de L\u00f3gica (SBL). Em sua terceira edi\u00e7\u00e3o, seu objetivo \u00e9 congregar l\u00f3gicos de diferentes \u00e1reas da computa\u00e7\u00e3o e em diferentes est\u00e1gios da carreira \u2013 de estudantes de gradua\u00e7\u00e3o a pesquisadores \u2013 que desejem apresentar propostas de trabalhos e trabalhos em andamento. O encontro \u00e9 um momento importante para a comunidade l\u00f3gica brasileira se unir e discutir os desenvolvimentos recentes do campo.<\/p><p>Esta edi\u00e7\u00e3o ser\u00e1 co-alocada com o XLIII Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o (CSBC 2023), que ocorre em Jo\u00e3o Pessoa (PB) entre 06 a 11 de agosto de 2032.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714292\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714292\" data-tab-index=\"2\" style=\"--n-tabs-title-order: 2;\" class=\" elementor-element elementor-element-8a4678d e-con-full e-flex e-con e-parent\" data-id=\"8a4678d\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-c1dca1d elementor-widget elementor-widget-text-editor\" data-id=\"c1dca1d\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Esta chamada est\u00e1 aberta para trabalhos relacionados \u00e0 \u00e1rea de l\u00f3gica e suas aplica\u00e7\u00f5es em diferentes campos da computa\u00e7\u00e3o, especialmente (mas n\u00e3o restrito) a:<\/p><ul><li>Assistentes de provas<\/li><li>Frameworks l\u00f3gicos<\/li><li>Fundamenta\u00e7\u00e3o da computa\u00e7\u00e3o, f\u00edsica e matem\u00e1tica<\/li><li>L\u00f3gica em intelig\u00eancia artificial: representa\u00e7\u00e3o de conhecimento, sistemas multiagentes, racioc\u00ednio n\u00e3o-monot\u00f4nico, racioc\u00ednio sobre conhecimento, cren\u00e7as ou a\u00e7\u00f5es, etc.<\/li><li>L\u00f3gicas n\u00e3o-cl\u00e1ssicas<\/li><li>Ontologias<\/li><li>Prova autom\u00e1tica de teoremas<\/li><li>SAT solvers<\/li><li>Teoria da prova<\/li><li>Verifica\u00e7\u00e3o formal de sistemas<\/li><li>Verifica\u00e7\u00e3o de modelos<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714293\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714293\" data-tab-index=\"3\" style=\"--n-tabs-title-order: 3;\" class=\" elementor-element elementor-element-cd937db e-con-full e-flex e-con e-parent\" data-id=\"cd937db\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-4576255 elementor-widget-mobile__width-inherit elementor-widget elementor-widget-text-editor\" data-id=\"4576255\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Artigos a serem submetidos devem ser redigidos no template da SBC (<a href=\"http:\/\/tinyurl.com\/sbc-template-artigos\"><strong>http:\/\/tinyurl.com\/sbc-<\/strong><\/a>) com tamanho entre 6 (seis) e 8 (oito) p\u00e1ginas.<\/p><p>As submiss\u00f5es devem ser feitas pelo sistema JEMS (<strong><a href=\"https:\/\/jems.sbc.org.br\/home.cgi?c=4246\">https:\/\/jems.sbc.org.br\/home.cgi?c=4246<\/a><\/strong>) em ingl\u00eas ou em portugu\u00eas.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714294\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714294\" data-tab-index=\"4\" style=\"--n-tabs-title-order: 4;\" class=\" elementor-element elementor-element-c42398a e-con-full e-flex e-con e-parent\" data-id=\"c42398a\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-72df935 elementor-widget elementor-widget-text-editor\" data-id=\"72df935\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<ul><li>Limite para submiss\u00e3o dos trabalhos: <del>05\/03\/2023\u00a0 <\/del>\u00a0 &#8211;\u00a0 <del>20\/03\/2023 <\/del>\u00a0 &#8211;\u00a0 05\/04\/2023 (Final)<\/li><li>Notifica\u00e7\u00e3o dos trabalhos selecionados: <del>05\/05<\/del>\u00a0 &#8211; 20\/05\/2023<\/li><li>Data limite para envio das vers\u00f5es finais dos trabalhos: <del>16\/05<\/del>\u00a0 &#8211;\u00a0 28\/05\/2023<\/li><li>Prazo de inscri\u00e7\u00e3o autores(as): <del>16\/05<\/del>\u00a0 &#8211;\u00a0 05\/07\/2023<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714295\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714295\" data-tab-index=\"5\" style=\"--n-tabs-title-order: 5;\" class=\" elementor-element elementor-element-9250679 e-con-full e-flex e-con e-parent\" data-id=\"9250679\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-bd44349 elementor-widget elementor-widget-text-editor\" data-id=\"bd44349\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Os artigos aceitos ser\u00e3o publicados na SBC Open Lib, a biblioteca digital da SBC, na s\u00e9rie Anais do Workshop Brasileiro de L\u00f3gica (WBL), ISSN 2763-8731, dispon\u00edvel em\u00a0<a href=\"https:\/\/sol.sbc.org.br\/index.php\/wbl\">https:\/\/sol.sbc.org.br\/index.<\/a>. Todos os artigos ser\u00e3o indexados com DOI.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714296\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714296\" data-tab-index=\"6\" style=\"--n-tabs-title-order: 6;\" class=\" elementor-element elementor-element-cc60c39 e-con-full e-flex e-con e-parent\" data-id=\"cc60c39\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3606ee7 elementor-widget elementor-widget-text-editor\" data-id=\"3606ee7\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h5 style=\"text-align: center;\"><span style=\"color: #000080;\"><strong>WBL 2023 Program<\/strong><\/span><\/h5><h5 style=\"text-align: center;\"><span style=\"color: #000080;\">Tuesday, August 8th<\/span><\/h5><p>&#8211; 9:00 -9:30: Abertura<\/p><p>&#8211; 9:30 -10:30: Invited talk:\u00a0Marlo Souza (DCI UFBA)<br \/><br \/>T\u00edtulo: L\u00f3gicas Epist\u00eamicas Din\u00e2micas e Din\u00e2mica de Informa\u00e7\u00e3o<\/p><p>Resumo<\/p><p>L\u00f3gicas Epist\u00eamicas Din\u00e2micas, ou DEL (do ingl\u00eas Dynamic Epistemic Logics), s\u00e3o uma fam\u00edlia de l\u00f3gicas modais empregadas para o estudo de fen\u00f4menos relacionado \u00e0 din\u00e2mica da informa\u00e7\u00e3o ou mudan\u00e7a de atitudes mentais fortemente inspirada no trabalho da escola holandesa de L\u00f3gica e sua &#8220;virada din\u00e2mica&#8221; em L\u00f3gica (VAN BENTHEM, 1996). Os formalismos de DEL s\u00e3o influenciados por diferentes abordagens no estudo de Epistemologia Din\u00e2mica (ou epistemologia da mudan\u00e7a) e difere destas por integrar dentro da linguagem de representa\u00e7\u00e3o operadores de mudan\u00e7a, em detrimento de abordagens extra-sem\u00e2nticas, permitindo raciocinar sobre mudan\u00e7as nos estados mentais dos agentes. Nessa palestra, discutiremos uma breve hist\u00f3ria das L\u00f3gicas Epist\u00eamicas Din\u00e2micas, sua conex\u00e3o com o estudo da Teoria de Mudan\u00e7a de Cren\u00e7as, Racioc\u00ednio Pr\u00e1tico e Epistemologia Formal, investigando algumas aplica\u00e7\u00f5es te\u00f3ricas e pr\u00e1ticas desses formalismos na literatura.<\/p><p>&#8211; 10:30-11:00 Coffee break<\/p><p>-11:00-11:30 Quantum Algorithm for Multiplicative Linear Logic<br \/>Lorenzo Saraiva (DI\/PUC-Rio), Edward Hermann Haeusler (DI\/PUC-Rio), Vaston Costa (IMTEc-UFCAT)<\/p><p>-11:30-12:00 A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic<br \/>Luiz C. F. Fernandez(PESC-COPEE\/UFRJ), Mario R. F. Benevides (IC-UFF)<\/p><p>-12:00-12:30 A Tool for Semantic Data Interoperability<br \/>Allan Patrick F. Santana (IC-UFF), Maximilian Harrisson C. Jr (IC-UFF), Bruno Lopes (IC-UFF)<\/p><p>&#8211; 12:30 -14:00 Almo\u00e7o<\/p><p>-14:00-14:30 Contra\u00e7\u00e3o Seletiva: um Modelo Hiperintensional para Mudan\u00e7a de Cren\u00e7as<br \/>Marlo Souza\u00a0 (DCI UFBA)<\/p><p>-14:30-15:00 On the Coverage property of a Perivation Compression Algorithm<br \/>Robinson C. de M.B. Filho (DI\/PUC-Rio), Jefferson de B. Santos, Edward Hermann Haeusler (DI\/PUC-Rio)<\/p><p>-15:00-15:30 A method for Automated Generation of Exercises with Similar Level of Complexity<br \/>Jo\u00e3o Mendes\u00a0 (DIMAp\/UFRN), Jo\u00e3o Marcos (DIMAp-UFRN)<\/p><p>-15:30-15:45 Break<\/p><p>-15:45-17:00 \u00a0Encontro do Grupo de Interesse em L\u00f3gica da SBC<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714297\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714297\" data-tab-index=\"7\" style=\"--n-tabs-title-order: 7;\" class=\" elementor-element elementor-element-2bed68d e-con-full e-flex e-con e-parent\" data-id=\"2bed68d\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-657960f elementor-widget elementor-widget-text-editor\" data-id=\"657960f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4 style=\"text-align: center;\"><span style=\"color: #000080;\"><strong>Palestra Convidada<\/strong><\/span><\/h4><p><span style=\"color: #000080;\">Marlo Souza (DCI UFBA)<\/span><\/p><p><span style=\"color: #000080;\">T\u00edtulo:<\/span> L\u00f3gicas Epist\u00eamicas Din\u00e2micas e Din\u00e2mica de Informa\u00e7\u00e3o<\/p><p><span style=\"color: #000080;\">Resumo:<\/span><\/p><p>L\u00f3gicas Epist\u00eamicas Din\u00e2micas, ou DEL (do ingl\u00eas Dynamic Epistemic Logics), s\u00e3o uma fam\u00edlia de l\u00f3gicas modais empregadas para o estudo de fen\u00f4menos relacionado \u00e0 din\u00e2mica da informa\u00e7\u00e3o ou mudan\u00e7a de atitudes mentais fortemente inspirada no trabalho da escola holandesa de L\u00f3gica e sua &#8220;virada din\u00e2mica&#8221; em L\u00f3gica (VAN BENTHEM, 1996). Os formalismos de DEL s\u00e3o influenciados por diferentes abordagens no estudo de Epistemologia Din\u00e2mica (ou epistemologia da mudan\u00e7a) e difere destas por integrar dentro da linguagem de representa\u00e7\u00e3o operadores de mudan\u00e7a, em detrimento de abordagens extra-sem\u00e2nticas, permitindo raciocinar sobre mudan\u00e7as nos estados mentais dos agentes. Nessa palestra, discutiremos uma breve hist\u00f3ria das L\u00f3gicas Epist\u00eamicas Din\u00e2micas, sua conex\u00e3o com o estudo da Teoria de Mudan\u00e7a de Cren\u00e7as, Racioc\u00ednio Pr\u00e1tico e Epistemologia Formal, investigando algumas aplica\u00e7\u00f5es te\u00f3ricas e pr\u00e1ticas desses formalismos na literatura.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714298\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714298\" data-tab-index=\"8\" style=\"--n-tabs-title-order: 8;\" class=\" elementor-element elementor-element-4886012 e-con-full e-flex e-con e-parent\" data-id=\"4886012\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-88e880a elementor-widget elementor-widget-text-editor\" data-id=\"88e880a\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p><span style=\"color: #000021;\"><strong>Organizadores Gerais:<\/strong><\/span><\/p><p>Vaston Gon\u00e7alves da Costa (UFG)- vaston@ufcat.edu.br<\/p><p><span style=\"color: #000021;\"><strong>Organizadores do Comit\u00ea de Programa:<\/strong><\/span><\/p><p>Mario Roberto Folhadela Benevides (UFF) \u2013 mario@ic.uff.br<br \/>Jorge Petrucio Viana (UFF) \u2013 petrucio_viana@id.uff.br<\/p><p><span style=\"color: #000021;\"><strong>Organizador\u00a0 local:<\/strong><\/span><\/p><p>Em constru\u00e7\u00e3o<\/p><p><span style=\"color: #000021;\"><strong>Comit\u00ea de Programa (TPC):<\/strong><\/span><\/p><p>Aline Andrade (UFBA)<br \/>Bruno Lopes (UFF)<br \/>Carlos Olarte (UFRN)<br \/>Cl\u00e1udia Nalon (UnB)\u00a0<br \/>Daniele Nantes-Sobrinho (UnB)<br \/>Edward Hermann Haeusler (PUC-Rio)<br \/>Elaine Pimentel (UFRN)\u00a0<br \/>Francicleber Ferreira (UFC)<br \/>Jefferson Santos (FGV e PUC-Rio)<br \/>Marcelo Finger (USP)<br \/>Mario Benevides (UFF) (Co-Chair)<br \/>Marlo Souza (UFBA)<br \/>Mauricio Ayala-Rinc\u00f3n (UnB)<br \/>Petrucio Viana (UFF) (Co-Chair)<br \/>Renata Wassermann (USP)<\/p><p><span style=\"color: #000021;\"><strong>Contato para d\u00favidas:<\/strong><\/span><\/p><div id=\"content\" class=\"site-content no-slider\"><div class=\"mid-content clearfix\"><div id=\"primary\" class=\"content-area\"><main id=\"main\" class=\"site-main\" role=\"main\"><article id=\"post-3885\" class=\"article-wrap post-3885 page type-page status-publish hentry\"><div class=\"entry-content\"><p>Em caso de d\u00favidas, entre em contato atrav\u00e9s dos e-mails:\u00a0<a href=\"mailto:mario@ic.uff.br\">mario@ic.uff.br<\/a>\u00a0e\u00a0<a href=\"mailto:petrucio_viana@id.uff.br\">petrucio_viana@id.uff.br<\/a><\/p><\/div><\/article><\/main><\/div><\/div><\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Sobre o evento T\u00f3picos de Interesse Instru\u00e7\u00f5es para submiss\u00e3o Datas importantes Publica\u00e7\u00e3o de Trabalhos Programa\u00e7\u00e3o Palestra Organiza\u00e7\u00e3o Sobre o evento O Quarto Workshop Brasileiro de L\u00f3gica (WBL\u201923) \u00e9 uma iniciativa do Grupo de Interesse em L\u00f3gica da Sociedade Brasileira de Computa\u00e7\u00e3o (SBC), numa parceria com a Sociedade Brasileira de L\u00f3gica (SBL). Em sua terceira edi\u00e7\u00e3o, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"folder":[12],"class_list":["post-1104","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/1104","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/comments?post=1104"}],"version-history":[{"count":34,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/1104\/revisions"}],"predecessor-version":[{"id":3496,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/1104\/revisions\/3496"}],"wp:attachment":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/media?parent=1104"}],"wp:term":[{"taxonomy":"folder","embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/folder?post=1104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}