Serve assets via HTTPS

Author: idhugoid

Diff for: _netmeetings/Net-Meeting-38.md

@@ -98,7 +98,7 @@ Peter started updating the text on the wiki, and will continue this.
 Workshop
 
 Program of the
-<http://www.overturetool.org/twiki/bin/view/Main/Workshop7>?
+<https://www.overturetool.org/twiki/bin/view/Main/Workshop7>?
 
 Publication plans
 -----------------

Diff for: _workshops/11th-Overture-Workshop.md

@@ -16,7 +16,7 @@ The 11th Overture Workshop was held in Aarhus, Denmark on Wed/Thu
 28-29th August 2013. This workshop was the 11th in the current series
 focusing on the Vienna Development Method (VDM) and particularly its
 community-based tools development project, Overture
-(http://www.overturetool.org/), and related projects such as COMPASS
+(https://www.overturetool.org/), and related projects such as COMPASS
 (http://www.compass-research.eu/) and DESTECS (http://www.destecs.org).
 Invited talks were given by [Yves
 Ledru](http://membres-lig.imag.fr/ledru/YLVersionE.html) and [Joe

Diff for: _workshops/12th-Overture-Workshop.md

@@ -19,7 +19,7 @@ The 12th in the “Overture” series of workshops on the Vienna Development Met
 
 VDM is one of the longest established formal methods, having its origins in compiler development work in IBM in the 1970s. In the 1990s, the basic VDM modelling language was standardized by ISO and the first commercial tools emerged. Since 2000, the method has been extended to support object-orientation, concurrency, real-time and distribution. Advances in these areas led to the development of new technology for the design of embedded systems based on [collaborative modelling and co-simulation](http://www.springer.com/computer/communication+networks/book/978-3-642-54117-9). A notable recent development has been the very successful combination of VDM with Circus as a basis for the COMPASS Modelling Language (CML) – the first formal modelling language developed specifically for systems of systems (SoSs). 
 
-Research in VDM is driven as much by the needs of industry practice as by a wish to develop fundamental theory. As a consequence, the need for robust tool support has been a priority for many years. The community-based [Overture](http://www.overturetool.org) initiative is developing industry-strength tools on a new open platform that has been successfully adapted to form a platforms for co-modelling and co-simulation in embedded systems design (the [Crescendo](http://www.crescendotool.org) platform), and latterly SoS modelling, verification and testing (the [Symphony](http://www.symphonytool.org) platform). 
+Research in VDM is driven as much by the needs of industry practice as by a wish to develop fundamental theory. As a consequence, the need for robust tool support has been a priority for many years. The community-based [Overture](https://www.overturetool.org) initiative is developing industry-strength tools on a new open platform that has been successfully adapted to form a platforms for co-modelling and co-simulation in embedded systems design (the [Crescendo](http://www.crescendotool.org) platform), and latterly SoS modelling, verification and testing (the [Symphony](http://www.symphonytool.org) platform). 
 
 The 12th workshop reflected the breadth and depth of work in VDM. Contributions covered topics as diverse as fundamental approaches to reasoning about concurrency, design space exploration, the use of Crescendo in teaching, and of course tools (interpreter design, code generation and the maturing architecture of Overture itself). Presentations most talks are to be found in the Overture Wiki .
 

Diff for: _workshops/13th-Overture-Workshop.md

@@ -49,7 +49,7 @@ The proceedings for this workshop can be found [at](http://grace-center.jp/wp-co
 
 This is the 13th in a series of workshops on the Vienna Development Method (VDM) seen in the open-source Overture setting. Although VDM is one of the oldest formal methods to have enjoyed a level of industry use, it nevertheless has a lively and youthful research community, which has grown up around the development of the Overture open tools platform. On top of the Overture platform the Crescendo and Symphony tools from respectively the DESTECS and COMPASS projects, as well as the new development that will take place in the new INTO-CPS project (see <http://into-cps.au.dk/>). The platform provides a vehicle for activity in modelling and analysis technology including static analysis, interpreters, test generation and execution support and model checking. The growth of this community has been greatly assisted by the Overture workshop series.
 
-There is a long tradition for having these workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did not collocate with the FM’14 symposium in Singapore since we felt that it would be hard to gather enough attendance so instead John Fitzgerald, Ken Pierce and Peter Gorm Larsen delivered a Crescendo tutorial (see <http://crescendotool.org/>). Proceedings of previous workshops may be obtained from <http://www.overturetool.org/>.
+There is a long tradition for having these workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did not collocate with the FM’14 symposium in Singapore since we felt that it would be hard to gather enough attendance so instead John Fitzgerald, Ken Pierce and Peter Gorm Larsen delivered a Crescendo tutorial (see <http://crescendotool.org/>). Proceedings of previous workshops may be obtained from <https://www.overturetool.org/>.
 
 ### Call for Papers
 

Diff for: _workshops/14th-Overture-Workshop.md

@@ -43,7 +43,7 @@ Proceedings can be found as <http://ojs.statsbiblioteket.dk/index.php/ece/issue/
 
 This is the 14th in a series of workshops on the Vienna Development Method (VDM) seen in the open-source Overture setting. Although VDM is one of the oldest formal methods to have enjoyed a level of industry use, it nevertheless has a lively and youthful research community, which has grown up around the development of the Overture open tools platform. On top of the Overture platform the Crescendo and Symphony tools from respectively the DESTECS and COMPASS projects. Currently the Overture tools are being further extended inside the INTO-CPS project (see <http://into-cps.au.dk/>) as well as in the TEMPO experiment (see <http://tempoproject.eu/>) supported by the CPSE-Labs project (see <http://www.cpse-labs.eu/>). The platform provides a vehicle for activity in modelling and analysis technology including static analysis, interpreters, test generation and execution support and model checking. The growth of this community has been greatly assisted by the Overture workshop series.
 
-There is a long tradition for having these workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did not collocate with the FM’14 symposium in Singapore since we felt that it would be hard to gather enough attendance so instead John Fitzgerald, Ken Pierce and Peter Gorm Larsen delivered a Crescendo tutorial (see <http://crescendotool.org/>). Proceedings of previous workshops may be obtained from <http://www.overturetool.org/>.
+There is a long tradition for having these workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did not collocate with the FM’14 symposium in Singapore since we felt that it would be hard to gather enough attendance so instead John Fitzgerald, Ken Pierce and Peter Gorm Larsen delivered a Crescendo tutorial (see <http://crescendotool.org/>). Proceedings of previous workshops may be obtained from <https://www.overturetool.org/>.
 
 ### Call for Papers
 

Diff for: _workshops/15th-Overture-Workshop.md

@@ -55,7 +55,7 @@ We invite contributions to the 15th Overture Workshop on the Vienna Development
 Current projects on model-based design for cyber-physical systems (INTO-CPS and the CPSE Labs experiments TEMPO, CPSBuDi and IPP4CPPS) are generating real results. There are also important developments in Japan with the release of VDMTools under an
 open source licence. It is thus timely to focus on the future of the methods and toolchain, improvements in capabilities, and potential applications. We also propose to hold a structured discussion on possible commercial futures. 
 
-Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at http://www.overturetool.org/.
+Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at https://www.overturetool.org/.
 
 **Location: Newcastle University, United Kingdom.**
 

Diff for: _workshops/16th-Overture-Workshop.md

@@ -229,7 +229,7 @@ Overture, and related tools and formalisms. VDM is one of the best established f
 Current projects on model-based design for cyber-physical systems (INTO-CPS and the CPSE Labs experiments TEMPO, CPSBuDi and IPP4CPPS) are generating real results. There are also important developments in Japan with the release of VDMTools under an
 open source licence. It is thus timely to focus on the future of the methods and toolchain, improvements in capabilities, and potential applications. We also propose to hold a structured discussion on possible commercial futures. 
 
-Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at http://www.overturetool.org/.
+Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at https://www.overturetool.org/.
 
 **Location: Oxford University, United Kingdom**
 

Diff for: _workshops/17th-overture-workshop.md

@@ -55,7 +55,7 @@ and dynamic analysis, test generation, execution support, and model checking.
 Previous workshops have been invaluable in encouraging both new and
 established members of the community in their work, and helping to determine
 priorities and future directions. Proceedings of former workshops are
-available at <http://www.overturetool.org/>.
+available at <https://www.overturetool.org/>.
 
 **Location: Alfandega Porto Congress Centre, Portugal** See <http://formalmethods2019.inesctec.pt/?page_id=140>
 

Diff for: _workshops/18th-overture-workshop.md

@@ -37,7 +37,7 @@ and dynamic analysis, test generation, execution support, and model checking.
 Previous workshops have been invaluable in encouraging both new and
 established members of the community in their work, and helping to determine
 priorities and future directions. Proceedings of former workshops are
-available at <http://www.overturetool.org/>.
+available at <https://www.overturetool.org/>.
 
 ## Registration
 

Diff for: _workshops/4th-Overture-Workshop.md

@@ -45,7 +45,7 @@ Report at the workshop, so camera ready copies will be required two
 weeks before the workshop.
 
 Papers and presentations will also be published on-line on the Overture
-project web-site (http://www.overturetool.org), which currently includes
+project web-site (https://www.overturetool.org), which currently includes
 on-line proceedings of the first three Overture workshops. Camera-ready
 copy of your paper and a PDF of your presentation is to be delivered at
 the workshop. At least one of the authors of each accepted paper is

Diff for: _workshops/7th-Overture-Workshop.md

@@ -68,7 +68,7 @@ model-oriented specification. New insights in tool support, the use of
 new technologies promoting interoperability and the potential benefits
 of open source approaches all provide strong incentives for developing
 next generation tools based on a more open architecture. These issues
-are being explored in the Overture Group (http://www.overturetool.org).
+are being explored in the Overture Group (https://www.overturetool.org).
 
 After six successful workshops in Canada, the UK, Finland and Portugal
 in 2005-2008, we plan to organize the sixth Overture Workshop at FM'09