Tendencias 21
Coddii




Comienza en Madrid la cumbre mundial de lenguajes de programación

Reúne a 500 expertos de todo el mundo para debatir sobre las herramientas que crean los programas informáticos


Organizada por la Association of Computer Machinery (ACM) con el apoyo de la Facultad de Informática de la Universidad Politécnica de Madrid y otras instituciones, reúne esta semana a 500 expertos de primer nivel de más de 40 países para debatir sobre las herramientas con las que se crean los programas informáticos que permiten procesar información y controlar el comportamiento físico y lógico de máquinas, desde los ordenadores, móviles y electrodomésticos, hasta los coches. Por Eduardo Martínez.




Foto: laffy4k. Evrystockphoto.
Foto: laffy4k. Evrystockphoto.
Foto: laffy4k. Evrystockphoto.
Foto: laffy4k. Evrystockphoto.
Principles of Programming Languages (POPL 2010), el más prestigioso congreso mundial sobre lenguajes de programación, tiene lugar por primera vez en España entre los días 20 y 22 de enero con la participación, entre otros expertos de fama internacional, de Neil Gershenfeld (MIT) y Thomas A. Henzinger, de la Escuela Politécnica Federal de Lausanne (EPFL), informa la Facultad de Informática de la UPM en un comunicado.

El congreso anual POPL es un foro científico de discusión e intercambio que reúne a los principales expertos del mundo para debatir sobre los lenguajes y sistemas de programación.

Los lenguajes de programación son herramientas con las que se crean los programas informáticos que permiten procesar información y controlar el comportamiento físico y lógico de máquinas: no sólo ordenadores sino, en la actualidad, teléfonos móviles, aparatos electrodomésticos, coches, y otros muchos. El mundo moderno no sería concebible sin la base que proporcionan los lenguajes de programación a innumerables de procesos de la vida diaria. Entre los lenguajes de programación más conocidos se encuentran Java, Pascal, Delphi y Visual Basic.

La ACM, auspiciadora principal del congreso, agrupa en la actualidad a un total de 89.000 miembros procedentes del mundo académico, la administración y de las empresas de todo el mundo. La ACM está reconocida como la primera organización mundial de los profesionales informáticos, a los que proporciona información y recursos. Promueve la celebración de unos 120 congresos especializados cada año, entre ellos POPL.

POPL se celebra desde hace 36 años por la Association for Computing Machinery (ACM), la principal asociación de informáticos a nivel mundial. El presidente de esta edición del congreso es el profesor de la Facultad de Informática de la Universidad Politécnica de Madrid (FIUPM) Manuel Hermenegildo, director asimismo del Instituto Madrileño de Estudios Avanzados en Tecnologías de Desarrollo de Software (IMDEA Software), con sede en el campus de Montegancedo. El profesor Manuel Clavel de la Facultad de Informática de la Universidad Complutense (FIUCM) y director adjunto de IMDEA Software es el coordinador local.

Otros congresos en paralelo

POPL se desarrolla en Madrid junto a otros eventos de alto nivel de temática afín, en cuya organización participan varios profesores de nuestro país, que se espera reúnan en la capital de España a más de quinientos expertos de de primer nivel de más de 40 países. Esta edición de POPL está organizada por la ACM con el apoyo de IMDEA Software y diversos profesores de la FI-UPM y la FI-UCM, y con el patrocinio de Google, IBM Research, Intel, Microsoft Research, Mozilla, el MICINN y la Comunidad de Madrid.

Uno de estos eventos es Practical Aspects of Declarative Languages (PADL), que está dirigido por Manuel Carro, profesor de la FIUPM, y Ricardo Peña, profesor de la FIUCM. PADL 2010 se hace también en Madrid entre el18 y 19 de enero y está centrado en las aplicaciones de los lenguajes declarativos. Los lenguajes declarativos son aquellos lenguajes de programación en los cuales se le indica a la computadora qué es lo que se desea obtener o qué es lo que se está buscando en lugar de indicar un método explícito para obtenerlo.

Otro de estos eventos es el congreso Verification, Model Checking, and Abstract Interpretation es (VMCAI), que dirige asimismo Manuel Hermenegildo junto con Gilles Barthe, de IMDEA Software. Este congreso se centra específicamente en técnicas para analizar y verificar programas y se desarrolla entre el 17 y el 19 de enero.

Un tercer evento que se desarrolla en torno al POPL es el Workshop on Functional and (Constraint) Logic Programming (WFLP), que se desarrolló el 17 de enero dirigido por el profesor de la FIUPM, Julio Mariño. Su temática son dos familias de lenguajes declarativos: los lógicos y funcionales, con especial énfasis en su integración.


Eduardo Martínez
Miércoles, 20 de Enero 2010
Artículo leído 5307 veces



Nota

Nuevo comentario:
Twitter

Los comentarios tienen la finalidad de difundir las opiniones que le merecen a nuestros lectores los contenidos que publicamos. Sin embargo, no está permitido verter comentarios contrarios a las leyes españolas o internacionales, así como tampoco insultos y descalificaciones de otras opiniones. Tendencias21 se reserva el derecho a eliminar los comentarios que considere no se ajustan al tema de cada artículo o que no respeten las normas de uso. Los comentarios a los artículos publicados son responsabilidad exclusiva de sus autores. Tendencias21 no asume ninguna responsabilidad sobre ellos. Los comentarios no se publican inmediatamente, sino que son editados por nuestra Redacción. Tendencias21 podrá hacer uso de los comentarios vertidos por sus lectores para ampliar debates en otros foros de discusión y otras publicaciones.

Otros artículos de esta misma sección
< >

Lunes, 7 de Noviembre 2016 - 15:00 Bolotweet, la red social del aula