{"id":420,"date":"2010-08-17T11:24:47","date_gmt":"2010-08-17T11:24:47","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-innsbruck\/"},"modified":"2013-03-08T05:53:42","modified_gmt":"2013-03-08T05:53:42","slug":"trabajo-de-logica-computacional-en-innsbruck","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-innsbruck\/","title":{"rendered":"Trabajo de L\u00f3gica Computacional en Innsbruck"},"content":{"rendered":"<p>El <a href=\"http:\/\/cl-informatik.uibk.ac.at\">Grupo de L\u00f3gica Computacional<\/a> de la Universidad de Innsbruck (Austria) ha anunciado la <a href=\"https:\/\/lists.cam.ac.uk\/pipermail\/cl-isabelle-users\/2010-August\/msg00049.html\">oferta de una plaza para estudiante de doctorado<\/a>.<\/p>\n<p>El trabajo se realizar\u00e1 dentro del proyecto <a href=\"http:\/\/cl-informatik.uibk.ac.at\/news\/fwf-project-accepted-nbsp-28-june-2010\/\">Improving Certifiers for Termination Proofs<\/a> cuyo objetivo es el desarrollo de t\u00e9cnicas de terminaci\u00f3n en <a href=\"http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/index.html\">Isabelle\/HOL<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>El Grupo de L\u00f3gica Computacional de la Universidad de Innsbruck (Austria) ha anunciado la oferta de una plaza para estudiante de doctorado. El trabajo se realizar\u00e1 dentro del proyecto Improving Certifiers for Termination Proofs cuyo objetivo es el desarrollo de t\u00e9cnicas de terminaci\u00f3n en Isabelle\/HOL<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","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":[85,274],"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\/420"}],"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=420"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/420\/revisions"}],"predecessor-version":[{"id":3037,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/420\/revisions\/3037"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=420"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=420"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=420"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}