Descripción
|
|
---|---|
The goal of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013) is to be a informal venue for presentation and discussion of research on logic-based methods and tools which support program development and analysis. In this way, the workshop tries to bridge the gaps between different communities interested and active in logic-based tools for programming. In addition to papers describing more conceptual and theoretical work, we explicitly also welcome papers describing the implementation of, and experience with, such tools. | |
Internacional
|
Si |
Fecha
|
24/08/2013 |
Lugar
|
Istanbul, Turkey |
Tipo
|
Responsabilidades en cómites internacionales |