-
Notifications
You must be signed in to change notification settings - Fork 88
/
program.html
172 lines (165 loc) · 6.85 KB
/
program.html
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
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
<h1 id="program">___PROGRAM___</h1>
<section>
<h2 id="speakers">OUR_SPEAKERS</h2>
<div class="speakers">
<div class="speaker">
<div class="anchor" id="speaker-emily-pillmore"></div>
<div class="details">
<img src="/images/speakers/emily-pillmore.jpg" alt="Emily Pillmore" class="avatar">
<div>
<span class="name">EMILY_PILLMORE</span>
<div class="links">
<a class="web" href="http://cohomolo.gy/"></a>
<a class="github" href="https://github.com/emilypi"></a>
<a class="twitter" href="https://twitter.com/pitopos"></a>
</div>
</div>
</div>
<p>
Emily is a long-time functional programmer, Haskell developer and
CTO of the <a href="https://haskell.foundation/">Haskell
Foundation</a>. Her research interests include Homotopy Theory,
Category Theory and she Topology and recently co-authored a paper about
<a href="https://arxiv.org/abs/2001.07488">Profunctor optics</a>.
</p>
</div>
<div class="speaker">
<div class="anchor" id="speaker-gabriele-keller"></div>
<div class="details">
<img src="/images/speakers/gabriele-keller.jpg" alt="Gabriele Keller" class="avatar">
<div>
<span class="name">GABRIELE_KELLER</span>
<div class="links">
<a class="web" href="https://uu.nl/staff/gkkeller"></a>
<a class="twitter" href="https://twitter.com/gckeller"></a>
</div>
</div>
</div>
<p>
Gabriele is a professor of Software Technology at
<a href="https://www.uu.nl/en">Utrecht University</a>.
Her interests include functional programming (and teaching
functional programming), type systems,
<a href="http://www.acceleratehs.org/">high-performance computing</a>,
and programming language based approaches to verification.
</p>
</div>
<div class="speaker">
<div class="anchor" id="speaker-john-hughes"></div>
<div class="details">
<img src="/images/speakers/john-hughes.jpg" alt="John Hughes" class="avatar">
<div>
<span class="name">JOHN_HUGHES</span>
<div class="links">
<a class="web" href="http://www.cse.chalmers.se/~rjmh/"></a>
</div>
</div>
</div>
<p>
John Hughes holds a professor position at the
<a href="http://www.chalmers.se/">Chalmers University of Technology</a>.
In the Haskell community, he is mostly known for his work around
<a href="http://www.cse.chalmers.se/~rjmh/QuickCheck/">QuickCheck</a>,
that changed the way how functional programmers test programs. He also
leads <a href="http://www.quviq.com/">QuviQ</a>, a software testing
consultancy.
</p>
</div>
<div class="speaker">
<div class="anchor" id="speaker-veronika-romashkina"></div>
<div class="details">
<img src="/images/speakers/veronika-romashkina.jpg" alt="Veronika Romashkina" class="avatar">
<div>
<span class="name">VERONIKA_ROMASHKINA</span>
<div class="links">
<a class="web" href="https://vrom911.github.io/"></a>
<a class="github" href="https://github.com/vrom911"></a>
<a class="twitter" href="https://twitter.com/vrom911"></a>
</div>
</div>
</div>
<p>
Veronika is an enthusiastic functional programmer and uses Haskell
for open source work as well as in production. She co-founded
<a href="https://kowainik.github.io/">Kowainik</a>,
who've provided us host of a useful tools and tutorials. On top of
that, she is also one of the authors of the wonderful
<a href="https://bindthegap.news/">Bind the Gap</a> magazine.
</p>
</div>
</div>
</section>
<section>
<h2 id="tracks">TRACK_INFO</h2>
<p>
We have a number of tracks for all you knowledge-hungry people.
</p>
<p>
These cover any level between beginner and expert, and we've taken special care to have
content for intermediate Haskell programmers. There has never been a better time
to learn and apply some real-world Haskell skills!
</p>
<div class="tracks">
<div class="track">
<h3 id="advanced-track">Advanced Track</h3>
<p>
Similar to last year, we have the privilege to get advanced Haskell training from
our friends at <a href="https://www.well-typed.com/">Well-Typed</a>. This will take
the form of two independent sessions, distributed over the course of two days.
</p>
<p>
Watch this space for the announcement of the specific topics, or check out last year's
recordings for a taste:
</p>
<ul>
<li>
<a href="https://youtu.be/pwnrfREbhWY">Datatype-Generic Programming</a>
</li>
<li>
<a href="https://youtu.be/RknM0j138PE">Haskell and InfoSec</a>
</li>
</ul>
</div>
<!-- <div class="track">
<h3>GHC Track</h3>
<p>
Lorem Ipsum is simply dummy text of the printing and typesetting industry.
Lorem Ipsum has been the industry's standard dummy text ever since the 1500s,
when an unknown printer took a galley of type and scrambled it to make a
type specimen book.
</p>
</div> -->
<div class="track">
<h3 id="unison-workshop">Unison workshop</h3>
<p>
Unison is an exciting new programming language that shares Haskell's syntax
(in addition to being implemented in it).
The big ideas in Unison are content-addressable code and a focus on creating a language
in which it is natural to express distributed systems.
</p>
<p>
Rúnar Bjarnason of <a href="https://www.unisonweb.org/unisoncomputing/">Unison Computing</a>
will give you an intro to the language, and hold a hands-on tutorial.
</p>
<p>
If you can't wait, check out the <a href="https://youtu.be/gCWtkvDQ2ZI">2019 Strangeloop</a>
introduction to the language.
</p>
</div>
<div class="track">
<h3 id="ihp-workshop">IHP workshop</h3>
<p>
The <a href="https://ihp.digitallyinduced.com/">IHP web framework</a> is an
up-and-coming Haskell web framework that has been compared to Ruby-on-Rails. It has
been received with a lot of excitement, since it comes with highly polished tools
and doesn't need deep technical knowledge to build useful websites very quickly.
</p>
<p>
The creators of IHP, <a href="https://digitallyinduced.com/">digitally induced</a>,
will hold tutorials that teach you how to get productive with the framework.
We recommend that even total beginners check it out,
as some people have learned Haskell simply through using IHP for a practical application.
</p>
</div>
</div>
</section>