{"id":9158,"date":"2024-03-15T19:35:03","date_gmt":"2024-03-15T19:35:03","guid":{"rendered":"https:\/\/csbc.sbc.org.br\/2024\/?page_id=9158"},"modified":"2024-07-04T17:50:03","modified_gmt":"2024-07-04T20:50:03","slug":"wbl","status":"publish","type":"page","link":"https:\/\/csbc.sbc.org.br\/2024\/wbl\/","title":{"rendered":"WBL &#8211; Workshop Brasileiro de L\u00f3gica"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"9158\" class=\"elementor elementor-9158\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0a3ba60 e-flex e-con-boxed e-con e-parent\" data-id=\"0a3ba60\" 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-67e0fc4 elementor-widget elementor-widget-heading\" data-id=\"67e0fc4\" 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<h1 class=\"elementor-heading-title elementor-size-default\">WBL<span style=\"font-weight:normal;line-height:1.1em\"> - 5\u00ba Workshop Brasileiro de L\u00f3gica<\/span><\/h1>\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-0ea5134 e-flex e-con-boxed elementor-invisible e-con e-parent\" data-id=\"0ea5134\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ef7ca13 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"ef7ca13\" 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<div class=\"elementor-element elementor-element-383609b elementor-widget elementor-widget-text-editor\" data-id=\"383609b\" 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<h2>Programa\u00e7\u00e3o &#8211; Trabalhos Aceitos<\/h2>\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-7ca6f35 programacao_evento elementor-widget elementor-widget-n-accordion\" data-id=\"7ca6f35\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;max_items_expended&quot;:&quot;multiple&quot;,&quot;default_state&quot;:&quot;expanded&quot;,&quot;n_accordion_animation_duration&quot;:{&quot;unit&quot;:&quot;ms&quot;,&quot;size&quot;:400,&quot;sizes&quot;:[]}}\" data-widget_type=\"nested-accordion.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-n-accordion\" aria-label=\"Accordion. Open links with Enter or Space, close with Escape, and navigate with Arrow Keys\">\n\t\t\t\t\t\t<details id=\"e-n-accordion-item-1300\" class=\"e-n-accordion-item\" open>\n\t\t\t\t<summary class=\"e-n-accordion-item-title\" data-accordion-index=\"1\" tabindex=\"0\" aria-expanded=\"true\" aria-controls=\"e-n-accordion-item-1300\" >\n\t\t\t\t\t<span class='e-n-accordion-item-title-header'><h2 class=\"e-n-accordion-item-title-text\"> <span style=\"color:#fff\">Quinta-Feira (25\/07)<br \/> <span class=\"prog_sanfona_local\" style=\"color:#c7d4e8;font-size:0.85em;font-weight:normal\">Local: T\u00e9rreo - Sala Cajuzinho (110)<\/span><\/span> <\/h2><\/span>\n\t\t\t\t\t\t\t<span class='e-n-accordion-item-title-icon'>\n\t\t\t<span class='e-opened' ><i aria-hidden=\"true\" class=\"fas fa-calendar-minus\"><\/i><\/span>\n\t\t\t<span class='e-closed'><i aria-hidden=\"true\" class=\"far fa-calendar-alt\"><\/i><\/span>\n\t\t<\/span>\n\n\t\t\t\t\t\t<\/summary>\n\t\t\t\t<div role=\"region\" aria-labelledby=\"e-n-accordion-item-1300\" class=\"elementor-element elementor-element-782c0eb e-con-full e-flex e-con e-child\" data-id=\"782c0eb\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ad2bcd5 elementor-widget elementor-widget-n-accordion\" data-id=\"ad2bcd5\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;default_state&quot;:&quot;all_collapsed&quot;,&quot;max_items_expended&quot;:&quot;multiple&quot;,&quot;n_accordion_animation_duration&quot;:{&quot;unit&quot;:&quot;ms&quot;,&quot;size&quot;:400,&quot;sizes&quot;:[]}}\" data-widget_type=\"nested-accordion.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-n-accordion\" aria-label=\"Accordion. Open links with Enter or Space, close with Escape, and navigate with Arrow Keys\">\n\t\t\t\t\t\t<details id=\"prog_wcama\" class=\"e-n-accordion-item\" >\n\t\t\t\t<summary class=\"e-n-accordion-item-title\" data-accordion-index=\"1\" tabindex=\"0\" aria-expanded=\"false\" aria-controls=\"prog_wcama\" >\n\t\t\t\t\t<span class='e-n-accordion-item-title-header'><h2 class=\"e-n-accordion-item-title-text\"> <span style=\"padding:1px;border-radius: 10px;background:#f1f1f1;color:#aaa\">16:30<\/span><\/br>Sess\u00e3o T\u00e9cnica<span style=\"font-weight:normal\"><\/b><br \/><\/span><\/br> <\/h2><\/span>\n\t\t\t\t\t\t\t<span class='e-n-accordion-item-title-icon'>\n\t\t\t<span class='e-opened' ><i aria-hidden=\"true\" class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t<span class='e-closed'><i aria-hidden=\"true\" class=\"fas fa-plus\"><\/i><\/span>\n\t\t<\/span>\n\n\t\t\t\t\t\t<\/summary>\n\t\t\t\t<div role=\"region region\" aria-labelledby=\"e-n-accordion-item-1300 prog_wcama\" class=\"elementor-element elementor-element-e57a8ec e-con-full e-flex e-con e-child\" data-id=\"e57a8ec\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-154e7e5 elementor-widget elementor-widget-elementskit-tablepress\" data-id=\"154e7e5\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"elementskit-tablepress.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elemenetskit-tablepress ekit-wid-con\" id=\"ekit_tablepress_154e7e5\">\n<table id=\"tablepress-62\" class=\"tablepress tablepress-id-62\">\n<thead>\n<tr class=\"row-1\">\n\t<th class=\"column-1\">Hor\u00e1rio<\/th><th class=\"column-2\">Apresenta\u00e7\u00e3o<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-striping row-hover\">\n<tr class=\"row-2\">\n\t<td class=\"column-1\">16:30<\/td><td class=\"column-2\"><b>Logical Approximation and Formal Verification of Neural Networks<\/b><br \/>\nMarcelo Finger, Jo\u00e3o Lobo, Sandro Preto<\/td>\n<\/tr>\n<tr class=\"row-3\">\n\t<td class=\"column-1\">16:50<\/td><td class=\"column-2\"><b>Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem<\/b><br \/>\nJo\u00e3o Pedro de Ara\u00fajo Lima, Anne C. Rocha, Alexandre Arruda, Dmontier Arag\u00e3o Jr.<\/td>\n<\/tr>\n<tr class=\"row-4\">\n\t<td class=\"column-1\">17:10<\/td><td class=\"column-2\"><b>Detec\u00e7\u00e3o de conflitos diretos em redes IoT utilizando o Maude<\/b><br \/>\nMatheus de Azevedo Mar Pereira, Daniel Ventura<\/td>\n<\/tr>\n<tr class=\"row-5\">\n\t<td class=\"column-1\">17:30<\/td><td class=\"column-2\"><b>Sistemas de Tipos para Programa\u00e7\u00e3o Concorrente: Um Estudo de Caso<\/b><br \/>\nClaudio Henrique Oliveira Ribeiro, Bruno Silvestre, Daniel Ventura<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-62 from cache --><\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/details>\n\t\t\t\t\t\t<details id=\"prog_wcama\" class=\"e-n-accordion-item\" >\n\t\t\t\t<summary class=\"e-n-accordion-item-title\" data-accordion-index=\"2\" tabindex=\"-1\" aria-expanded=\"false\" aria-controls=\"prog_wcama\" >\n\t\t\t\t\t<span class='e-n-accordion-item-title-header'><h2 class=\"e-n-accordion-item-title-text\"> <span style=\"padding:1px;border-radius: 10px;background:#f1f1f1;color:#aaa\">17:50<\/span><\/br>Palestra: <span style=\"font-weight:normal\"> L\u00f3gica e Intelig\u00eancia Artificial<\/b><br \/><\/span><\/br> <\/h2><\/span>\n\t\t\t\t\t\t\t<span class='e-n-accordion-item-title-icon'>\n\t\t\t<span class='e-opened' ><i aria-hidden=\"true\" class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t<span class='e-closed'><i aria-hidden=\"true\" class=\"fas fa-plus\"><\/i><\/span>\n\t\t<\/span>\n\n\t\t\t\t\t\t<\/summary>\n\t\t\t\t<div role=\"region region\" aria-labelledby=\"e-n-accordion-item-1300 prog_wcama\" class=\"elementor-element elementor-element-aff1916 e-con-full e-flex e-con e-child\" data-id=\"aff1916\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ff5b7e9 elementor-widget elementor-widget-elementskit-team\" data-id=\"ff5b7e9\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"elementskit-team.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"ekit-wid-con\">\t\t\t\t\t\t\t\t\n\t\t<div class=\"profile-card elementor-animation- text-center ekit-team-style-default\">\n\t\t\t\n\t\t\t\t<div class=\"profile-header ekit-team-img ekit-img-overlay ekit-team-img-block\" >\n\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"312\" height=\"312\" src=\"https:\/\/csbc.sbc.org.br\/2024\/wp-content\/uploads\/2024\/07\/claudia_nalon.jpg\" class=\"attachment-large size-large wp-image-13242\" alt=\"\" srcset=\"https:\/\/csbc.sbc.org.br\/2024\/wp-content\/uploads\/2024\/07\/claudia_nalon.jpg 312w, https:\/\/csbc.sbc.org.br\/2024\/wp-content\/uploads\/2024\/07\/claudia_nalon-300x300.jpg 300w, https:\/\/csbc.sbc.org.br\/2024\/wp-content\/uploads\/2024\/07\/claudia_nalon-150x150.jpg 150w\" sizes=\"(max-width: 312px) 100vw, 312px\" \/>\t\t\t\t<\/div><!-- .profile-header END -->\n\t\t\t\n\n\t\t\t\t<div class=\"profile-body\">\n\t\t\t\t\t\n\t\t\t\t\t<h2 class=\"profile-title\">\n\t\t\t\t\t\t\t\t\t\t\tCl\u00e1udia Nalon\t\t\t\t\t\t\t\t\t\t<\/h2>\n\t\t\t\t\t<p class=\"profile-designation\">Professora da Universidade de Bras\u00edlia (UnB)<\/p>\n\t\t\t\t\t\t\t\t\t\t<p class=\"profile-content\">Resumo: O termo \u201cintelig\u00eancia artificial\u201d foi cunhado em preced\u00eancia ao famoso encontro ocorrido em Dartmouth, em 1956. Na discuss\u00e3o de seus fundamentos, dois aspectos s\u00e3o considerados essenciais para a caracteriza\u00e7\u00e3o de intelig\u00eancia em ambientes computacionais: aprendizado e racioc\u00ednio. Nesta palestra, n\u00f3s discutiremos ambos os aspectos e os motivos pelos quais l\u00f3gica ainda \u00e9, de fato, essencial na produ\u00e7\u00e3o de comportamentos inteligentes.<\/p>\n\t\t\t\t\t\t\t\t\t<\/div><!-- .profile-body END -->\n\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\n\t\t\t\n\t\t\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/details>\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>\n\t\t\t\t\t<\/details>\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-ab87be9 elementor-widget elementor-widget-text-editor\" data-id=\"ab87be9\" 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<h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Sobre o Evento<\/h2><p style=\"text-align: left;\">O <strong>Quinto Workshop Brasileiro de L\u00f3gica (WBL\u201924)<\/strong> \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 quinta 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 style=\"text-align: left;\">Esta edi\u00e7\u00e3o ser\u00e1 co-alocada com o XLIV Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o (CSBC 2024), que ocorre em Bras\u00edlia (DF) entre 21\/07 e 25\/07\/2024.<span style=\"color: #222222;\"> O Workshop ser\u00e1 realizado no dia 25\/07\/2024, entre 16:00 e 18:00 (local a definir).<\/span><\/p><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">T\u00f3picos de Interesse<\/h2><p style=\"text-align: left;\">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 style=\"text-align: left;\"><li>Assistentes de provas<\/li><li>C\u00e1lculo lambda<\/li><li><em>Frameworks<\/em> 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><em>SAT solvers<\/em><\/li><li>Teoria da prova<\/li><li>Teoria de tipos<\/li><li>Verifica\u00e7\u00e3o formal de sistemas<\/li><li>Verifica\u00e7\u00e3o de modelos<\/li><\/ul><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Instru\u00e7\u00f5es de Submiss\u00e3o<\/h2><p style=\"text-align: left;\">Artigos a serem submetidos devem ser redigidos no template da SBC (<strong><a href=\"http:\/\/tinyurl.com\/sbc-template-artigos\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #1155cc;\"><u>http:\/\/tinyurl.com\/sbc-template-artigos<\/u><\/span><\/a><\/strong>) com tamanho entre 6 (seis) e 8 (oito) p\u00e1ginas.<\/p><p style=\"text-align: left;\">As submiss\u00f5es devem ser feitas pelo sistema JEMS<span style=\"color: #222222;\"> (<\/span><strong><a href=\"https:\/\/jems3.sbc.org.br\/events\/93\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #1155cc;\"><u>https:\/\/jems3.sbc.org.br\/events\/93<\/u><\/span><\/a><\/strong>) em ingl\u00eas ou em portugu\u00eas.<\/p><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Datas Importantes<\/h2><ul style=\"text-align: left;\"><li>Limite para submiss\u00e3o dos trabalhos: <span style=\"color: #222222;\"><del> 24\/03\/2024<\/del> \u00a003\/04\/2024<\/span><\/li><li>Divulga\u00e7\u00e3o dos resultados: <span style=\"color: #222222;\">26\/04\/2024<\/span><\/li><li>Envio das vers\u00f5es finais dos artigos: <span style=\"color: #222222;\">10\/05\/2024<\/span><\/li><li>Prazo de Inscri\u00e7\u00e3o dos autores: <span style=\"color: #222222;\">24\/05\/2024<\/span><\/li><\/ul><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Inscri\u00e7\u00e3o de Autores<\/h2><p style=\"text-align: left;\">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 2024.<\/p><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Publica\u00e7\u00e3o de trabalhos<\/h2><p style=\"text-align: left;\">Os artigos aceitos ser\u00e3o publicados na <em>SBC Open Lib<\/em>, a biblioteca digital da SBC, na s\u00e9rie Anais do Workshop Brasileiro de L\u00f3gica (WBL), ISSN 2763-8731, dispon\u00edvel em <a href=\"https:\/\/sol.sbc.org.br\/index.php\/wbl\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #1155cc;\"><u>https:\/\/sol.sbc.org.br\/index.php\/wbl<\/u><\/span><\/a>. Todos os artigos ser\u00e3o indexados com DOI.<\/p><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Aux\u00edlio para Estudantes<\/h2><p style=\"text-align: left;\">Este evento conta o apoio da Sociedade Brasileira de L\u00f3gica, com o aux\u00edlio a estudantes associados atrav\u00e9s da chamada da <strong>Chamada SBL 04\/2023<\/strong> (<a href=\"https:\/\/sbl.org.br\/pmwiki.php\/Main\/Apoio\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #1155cc;\"><u>https:\/\/sbl.org.br\/pmwiki.php\/Main\/Apoio<\/u><\/span><\/a>). O aux\u00edlio \u00e9 solicitado pela organiza\u00e7\u00e3o do evento. A manifesta\u00e7\u00e3o de interesse por estudantes encerrou-se em <strong>17\/05\/2024<\/strong>.<\/p><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Organiza\u00e7\u00e3o Geral<\/h2><ul style=\"text-align: left;\"><li>Cl\u00e1udia Nalon (UnB)<\/li><\/ul><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Organizadores do Comit\u00ea de Programa<\/h2><ul style=\"text-align: left;\"><li>Mauricio Ayala-Rinc\u00f3n (UnB)<\/li><li>Fl\u00e1vio Leonardo Cavalcanti de Moura (UnB)<\/li><\/ul><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Comit\u00ea de Programa<\/h2><ul style=\"text-align: left;\"><li>Bruno Lopes (UFF)<\/li><li>Carlos Olarte (UFRN)<\/li><li>Cl\u00e1udia Nalon (UnB)<\/li><li>Daniel Ventura (UFG)<\/li><li>Edward Hermann Haeusler (PUC-Rio)<\/li><li>Elaine Pimentel (UFRN)<\/li><li>Fl\u00e1vio Leonardo Cavalcanti de Moura (UnB) &#8211; Co-Chair<\/li><li>Francicleber Ferreira (UFC)<\/li><li>Jefferson Santos (FGV e PUC-Rio)<\/li><li>Marcelo Finger (USP)<\/li><li>Mario Benevides (UFF)<\/li><li>Marlo Souza (UFBA)<\/li><li>Mauricio Ayala-Rinc\u00f3n (UnB) &#8211; Co-Chair<\/li><li>Renata Wassermann (USP)<\/li><li>Thaynara de Lima (UFG)<\/li><\/ul><h2 style=\"text-align: left;\">\u00a0<\/h2><h2 style=\"text-align: left;\">Contato<\/h2><p style=\"text-align: left;\">Em caso de d\u00favidas, entre em contato atrav\u00e9s do e-mail: <strong><a href=\"mailto:ayala@unb.br\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #1155cc;\"><u>ayala@unb.br<\/u><\/span><\/a><\/strong> ou <strong><a href=\"mailto:flaviomoura@unb.br\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #1155cc;\"><u>flaviomoura@unb.br<\/u><\/span><\/a><\/strong>.<\/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\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>WBL &#8211; 5\u00ba Workshop Brasileiro de L\u00f3gica Programa\u00e7\u00e3o &#8211; Trabalhos Aceitos Quinta-Feira (25\/07) Local: T\u00e9rreo &#8211; Sala Cajuzinho (110) 16:30Sess\u00e3o T\u00e9cnica Editar Hor\u00e1rio Apresenta\u00e7\u00e3o 16:30 Logical Approximation and Formal Verification of Neural Networks Marcelo Finger, Jo\u00e3o Lobo, Sandro Preto 16:50 Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem Jo\u00e3o Pedro [&hellip;]<\/p>\n","protected":false},"author":7,"featured_media":5266,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","_joinchat":[],"footnotes":""},"class_list":["post-9158","page","type-page","status-publish","has-post-thumbnail","hentry","entry","has-media"],"_links":{"self":[{"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/pages\/9158","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/comments?post=9158"}],"version-history":[{"count":97,"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/pages\/9158\/revisions"}],"predecessor-version":[{"id":13773,"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/pages\/9158\/revisions\/13773"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/media\/5266"}],"wp:attachment":[{"href":"https:\/\/csbc.sbc.org.br\/2024\/wp-json\/wp\/v2\/media?parent=9158"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}