From 9d896843d8b8356e912b59807cbfa9169d2eedac Mon Sep 17 00:00:00 2001
From: pmaksimo <p.maksimovic@imperial.ac.uk>
Date: Wed, 3 Feb 2016 12:55:09 +0000
Subject: [PATCH] Concurrency, people order, menu order, domain
---
_config.yml | 6 +++---
_includes/person-card.html | 1 +
_people/azalea.md | 10 ----------
_people/gian.md | 11 -----------
_people/julian.md | 10 ----------
_people/philippa-gardner.md | 22 ----------------------
_people/rocha-pinto.md | 10 ----------
_people/shale.md | 10 ----------
advert.md | 2 +-
index.md | 7 +------
people.html | 1 +
11 files changed, 7 insertions(+), 83 deletions(-)
delete mode 100644 _people/azalea.md
delete mode 100644 _people/gian.md
delete mode 100644 _people/julian.md
delete mode 100644 _people/philippa-gardner.md
delete mode 100644 _people/rocha-pinto.md
delete mode 100644 _people/shale.md
diff --git a/_config.yml b/_config.yml
index dc65b39..67b69d3 100644
--- a/_config.yml
+++ b/_config.yml
@@ -1,9 +1,9 @@
-title: Reliable Web
-subtitle: <a href="http://www.doc.ic.ac.uk">Department of Computing</a>, <a href="http://www.imperial.ac.uk/">Imperial College London</a>
+title: Concurrency
+subtitle: Program Specification and Verification Group</br><a href="http://www.doc.ic.ac.uk">Department of Computing</a>, <a href="http://www.imperial.ac.uk/">Imperial College London</a>
copyright: Imperial College London
baseurl: ""
-url: "http://www-rw.doc.ic.ac.uk"
+url: "http://www-psvg-concurrency.doc.ic.ac.uk"
markdown: kramdown
diff --git a/_includes/person-card.html b/_includes/person-card.html
index a07b1ab..709d378 100644
--- a/_includes/person-card.html
+++ b/_includes/person-card.html
@@ -6,4 +6,5 @@
<h4 class="card-title">{{ person.firstname }} {{ person.lastname }}</h4>
</a>
<h6 class="card-subtitle text-muted">{{ person.position }}</h6>
+ </br>
</div>
diff --git a/_people/azalea.md b/_people/azalea.md
deleted file mode 100644
index 4de316d..0000000
--- a/_people/azalea.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-title: Azalea Raad
-firstname: Azalea
-lastname: Raad
-image: /images/azalea.jpg
-position: PhD Student
-webpage: http://www.doc.ic.ac.uk/~azalea/
-email: azalea@imperial.ac.uk
----
-
diff --git a/_people/gian.md b/_people/gian.md
deleted file mode 100644
index 0d1d37f..0000000
--- a/_people/gian.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-title: Gian Ntzik
-firstname: Gian
-lastname: Ntzik
-image: /images/gian.jpg
-position: PhD Student
-webpage:
-email: gian.ntzik08@imperial.ac.uk
-github: anirothan
----
-
diff --git a/_people/julian.md b/_people/julian.md
deleted file mode 100644
index 010b30a..0000000
--- a/_people/julian.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-title: Julian Sutherland
-firstname: Julian
-lastname: Sutherland
-image: /images/julian.jpg
-position: PhD Student
-webpage: http://www.doc.ic.ac.uk/~jhs110/
-email: jhs110@doc.ic.ac.uk
----
-
diff --git a/_people/philippa-gardner.md b/_people/philippa-gardner.md
deleted file mode 100644
index afa8fbd..0000000
--- a/_people/philippa-gardner.md
+++ /dev/null
@@ -1,22 +0,0 @@
----
-title: Philippa Gardner
-firstname: Philippa
-lastname: Gardner
-image: /images/gardner.jpg
-position: Professor, Group Leader
-webpage: http://www.doc.ic.ac.uk/~pg/
-email: pg@doc.ic.ac.uk
----
-Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at
-Imperial. Her current research focusses on program verification: in
-particular, reasoning about web programs (JavaScript and DOM) and
-reasoning about concurrent programs.
-
-She completed her PhD thesis, supervised by Professor Gordon Plotkin
-FRS at Edinburgh in 1992. She moved to Cambridge in 1998 on an EPSRC
-Advanced Fellowship, hosted by Professor Robin Milner FRS. She
-obtained a lectureship at Imperial in 2001, and became professor in
-2009. She held a Microsoft Research Cambridge/Royal Academy of
-Engineering Senior Fellowship from 2005 to 2010 at Imperial. She is the
- Director of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),
-funded by GCHQ in association with EPSRC.
diff --git a/_people/rocha-pinto.md b/_people/rocha-pinto.md
deleted file mode 100644
index c1f52eb..0000000
--- a/_people/rocha-pinto.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-title: Pedro da Rocha Pinto
-firstname: Pedro
-lastname: da Rocha Pinto
-image: /images/pedro.jpg
-position: PhD Student
-webpage: http://www.doc.ic.ac.uk/~pmd09/
-email: pmd09@doc.ic.ac.uk
----
-
diff --git a/_people/shale.md b/_people/shale.md
deleted file mode 100644
index 9882fd2..0000000
--- a/_people/shale.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-title: Shale Xiong
-firstname: Shale
-lastname: Xiong
-image: /images/shale.jpg
-position: PhD Student
-webpage:
-email: shale.xiong14@imperial.ac.uk
----
-
diff --git a/advert.md b/advert.md
index 207e73a..6f91287 100644
--- a/advert.md
+++ b/advert.md
@@ -1,6 +1,6 @@
---
title: Job Announcements
-menu_order: 4
+menu_order: 10
---
<h4> Two new postdoc positions at Imperial! </h4>
diff --git a/index.md b/index.md
index f5cf2b9..a7727d1 100644
--- a/index.md
+++ b/index.md
@@ -2,10 +2,5 @@
title: Home
menu_order: 1
---
-The world-wide web is a nearly-ubiquitous and continuously-growing application platform.
-As users increasingly come to depend on web applications, it is more important than ever to be able to make guarantees about these programs.
-Yet these applications are built on a melange of technologies that have evolved in response to the demands of developers and users, which present a daunting task for formal analysis.
-
-The purpose of the Reliable Web group is to develop formal techniques for making guarantees about web applications.
-Particular successes include formalising the semantics of JavaScript, the dynamic language that underpins client-side web applications, and developing local reasoning about the W3C Document Object Model, the data model that web applications use to represent and manipulate web documents.
+[BLURB ON CONCURRENCY]
\ No newline at end of file
diff --git a/people.html b/people.html
index 55836a4..a141708 100644
--- a/people.html
+++ b/people.html
@@ -1,5 +1,6 @@
---
title: People
+menu_order: 2
permalink: /people/
---
<div class="row">
--
GitLab