------------------------------------------------------------------- Por favor, favoreced su difusión. Discupad si se recibe más de una vez ------------------------------------------------------------------- PROLE 2001 Primeras Jornadas sobre Lenguajes de Programación Almagro (Ciudad Real), 23-24 de noviembre de 2001 PROLE son unas nuevas jornadas que surgen con la intención de ser un lugar de reunión de los grupos españoles que trabajan en temas ligados a la programación y a los lenguajes de programación. Con la organización de este evento, se pretende que los, cada vez más numerosos, grupos que trabajan en España en este ámbito puedan conocerse mejor, intercambiar experiencias y resultados de investigación y, posiblemente, iniciar líneas de cooperación. El ámbito de PROLE comprende trabajo tanto teórico como práctico alrededor de la especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación. Más concretamente, una lista no exhaustiva de los temas de PROLE incluiría: Paradigmas de programación (funcional, lógico, concurrente, orientado a objetos, visual...) y su integración. Especificación y lenguajes de especificación Semántica y su aplicación al diseño, análisis y verificación, transformación o aprendizaje de programas. Técnicas de análisis de programas Compilación y herramientas de implementación de lenguajes de programación Técnicas de verificación Sistemas de tipos Las contribuciones que se solicitan no podrán estar ya publicadas, pero se admitirán trabajos en proceso de revisión en otros eventos. Deberán estar escritas en castellano o en inglés y tener una longitud máxima de 15 páginas (incluyendo figuras y bibliografía) en letra de 11 puntos. Dichas contribuciones deberán de incluir el título, los nombres de los autores, su afiliación y su dirección de correo electrónico, un resumen de 200 o 300 palabras y una lista de palabras clave. Los detalles sobre el procedimiento de envío se suministrarán posteriormente. FECHAS Recepción de artículos: 22 de junio Notificación de aceptación: 20 de julio Versión final: 10 de septiembre Dirección de Contacto PROLE 2001 Fernando Orejas Universitat Politècnica de Catalunya Departament de Llenguatges i Sistemes Informàtics Campus Nord - Edif. C6 08034 Barcelona Tel: 93 401 7018 Fax : 93 401 7014 Email: orejas@lsi.upc.es URL: http://www.lsi.upc.es/~PROLE2001 COMITÉ DE PROGRAMA Jesús Almendros, U. de Almería María Alpuente, U. P. de Valencia Javier Esparza, U. Edimburgo Rafael Corchuelo, U. de Sevilla Fernando Cuartero, U. de Castilla-La Mancha Juan Manuel Cueva, U. de Oviedo David de Frutos, U. Complutense Manuel Hermenegildo, U. P. de Madrid Juan Hernández, U. de Extremadura Pascual Julián Iranzo, U. Castilla-La Mancha Miguel Katrib, U. de La Habana Jordi Levy, IIIA-CSIC Jim Lipton, Wesleyan College Juanjo Moreno, U. P. de Madrid Marisa Navarro, U. del País Vasco Robert Nieuwenhuis, U. P. de Cataluña Fernando Orejas, U. P. de Cataluña Ricardo Peña, U. Complutense Ernesto Pimentel, U. de Málaga Isidro Ramos, U. P. de Valencia Mario Rodríguez Artalejo, U. Complutense Ambrosio Toval, U. de Murcia Manuel Vilares, U. de Coruña -- ------------------------------------------------------------ Juan José Moreno Navarro LSIIS - Facultad de Informática Universidad Politécnica de Madrid e-mail: jjmoreno@fi.upm.es phone: +34 91 336 74 58 fax: +34 91 336 74 58 cellular: 630737222 WWW: http://lml.ls.fi.upm.es/~jjmoreno ------------------------------------------------------------