{"id":157,"date":"2010-01-28T09:03:31","date_gmt":"2010-01-28T09:03:31","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=157"},"modified":"2013-03-08T05:53:47","modified_gmt":"2013-03-08T05:53:47","slug":"par-2010-workshop-on-partiality-and-recursion-in-interactive-theorem-provers","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/par-2010-workshop-on-partiality-and-recursion-in-interactive-theorem-provers\/","title":{"rendered":"PAR-2010: Workshop on Partiality and Recursion in Interactive Theorem Provers"},"content":{"rendered":"<p>Dentro del marco del <a href=\"http:\/\/www.floc-conference.org\/ITP-home.html\">ITP&#8217;01<\/a> se va a celebrar el <a href=\"http:\/\/www.cs.st-andrews.ac.uk\/~ek\/PAR-10\/\">PAR-2010: Workshop on Partiality and Recursion in Interactive Theorem Provers<\/a>. <\/p>\n<p>Uno de los temas del congreso es la automatizaci\u00f3n de las demotraciones de terminaci\u00f3n de funciones. Sobre este tema hemos trabajado en  <a href=\"https:\/\/www.glc.us.es\">nuestro grupo<\/a> tanto en ACL2 como en PVS.<\/p>\n<p>El congreso se celebrar\u00e1 el 15 de Julio en Edimburgo. El plazo de env\u00edo de art\u00edculos termina el 19 de marzo.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dentro del marco del ITP&#8217;01 se va a celebrar el PAR-2010: Workshop on Partiality and Recursion in Interactive Theorem Provers. Uno de los temas del congreso es la automatizaci\u00f3n de las demotraciones de terminaci\u00f3n de funciones. Sobre este tema hemos trabajado en nuestro grupo tanto en ACL2 como en PVS. El congreso se celebrar\u00e1 el&#8230;<\/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":[164],"tags":[42,41,40],"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\/157"}],"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=157"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/157\/revisions"}],"predecessor-version":[{"id":3077,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/157\/revisions\/3077"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=157"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=157"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=157"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}