Meses: marzo 2012

Esta entrada es una recopilación de lecturas compartidas en la lista de correo del grupo de lógica computacional durante el mes de Febrero de 2012. La anterior recopilación fue la de Enero de 2012.

La recopilación está ordenada por la fecha de su publicación en la lista. Al
final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.

1. Emergence and refinement. #Sistemas_complejos
2. Formalizing a hierarchical file system. #PVS
3. Etude et formalisation de la méthode de Wu dans Coq. #Tesis #Coq
4. Using PVS to investigate incidents through the lens of distributed ORG-LIST-END-MARKER cognition. #PVS
5. Formal system verification for trustworthy embedded systems. #Isabelle
6. The mechanical verification of a DPLL-based satisfiability solver. #PVS
7. Innovación en el tratamiento de la información desde la Ingeniería del ORG-LIST-END-MARKER Conocimiento (1/2)
8. Innovación en el tratamiento de la información desde la Ingeniería del ORG-LIST-END-MARKER Conocimiento (2/2)
9. A unified treatment of syntax with binders.
10. The age of Big Data. #IA
11. Crear moléculas desde cero sin la endiablada ecuación de Schrödinger. #IA
12. Refinement for monadic programs. #Isabelle
13. Dijkstra’s shortest path algorithm. #Isabelle
14. Computational topology.
15. Category theory and functional programming. #Haskell
16. The artist in the computer scientist: more humanity to our research.
17. When formal systems kill: computer ethics and formal methods.
18. Mathematics in the age of the Turing machine. #Panorama #DAO
19. The reflective Milawa theorem prover is sound. #ACL2 #HOL4
20. Ejercicios de “Informática de 1º de Matemáticas” (2011-12). #Haskell
21. Temas de programación funcional con Haskell (curso 2011-12). #Haskell
22. Executable transitive closures. #Isabelle