{"id":3282,"date":"2021-12-15T12:50:38","date_gmt":"2021-12-15T15:50:38","guid":{"rendered":"https:\/\/csbc.sbc.org.br\/2022\/?page_id=3282"},"modified":"2022-07-27T11:57:03","modified_gmt":"2022-07-27T14:57:03","slug":"wbl","status":"publish","type":"page","link":"https:\/\/csbc.sbc.org.br\/2022\/wbl\/","title":{"rendered":"WBL"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"3282\" class=\"elementor elementor-3282\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3ce9014 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3ce9014\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;video&quot;,&quot;shape_divider_bottom&quot;:&quot;waves&quot;,&quot;background_video_link&quot;:&quot;http:\\\/\\\/www.emanuelmachado.com.br\\\/Video - CSBC 2022.mp4&quot;,&quot;background_video_start&quot;:17,&quot;background_play_on_mobile&quot;:&quot;yes&quot;}\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-background-video-container\">\n\t\t\t\t\t\t\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\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-shape elementor-shape-bottom\" aria-hidden=\"true\" data-negative=\"false\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 1000 100\" preserveAspectRatio=\"none\">\n\t<path class=\"elementor-shape-fill\" d=\"M421.9,6.5c22.6-2.5,51.5,0.4,75.5,5.3c23.6,4.9,70.9,23.5,100.5,35.7c75.8,32.2,133.7,44.5,192.6,49.7\n\tc23.6,2.1,48.7,3.5,103.4-2.5c54.7-6,106.2-25.6,106.2-25.6V0H0v30.3c0,0,72,32.6,158.4,30.5c39.2-0.7,92.8-6.7,134-22.4\n\tc21.2-8.1,52.2-18.2,79.7-24.2C399.3,7.9,411.6,7.5,421.9,6.5z\"\/>\n<\/svg>\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-8c9fc30\" data-id=\"8c9fc30\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-b126080 elementor-widget elementor-widget-heading\" data-id=\"b126080\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">WBL<span style=\"font-size:20px;padding-top:20px\">\n\nWorkshop Brasileiro de L\u00f3gica\n\n<\/span><\/h1>\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<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-4aa844b elementor-section-full_width elementor-hidden-mobile elementor-section-height-default elementor-section-height-default\" data-id=\"4aa844b\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-28bde77\" data-id=\"28bde77\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-de77726 elementor-widget elementor-widget-image\" data-id=\"de77726\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2021\/07\/curva-2022.png\" title=\"curva-2022\" alt=\"curva-2022\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\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<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-fb68964 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fb68964\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-d9233d2\" data-id=\"d9233d2\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1d200af elementor-widget elementor-widget-html\" data-id=\"1d200af\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"programacao\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">\nPrograma\u00e7\u00e3o\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d3cd282 elementor-widget elementor-widget-eael-adv-accordion\" data-id=\"d3cd282\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"eael-adv-accordion.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t            <div class=\"eael-adv-accordion\" id=\"eael-adv-accordion-d3cd282\" data-scroll-on-click=\"no\" data-scroll-speed=\"300\" data-accordion-id=\"d3cd282\" data-accordion-type=\"accordion\" data-toogle-speed=\"300\">\n            <div class=\"eael-accordion-list\">\n\t\t\t\t\t<div id=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora20900bdivdiv-classcol-9-t1-stylepadding-top-30pximportantb-classtipo1-sesso-tcnicabspan-classtitulo-styleline-height25pxsesso-tcnica-i-b-classautorbspandivdiv\" class=\"elementor-tab-title eael-accordion-header\" tabindex=\"0\" data-tab=\"1\" aria-controls=\"elementor-tab-content-2221\"><span class=\"eael-accordion-tab-title\"><div class=\"row\"><div class=\"col-3 hora\"><b class=\"dia\">03<\/b><b class=\"mes\">Agosto<\/b><b class=\"hora2\">09:00<\/b><\/div><div class=\"col-9 t1\" style=\"padding-top: 30px!important\"><b class=\"tipo1\">SESS\u00c3O T\u00c9CNICA<\/b><span class=\"titulo\" style=\"line-height:25px\">Sess\u00e3o T\u00e9cnica I  <b class=\"autor\"><\/b><\/span><\/div><\/div><\/span><i aria-hidden=\"true\" class=\"fa-toggle fas fa-angle-down\"><\/i><\/div><div id=\"elementor-tab-content-2221\" class=\"eael-accordion-content clearfix\" data-tab=\"1\" aria-labelledby=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora20900bdivdiv-classcol-9-t1-stylepadding-top-30pximportantb-classtipo1-sesso-tcnicabspan-classtitulo-styleline-height25pxsesso-tcnica-i-b-classautorbspandivdiv\"><table><tbody><tr><td>Construindo Tableaux para L\u00f3gica Linear Intuicionista<br \/><strong>Hugo Borges<\/strong><\/td><\/tr><tr><td>Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic<br \/><strong>Renato Reis Leme, Giorgio Venturi, Bruno Lopes<\/strong><\/td><\/tr><tr><td>Another Calculational Proof of Cantor&#8217;s Theorem<br \/><strong>M\u00e1rcia Rosana Cerioli, Renata de Freitas, Petrucio Viana<\/strong><\/td><\/tr><\/tbody><\/table><\/div>\n\t\t\t\t\t<\/div><div class=\"eael-accordion-list\">\n\t\t\t\t\t<div id=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21100bdivdiv-classcol-7-t1b-classtipo1palestrabspan-classtitulotowards-expressiveness-and-complexity-in-propositional-dynamic-logic-or-controlling-the-complexity-vs-enhancing-expressivenessb-classautorbruno-lopes-uffbspandivdiv-classcol-2-fotoimg-srchttpscsbcsbcorgbr2022wp-contentuploads202205bruno-e1653514449328jpg-divdiv\" class=\"elementor-tab-title eael-accordion-header\" tabindex=\"0\" data-tab=\"2\" aria-controls=\"elementor-tab-content-2222\"><span class=\"eael-accordion-tab-title\"><div class=\"row\"><div class=\"col-3 hora\"><b class=\"dia\">03<\/b><b class=\"mes\">Agosto<\/b><b class=\"hora2\">11:00<\/b><\/div><div class=\"col-7 t1\"><b class=\"tipo1\">PALESTRA<\/b><span class=\"titulo\">Towards expressiveness and complexity in Propositional Dynamic Logic (or controlling the complexity Vs enhancing expressiveness)<b class=\"autor\">Bruno Lopes (UFF)<\/b><\/span><\/div><div class=\"col-2 foto\"><img decoding=\"async\" src=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/bruno-e1653514449328.jpg\"><\/div><\/div><\/span><i aria-hidden=\"true\" class=\"fa-toggle fas fa-angle-down\"><\/i><\/div><div id=\"elementor-tab-content-2222\" class=\"eael-accordion-content clearfix\" data-tab=\"2\" aria-labelledby=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21100bdivdiv-classcol-7-t1b-classtipo1palestrabspan-classtitulotowards-expressiveness-and-complexity-in-propositional-dynamic-logic-or-controlling-the-complexity-vs-enhancing-expressivenessb-classautorbruno-lopes-uffbspandivdiv-classcol-2-fotoimg-srchttpscsbcsbcorgbr2022wp-contentuploads202205bruno-e1653514449328jpg-divdiv\"><p><span style=\"font-weight: 400\">Propositional Dynamic logic is a sophisticated modal logic tailored to reason about programs. There are several worth-of-studying fragments (controlling the complexity) and extensions (aiming to increase expressiveness). We will discuss some impacts of restricting to deterministic programs and how to enhance the expressiveness using a memory<\/span><\/p><div class=\"bio\"><h3 class=\"nome\"><img fetchpriority=\"high\" decoding=\"async\" class=\"alignnone size-medium wp-image-5127\" src=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/bruno-e1653514449328-300x293.jpg\" alt=\"\" width=\"300\" height=\"293\" srcset=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/bruno-e1653514449328-300x293.jpg 300w, https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/bruno-e1653514449328-1024x1000.jpg 1024w, https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/bruno-e1653514449328-768x750.jpg 768w, https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/bruno-e1653514449328.jpg 1296w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/>Bruno Lopes<\/h3><h4 class=\"nome\">Instituto de Computa\u00e7\u00e3o<br \/>Universidade Federal Fluminense<\/h4><p>Bruno Lopes \u00e9 professor na Universidade Federal Fluminense (IC\/UFF) e pesquisador no FR\u2200M\u2203 Lab. J\u00e1 foi pesquisador visitante no Deduc\u02ebeam\/INRIA. Sua principal linha de trabalho \u00e9 na \u00e1rea de l\u00f3gica para sistemas concorrentes, com trabalhos recentes no desenvolvimento de provadores de teoremas extens\u00edveis, normaliza\u00e7\u00e3o para sistemas de dedu\u00e7\u00e3o natural, ontologias, formaliza\u00e7\u00e3o de sistemas multi-agentes e teoria da prova para l\u00f3gicas.<\/p><\/div><\/div>\n\t\t\t\t\t<\/div><div class=\"eael-accordion-list\">\n\t\t\t\t\t<div id=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21200bdivdiv-classcol-9-t1-stylepadding-top-30pximportantb-classtipo1-sesso-tcnicabspan-classtitulo-styleline-height25pxsesso-tcnica-ii-b-classautorbspandivdiv\" class=\"elementor-tab-title eael-accordion-header\" tabindex=\"0\" data-tab=\"3\" aria-controls=\"elementor-tab-content-2223\"><span class=\"eael-accordion-tab-title\"><div class=\"row\"><div class=\"col-3 hora\"><b class=\"dia\">03<\/b><b class=\"mes\">Agosto<\/b><b class=\"hora2\">12:00<\/b><\/div><div class=\"col-9 t1\" style=\"padding-top: 30px!important\"><b class=\"tipo1\">SESS\u00c3O T\u00c9CNICA<\/b><span class=\"titulo\" style=\"line-height:25px\">Sess\u00e3o T\u00e9cnica II  <b class=\"autor\"><\/b><\/span><\/div><\/div><\/span><i aria-hidden=\"true\" class=\"fa-toggle fas fa-angle-down\"><\/i><\/div><div id=\"elementor-tab-content-2223\" class=\"eael-accordion-content clearfix\" data-tab=\"3\" aria-labelledby=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21200bdivdiv-classcol-9-t1-stylepadding-top-30pximportantb-classtipo1-sesso-tcnicabspan-classtitulo-styleline-height25pxsesso-tcnica-ii-b-classautorbspandivdiv\"><table><tbody><tr><td>Integrating tools to reason about Reo circuits<br \/><strong>Mariana Ferreira, Bruno Lopes<\/strong><\/td><\/tr><\/tbody><\/table><\/div>\n\t\t\t\t\t<\/div><div class=\"eael-accordion-list\">\n\t\t\t\t\t<div id=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21400bdivdiv-classcol-7-t1b-classtipo1palestrabspan-classtitulosome-considerations-on-graphical-logicsb-classautorsheila-veloso-uerjbspandivdiv-classcol-2-fotoimg-srchttpscsbcsbcorgbr2022wp-contentuploads202205sheila2jpg-divdiv\" class=\"elementor-tab-title eael-accordion-header\" tabindex=\"0\" data-tab=\"4\" aria-controls=\"elementor-tab-content-2224\"><span class=\"eael-accordion-tab-title\"><div class=\"row\"><div class=\"col-3 hora\"><b class=\"dia\">03<\/b><b class=\"mes\">Agosto<\/b><b class=\"hora2\">14:00<\/b><\/div><div class=\"col-7 t1\"><b class=\"tipo1\">PALESTRA<\/b><span class=\"titulo\">Some considerations on Graphical Logics<b class=\"autor\">Sheila Veloso (UERJ)<\/b><\/span><\/div><div class=\"col-2 foto\"><img decoding=\"async\" src=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/sheila2.jpg\"><\/div><\/div><\/span><i aria-hidden=\"true\" class=\"fa-toggle fas fa-angle-down\"><\/i><\/div><div id=\"elementor-tab-content-2224\" class=\"eael-accordion-content clearfix\" data-tab=\"4\" aria-labelledby=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21400bdivdiv-classcol-7-t1b-classtipo1palestrabspan-classtitulosome-considerations-on-graphical-logicsb-classautorsheila-veloso-uerjbspandivdiv-classcol-2-fotoimg-srchttpscsbcsbcorgbr2022wp-contentuploads202205sheila2jpg-divdiv\"><p>The talk will be divided into two parts. In the first one we will present some concepts and methods related to graphical calculi for manipulating relational terms through diagrams. The representation of terms by diagrams is based on intuition and manipulating diagrams seem to be easier to be understood than their algebraic manipulations with the symbolic mathematical notation. Thus, our goal is to formalize graphically the intuitive ideas of informal human reasoning about binary relations obtaining sound and complete calculi, In the second part these concepts will be applied to modal logics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. It will be illustrated how one can extend them to be used in classical modal logics.<\/p><div class=\"bio\"><h3 class=\"nome\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-5127\" src=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/05\/sheila2.jpg\" alt=\"\" width=\"300\" height=\"293\" \/>Sheila Veloso<\/h3><h4 class=\"nome\">Faculdade de Engenharia<br \/>Universidade Estadual do Rio de Janeiro<\/h4><p>Sheila Veloso \u00e9 professora aposentada da Universidade Federal do Rio de Janeiro (UFRJ) e professora titular da Universidade do Estado do Rio de Janeiro (UERJ). Tem experi\u00eancia na \u00e1rea de Ci\u00eancia da Computa\u00e7\u00e3o, com \u00eanfase em Teoria de Programa\u00e7\u00e3o, atuando principalmente nos seguintes temas: l\u00f3gica modal, \u00e1lgebra relacional, racioc\u00ednio gen\u00e9rico, racioc\u00ednio qualitativo e \u00e1lgebra com fork.<\/p><\/div><\/div>\n\t\t\t\t\t<\/div><div class=\"eael-accordion-list\">\n\t\t\t\t\t<div id=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21530bdivdiv-classcol-9-t1-stylepadding-top-30pximportantb-classtipo1-sesso-tcnicabspan-classtitulo-styleline-height25pxsesso-tcnica-iii-b-classautorbspandivdiv\" class=\"elementor-tab-title eael-accordion-header\" tabindex=\"0\" data-tab=\"6\" aria-controls=\"elementor-tab-content-2226\"><span class=\"eael-accordion-tab-title\"><div class=\"row\"><div class=\"col-3 hora\"><b class=\"dia\">03<\/b><b class=\"mes\">Agosto<\/b><b class=\"hora2\">15:30<\/b><\/div><div class=\"col-9 t1\" style=\"padding-top: 30px!important\"><b class=\"tipo1\">SESS\u00c3O T\u00c9CNICA<\/b><span class=\"titulo\" style=\"line-height:25px\">Sess\u00e3o T\u00e9cnica III  <b class=\"autor\"><\/b><\/span><\/div><\/div><\/span><i aria-hidden=\"true\" class=\"fa-toggle fas fa-angle-down\"><\/i><\/div><div id=\"elementor-tab-content-2226\" class=\"eael-accordion-content clearfix\" data-tab=\"6\" aria-labelledby=\"div-classrowdiv-classcol-3-horab-classdia03bb-classmesagostobb-classhora21530bdivdiv-classcol-9-t1-stylepadding-top-30pximportantb-classtipo1-sesso-tcnicabspan-classtitulo-styleline-height25pxsesso-tcnica-iii-b-classautorbspandivdiv\"><table><tbody><tr><td>Quasi-N4-lattices and their logic<br \/><strong>Clodomir Silva Lima Neto, Thiago Silva, Umberto Rivieccio<\/strong><\/td><\/tr><\/tbody><\/table><\/div>\n\t\t\t\t\t<\/div><\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2301ba3 elementor-widget elementor-widget-html\" data-id=\"2301ba3\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\n<style>\n#sembox1 .fa-toggle{\n    color:transparent;\n}\n\n.bio{\n    background:#f0f0f0;\n    padding:20px;\n    text-align:justify;\n    margin-top:20px;\n}\np{text-align:justify;}\n.bio img{\n    border-radius:100px;\n    width:80px;\n    float:left;\n       border-radius:100px;\n       border-bottom: 5px solid #005943;\n       margin:0;\n       margin-right:20px;\n       margin-bottom:20px;\n}\n\n.bio p{\n    clear:both;\n    border-top:1px solid #ccc;\n    padding-top:15px;\n}\n\n.bio h3{\n    color:#005943;\n    font-size:20px;\n    padding-bottom:0;\n    margin-bottom:5px;\n}\n.bio h4{\n    font-size:15px;\n    color:#333;\n}\n.bio strong{display:block;border-top:1px solid #ccc;\n    clear:both;\n    padding-top:10px;\n    margin-top:20px;\n}\n.nome{}\n.mes{\n    display:block;\n    font-weight: 400;\n    font-size:13px;\n    padding-bottom: 5px\n}\n.dia{\n    font-size:40px;\n    font-weight: bold\n}\n.hora2{\n    font-weight: 400;\n}\n .hora{\n     font-weight: 400;\n\n    margin-left: 12px;\ntext-align:center;\nborder: 1px solid #005943;\npadding-top:20px;\ncolor:#005943;\nmax-width:20%!important;\nbackground:#fff;\npadding-bottom:30px;\n }\n .titulo{\n\ndisplay:block; \npadding-top:11px;\n font-size:15px;\n     line-height: 17px\n }\n\n.t1{padding-right:0;\n    padding-top:10px;\n}\n.autor{\n    display:block;\n    color:#005943;\n    padding-top:5px;\n    font-size:13px;\n}\n.foto{\n    padding:10px;\n \n}\n.foto img{\n       border-radius:100px;\n       border-bottom: 5px solid #005943;\n}\n.tipo1{\n    \nfont-size:11px;    \nbackground:#005943;\ncolor:#fff;\npadding:3px 7px;\nborder-radius:50px;\nfont-weight: 400;\n;\nmargin-bottom:8px;\n}\n\ntd{    padding: 10px 10px;\n    border: 1px solid #f1f1f1;\n    border-bottom: 0;\n    border-left: 0;\n    background: #f2f2f2!important;\n    margin-top: 8px;\n    display: block;\n \n    border-left: 3px solid #005943!important;\n    border-radius: 50p;\n    color: #000;}\n    \n    td b, td strong{\n    color:#005943;\n    font-size:12px;\n} \n<\/style>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b58a292 elementor-widget elementor-widget-html\" data-id=\"b58a292\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"sobre\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Sobre o evento<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-41e4e45 elementor-widget elementor-widget-text-editor\" data-id=\"41e4e45\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\">O Terceiro Workshop Brasileiro de L\u00f3gica (WBL\u201922) \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.<\/span><\/p><p><span style=\"font-weight: 400;\">Esta edi\u00e7\u00e3o ser\u00e1 co-alocada com o XLII Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o (CSBC 2022), que ocorre entre 31\/07 e 05\/08\/2022. A data espec\u00edfica para o workshop ser\u00e1 anunciada em breve.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-562f59c elementor-widget elementor-widget-video\" data-id=\"562f59c\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;video_type&quot;:&quot;hosted&quot;,&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;image_overlay&quot;:{&quot;url&quot;:&quot;https:\\\/\\\/csbc.sbc.org.br\\\/2022\\\/wp-content\\\/uploads\\\/2022\\\/02\\\/WBL.png&quot;,&quot;id&quot;:3949,&quot;size&quot;:&quot;&quot;},&quot;controls&quot;:&quot;yes&quot;,&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-hosted-video elementor-wrapper elementor-open-inline\">\n\t\t\t\t\t<video class=\"elementor-video\" src=\"https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/02\/WBL.mp4\" controls=\"\" preload=\"metadata\" controlsList=\"nodownload\"><\/video>\n\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" style=\"background-image: url(https:\/\/csbc.sbc.org.br\/2022\/wp-content\/uploads\/2022\/02\/WBL.png);\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"Reproduzir v\u00eddeo\" tabindex=\"0\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-play\"><\/i>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2b1ca02 elementor-widget elementor-widget-html\" data-id=\"2b1ca02\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"topicos\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">T\u00f3picos de interesse<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-286991b elementor-widget elementor-widget-text-editor\" data-id=\"286991b\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\">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:<\/span><\/p><ul><li><span style=\"font-weight: 400;\">Assistentes de provas<\/span><\/li><li><span style=\"font-weight: 400;\">Frameworks l\u00f3gicos<\/span><\/li><li><span style=\"font-weight: 400;\">Fundamenta\u00e7\u00e3o da computa\u00e7\u00e3o, f\u00edsica e matem\u00e1tica<\/span><\/li><li><span style=\"font-weight: 400;\">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.<\/span><\/li><li><span style=\"font-weight: 400;\">L\u00f3gicas n\u00e3o-cl\u00e1ssicas<\/span><\/li><li><span style=\"font-weight: 400;\">Ontologias<\/span><\/li><li><span style=\"font-weight: 400;\">Prova autom\u00e1tica de teoremas<\/span><\/li><li><span style=\"font-weight: 400;\">SAT solvers<\/span><\/li><li><span style=\"font-weight: 400;\">Teoria da prova<\/span><\/li><li><span style=\"font-weight: 400;\">Verifica\u00e7\u00e3o formal de sistemas<\/span><\/li><li><span style=\"font-weight: 400;\">Verifica\u00e7\u00e3o de modelos<\/span><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1678142 elementor-widget elementor-widget-html\" data-id=\"1678142\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"submissao\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Instru\u00e7\u00f5es para submiss\u00e3o\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-742dd69 elementor-widget elementor-widget-text-editor\" data-id=\"742dd69\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\">Artigos a serem submetidos devem ser redigidos no template da SBC (<a href=\"http:\/\/tinyurl.com\/sbc-template-artigos\">http:\/\/tinyurl.com\/sbc-template-artigos<\/a>) com tamanho entre 6 (seis) e 8 (oito) p\u00e1ginas. <\/span><\/p><p><span style=\"font-weight: 400;\">As submiss\u00f5es devem ser feitas pelo sistema JEMS (<a href=\"https:\/\/jems.sbc.org.br\/home.cgi?c=4030\">https:\/\/jems.sbc.org.br\/home.cgi?c=4030<\/a>) em ingl\u00eas ou em portugu\u00eas.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-faec033 elementor-widget elementor-widget-html\" data-id=\"faec033\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"datasimportantes\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Datas Importantes\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f3e750f elementor-widget elementor-widget-text-editor\" data-id=\"f3e750f\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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 aria-level=\"1\">Limite para submiss\u00e3o dos trabalhos:\u00a0<s>15\/03<\/s>\u00a0<s>31\/03<\/s>\u00a007\/04 (final)<\/li><li aria-level=\"1\">Divulga\u00e7\u00e3o dos resultados:\u00a0<s>06\/05<\/s>\u00a010\/05<\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Envio das vers\u00f5es finais dos artigos: 20\/05<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Prazo de Inscri\u00e7\u00e3o dos autores: 20\/05<\/span><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-aef3134 elementor-widget elementor-widget-html\" data-id=\"aef3134\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"inscricaoautores\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Inscri\u00e7\u00e3o de autores\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7b4c8c4 elementor-widget elementor-widget-text-editor\" data-id=\"7b4c8c4\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\">Para que um artigo aceito seja apresentado e inclu\u00eddo nos anais do evento, \u00e9 necess\u00e1rio que ao menos um dos autores do artigo realize a sua inscri\u00e7\u00e3o no evento na categoria profissional. Cada inscri\u00e7\u00e3o na categoria profissional d\u00e1 direito \u00e0 publica\u00e7\u00e3o de um \u00fanico artigo, considerando qualquer um dos eventos-base ou eventos-sat\u00e9lite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC dever\u00e3o pagar uma \u201ctaxa de publica\u00e7\u00e3o\u201d por artigo adicional. O valor dessa taxa pode ser visto na p\u00e1gina de inscri\u00e7\u00f5es do CSBC 2022.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5e27140 elementor-widget elementor-widget-html\" data-id=\"5e27140\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"publicacao\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Publica\u00e7\u00e3o de trabalhos\n\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d9ec04d elementor-widget elementor-widget-text-editor\" data-id=\"d9ec04d\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\">Os artigos aceitos ser\u00e3o publicados na SBC Open Lib, a biblioteca digital da SBC, na s\u00e9rie Anais do <\/span><span style=\"font-weight: 400;\">Workshop Brasileiro de L\u00f3gica (WBL)<\/span><span style=\"font-weight: 400;\">, ISSN 2763-8731, dispon\u00edvel em https:\/\/sol.sbc.org.br\/index.php\/wbl. Todos os artigos ser\u00e3o indexados com DOI.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e9e32c5 elementor-widget elementor-widget-html\" data-id=\"e9e32c5\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"organizacao\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Organiza\u00e7\u00e3o\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f9e9f8b elementor-widget elementor-widget-text-editor\" data-id=\"f9e9f8b\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\"><strong>Organizador Geral:<\/strong> <\/span><\/p><p><span style=\"font-weight: 400;\">Marlo Vieira dos Santos e Souza (UFBA)<\/span><\/p><p><span style=\"font-weight: 400;\"><strong>Organizadoras do Comit\u00ea de Programa:<\/strong> <\/span><\/p><p><span style=\"font-weight: 400;\">Cl\u00e1udia Nalon (UnB)<br \/>Elaine Pimentel (UFRN)<\/span><\/p><p><strong>Apoio local: <\/strong><\/p><p><span style=\"font-weight: 400;\">Bruno Lopes (UFF)<\/span><\/p><p><strong>Comit\u00ea de programa:<\/strong><\/p><ul><li><span style=\"font-weight: 400;\">Aline Andrade (UFBA)<\/span><\/li><li><span style=\"font-weight: 400;\">Bruno Lopes (UFF)<\/span><\/li><li><span style=\"font-weight: 400;\">Carlos Olarte (UFRN)<\/span><\/li><li><span style=\"font-weight: 400;\">Cl\u00e1udia Nalon (UnB) (Co-Chair)<\/span><\/li><li><span style=\"font-weight: 400;\">Daniele Nantes-Sobrinho (UnB)<\/span><\/li><li><span style=\"font-weight: 400;\">Edward Hermann Haeusler (PUC-Rio)<\/span><\/li><li><span style=\"font-weight: 400;\">Elaine Pimentel (UFRN) (Co-Chair)<\/span><\/li><li><span style=\"font-weight: 400;\">Francicleber Ferreira (UFC)<\/span><\/li><li><span style=\"font-weight: 400;\">Jefferson Santos (FGV e PUC-Rio)<\/span><\/li><li><span style=\"font-weight: 400;\">Marcelo Finger (USP)<\/span><\/li><li><span style=\"font-weight: 400;\">Mario Benevides (UFF)<\/span><\/li><li><span style=\"font-weight: 400;\">Marlo Souza (UFBA)<\/span><\/li><li><span style=\"font-weight: 400;\">Mauricio Ayala-Rinc\u00f3n (UnB)<\/span><\/li><li><span style=\"font-weight: 400;\">Renata Wassermann (USP)<\/span><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c81061d elementor-widget elementor-widget-html\" data-id=\"c81061d\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"contato\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"section-title\" style=\"font-size:40px\">\n            <span class=\"sub-title\"><\/span>\n\t\t\t\n<em class=\"title-bar-shap\">Contato\n<\/em>\n        <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ec7c136 elementor-widget elementor-widget-text-editor\" data-id=\"ec7c136\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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=\"font-weight: 400;\">Em caso de d\u00favidas, entre em contato atrav\u00e9s do e-mail: nalon@unb.br ou elaine.pimentel@gmail.com<\/span><\/p>\t\t\t\t\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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-0fdcb1b elementor-hidden-mobile\" data-id=\"0fdcb1b\" data-element_type=\"column\" data-e-type=\"column\" id=\"menuside\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7d0531d elementor-widget elementor-widget-heading\" data-id=\"7d0531d\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" 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\">Menu<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-50795b8 elementor-align-left elementor-widget elementor-widget-button\" data-id=\"50795b8\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#programacao\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Programa\u00e7\u00e3o<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d0cd4a2 elementor-align-left elementor-widget elementor-widget-button\" data-id=\"d0cd4a2\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/sol.sbc.org.br\/index.php\/wbl\/issue\/view\/947\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Anais<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0d4b4b8 elementor-align-left elementor-widget elementor-widget-button\" data-id=\"0d4b4b8\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#sobre\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Sobre o evento<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-08fedce elementor-widget elementor-widget-button\" data-id=\"08fedce\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#topicos\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">T\u00f3picos de Interesse<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1a400a7 elementor-widget elementor-widget-button\" data-id=\"1a400a7\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#submissao\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Instru\u00e7\u00f5es para submiss\u00e3o<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3edad05 elementor-widget elementor-widget-button\" data-id=\"3edad05\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#datasimportantes\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Datas Importantes<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1029d15 elementor-widget elementor-widget-button\" data-id=\"1029d15\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#inscricaoautores\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Inscri\u00e7\u00e3o de autores<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8403e41 elementor-widget elementor-widget-button\" data-id=\"8403e41\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#publicacao\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Publica\u00e7\u00e3o de trabalhos<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-13dd708 elementor-widget elementor-widget-button\" data-id=\"13dd708\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#organizacao\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Organiza\u00e7\u00e3o<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-410c34c elementor-align-left elementor-widget elementor-widget-button\" data-id=\"410c34c\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;ekit_we_effect_on&quot;:&quot;none&quot;}\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"#contato\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Contato<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\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<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>WBL Workshop Brasileiro de L\u00f3gica Programa\u00e7\u00e3o 03Agosto09:00SESS\u00c3O T\u00c9CNICASess\u00e3o T\u00e9cnica I Construindo Tableaux para L\u00f3gica Linear IntuicionistaHugo Borges Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical LogicRenato Reis Leme, Giorgio Venturi, Bruno Lopes Another Calculational Proof of Cantor&#8217;s TheoremM\u00e1rcia Rosana Cerioli, Renata de Freitas, Petrucio Viana 03Agosto11:00PALESTRATowards expressiveness and complexity in Propositional [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"inline_featured_image":false,"footnotes":""},"class_list":["post-3282","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/pages\/3282","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/comments?post=3282"}],"version-history":[{"count":115,"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/pages\/3282\/revisions"}],"predecessor-version":[{"id":6849,"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/pages\/3282\/revisions\/6849"}],"wp:attachment":[{"href":"https:\/\/csbc.sbc.org.br\/2022\/wp-json\/wp\/v2\/media?parent=3282"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}