Skip to content

Commit

Permalink
new program
Browse files Browse the repository at this point in the history
  • Loading branch information
@wadoon
wadoon committed Jul 20, 2024
1 parent 6f0c97e commit 002e181
Show file tree
Hide file tree
Showing 47 changed files with 365 additions and 143 deletions.
216 changes: 91 additions & 125 deletions _layouts/programme.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,8 @@
{%endif%}
{%- endmacro %}

{% macro session(name, chair, slots) -%}
<span class="session" style="font-weight:bold;">
{% macro session(name, chair, slots, closed="") -%}
<span class="session {{closed}}">
Session: {{name}} &mid;
Chair: {{user(chair)}}
</span><br>
Expand All @@ -27,8 +27,9 @@
{% if slotId in bySlot %}
{% set t = bySlot[slotId] %}
<p class="slot {{t.meta.type}} L{{t.meta.length}}" id="slot-{{slotId}}">
<!-- {{slotId}} -->
<!-- {{slotId}}
<span class="bg-error label">Slot:{{slotId}}</span>
-->
<a href="#talk-{{slotId}}">{{ t.meta.title }}</a>
<span class="label time"> {{ t.meta.length }} min. </span>
<br>
Expand All @@ -42,6 +43,12 @@
{% endif %}
{%- endmacro %}

{% macro entry(text,type) -%}
<p class="slot {{type}}">
{{ text }}
</p>
{%- endmacro %}

{% block content %}

<h1>Prelimniary Programme</h1>
Expand All @@ -52,177 +59,135 @@ <h3>more like a draft than final</h3>
that can be subscribed in your calender app</a>
</p>

<style>
p.slot { padding:2ex; margin:0;}

.L15 {
background: #f7f8f9;
}

p.L60, p.invited { /* invited talks */
background: #5755d9;
color:white;
font-weight:bold;
}

.L60 a { color:white; }
.L60 .chip a { color:black; }

summary {
font-size:100%;
}

details.day > summary {
font-size:150%;
font-weight: bold;
margin: -0.5em -0.5em 0;
padding: 0.5em;
}

details.day {
border: 1px solid #aaa;
border-radius: 4px;
padding: 0.5em 0.5em 0;
}

.talks {
margin-left:10em;
margin-right:10em;
width:auto;
}

.talk-entry {
border: 1px solid #5755d9;
margin-top:3ex;
padding: 2ex;
}

</style>

<details class="day" open>
<summary>
Day 0 - Monday, 29th July
</summary>
<summary>Day 0 - Monday, 29th July</summary>

<table class="table">
<colgroup>
<column width="20%" />
<column width="80%"/>
</colgroup>
<tr>
<th>#</th>
<th>Time</th>
<th>Topic</th>
</tr>

<tr class="social">
<th>13:00 &ndash; 17:00</th>
<td>13:00 &ndash; 17:00</td>
<td>{{talk(999)}}</td>
</tr>

<tr class="">
<th>17:00 &ndash; 18:00</th>
<td>Registration</td>
<td>17:00 &ndash; 18:00</td>
<td>
{{ entry("Registration", "admin")}}
</td>
</tr>

<tr class="break">
<th>18:00 &ndash;19:00</th>
<td>Dinner at Haus der Kirche</td>
<tr>
<td>18:00 &ndash; 19:00</td>
<td>
{{ entry("Dinner at Haus der Kirche", "break")}}
</td>
</tr>

<tr>
<th>19:00 &ndash;</th><td>Getting Together</td>
<td>19:00 &ndash;</td>
<td>
{{entry("Getting Together at the bar", "social")}}
</td>
</tr>

<tr>
<th>20:00 &ndash; 21:00</th><td>Meeting of the Programme Board</td>
<td>20:00 &ndash; 21:00</td>
<td>
{{entry("Meeting of the Programme Board", "admin")}}
</td>
</tr>
</table>
</details>

<details class="day" open>
<summary>Day 1 &ndash; Tuesday, 30th July</summary>
<table class="table">
<colgroup>
<column width="20%" />
<column width="80%"/>
</colgroup>

<tr>
<th>#</th>
<th>Topic</th>
<td>Time</td>
<td>Topic</td>
</tr>

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

<tr>
<th>09:00 &ndash;10:30</th>
<td>09:00 &ndash;10:30</td>
<td>
{{ session("Probabilism", "Alexander Weigl", [11,12,123]) }}
{{ session("Handling of Probabilistic Programs", "Alexander Weigl", [11,12,123], "closed") }}
</td>
</tr>

<tr class="break">
<th>10:30 &ndash; 11:00</th>
<td>Coffee</td>
<tr>
<td>10:30 &ndash; 11:00</td>
<td>{{entry("Coffee", "break")}}</td>
</tr>

<tr>
<th>11:00 &ndash; 12:30</th>
<td>11:00 &ndash; 12:30</td>
<td>
{{ session("Verification with Legal Aspects", "Wolfgang Ahrendt", [19,191,192,193,194]) }}
{{ session("Verification with Legal Aspects", "Richard Bubel", [19,191,192,193], "closed") }}
</td>
</tr>

<tr class="break">
<th>12:30 &ndash; 14:00</th>
<td>Lunch</td>
<td>12:30 &ndash; 14:00</td>
<td>{{entry("Lunch", "break")}}</td>
</tr>

<tr class="track-key">
<th>
<td>
14:00 &ndash; 15:30
<br>
Room: SR7+8
</th>
<td>{{ session("#7a", "Mattias Ulbrich", [116,117,118]) }}</td>
</td>
<td>{{ session("Case Studies in KeY", "Michael Kirsten", [116,117,118], "closed") }}</td>
</tr>

<tr class="track-keymaera">
<th>
<td>
14:00 &ndash; 15:30
<br>
Room: SR6
</th>
<td>{{ session("#7b", "Andre Platzer", [216,217,218]) }}</td>
</td>
<td>{{ session("#7b", "Yong Kiam Tan", [216,217,218]) }}</td>
</tr>

<tr class="break">
<td>
15:30 &ndash; 16:00
</td>
<td>Coffee</td>
<td>{{entry("Coffee", "break")}}</td>
</tr>

<tr class="track-key">
<td>
16:00 &ndash; 17:45
16:00 &ndash; 17:30
<br>
Room: SR7+8
</td>
<td>{{ session("#6a", "Richard Bubel", [113,114,115, 208]) }}</td>
<td>{{ session("New Verification Methodologies with/in KeY", "Wojciech Mostowski",
[113,114,115], "closed") }}</td>
</tr>

<tr class="track-keymaera">
<td>16:00 &ndash; 17:45</td>
<td>{{ session("#6b", "Enguerrand Prebet", [213,214,215,219]) }}</td>
<td>
16:00 &ndash; 17:45
<br>
Room: SR6
</td>
<td>{{ session("#6b", "Enguerrand Prebet", [219,214,213,215], "closed") }}</td>
</tr>

<tr class="break">
<td>18:00 &ndash; 19:00</td>
<td>Dinner at HdK </td>
<td>{{entry("Dinner at Haus der Kirche", "break")}}</td>
</tr>

<tr class="social">
Expand All @@ -234,53 +199,53 @@ <h3>more like a draft than final</h3>


<details class="day" open>
<summary>Day 2 &ndash; Wednesday, 31th July</summary>
<summary>Day 2 &ndash; Wednesday, 31td July</summary>

<table class="table">
<colgroup>
<column width="20%" />
<column width="80%"/>
<column widtd="20%" />
<column widtd="80%"/>
</colgroup>

<tr>
<th>#</th>
<th>Topic</th>
<td>Time</td>
<td>Topic</td>
</tr>

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

<tr class="break">
<th>10:30 &ndash;11:00</th>
<td>Coffee</td>
<td>10:30 &ndash;11:00</td>
<td>{{entry("Coffee", "break")}}</td>
</tr>

<tr>
<th>11:00 &ndash; 12:30</th>
<td>11:00 &ndash; 12:30</td>
<td>
{{ session("#2", "X", [13,14,15]) }}
{{ session("“Efficient Analysis of Software Systems", "Bernhard Beckert", [13,14,15]) }}
</td>
</tr>

<tr class="break">
<th>12:30 &ndash; 14:00</th>
<td>Lunch</td>
<td>12:30 &ndash; 14:00</td>
<td>{{entry("Lunch", "break")}}</td>
</tr>

<tr class="">
<th>14:00 &ndash; 15:30</th>
<td>{{ session("#3", "X", [207,209]) }}</td>
<td>14:00 &ndash; 15:30</td>
<td>{{ session("Program Analyses of Software Systems", "Mattias Ulbrich", [207,209,208]) }}</td>
</tr>

<tr class="break">
<th>15:30 &ndash; 16:00</th>
<td>Coffee</td>
<td>15:30 &ndash; 16:00</td>
<td>{{entry("Coffee", "break")}}</td>
</tr>

<tr>
<th>16:00 &ndash; 18:00</th>
<td>16:00 &ndash; 18:00</td>
<td>{{ session("Intersymbolic AI", "Ina Schaefer", [16,17,18,199,1999]) }}</td>
</tr>

Expand All @@ -294,44 +259,45 @@ <h3>more like a draft than final</h3>
<details class="day" open>
<summary>Day 3 &ndash; Thursday, 1st August</summary>
<table class="table">
<colgroup>
<column width="20%" />
<column width="80%"/>
</colgroup>
<tr>
<th>#</th>
<th>Time</th>
<th>Topic</th>
</tr>

<tr>
<th>&ndash; 09:00</th>
<td>Check-out!</td>
</tr>

<tr>
<th>09:00 &ndash; 10:45</th>
<td>
{{ session("Isabelle", "X", [30,31, 301, 34]) }}
{{ session("Isabelle", "Reiner Hähnle", [30,31, 301, 34]) }}
</td>
</tr>

<tr class="break">
<th>10:45 &ndash;11:10</th>
<td>Coffee</td>
<th>10:45 &ndash;11:15</th>
<td>{{entry("Coffee", "break")}}</td>
</tr>

<tr>
<th>11:00 &ndash; 12:30</th>
<th>11:00 &ndash; 12:15</th>
<td>
{{ session("#8", "X", [32,33,35,37]) }}
{{ session("#8", "Wolfang Ahrendt", [32,21,35]) }}
</td>
</tr>

<tr>
<th>12:20 &ndash; 12:30</th>
<td>
{{ session("Closing", "&mdash;", [36]) }}
{{ talk(36) }}
</td>
</tr>

<tr class="break">
<th>12:30 &ndash; 14:00</th>
<td>Lunch</td>
<th>12:30 &ndash; </th>
<td>{{ entry("Lunch", "break") }}</td>
</tr>
</table>
</details>
Expand Down
Loading

0 comments on commit 002e181

Please sign in to comment.