From 8ced4436e132745663c0946099258ec42f2b90bf 2020-04-28 10:55:38 From: Benjamin Lion Date: 2020-04-28 10:55:38 Subject: [PATCH] Add workshop pages. --- diff --git a/projects/SEFM2020/content/workshops/asyde.md b/projects/SEFM2020/content/workshops/asyde.md new file mode 100644 index 0000000000000000000000000000000000000000..6f76b62d27a93d417739329bc11825298aad9ded --- /dev/null +++ b/projects/SEFM2020/content/workshops/asyde.md @@ -0,0 +1,18 @@ +Title: Asyde 2020 +Date: 2020-09-14 +Authors: Benjamin Lion +Category: workshops + + +Link to the external website + +##### About the workshop +During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. + +Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies evolving requirements. Thus, one the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. +ASYDE 2020 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. + +ASYDE 2020 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. + +##### Additional information +Link to the external website diff --git a/projects/SEFM2020/content/workshops/cifma.md b/projects/SEFM2020/content/workshops/cifma.md new file mode 100644 index 0000000000000000000000000000000000000000..6c65f5d2ae8e26ab532b060e9bb7817365473e36 --- /dev/null +++ b/projects/SEFM2020/content/workshops/cifma.md @@ -0,0 +1,42 @@ +Title: Cifma 2020 +Date: 2020-09-14 +Authors: Benjamin Lion +Category: workshops + + +Link to the external website + +##### About the workshop +Cognition encompasses many aspects of intellectual functions and processes such as attention, knowledge, memory, judgment, reasoning, problem solving, decision making, comprehension and production of language. Although it originated from the field of psychology, it goes beyond the individual human mind and behaviour, and involves and affects the interaction with the environment in which humans act. The increasing complexity of the environment with which humans interact is no longer restricted to their natural living environment and the other humans populating it, but includes a large technological support consisting of physical and computational systems, virtual worlds and robots. This fact has expanded the scope of studying cognition to a large number of disciplines well beyond psychology. Cognitive processes are analysed from different perspectives within different contexts, notably in the fields of linguistics, anesthesia, neuroscience, psychiatry, psychology, education, philosophy, anthropology, linguistics, biology, systemics, logic, and computer science. These and other different approaches to the analysis of cognition are synthesised in the developing field of cognitive science, a progressively autonomous academic discipline. + +The objectives of CIFMA 2020 are: + +1) to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas. Such areas include: + +- cognitive models and architectures; +- human-computer interaction; +- cognitive robotics; +- cognitive linguistics; +- cognitive learning; +- neurocognitive functions. + +Moreover, in relation to SEFM, special interest topics will be: + +- integration of cognitive models and cognitive architectures within the software design and verification process; +- formal methods for the modeling and analysis of human behaviour; +- formal methods for the modeling and analysis of human interaction with computers and robots; +- formalisation of learning processes; +- application of formal methods to cognitive psychology. + +2) to nurture cooperation among researchers from different areas and establish concrete collaborations; + +3) to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering. + +Papers can present research results in any of the areas and themes of interest for the workshop as +well as application experiences tools and promising preliminary ideas. Papers dealing with interdisciplinary approaches or synergistic approaches that integrate different perspective on cognition are especially welcome. + + +##### Additional information +Link to the external website + +Link to the EasyChair diff --git a/projects/SEFM2020/content/workshops/cosim.md b/projects/SEFM2020/content/workshops/cosim.md new file mode 100644 index 0000000000000000000000000000000000000000..1613c04460d445233dfd40e6ccc491628bf8d6aa --- /dev/null +++ b/projects/SEFM2020/content/workshops/cosim.md @@ -0,0 +1,38 @@ +Title: CoSim-CPS 2020 +Date: 2020-09-14 +Authors: Benjamin Lion +Category: workshops + +Link to the external website + + +##### About the workshop + +CoSim-CPS workshop focuses on the integrated application of formal +methods and co-simulation technologies in the development of software +for Cyber-Physical Systems. +Co-simulation is an advanced simulation technique that allows developers +to generate a global simulation of a complex system by orchestrating and +composing the concurrent simulation of individual components or aspects +of the system. +Formal methods link software specifications and program code to logic +theories, providing developers with means to analyze program behaviors +in a way that is demonstrably exhaustive. + +The two technologies complement each other. Developers can create +prototypes suitable to validate hypotheses embedded in formal models and +formal properties to be analyzed of the software. Using formal methods, +developers can extend test results obtained with co-simulation runs, and +ensure that the same results apply to all program states for all +possible program inputs. + +The workshop will give researchers and industrial practitioners a stage +to demonstrate new methods and tools, present experience reports, +discuss open challenges, and explore ideas for future development of +frameworks integrating formal methods and co-simulation. Contributions +are welcome on all aspects of system development, including +specification, design, analysis, implementation and documentation of +software for Cyber-Physical Systems. + +##### Additional information +Link to the external website diff --git a/projects/SEFM2020/content/workshops/foclasa.md b/projects/SEFM2020/content/workshops/foclasa.md new file mode 100644 index 0000000000000000000000000000000000000000..07ba6fd20890963fd2e79481440769a4eeb3babb --- /dev/null +++ b/projects/SEFM2020/content/workshops/foclasa.md @@ -0,0 +1,14 @@ +Title: Foclasa 2020 +Date: 2020-09-15 +Authors: Benjamin Lion +Category: workshops + +Link to the external website + +##### About the workshop + +Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. + +##### Additional information +Link to the external website + diff --git a/projects/SEFM2020/content/workshops/tba.md b/projects/SEFM2020/content/workshops/tba.md deleted file mode 100644 index 5eabeb3d34156a8050f4c1e94cdd83f83e2853bd..0000000000000000000000000000000000000000 --- a/projects/SEFM2020/content/workshops/tba.md +++ /dev/null @@ -1,15 +0,0 @@ -Title: TBA -Date: 2019-11-13 10:20 -Authors: Michael Guravage -Category: workshops -Summary: TBA - -##### TBA - -### OBJECTIVES AND SCOPE - -TBA - -### Topics - -TBA