Reunión CPD'98

Programa IV Advanced Seminar - Reunión CPD'98

10:00 a 10:45 Danny de Schreye (K.U. Leuven - Belgium) "Program Specialization for Logic Programs"

10:45 a 11:00 Café

11:00 a 11:45 Patrick Cousot (LIENS - France) "Rule-Based Specifications and their Abstract Interpretation"

11:45 a 12:15 Descanso

12:15 a 12:45 Ernesto Pimentel "Un lenguaje para Especificación de Arquitecturas Dinámicas basado en pi-Cálculo"

12:45 a 13:15 Puri Arenas "Embedding Multiset Constraints into a Lazy Functional Logic Language"

13:30 a 15:45 Almuerzo

16:00 a 16:30 Carlos Herrero "Objetos en LCEP"

16:30 a 17:00 José Hernández "Inverse Narrowing for the Inductive Inference of Functional Logic Programs"

17:00 a 17:30 Café

17:30 a 18:00 Fernando Sáenz "Parallel Execution Models for Constraint Propagation"

18:00 a 18:30 Juan Miguel Molina "Algebra de módulos para programación lógico-funcional"

10:00 a 10:45 Jaume Agustí (CSIC - Spain) "Pragmatics in Declarative Programming"

10:45 a 11:00 Café

11:00 a 11:45 Eric Badouel (IRISA - France) "A survey of Petri Nets with evolving structures"

11:45 a 12:15 Descanso

12:15 a 12:45 Salvador Lucas "Root-neededness and approximations of neededness"

12:45 a 13:15 Joaquín Mateos "GOTA Specifications"

13:30 a 15:45 Almuerzo

16:00 a 16:30 Rafael Caballero "Parsers Lógico-Funcionales en Toy"

16:30 a 17:00 Elvira Albert - Pascual Julián "Improving Control in Functional Logic Program Specialization"

17:00 a 17:30 Café

17:30 a 18:00 Pablo López "UMA Forum: Hacia la Programación Lógica en Lógica Lineal Clásica"

18:00 a 19:00 Reunión

Comentarios: Javier Oliver (CPD'98)

Última actualización: 4 de Junio de 1998 # Javier Oliver