-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_config.yml
121 lines (109 loc) · 2.66 KB
/
_config.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
theme: jekyll-theme-conference
ignore_theme_config: true
title: 'Wormshop 2024'
description: >-
The 7<sup>th</sup> Workshop on Proof Theory, Modal Logic and Reflection Principles<br>
Ghent University
url: https://wormshop2024.ugent.be
collections:
talks:
output: true
permalink: /talks/:title/
speakers:
output: true
rooms:
output: false
defaults:
- scope:
path: ''
type: talks
values:
layout: talk
- scope:
path: ''
type: speakers
values:
layout: speaker
- scope:
path: ''
type: rooms
values:
layout: room
conference:
info_bars:
navigation:
logo:
name: 'Logic Group UGent'
url: 'https://logicseminar.ugent.be'
breakpoint: md
links:
- name: Program
disabled: false
menu:
- name: Program Overview
relative_url: /program/
- name: Talks Overview
relative_url: /talks/
- name: Speakers Overview
relative_url: /speakers/
- name: Information
menu:
- name: Location
relative_url: /information/location
- name: Practical
relative_url: /information/practical
- name: Registration
relative_url: /registration
- name: 'Previous Editions'
menu:
- name: 2023
absolute_url: 'https://wormshop2023.inf.unibe.ch/'
- name: 2019
absolute_url: 'http://www.joostjjoosten.nl/events/2019wormshop/'
- name: 2017
absolute_url: 'https://wrm17.mi-ras.ru/index.html'
- name: 2016
absolute_url: 'http://www.joostjjoosten.nl//Wormshop2016/index.html'
- name: 2014
absolute_url: 'https://personal.us.es/dfduque/PMR/'
- name: 2012
absolute_url: 'http://www.joostjjoosten.nl//WormShop/WormShop/WormShop.html'
location:
hide: true
url: /location
navbar_title: Location
map:
home_coord: 51.057493642288094, 3.71595252377464
map_provider: 'OpenStreetMap.Mapnik'
default_zoom: 17
program:
url: /program
time_steps: 15
show_alltimes: true
talks:
main_categories:
- name: Tutorials
color: warning
- name: Invited Talks
color: primary
- name: Contributed Talks
color: info
- name: Events
color: success
hide: true
- name: Breaks
color: light
hide: true
- name: Special
color: dark
hide: true
speakers:
show_firstname: true
show_university: true
include:
- _assets/
- .default.html
- .htaccess
kramdown:
math_engine: katex
incremental: true