Establish and announce 2024 TLA+ grant program

.github/workflows/hugo.yaml

@@ -28,7 +28,7 @@ jobs:
           extended: true
 
       - name: Build Main
-        if: github.ref == 'refs/heads/main' && github.repository_owner == 'tlaplus'
+        if: github.repository_owner == 'tlaplus'
         run: hugo --baseURL=$PROD_SITE --minify
 
       - name: Build Dev
@@ -37,6 +37,7 @@ jobs:
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
+        if: github.ref == 'refs/heads/main'
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./public

archetypes/grant.md

@@ -0,0 +1,8 @@
++++
+title = '{{ replace .File.ContentBaseName "-" " " | title }}'
+linkTitle = ''
+description = ""
+archetype = "grant"
+date = {{ .Date }}
+draft = true
++++

archetypes/section-index.md

@@ -0,0 +1,5 @@
++++
+archetype = "section-index"
+title = '{{ replace .File.ContentBaseName "-" " " | title }}'
+weight = 1
++++

assets/css/theme-tlaplus.css

@@ -0,0 +1,162 @@
+/* my-custom-variant */
+:root {
+  --SECONDARY-color: rgba(72, 106, 201, 1); /* brand secondary color */
+  --ACCENT-color: #67117e; /* brand accent color, used for search highlights */
+  --MAIN-LINK-HOVER-color: rgba(
+    32,
+    40,
+    145,
+    1
+  ); /* hoverd link color of content */
+  --MAIN-TEXT-color: #222; /* text color of content and h1 titles */
+  --MAIN-TITLES-TEXT-color: rgba(
+    16,
+    16,
+    16,
+    1
+  ); /* text color of h2-h6 titles and transparent box titles */
+  --MAIN-TITLES-H2-color: #333; /* text color of h2-h6 titles */
+  --MAIN-TITLES-H3-color: #444; /* text color of h3-h6 titles */
+  --CODE-theme: relearn-light; /* name of the chroma stylesheet file */
+  --CODE-BLOCK-color: rgba(
+    39,
+    40,
+    34,
+    1
+  ); /* fallback text color of block code; should be adjusted to your selected chroma style */
+  --CODE-BLOCK-BG-color: rgba(
+    250,
+    250,
+    250,
+    1
+  ); /* fallback background color of block code; should be adjusted to your selected chroma style */
+  --CODE-BLOCK-BORDER-color: rgba(
+    216,
+    216,
+    216,
+    1
+  ); /* border color of block code */
+  --CODE-INLINE-color: rgba(94, 94, 94, 1); /* text color of inline code */
+  --CODE-INLINE-BG-color: rgba(
+    255,
+    250,
+    233,
+    1
+  ); /* background color of inline code */
+  --CODE-INLINE-BORDER-color: rgba(
+    248,
+    232,
+    200,
+    1
+  ); /* border color of inline code */
+  --BROWSER-theme: light; /* name of the theme for browser scrollbars of the main section */
+  --MERMAID-theme: default; /* name of the default Mermaid theme for this variant, can be overridden in hugo.toml */
+  --OPENAPI-theme: light; /* name of the default OpenAPI theme for this variant, can be overridden in hugo.toml */
+  --OPENAPI-CODE-theme: idea; /* name of the default OpenAPI code theme for this variant, can be overridden in hugo.toml */
+  --MENU-TOPBAR-BORDER-color: #67117e; /* border color of vertical line between menu and topbar */
+  --MENU-HEADER-BG-color: #67117e; /* background color of menu header */
+  --MENU-HEADER-BORDER-color: #67117e; /* border color between menu header and menu */
+  --MENU-HOME-LINK-color: #ffffff; /* home button color if configured */
+  --MENU-HOME-LINK-HOVER-color: rgba(
+    0,
+    0,
+    0,
+    1
+  ); /* hoverd home button color if configured */
+  --MENU-SEARCH-color: #ffffff; /* text and icon color of search box */
+  --MENU-SEARCH-BG-color: rgba(
+    50,
+    50,
+    50,
+    1
+  ); /* background color of search box */
+  --MENU-SEARCH-BORDER-color: #ffffff; /* border color of search box */
+  --MENU-SECTIONS-BG-color: #322a38; /* background of the menu; this is NOT just a color value but can be a complete CSS background definition including gradients, etc. */
+  --MENU-SECTIONS-ACTIVE-BG-color: rgba(
+    0,
+    0,
+    0,
+    0.166
+  ); /* background color of the active menu section */
+  --MENU-SECTIONS-LINK-color: #fff; /* link color of menu topics */
+  --MENU-SECTIONS-LINK-HOVER-color: rgba(
+    255,
+    255,
+    255,
+    1
+  ); /* hoverd link color of menu topics */
+  --MENU-SECTION-ACTIVE-CATEGORY-color: rgba(
+    68,
+    68,
+    68,
+    1
+  ); /* text color of the displayed menu topic */
+  --MENU-SECTION-SEPARATOR-color: rgba(
+    96,
+    96,
+    96,
+    1
+  ); /* separator color between menu sections and menu footer */
+  --MENU-VISITED-color: #f5e4e4; /* icon color of visited menu topics if configured */
+  --BOX-CAPTION-color: rgba(
+    255,
+    255,
+    255,
+    1
+  ); /* text color of colored box titles */
+  --BOX-BG-color: rgba(
+    255,
+    255,
+    255,
+    0.833
+  ); /* background color of colored boxes */
+  --BOX-TEXT-color: rgba(16, 16, 16, 1); /* text color of colored box content */
+}
+
+#R-header-wrapper {
+  border-bottom-width: 4px;
+  padding: 0rem;
+}
+
+#R-body-inner {
+  display: flex;
+  flex: auto;
+  flex-direction: column;
+  overflow-y: auto;
+  padding: 0 3.25rem 4rem 3.25rem;
+  position: relative; /* PS */
+}
+
+#R-body .flex-block-wrapper {
+  margin-left: auto;
+  margin-right: auto;
+  max-width: calc( var(--INTERNAL-MAIN-WIDTH-MAX) - var(--INTERNAL-MENU-WIDTH-L) - 2 * 3.25rem );
+  width: 100%;
+  position: relative;
+  height: 100%;
+}
+body:not(.print) #R-body .narrow .flex-block-wrapper {
+  max-width: calc( var(--INTERNAL-MAIN-WIDTH-MAX) - var(--INTERNAL-MENU-WIDTH-L) - 2 * 9.75rem );
+  position: relative;
+}
+/* we limit width if we have large screens */
+body.main-width-max #R-body .flex-block-wrapper {
+  width: calc( var(--INTERNAL-MAIN-WIDTH-MAX) - var(--INTERNAL-MENU-WIDTH-L) - 2 * 3.25rem );
+  position: relative;
+}
+body.main-width-max:not(.print) #R-body .narrow .flex-block-wrapper {
+  width: calc( var(--INTERNAL-MAIN-WIDTH-MAX) - var(--INTERNAL-MENU-WIDTH-L) - 2 * 9.75rem );
+  position: relative;
+}
+article {
+  flex-direction: column;
+  min-height: 100%;
+}
+
+.children {
+  flex-grow: 1;
+}
+footer {
+  flex-shrink: 0;
+  padding-bottom: .5rem;
+}

content/_index.md

@@ -1,6 +1,7 @@
 +++
 title = 'TLA+ Foundation'
 linkTitle = 'TLA+ Foundation'
+archetype = "home"
 description = ""
 draft = false
 +++
@@ -10,6 +11,10 @@ The TLA+ Foundation (TLAF) is an independent, non-profit organization dedicated
 
 See the [TLA+ Foundation Charter](https://cdn.platform.linuxfoundation.org/agreements/tla.pdf) and the [TLA+ Technical Charter](docs/TLA%2B%20Project%20Technical%20Charter.pdf) for more details.
 
+{{% notice style="accent" title="2024 TLA+ Grant CFP Now Open" icon="bullhorn" %}}
+The 2024 TLA+ Foundation Grant Program is aimed at advancing the state of the art in the TLA+ specification and fostering the experience of using TLA+ in research and industry. Learn about the [Grant Program and application process](grants/2024-grant-program).
+{{% /notice %}}
+
 ## The values of the Foundation
 The core principles guide the actions of the foundation:
 

content/grants/2024-grant-program.md

@@ -0,0 +1,81 @@
++++
+title = 'TLA+ Foundation Grant Program Call for Proposals'
+linkTitle = 'TLA+ Foundation Grant Program Call for Proposals'
+description = "The 2024 TLA+ Foundation Grant Program is aimed at advancing the state of the art in the TLA+ specification and fostering the experience of using TLA+ in research and industry. Depending on the scope of proposed work, grants may range from USD$1000 to USD$100,000. Applicants who receive grants are expected to complete their work within one year, though exceptions may be made on a case-by-case basis."
+date = 2024-05-28T15:18:27-07:00
+draft = false
++++
+
+The 2024 TLA+ Foundation Grant Program is aimed at advancing the state of the art in the TLA+ specification and fostering the experience of using TLA+ in research and industry. Depending on the scope of proposed work, grants may range from USD$1000 to USD$100,000. Applicants who receive grants are expected to complete their work within one year, though exceptions may be made on a case-by-case basis.
+
+Researchers as well as practitioners are welcome to apply!
+
+## Proposal types
+
+Members of the TLA+ community are encouraged to submit proposals for the grant program. The range of subjects is deliberately left open, both projects focusing on research and on the improvement of existing tools or user interfaces are welcome. The following list gives some examples of subjects that might be relevant:
+
+- Use of TLA+ specifications for generating test suites for distributed systems
+- Check conformance of system implementations with respect to TLA+ specifications
+- Automatic techniques for generating inductive invariants
+- Improvements to documentation and user experience
+- Incorporate TLAPS and the TLC Profiler into VS Code
+- Implement partial order reduction techniques in TLC
+- Enable first-time users to execute TLC within web browsers
+
+{{% notice style="primary" title="Communication expectations" icon="circle-exclamation" %}}
+All awardees will be expected to provide periodic updates to the TLA+ community through efforts such as participating in the regular community meetings, blog posts, conference talks, etc.
+{{% /notice %}}
+
+## Awardee eligibility
+
+To be eligible for the 2024 TLA+ Grant Program, applicants must:
+
+- Not reside in a country or jurisdiction where participation in the grant program is prohibited under applicable U.S. federal, state or local laws or the laws of other countries
+- Not be subject to any existing obligations to third parties (such as contractual obligations to an employer) that would restrict or prohibit your participation in the grants program
+- Be able to accept an unrestricted grant on behalf of yourself or your organization
+
+## Proposal structure
+
+When putting together your proposal, please be prepared to provide the following information:
+
+- Description of proposed work (maximum 2 pages)
+- List of project team members (solo applications are acceptable)
+- Expected outcomes and benefits to TLA+ technology and/or community (maximum 1 page)
+- Projected timeline of work with key milestones (describe the milestones in question)
+- Award amount requested and justification (how you plan to apply the grant if awarded)
+- Description of relevant work and how it applies to your proposal (if any)
+- Up-to-date CV or résumé (maximum 3 pages per team member)
+
+{{% notice style="primary" title="Software licensing requirements" icon="circle-exclamation" %}}
+To ensure compatibility with existing TLA+ tooling, we _strongly_ recommend that any modification of an existing TLA+ tool developed as a part of your proposal be licensed under the same license as that tool, and any new software developed be licensed under an Apache 2.0, 2-Clause BSD, or MIT license.
+
+Preference will be given to proposals that follow this recommendation.
+{{% /notice %}}
+
+## Application details
+
+The TLA+ grant applications are now open. To apply, fill out the [application template](TLA%2B%20Grant%20Template.docx) with your proposal details and submit it through the form below.
+
+<script charset="utf-8" type="text/javascript" src="//js.hsforms.net/forms/embed/v2.js"></script>
+<script>
+hbspt.forms.create({
+region: "na1",
+portalId: "8112310",
+formId: "153a67b6-b8c9-41cc-8c8f-decfb9826487"
+});
+</script>
+
+## Timeline
+Applications are now open!
+
+| Date | Milestone |
+| :--- | :--- |
+| 31 August 2024 | First submission deadline |
+| 30 September 2024 | Grant committee review closes |
+| 02 October 2024 | Estimated notification to applicants |
+
+Proposals submitted after the first submission deadline will be evaluated on a rolling basis.
+
+## Questions
+
+If you have any questions, please reach out to [[email protected]](mailto:[email protected]).

content/grants/_index.md

@@ -0,0 +1,6 @@
++++
+archetype = "section-index"
+title = "TLA+ Foundation Grants"
+weight = 1
+alwaysopen = "true"
++++

go.mod

@@ -2,4 +2,4 @@ module github/tlaplus/foundation
 
 go 1.22.1
 
-require github.com/McShelby/hugo-theme-relearn v0.0.0-20240404222932-7812c1f74d80 // indirect
+require github.com/McShelby/hugo-theme-relearn v0.0.0-20240507204003-21b4289ecf44 // indirect

go.sum

@@ -1,2 +1,2 @@
-github.com/McShelby/hugo-theme-relearn v0.0.0-20240404222932-7812c1f74d80 h1:+N14JrdvUPW3JciFI4gEW/9L1iBXgYK8CqlvmWNQnsM=
-github.com/McShelby/hugo-theme-relearn v0.0.0-20240404222932-7812c1f74d80/go.mod h1:mKQQdxZNIlLvAj8X3tMq+RzntIJSr9z7XdzuMomt0IM=
+github.com/McShelby/hugo-theme-relearn v0.0.0-20240507204003-21b4289ecf44 h1:AKT4XmMcPBvNx6/aIjCMZxKj7Gwl1j7CSJLszuyRRLc=
+github.com/McShelby/hugo-theme-relearn v0.0.0-20240507204003-21b4289ecf44/go.mod h1:mKQQdxZNIlLvAj8X3tMq+RzntIJSr9z7XdzuMomt0IM=

hugo.toml

@@ -2,9 +2,9 @@ languageCode = 'en-us'
 title = 'TLA+ Foundation'
 pygmentsUseClassic = true
 PygmentsCodeFences = true
-copyright = "© 2024 TLA+ Foundation Authors"
 enableRobotsTXT = true
 noChmod = true
+staticDir = ['static']
 
 [Params]
     disableInlineCopyToClipBoard = false

layouts/partials/archetypes/grant/styleclass.html

@@ -0,0 +1 @@
+default

layouts/partials/archetypes/section-index/article.html

@@ -0,0 +1,11 @@
+{{- $page := .page }} {{- $content := .content }} {{- with $page }}
+<article style="display:flex;">
+  <header class="headline">{{- partial "content-header.html" . }}</header>
+  {{ partial "heading-pre.html" . }} {{ partial "heading.html" . }}{{ partial
+  "heading-post.html" . }} {{ $content | safeHTML }} {{ partial
+  "shortcodes/children.html" (dict "page" . "sort" "publishdate"
+  "description" "true" "containerstyle" "div" "style" "h2" ) }}
+  <footer class="footline">{{- partial "content-footer.html" . }}</footer>
+</article>
+
+{{- end }}

layouts/partials/archetypes/section-index/styleclass.html

@@ -0,0 +1 @@
+default