Concurrency, people order, menu order, domain

_config.yml

-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
 

_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>

_people/azalea.md

----
-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
----
-

_people/gian.md

----
-title: Gian Ntzik
-firstname: Gian
-lastname: Ntzik
-image: /images/gian.jpg
-position: PhD Student
-webpage:
-email: gian.ntzik08@imperial.ac.uk
-github: anirothan
----
-

_people/julian.md

----
-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
----
-

_people/philippa-gardner.md

----
-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.

_people/rocha-pinto.md

----
-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
----
-

_people/shale.md

----
-title: Shale Xiong
-firstname: Shale
-lastname: Xiong
-image: /images/shale.jpg
-position: PhD Student
-webpage: 
-email: shale.xiong14@imperial.ac.uk
----
-

advert.md

 ---
 title: Job Announcements
-menu_order: 4
+menu_order: 10
 ---
 
 <h4> Two new postdoc positions at Imperial! </h4> 

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

people.html

 ---
 title: People
+menu_order: 2
 permalink: /people/
 ---
 <div class="row">