https://staf2020.hvl.no/ Recent content on STAF 2020 Hugo -- gohugo.io en-us STAF 2020 Mon, 03 Feb 2020 00:00:00 +0000 https://staf2020.hvl.no/keynotes/ Wed, 01 May 2019 00:00:00 +0000 https://staf2020.hvl.no/keynotes/ Coming soon. https://staf2020.hvl.no/about/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/about/ ⚠ STAF postponed due to COVID-19, read more ⚠ Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The STAF federated event runs annually. The conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. https://staf2020.hvl.no/covid19/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/covid19/ Dear member of the STAF community, We hope this message finds you and your families healthy and safe. STAF 2020 was due to take place in Bergen, Norway, from 22-26 June 2020. Given the current pandemic, we have made the difficult decision to postpone STAF for one year. The next conference will be held in Bergen, in late June, and we expect it to host the same or very similar set of conferences and workshops as was planned for 2020. https://staf2020.hvl.no/program/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/program/ https://staf2020.hvl.no/workshops/accepted-workshops/ Mon, 03 Feb 2020 00:00:00 +0000 https://staf2020.hvl.no/workshops/accepted-workshops/ Accepted Workshops GCM 11th International Workshop on Graph Computation Models Bx 9th International Workshop on Bidirectional Transformations MORSE 7th International Workshop on Model-Driven Robot Software Engineering OCL 20th International Workshop on OCL and Textual Modeling Data4MDE 1st International Workshop on Data for MDE MMHS 4th International Workshop on (Meta)Modelling for Healthcare Systems MoSC 1st International Workshop on Modeling Smart Cities DAMB Diagrammatic and Algebraic Methods for Business STRINGS 4th Workshop on String Diagrams in Computation, Logic and Physics OOPSLE Open and Original Problems in Software Language Engineering MDE4IoT 4th International Workshop on Model-Driven Engineering for the Internet-of-Things Future@STAF Future of Modeling https://staf2020.hvl.no/workshops/bx/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/workshops/bx/ TBA https://staf2020.hvl.no/workshops/call-for-workshops/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/workshops/call-for-workshops/ STAF 2020 Call for Workshops Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing an umbrella organisation, with a steering committee that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. https://staf2020.hvl.no/events/ecmfa2020/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/ecmfa2020/ ECMFA 2020 proceedings available here About ECMFA Model-Based Engineering (MBE) is an approach to the design, analysis, and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality. The European Conference on Modelling Foundations and Applications (ECMFA) is the premier European forum dedicated to advancing the state of knowledge and fostering the application of all aspects of MBE and related approaches. https://staf2020.hvl.no/events/ecmfa2020/committees/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/ecmfa2020/committees/ Committees Program chairs Richard Paige, McMaster University, Canada, and the University of York, UK Antonio Vallecillo, Universidad de Málaga, Spain Steering committee Martin Gogolla, University of Bremen, Germany Thomas Gschwind, IBM Zurich Research Lab, Switzerland Reiko Heckel, University of Leicester, UK Richard Paige (Chair), University of York, UK Antonio Vallecillo, University of Malaga, Spain Pieter Van Gorp, Eindhoven University of Technology, The Netherlands Jan Vitek, Northeastern University, USA Program committee Adrian Rutle, Western Norway University of Applied Sciences Alessandra Bagnato, Softeam Alfonso Pierantonio, University of L’Aquila Andrzej Wąsowski, IT University Andy Schuerr, Darmstadt University of Technology Antonio Cicchetti, Mälardalen University Arend Rensink, University of Twente Athanasios Zolotas, University of York Benoit Combemale, University of Toulouse Bernhard Rumpe, RWTH Aachen University Bran Selic, Malina Software Corp. https://staf2020.hvl.no/events/ecmfa2020/submission/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/ecmfa2020/submission/ Submissions We are soliciting papers presenting original research on all aspects of model-based engineering. Two types of submissions are possible: Foundation Papers, dealing with modeling foundations, such as metamodeling, model transformations, model engineering methods and tools, and related aspects. Application Papers, dealing with the application of modeling techniques, including experience reports on the use of MBE methods and tools, industrial case studies, or successful applications of MBE practices in the industry or in public administrations, with significant modeling lessons learned. https://staf2020.hvl.no/events/icgt2020/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/icgt2020/ Please refer to http://icgt2020.di.unipi.it/ for the official web site of ICGT 2020. A copy of the Call for Papers may be found below. Aims and Scope The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. https://staf2020.hvl.no/events/icsmm2020/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/icsmm2020/ Call for papers Model-based approaches promote the use of models and related artefacts, such as simulation environments and experimental platforms, as central elements to tackle the complexity of building software-intensive systems. With the widespread use for large and diverse settings (including large ecosystems and multi-disciplinary systems of systems such as embedded, cyber-physical, medical, aerospace and enterprise systems), the complexity, size, multiplicity and variety of those artefacts has increased. This leads to challenges in the development and management of these heterogeneous systems, and calls for advanced modelling and model management approaches, along with supporting analytics techniques for the entire lifecycle of such systems. https://staf2020.hvl.no/events/jrc2020/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/jrc2020/ Junior Researcher Community Event For the second time, STAF provides a forum for junior researchers to interact with their fellows, showcase their research, exchange ideas and get feedback from senior researchers about how to continue their professional career: the different path they could follow, how to apply for research projects, how to supervise PhD students, how to propose/pitch reserach projects within a company, etc. In genenral, the opportunities both academia and industry offer, the challenges and other useful information. https://staf2020.hvl.no/workshops/morse/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/workshops/morse/ TBA https://staf2020.hvl.no/workshops/ocl/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/workshops/ocl/ TBA https://staf2020.hvl.no/events/stafmaster/ Fri, 12 Apr 2019 00:00:00 +0000 https://staf2020.hvl.no/events/stafmaster/ Due to COVID-19, the session will be cancelled for 2020, and be moved to 2021 together will STAF. Velkommen til Norge And welcome to the homepage of the Master Student Session at STAF 2020. This session is a one-day event to be held on Wednesday, June 24th 2020 in Bergen, Norway. We herewith invite interested students of a master degree programme in computer science to present the contents, goals and achievements of their master thesis. https://staf2020.hvl.no/accommodation/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/accommodation/ Accommodation information goes here.. https://staf2020.hvl.no/cfp/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/cfp/ Important Dates Abstract submission:    Monday, 24 June 2019 Paper submission: Friday, 28 June 2019 Notification: Monday, 16 September 2019 Camera-ready: Tuesday, 1 October 2019 Main conference: 4-6 December 2019 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Objectives and scope Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. https://staf2020.hvl.no/cfwt/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/cfwt/ Important Dates Submission of proposals:    Friday, 15 March 2019   Sunday, 31 March 2019 Notification: Friday, 29 March 2019   Monday, 15 April 2019 Workshops/tutorials: 2-3 December 2019 Main conference: 4-6 December 2019 About iFM iFM 2019 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. https://staf2020.hvl.no/contact/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/contact/ Organizing Committee General Chair Adrian Rutle Western Norway University of Applied Sciences, Norway Administration and economy Chair Linn Jeanette Fylkesnes Western Norway University of Applied Sciences, Norway Industry day Chair Yngve Lamo Western Norway University of Applied Sciences, Norway Workshop Chair Loli Burgueño Open University of Catalonia, Spain Lars Michael Kristensen Western Norway University of Applied Sciences, Norway Publicity Chair Romina Eramo Università degli Studi dell’Aquila, Italy Volker Stolz Western Norway University of Applied Sciences, Norway https://staf2020.hvl.no/events/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/events/ Main Events ECMFA’20 16th European Conference on Modelling Foundations and Applications TAP’20 14th International Conference on Tests and Proofs TTC’20 13th Transformation Tool Contest ICGT’20 13th International Conference on Graph Transformation ICSMM’20 International Conference on Systems Modelling and Management https://staf2020.hvl.no/gettingthere/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/gettingthere/ https://staf2020.hvl.no/dates/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/dates/ TBA https://staf2020.hvl.no/previous/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/previous/ The original TOOLS conference series started in 1989 and, over the following years, held multiple sessions: TOOLS EUROPE, TOOLS USA, TOOLS PACIFIC, TOOLS CHINA and TOOLS EASTERN EUROPE. TOOLS played a major role in the spread of object-oriented and component technologies; many seminal software concepts now taken for granted were first discussed at TOOLS, taking advantage of the informal, application-oriented, technically intense and marketing-free atmosphere of the conference. After an interruption of four years TOOLS has started again, hosted by ETH Zurich for the first time in June 2007 with great success. https://staf2020.hvl.no/registration/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/registration/ Important dates Registration opens: 1 April Hotel discount deadline: 1 May Early registration deadline: 27 May Late registration deadline: 8 June Onsite registration possible: 22-26 June https://staf2020.hvl.no/social/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/social/ The conference reception will take place on Tuesday 23.06 18:00 o’clock at the historical castle Håkonshallen. The reception is sponsored by Bergen Municipality. The Conference dinner will be at Fløien Folkerestaurant at the mountain Fløien. The restaurant is reachable by Fløibanen and offers Bergen’s best view and the best of Norwegian cuisine. https://staf2020.hvl.no/venue/ Thu, 14 Feb 2019 00:00:00 +0000 https://staf2020.hvl.no/venue/