Starting February 26, 2013 - Ending February 26, 2014Expired
The EternalS' 13 workshop supported by the CA targets advanced research in the direction of eternal systems such as, software engineering, secure systems, machine learning, natural language processing as well as the increasing impact of social computing. The workshop aims at bringing together experts and stakeholders of the above technologies. For this purpose, eleven speakers, representing state-of-the-art research in Eternal Systems have been invited to give talks, organized in four sessions exploring interesting topics of EternalS, i.e., Secure Eternal Software: a model-centric perspective, Eternal Software-intensive Systems, Machine Learning for Software Engineering and Social Computing.
Starting May 31, 2012 - Ending May 31, 2013Expired
2nd EternalS Workshop - Joint workshop on Intelligent Methods for Software System Engineering (JIMSE)
Montpellier, France, 27-28 August 2012
co-located with European Conference on Artificial Intelligence (ECAI)
*** REGISTRATION IS NOW OPEN, DEADLINE EXTENDED TO JUNE 30 ***
Modern software systems are complex, and often structured as composition of a high number of components or objects. The school focuses on formal models and programming languages for such system, including methods and tools for specifying and designing them, and for ensuring behavioural and security guarantees. A special emphasis will be given to methods for ensuring the adaptability and evolvability of the systems, with which the systems can cope with changes in the environment as well as with modified and new requirements.
The School will feature lectures by world-renowned experts within the area of formal models for objects and components, touching areas such as type theory, programming languages, formal methods,concurrency and software engineering.