generated from gethinode/template
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
25 changed files
with
741 additions
and
179 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,77 +1,14 @@ | ||
| # Hinode - Template | ||
| # Runtime Verification 2024 | ||
|
|
||
| <!-- Tagline --> | ||
| <p align="center"> | ||
| <b>A clean documentation and blog theme for your Hugo site based on Bootstrap 5</b> | ||
| <br /> | ||
| </p> | ||
| We are pleased to invite you to submit papers for the 24th International Conference on Runtime Verification (RV'24), which will take place in Istanbul, Turkey on October 15-18, 2024. | ||
|
|
||
| <!-- Badges --> | ||
| <p align="center"> | ||
| <a href="https://gohugo.io"> | ||
| <img src="https://img.shields.io/badge/generator-hugo-brightgreen" alt="Hugo website"> | ||
| </a> | ||
| <a href="https://app.netlify.com/sites/gethinode-template/deploys"> | ||
| <img src="https://img.shields.io/netlify/bbe29d40-f246-44fc-ac33-3c48e4776a11" alt="Netlify Status"> | ||
| </a> | ||
| <a href="https://stats.uptimerobot.com/xyGVYhLJmV"> | ||
| <img src="https://img.shields.io/uptimerobot/status/m793642596-ec67b9245f33e4f365f0da66" alt="UptimeRobot Status"> | ||
| </a> | ||
| <a href="https://github.com/gethinode/template/commits/main"> | ||
| <img src="https://img.shields.io/github/last-commit/gethinode/template.svg" alt="Last commit"> | ||
| </a> | ||
| <a href="https://github.com/gethinode/template/issues"> | ||
| <img src="https://img.shields.io/github/issues/gethinode/template.svg" alt="Issues"> | ||
| </a> | ||
| <a href="https://github.com/gethinode/template/pulls"> | ||
| <img src="https://img.shields.io/github/issues-pr-raw/gethinode/template.svg" alt="Pulls"> | ||
| </a> | ||
| <a href="https://github.com/gethinode/template/blob/main/LICENSE"> | ||
| <img src="https://img.shields.io/github/license/gethinode/template" alt="License"> | ||
| </a> | ||
| </p> | ||
| ## Important Dates | ||
|
|
||
| ## About | ||
| - Paper submission: | ||
| - Notification: | ||
| - Camera-ready: | ||
| - Conference: 15-18 October 2023 | ||
|
|
||
|  | ||
| ## Venue | ||
|
|
||
| Hinode is a clean blog theme for [Hugo][hugo], an open-source static site generator. Use this template if you would like to **take advantage of automation features**, provided by npm and GitHub actions. Visit the [docs][docs] for an alternative installation that uses Hugo only. | ||
|
|
||
| ## Prerequisites | ||
|
|
||
| Hinode is a theme that uses [Hugo modules][hugo_modules] to install and maintain various components. The Hinode template requires the following software to be installed on your local machine. The Hugo binary itself is embedded as an npm binary. | ||
|
|
||
| - [Git][git_download] | ||
| - [Go binary][golang_download] | ||
| - [Node.js][nodejs] (it includes npm) | ||
|
|
||
| ## Installation | ||
|
|
||
| 1. **Create a new repository** | ||
|
|
||
| Click the button `Use this template` to initialize a new repository based on this template (log in to GitHub if needed). | ||
|
|
||
| 2. **Clone a local copy** | ||
|
|
||
| ```bash | ||
| git clone https://github.com/owner/my-hinode-site && cd my-hinode-site # replace "owner/my-hinode-site" | ||
| ``` | ||
|
|
||
| 3. **Install the npm packages and hugo modules** | ||
|
|
||
| ```bash | ||
| npm install && npm run mod:update | ||
| ``` | ||
|
|
||
| You can now run `npm run start` to start a local development server. | ||
|
|
||
| <!-- MARKDOWN LINKS --> | ||
| [docs]: https://gethinode.com/docs | ||
| [git_download]: https://git-scm.com | ||
| [golang_download]: https://go.dev/dl/ | ||
| [hugo]: https://gohugo.io | ||
| [hugo_modules]: https://gohugo.io/hugo-modules/ | ||
| [npm]: https://www.npmjs.com | ||
| [nodejs]: https://nodejs.org | ||
| [repository]: https://github.com/gethinode/hinode.git | ||
| [repository_template]: https://github.com/gethinode/template.git | ||
| Boğaziçi University is located on the European side of Istanbul, which boasts a stunning campus that overlooks the iconic Bosphorus Strait, providing a captivating and memorable venue for the 24th International Conference on Runtime Verification. |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,51 +1,51 @@ | ||
| # [[main]] | ||
| # name = "Home" | ||
| # pageRef = "/" | ||
| # weight = 1 | ||
|
|
||
| [[main]] | ||
| name = "Home" | ||
| pageRef = "/" | ||
| name = "Call for Papers" | ||
| pageRef = "/call-for-papers/" | ||
| weight = 10 | ||
|
|
||
| [[main]] | ||
| name = "Tags" | ||
| pageRef = "/tags" | ||
| weight = 20 | ||
| name = "Committees" | ||
| pageRef = "/committees/" | ||
| weight = 30 | ||
|
|
||
| [[social]] | ||
| name = "LinkedIn" | ||
| pre = "fab linkedin" | ||
| url = "https://linkedin.com/" | ||
| weight = 10 | ||
| [[main]] | ||
| name = "Keynotes" | ||
| pageRef = "/keynotes/" | ||
| weight = 30 | ||
|
|
||
| [[social]] | ||
| name = "GitHub" | ||
| pre = "fab fa-github" | ||
| url = "https://github.com/" | ||
| weight = 20 | ||
| [[main]] | ||
| name = "Program" | ||
| pageRef = "/program/" | ||
| weight = 40 | ||
|
|
||
| [[social]] | ||
| name = "Medium" | ||
| pre = "fab medium" | ||
| url = "https://medium.com/" | ||
| weight = 30 | ||
| [[main]] | ||
| name = "Awards" | ||
| pageRef = "/awards/" | ||
| weight = 50 | ||
|
|
||
| # toml-docs-start sample-navigation | ||
| [[sample]] | ||
| name = "Blog" | ||
| pageRef = "/blog/" | ||
| weight = 10 | ||
| [[main]] | ||
| name = "Venue" | ||
| pageRef = "/venue/" | ||
| weight = 60 | ||
|
|
||
| [[sample]] | ||
| name = "Projects" | ||
| pageRef = "/projects/" | ||
| weight = 20 | ||
| [[main]] | ||
| name = "Registration" | ||
| pageRef = "/registration/" | ||
| weight = 100 | ||
|
|
||
| # [[social]] | ||
| # name = "Twitter" | ||
| # pre = "fab x-twitter" | ||
| # url = "https://twitter.com/runverif" | ||
| # weight = 10 | ||
|
|
||
| [[sample]] | ||
| name = "Sample project" | ||
| pageRef = "/projects/sample-project/" | ||
| parent = "Projects" | ||
| weight = 1 | ||
|
|
||
| [[sample]] | ||
| name = "Another project" | ||
| pageRef = "/projects/another-project/" | ||
| parent = "Projects" | ||
| weight = 2 | ||
| # toml-docs-end sample-navigation | ||
| [[social]] | ||
| name = "GitHub" | ||
| pre = "fab fa-github" | ||
| url = "https://github.com/runtime-verification" | ||
| weight = 20 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,15 +1,15 @@ | ||
| --- | ||
| title: Welcome to Hinode! | ||
| description: A clean documentation and blog theme for your Hugo site based on Bootstrap 5. | ||
| thumbnail: | ||
| url: /img/sunrise.jpg | ||
| author: Harris Vo | ||
| authorURL: https://unsplash.com/@hoanvokim | ||
| origin: https://unsplash.com/photos/ZX6BPboJrYk | ||
| originName: Unsplash | ||
| title: Runtime Verification 2024 | ||
| description: 15-18 October 2024, Istanbul | ||
| thumbnail: https://res.cloudinary.com/dkib2v4rl/image/upload/v1679840859/kitten_blue_mosque_istanbul_large_fe118e20a7.jpg | ||
| actions: | ||
| get-started: | ||
| url: "https://gethinode.com/docs" | ||
| title: "Get started" | ||
| icon: "fas book-open" | ||
| calls: | ||
| url: "/call-for-papers" | ||
| title: "Call for Papers" | ||
| #icon: "fas book-open" | ||
| weight: 1 | ||
| venue: | ||
| url: "/venue" | ||
| title: "Venue" | ||
| weight: 2 | ||
| --- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,4 @@ | ||
| --- | ||
| title: About | ||
| metadata: none | ||
| --- |
Oops, something went wrong.