23 de mayo de 2012

Escuela en Lenguajes Formales

Hay una escuela en teoría de la computación que se va a llevar a cabo en Tarragona, España. Se llama International Fall School in Formal Languages and Applications.  Aunque en el nombre dice "Lenguajes Formales", en el programa se pueden ver cursos bastantes variados como circuitos booleanos y máquinas de Turing. Estoy considerando muy seriamente asistir. Este año, exactamente en ese mismo lugar, se llevó a cabo la conferencia LATA'12. Un amigo fue a presentar un paper este año allí y quedó encantado con Tarragona.

Aprovecho también para avisar que por fin colgaron algunos videos de las presentaciones de QIP'12 en este link. Ya estuve mirando un par de videos y tienen muy buena calidad.

Bueno, espero que algunas personas puedan aprovechar la escuela que promete mucho. Ya me pensaré muy bien si asistir o no.