Historias
Slashboxes
Comentarios
Búsqueda

Leslie Lamport, en Móstoles (Madrid)

editada por Yonderboy el 16 de Mayo 2007, 17:06h   Printer-friendly   Email story
desde el dept. LaTeXeando-el-mundo
Programación Cultura hacker LaTeX
Baranda nos cuenta: «Leslie Lamport, muy conocido por ser el autor original de LaTeX pero merecedor de ser conocido por muchas otras cosas, va a impartir dos charlas en Móstoles (cerca de Madrid, ES), a finales de mayo. Por lo que sé, es la primera vez que habla en público en España, probablemente sea una buena ocasión para conocerle en directo, y aprovechar para invitarle a un algo por cualquiera de sus contribuciones (¿o tú eres de los que no habla LaTeX?). Más info sobre Leslie Lamport en su sitio, más info sobre las charlas en la página ampliada.» Sin duda, un privilegio y una gran ocasión para que su trabajo sea mejor conocido entre el público español.


La URJC y la UPM tienen el placer de invitarle a las siguientes dos conferencias:

Ponente: Leslie Lamport
Lugar: Salón de grados, Departamental II, ESCET, Móstoles,
Universidad Rey Juan Carlos (cómo llegar)

Título de la primera conferencia: The +CAL Algorithm Language
Fecha y hora: 28 de mayo de 2007, 16:00 h.
Resumen: Algorithms are different from programs and should not be described with programming languages. For example, algorithms are usually best described in terms of mathematical objects like sets and graphs instead of the primitive objects like bytes and integers provided by programming languages. Until now, the only simple alternative to programming languages has been pseudo-code.
+CAL is an algorithm language based on TLA+. A +CAL algorithm is automatically translated to a TLA+ specification that can be checked with the TLC model checker or reasoned about formally. +CAL makes pseudo-code obsolete.

Título de la segunda conferencia: How to Write a Proof
Fecha y hora: 29 de mayo de 2007, 16:00 h.
Resumen:The traditional mathematical proof is an archaic literary form that encourages sloppy, incorrect mathematics (and computer science). It has little value except as an exercise in devising synonyms for "therefore". In this talk, a better method of writing proofs is proposed.

Este hilo ha sido archivado. No pueden publicarse nuevos comentarios.
Leslie Lamport, en Móstoles (Madrid) | Log in/Crear cuenta | Top | 11 comentarios | Buscar hilo
Mostrar opciones Umbral:
Y recuerda: Los comentarios que siguen pertenecen a las personas que los han enviado. No somos responsables de los mismos.