Congreso en Granada (I)
Es un congreso bastante grande, más de 1600 inscritos. Eso tiene inconvenientes (es un lío saber a dónde ir en cdada sesión) y ventajas como el privilegio de traer a Tony Hoare, historia viva de la informática (probablemente han oido hablar del quicksort uno de los métodos de ordenación en memoria que mejor se comportan.
Para que quede testimonio gráfico le pedimos si podía ponerse para hacer unas fotos y fue muy amable.
Nos habló de la verificación de programas y cómo sigue siendo una tarea pendiente en la investigación básica en informática.
Para que quede testimonio gráfico le pedimos si podía ponerse para hacer unas fotos y fue muy amable.
Nos habló de la verificación de programas y cómo sigue siendo una tarea pendiente en la investigación básica en informática.
Puedes enterarte de las notas nuevas en: @reflexioneseir (Twitter), Reflexiones e Irreflexiones (Página de Facebook), Reflexiones e Irreflexiones (Canal de Telegram), fernand0 (en LinkedIn), @fernand0 (en Medium), Mastodon.
2005-09-15
13:36
|
0 Comentarios
| In English, please |
En PDF |
Para enlazar # |
| Compartir/Share | por correo | en Twitter | en LinkedIn | en Facebook | en Google+ | en Delicious |
| Compartir/Share | por correo | en Twitter | en LinkedIn | en Facebook | en Google+ | en Delicious |