Salamanca acoge el XXI Congreso Internacional sobre técnicas de Desarrollo Algebraico

JPA/DICYT Salamanca acoge el XXI Congreso Internacional sobre Técnicas de Desarrollo Algebraico. Esta cita se celebra del 7 al 10 de junio, está organizada por la Fundación General de la Universidad de Salamanca y dirigida los catedráticos de la Universidad Complutense de Madrid Narciso Martí-Oliet y Miguel Palomino. El congreso abarca muchos aspectos del diseño formal de software desde un enfoque algebraico de la especificación de sistemas. 

De acuerdo con la información de que proporciona la Fundación General de la Universidad de Salamanca, originalmente nació como un método formal para el razonamiento acerca de los tipos abstractos de datos, pero actualmente abarca nuevos marcos de especificación y paradigmas de programación, como los orientados a objetos, aspectos, agentes, lógica y programación funcional de orden superior; así como un amplio espectro de áreas de aplicación que incluyen sistemas de información, sistemas concurrentes, distribuidos y móviles.

En el congreso están participando medio centenar de investigadores de Estados Unidos, Canadá, Argentina, Reino Unido, Francia, Suecia, Dinamarca, Noruega, Suiza, Holanda, Bélgica, Italia, Alemania, Portugal, Rumanía, Polonia y Argelia.

Los profesores invitados han sido Roberto Bruni (Università di Pisa), que habló sobre “Open Multiparty Interaction”; el profesor Francisco Durán (Universidad de Málaga), cuya conferencia se tituló “On the modularity and reusability of the rule-based specification of QoS properties of Systems”; y el profesor Kim G. Larsen (Aalborg University, Dinamarca), quien disertó sobre “Quantitative Modal Transition Systems".
El congreso internacional, que celebra esta edición en la Hospedería de Fonseca, tuvo lugar en ediciones anteriores en Schloss Etelsen (Alemania), Pisa (Italia) y La Roche en Ardenne (Belgium). Al finalizar el congreso, se celebrará también una reunión del IFIP WG1.3, Working Group on Foundations of System Specification.