Skip to content

Commit

Permalink
preliminary programme draft alpha
Browse files Browse the repository at this point in the history
  • Loading branch information
@wadoon
wadoon committed Jul 8, 2024
1 parent 535554d commit f24ddc4
Show file tree
Hide file tree
Showing 41 changed files with 609 additions and 124 deletions.
202 changes: 84 additions & 118 deletions _layouts/programme.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,24 +16,25 @@
{%- endmacro %}

{% macro session(name, chair, slots) -%}
<div class="session">
<span class="session" style="font-weight:bold;">
Session: {{name}} &mid;
Chair: {{user(chair)}}
</div>
</span><br>
{%for s in slots%} {{talk(s)}}{%endfor%}
{%- endmacro %}

{% macro talk(slotId) -%}
{% if slotId in bySlot %}
{% set t = bySlot[slotId] %}
<div class="slot {{t.meta.type}}" id="slot-{{slotId}}"/>
<p class="slot {{t.meta.type}}" id="slot-{{slotId}}">
<!-- {{slotId}} -->
<span class="label">
<span class="">
<a href="#talk-{{slotId}}">{{ t.meta.title }}</a>
</span>
<span class="label time"> {{ t.meta.length }} min. </span>
<br>
{{user(t.meta.author)}}
</div>
</p>

{% else %}
<span class="bg-error label">
Expand All @@ -44,238 +45,204 @@

{% block content %}

<h1>Programme</h1>
<h1>Prelimniary Programme</h1>
<h3>more like a draft than final</h3>

{{content|safe}}

<details class="accordion" open>
<summary class="accordion-header">
<h2>
<i class="icon icon-arrow-right mr-1"></i>
Day 0
</h2>
</summary>
<div class="accordion-body">
<h2> Day 0 - Monday, 29th July </h2>
<table class="table">
<tr>
<td>#</td>
<td>Topic</td>
<th>#</th>
<th>Topic</th>
</tr>

<tr>
<td>13:00--17:00</td>
<td>13:00 &ndash; 17:00</td>
<td>{{talk(999)}}</td>
</tr>
<tr>
<td>17:00--18:00</td>
<td>17:00 &ndash;18:00</td>
<td>Registration
</td>

<tr>
<td>18:00--19:00</td>
<td>18:00 &ndash;19:00</td>
<td>Dinner at Haus der Kirche</td>
</tr>
<tr>
<td>19:00--</td><td>Getting Together</td>
<td>19:00 &ndash;</td><td>Getting Together</td>
</tr>

<tr>
<td>20:00--21:00</td><td>Meeting of the Programme Board</td>
<td>20:00 &ndash;21:00</td><td>Meeting of the Programme Board</td>
</tr>
</table>
</div>
</details>

<details class="accordion" open>
<summary class="accordion-header">
<h2>
<i class="icon icon-arrow-right mr-1"></i>
Day 1
</h2>
</summary>
<div class="accordion-body">

<h2> Day 1 &ndash; Tuesday, 30th July </h2>
<table class="table">
<tr>
<td>#</td>
<td>Topic</td>
<th>#</th>
<th>Topic</th>
</tr>

<tr>
<td>08:45--09:00</td>
<td>08:45 &ndash;09:00</td>
<td> {{ talk(10) }}</td>
</tr>

<tr>
<td>09:00--10:30</td>
<td>09:00 &ndash;10:30</td>
<td>
{{ session("#1", "X", [11,12]) }}
{{ session("Probabilism", "X", [11,12,123]) }}
</td>
</tr>

<tr class="break">
<td>10:30--11:00</td>
<td>10:30 &ndash;11:00</td>
<td>Coffee</td>
</tr>

<tr>
<td>11:00 -- 12:30</td>
<td>
{{ session("#2", "X", [13,14,15]) }}
</td>
<tr class="track-key">
<td>11:00 &ndash; 12:30</td>
<td> {{ session("#6a", "X", [113,114,115]) }}</td>
</tr>

<tr class="track-keymaera">
<td>11:00 &ndash; 12:30</td>
<td> {{ session("#6b", "X", [213,214,215]) }}</td>
</tr>


<tr class="break">
<td>12:30 -- 14:00</td>
<td>12:30 &ndash; 14:00</td>
<td>Lunch</td>
</tr>

<tr>
<td>14:00 -- 15:30</td>
<td>
{{ session("#3", "X", [16,17,18]) }}
</td>
<tr class="track-key">
<td>14:00 &ndash; 15:30</td>
<td> {{ session("#7a", "X", [116,117,118]) }}</td>
</tr>

<tr class="track-keymaera">
<td>14:00 &ndash; 15:30</td>
<td> {{ session("#7b", "X", [216,217,218]) }}</td>
</tr>


<tr class="break">
<td>15:30 -- 16:00</td>
<td>15:30 &ndash; 16:00</td>
<td>Coffee</td>
</tr>

<tr>
<td>16:00 -- 18:00</td>
<td>16:00 &ndash; 17:30</td>
<td>
{{ session("#4", "X", [19,110,111,112]) }}
{{ session("Voting, Social-Choice", "Michael Kirsten", [19,191,192,193]) }}
</td>
</tr>

<tr class="break">
<td>18:00 -- 19:00</td>
<td>18:00 &ndash; 19:00</td>
<td>Dinner at HdK </td>
</tr>

<tr class="social">
<td>19:00 --</td>
<td>19:00 &ndash;</td>
<td>{{talk(998)}}</td>
</tr>
</table>
</div>
</details>

<details class="accordion" open>
<summary class="accordion-header">
<h2>
<i class="icon icon-arrow-right mr-1"></i>
Day 2
</h2>
</summary>
<div class="accordion-body">


<h2>Day 2 &ndash; Wednesday, 31th July</h2>

<table class="table">
<tr>
<td>#</td>
<td>Topic</td>
<th>#</th>
<th>Topic</th>
</tr>

<tr>
<td>09:00--10:30</td>
<td>09:00 &ndash;10:30</td>
<td>
{{ session("#5", "X", [20,21]) }}
{{ session("Formal Methods for CPS", "X", [20,21,22]) }}
</td>
</tr>

<tr class="break">
<td>10:30--11:00</td>
<td>10:30 &ndash;11:00</td>
<td>Coffee</td>
</tr>

<tr class="track-key">
<td>11:00 -- 12:30</td>
<td> {{ session("#6a", "X", [201,202,203]) }}</td>
</tr>

<tr class="track-keymaera">
<td>11:00 -- 12:30</td>
<td> {{ session("#6b", "X", [210,211,212]) }}</td>
<tr>
<td>11:00 &ndash; 12:30</td>
<td>
{{ session("#2", "X", [13,14,15]) }}
</td>
</tr>

<tr class="break">
<td>12:30 -- 14:00</td>
<td>12:30 &ndash; 14:00</td>
<td>Lunch</td>
</tr>

<tr class="track-key">
<td>14:00 -- 15:30</td>
<td> {{ session("#7a", "X", [204,205,206]) }}</td>
</tr>

<tr class="track-keymaera">
<td>14:00 -- 15:30</td>
<td> {{ session("#7b", "X", [214,215,216]) }}</td>
<tr class="">
<td>14:00 &ndash; 15:30</td>
<td>{{ session("#3", "X", [207,208,209]) }}</td>
</tr>

<tr class="break">
<td>15:30 -- 16:00</td>
<td>15:30 &ndash; 16:00</td>
<td>Coffee</td>
</tr>

<tr class="track-key">
<td>16:00 -- 18:00</td>
<td> {{ session("#7a", "X", [207,208,209,2010]) }}</td>
<tr>
<td>16:00 &ndash; 18:00</td>
<td>
{{ session("Intersymbolic AI", "X", [16,17,18,199]) }}
</td>
</tr>

<tr class="track-keymaera">
<td>16:00 -- 18:00</td>
<td>{{ session("#7b", "X", [217,218,219,2110]) }}</td>
</tr>

<tr class="break">
<td>18:30 --</td>
<td>18:30 &ndash;</td>
<td>Dinner outside</td>
</tr>
</table>
</div>
</details>
<!-- </div>
</details> -->

<h2> Day 3 &ndash; Thursday, 1st August </h2>

<details class="accordion" open>
<summary class="accordion-header">
<h2>
<i class="icon icon-arrow-right mr-1"></i>
Day 3
</h2>
</summary>
<div class="accordion-body">
<div class="accordion-body">
<table class="table">
<tr>
<td>#</td>
<td>Topic</td>
</tr>

<tr>
<td>09:00--10:30</td>
<td>09:00 &ndash;10:30</td>
<td>
{{ session("#8", "X", [30,31]) }}
</td>
</tr>

<tr class="break">
<td>10:30--11:00</td>
<td>10:30 &ndash;11:00</td>
<td>Coffee</td>
</tr>

<tr>
<td>11:00 -- 12:30</td>
<td>11:00 &ndash; 12:30</td>
<td>
{{ session("#8", "X", [32,33,34,35]) }}
{{ session("#8", "X", [32,33,34,35,36]) }}
</td>
</tr>

<tr class="break">
<td>12:30 -- 14:00</td>
<td>12:30 &ndash; 14:00</td>
<td>Lunch</td>
</tr>
</table>
</div>
</details>

<h2>Talks</h2>

Expand All @@ -291,10 +258,9 @@ <h3 id="talk-{{t.meta.slot}}"><a href="#slot-{{t.meta.slot}}">{{t.meta.title}}</

</h3>
<h4>{{user(t.meta.author)}}</h4>

<p>
<div class="content">
{{t.content | safe }}
</p>
</div>
</div>

{% endfor %}
Expand Down
Loading

0 comments on commit f24ddc4

Please sign in to comment.