{"id":2324,"date":"2016-06-14T11:38:36","date_gmt":"2016-06-14T14:38:36","guid":{"rendered":"http:\/\/www.cecomp.univasf.edu.br\/?p=2324"},"modified":"2016-06-18T20:46:05","modified_gmt":"2016-06-18T23:46:05","slug":"professor-do-cecomp-apresenta-trabalho-cientifico-no-mexico","status":"publish","type":"post","link":"https:\/\/cecomp.univasf.edu.br\/index.php\/professor-do-cecomp-apresenta-trabalho-cientifico-no-mexico\/","title":{"rendered":"Professor do CECOMP apresenta trabalho cient\u00edfico no M\u00e9xico"},"content":{"rendered":"<p>O professor <a href=\"http:\/\/www.cecomp.univasf.edu.br\/index.php\/team-view\/prof-marcus-vinicius-midena-ramos\/\">Marcus Ramos<\/a>, do Colegiado de Engenharia de Computa\u00e7\u00e3o, participa entre os dias 16 e 19 de agosto de 2016 do<em> 23rd Workshop on Logic,\u00a0Language, Information and Computation<\/em>, a ser realizado no Departmento de Ci\u00eancia da Computa\u00e7\u00e3o na Benem\u00e9rita Universidad Aut\u00f3noma de Puebla, no M\u00e9xico. <!--more-->O WoLLIC \u00e9 um f\u00f3rum internacional anual sobre pesquisas inter-disciplinares envolvendo l\u00f3gica formal, teoria da computa\u00e7\u00e3o e da programa\u00e7\u00e3o, linguagem natural e racioc\u00ednio.<\/p>\n<p>Na ocasi\u00e3o, o professor Marcus apresentar\u00e1 o trabalho &#8220;<em>On the Formalization of Some Results of Context-Free Language Theory<\/em>&#8220;, fruto da sua pesquisa de doutorado rec\u00e9m-conclu\u00edda sobre o uso de assistentes de prova interativos na formaliza\u00e7\u00e3o matem\u00e1tica de linguagens livres de contexto. Os anais ser\u00e3o publicados numa edi\u00e7\u00e3o especial da LNCS (<em>Lecture Notes in Computer Science<\/em>) da <em>Springer Verlag<\/em>, uma das mais prestigiosas editoras do mundo na \u00e1rea de computa\u00e7\u00e3o. Mais informa\u00e7\u00f5es sobre o evento est\u00e3o dispon\u00edveis em <a href=\"http:\/\/www.wollic.cs.buap.mx\/\">http:\/\/www.wollic.cs.buap.mx\/<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>O professor Marcus Ramos, do Colegiado de Engenharia de Computa\u00e7\u00e3o, participa entre os dias 16 e 19 de agosto de 2016 do 23rd Workshop on Logic,\u00a0Language, Information and Computation, a ser realizado no Departmento de Ci\u00eancia da Computa\u00e7\u00e3o na Benem\u00e9rita Universidad Aut\u00f3noma de Puebla, no M\u00e9xico.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[43,46],"class_list":["post-2324","post","type-post","status-publish","format-standard","hentry","category-geral","tag-artigos","tag-ciencia"],"_links":{"self":[{"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/posts\/2324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/comments?post=2324"}],"version-history":[{"count":6,"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/posts\/2324\/revisions"}],"predecessor-version":[{"id":2403,"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/posts\/2324\/revisions\/2403"}],"wp:attachment":[{"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/media?parent=2324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/categories?post=2324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cecomp.univasf.edu.br\/index.php\/wp-json\/wp\/v2\/tags?post=2324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}