{"id":27,"date":"2013-01-12T15:09:16","date_gmt":"2013-01-12T17:09:16","guid":{"rendered":"https:\/\/wp.ufpel.edu.br\/weit\/?page_id=27"},"modified":"2019-06-04T14:12:16","modified_gmt":"2019-06-04T17:12:16","slug":"topicos","status":"publish","type":"page","link":"https:\/\/wp.ufpel.edu.br\/weit\/weit2013\/topicos\/","title":{"rendered":"T\u00f3picos de Interesse"},"content":{"rendered":"<p>Autores s\u00e3o convidados a submeter artigos originais, que tratem de trabalhos conclu\u00eddos ou em andamento, relacionados com pesquisas envolvendo aspectos te\u00f3ricos da computa\u00e7\u00e3o. Os principais t\u00f3picos de interesse incluem (mas n\u00e3o se restringem a) pesquisas nas \u00e1rea de:<\/p>\n<ul>\n<li>Algoritmos exatos e aproximativos<\/li>\n<li>An\u00e1lise est\u00e1tica<\/li>\n<li>An\u00e1lise de algoritmos<\/li>\n<li>Aut\u00f4matos temporais<\/li>\n<li>Categorias<\/li>\n<li>Conjuntos e L\u00f3gica Fuzzy<\/li>\n<li>Complexidade de problemas<\/li>\n<li>Dom\u00ednios<\/li>\n<li>Especifica\u00e7\u00e3o formal<\/li>\n<li>Fundamentos de Matem\u00e1tica Intervalar<\/li>\n<li>Gram\u00e1tica de grafos<\/li>\n<li>Institui\u00e7\u00f5es<\/li>\n<li>Linguagens Formais e Aut\u00f4matos<\/li>\n<li>L\u00f3gica para computa\u00e7\u00e3o<\/li>\n<li>Matem\u00e1tica Discreta<\/li>\n<li>Meta-heur\u00edsticas<\/li>\n<li>Modelos probabil\u00edsticos<\/li>\n<li>Modelos de computa\u00e7\u00e3o<\/li>\n<li>Otimiza\u00e7\u00e3o combinat\u00f3ria<\/li>\n<li>Pensamento Computacional<\/li>\n<li>Prova Interativa de Teoremas<\/li>\n<li>Redes de Petri<\/li>\n<li>Sem\u00e2ntica de linguagens orientadas a agentes<\/li>\n<li>Sem\u00e2ntica formal<\/li>\n<li>Sistemas de Conseq\u00fc\u00eancia<\/li>\n<li>Sistemas de tipos<\/li>\n<li>Sistemas Din\u00e2micos a Eventos Discretos<\/li>\n<li>Teoria da Informa\u00e7\u00e3o<\/li>\n<li>Verifica\u00e7\u00e3o de modelos<\/li>\n<li>Verifica\u00e7\u00e3o de programas<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Autores s\u00e3o convidados a submeter artigos originais, que tratem de trabalhos conclu\u00eddos ou em andamento, relacionados com pesquisas envolvendo aspectos te\u00f3ricos da computa\u00e7\u00e3o. Os principais t\u00f3picos de interesse incluem (mas n\u00e3o se restringem a) pesquisas nas \u00e1rea de: Algoritmos exatos e aproximativos An\u00e1lise est\u00e1tica An\u00e1lise de algoritmos Aut\u00f4matos temporais Categorias Conjuntos e L\u00f3gica Fuzzy Complexidade [&hellip;]<\/p>\n","protected":false},"author":234,"featured_media":0,"parent":12,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-27","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/27","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":8,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/27\/revisions"}],"predecessor-version":[{"id":579,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/27\/revisions\/579"}],"up":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/pages\/12"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/weit\/wp-json\/wp\/v2\/media?parent=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}