Web site skeleton, done with Steve.

Author: andrejbauer

.gitignore

@@ -0,0 +1,4 @@
+_site
+/Gemfile.lock
+.sass-cache
+/images/.jekyll-metadata

_data/navigation.yml

@@ -2,16 +2,28 @@
 
 - title: Conference
   url: /
-  excerpt: Information about the HoTT 2019 conference
+  excerpt: General information about the HoTT 2019 conference
 
 - title: Summer school
   url: /summer-school/
   excerpt: Information about the HoTT 2019 summer school
 
-- title: Venue
-  url: /venue/
-  excerpt: Information about the HoTT 2019 venue
+# Will be replaced by "Accepted papers" later
+- title: Call for papers
+  url: /call-for-papers/
+  excerpt: Call for papers and submisson information
+
+- title: Registration
+  url: /registration/
+  excerpt: Conference and summer school registration
+
+- title: Local information
+  url: /local/
+  excerpt: Travel information and registration
+
+# This will appear later
+# - title: Programme
+#  url: /programme/
+#  excerpt: Schedule of all events
+
 
-- title: Dates
-  url: /dates/
-  excerpt: Important dates

_includes/header.html

@@ -1,8 +1,8 @@
 <header id="masthead">
   <div class="inner-wrap">
-    <a href="{{ site.url }}/" class="site-title">{{ site.title }}</a>
+    <span class="site-title"></span>
     <nav role="navigation" class="menu top-menu">
         {% include navigation.html %}
     </nav>
   </div><!-- /.inner-wrap -->
-</header><!-- /.masthead -->
+</header><!-- /.masthead -->

call-for-papers.md

@@ -0,0 +1,12 @@
+---
+layout: page
+permalink: /call-for-papers/
+title: "Call for papers"
+---
+
+`TODO insert call for papers`
+
+`TODO cover these topics: scope, submission format, selection procedure, notification, possibly also post-publication`
+
+`TODO submission information`
+

dates.md

@@ -1,7 +1,7 @@
 ---
 layout: page
 permalink: /dates/
-title: "Dates"
+title: "Practical information"
 ---
 
 #### Submissions

index.md

@@ -4,17 +4,27 @@ permalink: /
 title: "Homotopy Type Theory 2019"
 ---
 
+**THIS SITE CURRENTLY UNDER CONSTRUCTION. PLEASE EXCUSE THE MESS.**
+
+
+`TODO: General description of the event (make dates clearly visible).`
+
 There will be an International Conference on [Homotopy Type
 Theory](https://homotopytypetheory.org) (HoTT 2019) **from August 12th to 17th,
 2019**, at Carnegie Mellon University in Pittsburgh, USA.
 
-There will also be an associated Homotopy Type Theory Summer School in the
-preceding week, August 7th to 10th.
+There will also be an associated [Homotopy Type Theory Summer
+School](/summer-school/) in the preceding week, August 7th to 10th.
+
+`TODO also point to call for papers.`
+
+`TODO also point to local information` ([like this](/local/))
 
-Further information will be posted here as it becomes available.
 
 ### Invited Speakers
 
+`TODO: add their affiliations`
+
 * [Ulrik Buchholtz](https://www2.mathematik.tu-darmstadt.de/~buchholtz/)
 * [Dan Licata](http://dlicata.web.wesleyan.edu)
 * [Andrew Pitts](https://www.cl.cam.ac.uk/~amp12/)
@@ -24,11 +34,11 @@ Further information will be posted here as it becomes available.
 
 ##### Scientific Committee
 
-The conference is organized by:
+`TODO: add affiliations`
 
 * [Steve Awodey](https://www.andrew.cmu.edu/user/awodey/)
 * [Andrej Bauer](http://www.andrej.com/)
 * [Thierry Coquand](http://www.cse.chalmers.se/~coquand/)
 * [Nicola Gambino](http://www1.maths.leeds.ac.uk/~pmtng/)
 * [Peter LeFanu Lumsdaine](http://peterlefanulumsdaine.com)
-* [Michael Shulman](http://home.sandiego.edu/~shulman/), chair
+* [Michael Shulman](http://home.sandiego.edu/~shulman/), **chair**

local-information.md

@@ -0,0 +1,19 @@
+---
+layout: page
+permalink: /local/
+title: "Travel & local information"
+---
+
+
+### Travel to Pittsburgh
+
+`TODO: information about travel to Pittsburgh`
+
+### Venue
+
+`TODO: how to get to the venue once in Pittsburgh`
+
+### Lodging
+
+`TODO: recommended hotels, or just point people to booking.com`
+

registration.md

@@ -0,0 +1,16 @@
+---
+layout: page
+permalink: /registration/
+title: "Conference and summer school registration"
+---
+
+`TODO: explain that registration will be open at a later date`
+
+### Conference registration
+
+`TODO: explain a bit and point to the external registration site.`
+
+### Summer school registration
+
+`TODO: explain a bit and point to the external registration site.`
+

summer-school.md

@@ -2,16 +2,22 @@
 layout: page
 permalink: /summer-school/
 title: "HoTT Summer school"
-image:
-  feature: staircase-header.jpg
 ---
 
-Preceeding the conference there will be an associated Summer school on homotopy
-type theory from **August 7th to 10th, 2018**.
+`TODO better description (who is this for, what topics are covered, etc.)`
 
+`TODO explain financing support if any`
+
+`TODO explain application procedure`
+
+`TODO when ready: pointers to educational material and background reading.`
+
+`TODO contact person in case of questions (Jonas)`
 
 ### Summer School Topics and Instructors
 
+`TODO add affiliations`
+
 * Cubical methods: [Anders Mortberg](http://www.cs.cmu.edu/~amoertbe/)
 * Formalization in Agda: [Guillaume Brunerie](https://guillaumebrunerie.github.io)
 * Formalization in Coq: [Kristina Sojakova](http://www.cs.cornell.edu/~ks858/)
@@ -22,6 +28,8 @@ type theory from **August 7th to 10th, 2018**.
 
 #### Summer School Organizers
 
+`TODO add affiliations`
+
 * [Steve Awodey](https://www.andrew.cmu.edu/user/awodey/)
 * [Jonas Frey](https://sites.google.com/site/jonasfreysite/)
 * [Nicola Gambino](http://www1.maths.leeds.ac.uk/~pmtng/)