[Solar-general] Charlas en la Info.UNLP

Jue Nov 10 19:26:52 CET 2005

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