lunes, julio 13, 2009

El mejor regalo

Antes que nada, muchas gracias a todos los que me felicitaron por mi hace no mucho acaecido cumpleaños (y a todos lo que lo hicieron antes/después de tiempo, también).
El mero día fue interesante, con mi llegada a Oslo, una cena de mariscos y una cerveza de 8 € con Jan, que también iba a presentar algo en AutoTab.
Pero el mejor regalo lo recibí inesperadamente de Stéphane Demri en su plática de AutoTab cuando de pronto, cuando describía lo que se puede hacer con Tableaux y con Automata, apareció una diapositiva diciendo

Pinpointing [Baader & Peñaloza 2008]

Increible. Aunque me dio pena sacar la camara y fotografiarlo, debi haberlo hecho para el recuerdo.
Pocos días después me confirmó su interés y me animó a continuar con el tema.
Veremos.