{"id":617,"date":"2010-09-12T17:02:35","date_gmt":"2010-09-12T17:02:35","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-saarbrucken-alemania\/"},"modified":"2010-09-16T10:13:30","modified_gmt":"2010-09-16T10:13:30","slug":"trabajo-de-logica-computacional-en-saarbrucken-alemania","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-saarbrucken-alemania\/","title":{"rendered":"Trabajo de L\u00f3gica Computacional en Saarbr\u00fccken (Alemania)"},"content":{"rendered":"<p>El <a href=\"http:\/\/www.mpi-inf.mpg.de\/departments\/rg1\/index.html\">Grupo de automatizaci\u00f3n de la L\u00f3gica<\/a> (del Instituto Max Planck en Saarbr\u00fccken, Alemania) ha publicado un <a href=\"http:\/\/www.mpi-inf.mpg.de\/departments\/rg1\/Researchers.pdf\">anuncio de ofertas de plazas<\/a>.<\/p>\n<p>\nLa investigaci\u00f3n del grupo se centra en la deducci\u00f3n autom\u00e1tica en fragmentos de la l\u00f3gica de primer orden. <\/p>\n<p>\nDesde el punto de vista te\u00f3rico trabajan en el desarrollo, an\u00e1lisis y combinaci\u00f3n de c\u00e1lculos l\u00f3gicos. <\/p>\n<p>\nDesde el punto de vista pr\u00e1ctico trabajan en la implementaci\u00f3n de demostradores autom\u00e1ticos de teoremas y otros sistemas deductivos y su aplicaci\u00f3n a la verificaci\u00f3n asistida por computador de software y hardware. <\/p>\n<p>\nAlgunos de los sistemas que desarrolla el grupo son <a href=\"http:\/\/spass.mpi-inf.mpg.de\/\">SPASS<\/a>, <a href=\"http:\/\/www.mpi-inf.mpg.de\/~uwe\/software\/#TSPASS\">SPASS+T<\/a> y <a href=\"http:\/\/www.waldmeister.org\/\">Waldmeister<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>El Grupo de automatizaci\u00f3n de la L\u00f3gica (del Instituto Max Planck en Saarbr\u00fccken, Alemania) ha publicado un anuncio de ofertas de plazas. La investigaci\u00f3n del grupo se centra en la deducci\u00f3n autom\u00e1tica en fragmentos de la l\u00f3gica de primer orden. Desde el punto de vista te\u00f3rico trabajan en el desarrollo, an\u00e1lisis y combinaci\u00f3n de c\u00e1lculos&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[13],"tags":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/617"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=617"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/617\/revisions"}],"predecessor-version":[{"id":644,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/617\/revisions\/644"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=617"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=617"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=617"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}