Hola Comunidad. Les reenvío un mail sobre unas charlas internacionales (sin traducción) que se llevarán a cabo en la Facultad de Informática de la Universidad Nacional de La Plata. ------------- Hola, En un mail anterior les comenté que la semana que viene visitan la Argentina John Hughes (de la Universidad Tecnológica de de Chalmers, Gotemburgo, Suecia) y Peter Thiemann (de la Universidad de Freiburg, Alemania) y que van a dar en nuestra facultad charlas de algunos de sus temas de investigación. El cronograma confirmado de las charlas (ambas son en inglés) es el siguiente: - lunes de 10:30 a 12:30 en el aula 49-2. Peter Thiemann hablará de typing para JavaScript. - lunes de 15:00 a 17:00 en el aula beta. Charla de John Hughes con tema aún no confirmado. - miércoles de 10:30 a 12:30 en el aula 102. Peter Thiemann dará una charla que se titula "Grammar-Based Analysis of String Expressions". El resumen de esta charla es el siguiente: "We specify a polymorphic type system for an applied lambda calculus that refines the string type with a subtype hierarchy derived from language containment. It enables us to find a language for each string-type expression such that the value of the expression is a member of that language. Type inference for this system infers language inclusion constraints that can be viewed as a context-free grammar with a nonterminal for each string-valued expression. Then we present two algorithms that solve language inclusion constraints with respect to a fixed context-free reference grammar. The solutions are sound but incomplete because the general problem of context-free language inclusion is undecidable. Both algorithms are derived from Earley's parsing algorithm for context-free languages. Taking the two parts together enables us to answer questions like: Is the value of a string-type expression derivable from a given nonterminal in the reference grammar?" - miércoles de 15:00 a 17:00 en el aula 104. Charla de John Hughes con tema aún no confirmado. Links: John Hughes: http://www.cs.chalmers.se/~rjmh/ Peter Thiemann: http://www.informatik.uni-freiburg.de/~thiemann/index.en.html Saludos, Pablo.- -- Alejandro Rene "El Corrector Empedernido" Fernandez Blanco Miembro de PLUG (Argentina). www.plug.org.ar Petitorio contra el Programa de Malversacion miPC http://www.petitiononline.com/noamipc1/ Coordinador General del I FLISOL La Plata http://installfest.net/2005/lugares/ar/laplata