{"id":4351,"date":"2014-06-29T17:09:49","date_gmt":"2014-06-29T15:09:49","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4351"},"modified":"2014-06-29T17:09:49","modified_gmt":"2014-06-29T15:09:49","slug":"lecturas-del-grupo-de-logica-computacional-del-15-al-29-de-junio","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lecturas-del-grupo-de-logica-computacional-del-15-al-29-de-junio\/","title":{"rendered":"Lecturas del Grupo de L\u00f3gica Computacional (del 15 al 29 de junio)"},"content":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas las dos \u00faltimas semanas (del 15 al 19 de junio) en la lista de correo del <a href=\"https:\/\/www.glc.us.es\">grupo de l\u00f3gica computacional<\/a><\/p>\n<p>La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a>. Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.<\/p>\n<ul>\n<li><a href=\"http:\/\/bit.ly\/1qQOtzc\">Gibbs sampling in Haskell<\/a>. ~ D. Steinitz #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1kPLKVN\">A Simpl shortest path checker verification<\/a>. ~ C. Rizkallah. #Isabelle_HOL<\/li>\n<li><a href=\"http:\/\/bit.ly\/1lNTqZ9\">Category theory applied to functional programming<\/a>. ~ J.P. Villa #Haskell <\/li>\n<li><a href=\"http:\/\/bit.ly\/1q8IdTE\">SmartCheck: Redux<\/a>. ~ Lee Pike #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1kIsY33\">Abstracting an operational semantics to finite automata<\/a>. ~ N. Baklanova, W. Ricciotti &amp; M. Strecker #Isabelle_HOL<\/li>\n<li><a href=\"http:\/\/bit.ly\/1p9JoV4\">Initial experiments with TPTP-style automated theorem provers on ACL2  problems<\/a>. ~ S. Joosten et als. #ACL2 <\/li>\n<li><a href=\"http:\/\/bit.ly\/1p9KfoG\">Equivalence of the traditional and non-standard definitions of concepts from  real analysis<\/a>. ~ J. Cowles &amp; R. Gamboa #ACL2 <\/li>\n<li><a href=\"http:\/\/bit.ly\/1n0LhOV\">Formal verification of Medina&#8217;s sequence of polynomials for approximating arctangent<\/a>. ~ R. Gamboa &amp; J. Cowles #ACL2<\/li>\n<li><a href=\"http:\/\/bit.ly\/1n0LkKy\">An ACL2 mechanization of an axiomatic framework for weak memory<\/a>. ~ B. Selfridge #ACL2<\/li>\n<li><a href=\"http:\/\/bit.ly\/1kNgbHA\">Teaching software architecture using Haskell<\/a>. ~ A. Serrano #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1kSsvv8\">Monad transformers for backtracking search<\/a>. ~ J. Hedges #Haskell #Logic #SAT<\/li>\n<li><a href=\"http:\/\/bit.ly\/1kSsNlL\">Lagrange\u2019s four-square theorem<\/a>. ~ Y. Watase #Mizar<\/li>\n<li><a href=\"http:\/\/bit.ly\/1phLLpR\">Solving the 15-Puzzle with Haskell and diagrams<\/a>. ~ J. Rosenbluth #Haskel #AI #Diagrams<\/li>\n<li><a href=\"http:\/\/bit.ly\/1phNuvk\">Barely functional: Writing a real program in Haskell<\/a>. ~ B. Kirwin #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1phRT18\">Experience report: The next 1100 Haskell programmers<\/a>. ~ J.C. Blanchette #Haskell<\/li>\n<li><a href=\"http:\/\/www.bourbaki.ens.fr\/TEXTES\/1086.pdf\">Developments in formal proofs<\/a>. ~ T.C. Hales #Math #CompSci #ITP<\/li>\n<li><a href=\"http:\/\/bit.ly\/1kSu9gt\">A verified decision procedure for MSO on words based on derivatives of regular expressions<\/a>. ~ D. Traytel &amp; T. Nipkow #AFP #Isabelle_HOL<\/li>\n<li><a href=\"http:\/\/bit.ly\/1qKiKlW\">Lem: reusable engineering of real-world semantics<\/a>. ~ D.P. Mulligan et als. #ITP #Coq #HOL4 #Isabelle<\/li>\n<li><a href=\"http:\/\/bit.ly\/1qKkVWN\">The mathematics of secret sharing<\/a>. ~ Jeremy Kun #Math #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1jRaWHM\">The list monad<\/a>. ~ Bartosz Milewski | FP School of Haskell. #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1xr3NqF\">On the correctness of transactional memory algorithms<\/a>. ~ M. Lesani #PhD_Thesis #PVS<\/li>\n<li><a href=\"http:\/\/bit.ly\/1qPxX5j\">US intelligence agency wants brain-like algorithms for complex information processing<\/a>. ~ M. Cooney @NWWlayer8 #AI<\/li>\n<li><a href=\"http:\/\/bit.ly\/SQiHq5\">Adding parallel Haskell to the undergraduate programming language course<\/a>. ~ D.P. Bunde et als. #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1lmk9aC\">Teenage Haskell<\/a>. ~ Tim Docker #Teaching #Haskell #Gloss<\/li>\n<li><a href=\"http:\/\/bit.ly\/1pJm798\">&#8220;Si me equivoco en un algoritmo, \u00bfpuedo terminar en la c\u00e1rcel?&#8221;<\/a>. ~ M\u00f3nica G. Salomone <\/li>\n<li><a href=\"http:\/\/bit.ly\/1i5Kn6a\">A generic numbering system based on Catalan families of combinatorial objects<\/a>. ~ P. Tarau #Haskell <\/li>\n<li><a href=\"http:\/\/bit.ly\/1wZgcRF\">Logic and computation<\/a>. ~ B. Pientka #eBook #Logic #CompSci<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas las dos \u00faltimas semanas (del 15 al 19 de junio) en la lista de correo del grupo de l\u00f3gica computacional La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en Twitter. Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","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":[177],"tags":[292],"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\/4351"}],"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=4351"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4351\/revisions"}],"predecessor-version":[{"id":4352,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4351\/revisions\/4352"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4351"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4351"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4351"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}