{"id":660,"date":"2010-09-21T05:26:57","date_gmt":"2010-09-21T05:26:57","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=660"},"modified":"2010-09-21T05:26:57","modified_gmt":"2010-09-21T05:26:57","slug":"trabajo-de-logica-computacional-en-kassel","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-kassel\/","title":{"rendered":"Trabajo de l\u00f3gica computacional en Kassel"},"content":{"rendered":"<p>\nEl <a href=\"http:\/\/cms.uni-kassel.de\/unicms\/index.php?id=31745\">Grupo de M\u00e9todos Formales y Verificaci\u00f3n<\/a> de la Universidad de Kassel, Alemania, ha publicado el anuncio de la <a href=\"http:\/\/www.illc.uva.nl\/LogicList\/newsitem.php?id=4089\">oferta de una plaza postdoctoral para trabajar en l\u00f3gica computacional<\/a>.<\/p>\n<p>\nEl trabajo se desarrollar\u00e1 en el proyecto ERC <a href=\"http:\/\/cms.uni-kassel.de\/unicms\/index.php?id=33225&#038;tx_ttnews[tt_news]=2253&#038;tx_ttnews[backPid]=32422&#038;cHash=7c9f19c080\">Model Checking Unleashed<\/a>.<\/p>\n<p>\nEl objetivo del trabajo es el estudio de aplicaciones no est\u00e1ndard de las t\u00e9cnicas de <a href=\"http:\/\/en.wikipedia.org\/wiki\/Model_checking\">verificaci\u00f3n de modelos<\/a> (en ingl\u00e9s, <i>model checking<\/i>) en varias \u00e1reas de ciencias de la verificaci\u00f3n y temas relacionados.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>El Grupo de M\u00e9todos Formales y Verificaci\u00f3n de la Universidad de Kassel, Alemania, ha publicado el anuncio de la oferta de una plaza postdoctoral para trabajar en l\u00f3gica computacional. El trabajo se desarrollar\u00e1 en el proyecto ERC Model Checking Unleashed. El objetivo del trabajo es el estudio de aplicaciones no est\u00e1ndard de las t\u00e9cnicas de&#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":[274,275,121],"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\/660"}],"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=660"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/660\/revisions"}],"predecessor-version":[{"id":661,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/660\/revisions\/661"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=660"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=660"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=660"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}