-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
454 lines (431 loc) · 32 KB
/
index.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
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
<!DOCTYPE html>
<!-- Template from: https://startbootstrap.com/template/modern-business -->
<html lang="de">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no" />
<meta name="description" content="" />
<meta name="author" content="" />
<title>ADAM: Anticipating the Digital Age of Mathematics</title>
<!-- Favicon-->
<!-- <link rel="icon" type="image/x-icon" href="assets/favicon.ico" /> -->
<!-- Bootstrap icons-->
<link href="https://cdn.jsdelivr.net/npm/[email protected]/font/bootstrap-icons.css" rel="stylesheet" />
<!-- Core theme CSS (includes Bootstrap)-->
<link href="css/styles.css" rel="stylesheet" />
</head>
<body class="d-flex flex-column h-100">
<main class="flex-shrink-0">
<!-- Navigation-->
<nav class="navbar navbar-expand-lg navbar-dark bg-dark">
<div class="container px-5">
<!-- <a class="navbar-brand" href="index.html">Start Bootstrap</a> -->
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation"><span class="navbar-toggler-icon"></span></button>
<div class="collapse navbar-collapse" id="navbarSupportedContent">
<ul class="navbar-nav ms-auto mb-2 mb-lg-0">
<li class="nav-item"><a class="nav-link" href="#gameover">Seminar 2024</a></li>
<li class="nav-text">[Archiv:</li>
<li class="nav-item"><a class="nav-link" href="#lecture">Vorlesung 2023/24</a></li>
<li class="nav-item"><a class="nav-link" href="#lftcm">Workshop LftCM 2023</a></li>
<li class="nav-item"><a class="nav-link" href="#gameover23">Seminar 2023</a></li>
<li class="nav-item"><a class="nav-link" href="#massot">Vortrag Massot</a></li>
<li class="nav-text">]</li>
<li class="nav-item"><a class="nav-link" href="#traeger">Träger</a></li>
<!-- <li class="nav-item dropdown">
<a class="nav-link dropdown-toggle" id="navbarDropdownBlog" href="#" role="button" data-bs-toggle="dropdown" aria-expanded="false">Blog</a>
<ul class="dropdown-menu dropdown-menu-end" aria-labelledby="navbarDropdownBlog">
<li><a class="dropdown-item" href="blog-home.html">Blog Home</a></li>
<li><a class="dropdown-item" href="blog-post.html">Blog Post</a></li>
</ul>
</li>
<li class="nav-item dropdown">
<a class="nav-link dropdown-toggle" id="navbarDropdownPortfolio" href="#" role="button" data-bs-toggle="dropdown" aria-expanded="false">Portfolio</a>
<ul class="dropdown-menu dropdown-menu-end" aria-labelledby="navbarDropdownPortfolio">
<li><a class="dropdown-item" href="portfolio-overview.html">Portfolio Overview</a></li>
<li><a class="dropdown-item" href="portfolio-item.html">Portfolio Item</a></li>
</ul>
</li> -->
</ul>
</div>
</div>
</nav>
<!-- Header-->
<header class="bg-dark py-5" style="background: url(img/bg.jpg); background-size: 100%; background-position: center;">
<div class="container px-5">
<div class="row gx-5 align-items-center justify-content-center">
<div class="col-lg-8 col-xl-7 col-xxl-6">
<div class="my-5 text-center text-xl-start">
<h1 class="display-5 fw-bolder text-white mb-2"><b>ADAM</b><br /> Anticipating the Digital Age of Mathematics</h1>
<!-- <p class="lead fw-normal text-white-50 mb-4">
</p> -->
<!-- <div class="d-grid gap-3 d-sm-flex justify-content-sm-center justify-content-xl-start">
<a class="btn btn-primary btn-lg px-4 me-sm-3" href="#features">Get Started</a>
<a class="btn btn-outline-light btn-lg px-4" href="#!">Learn More</a>
</div> -->
</div>
</div>
<div class="col-xl-5 col-xxl-6 d-none d-xl-block text-center">
<img class="img-fluid rounded-3 my-5" src="img/robot1.svg" width="100%" />
</div>
</div>
</div>
</header>
<section class="py-5" id="projekt">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<div class="col-lg-12">
<h2 class="fw-bolder mb-4">Das Projekt</h2>
<p class="fs-5 mb-4">
Die Ansprüche, die Mathematiker:innen an Beweise stellen, haben sich über die Jahrhunderte immer wieder verändert.
Wäre im digitalen Zeitalter nicht eine vollständige Formalisierung und algorithmische Überprüfung von Beweisen durch Computer angemessen?
Diese Frage bleibt umstritten. Eines aber ist aus den bisherigen Erfahrungen klar: Eine solche Formalisierung hat überhaupt nur dann Aussicht auf Erfolg, wenn ein großer Teil der Formalisierung selbst, also der detaillierten formalen Ausformulierung von Beweisen, systematisch durch Computer unterstützt wird.
Hier liegt die Aufgabe von <i>interaktiven Beweisassistenten</i>. Sie ermöglichen es uns Menschen, mathematische Beweise so zu formalisieren, dass ein Computer sie verifizieren kann.
</p>
<p class="fs-5 mb-4">
Inzwischen haben computergestützte Beweisassistenten
ein Niveau erreicht, das die
vollständige Formalisierung, Verifizierung
und digitale Weiterverarbeitung weiter Teile
unseres mathematischen Kenntnisstandes
greifbar nah erscheinen lässt. Erfolgreiche
Formalisierungsprojekte wie das
<a href="https://leanprover-community.github.io/sphere-eversion/">
Sphere Eversion Project</a>
oder das
<a href="https://leanprover-community.github.io/blog/posts/lte-final/">
Liquid Tensor Experiment</a>
zeigen, dass es inzwischen
möglich ist, tiefliegende mathematische
Sätze mit vertretbarem Aufwand digital
abzubilden und zu verifizieren. Wir müssen
davon ausgehen, dass für die nächste
Generation Mathematiker:innen
Beweisassistenten und digitale Beweisbibliotheken zu einem wichtigen
Werkzeug avancieren werden.
</p>
<p class="fs-5 mb-4">Das Projekt <i>ADAM</i> möchte einen Beitrag
leisten, Mathematiker:innen für diesen
bevorstehenden Wandel zu wappnen.
</p>
</div>
</div>
</div>
</section>
<section class="py-5 bg-light" id="gameover">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<div class="col-lg-12">
<h2 class="fw-bolder mb-4">Seminar <i>Game over oder QED?</i></h2>
<h3 class="fw-bolder mb-4">Sommersemester 2024</h3>
<p class="fs-5 mb-4">
In diesem Seminar lernen die Teilnehmer:innen, Beweise und typische Übungsaufgaben aus den ersten Mathematiksemestern mit Hilfe des modernen Beweisassistenten <a href="https://leanprover.github.io/">Lean</a> zu formalisieren und zu verifizieren. Obwohl sich Lean noch in der aktiven Entwicklungsphase befindet, hat sich Lean bereits sowohl in der Formalisierung <a href="https://leanprover-community.github.io/mathlib-overview.html">weiter Teile des Bachelor-Curriculums</a> als auch bei der Formalisierung tiefliegender mathematischer Forschungsergebnisse bewährt.
</p>
<p class="fs-5 mb-4">
Der Ansatz ist „Learning by doing“. Als Einstieg dient ein eigens entwickeltes Browser-Game. Die Teilnehmer:innen helfen, durch gezieltes Feedback dieses Lernspiel weiter zu verbessern. In der zweiten Seminarhälfte werden die Teilnehmer:innen aktiv in die weitere Spielentwicklung eingebunden. Sie formalisieren selbständig Übungsaufgaben, die zukünftig in das Spiel integriert werden werden.
</p>
<p class="fs-5 mb-4">
Das Seminar richtet sich an Bachelor-Studierende der Studiengänge <i>Mathematik und Anwendungsgebiete</i> oder <i>Finanz- und Versicherungsmathematik</i>, ab dem vierten Semester.
</p>
<p class="fs-5 mb-4">
Sie können sich über das <a href="https://lsf.hhu.de/qisserver/rds?state=verpublish&status=init&vmfile=no&publishid=253416&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">LSF</a> für dieses Seminar anmelden. Es gibt noch 4 freie Plätze (Stand: 30. März).
</p>
<!--<p class="fs-5 mb-4">
<b>Update 04. April 2023:</b> Die maximale Teilnehmerzahl wurde bereits erreicht. Eine Anmeldung ist nicht mehr möglich.
</p>-->
<p><br></p>
</div>
</div>
<div class="row gx-5">
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-calendar-check"></i></div>
<h2 class="h5">Wann?</h2>
<p class="mb-0">mittwochs 10:30 Uhr</p>
</div>
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-geo-alt"></i></div>
<h2 class="h5">Wo?</h2>
<p class="mb-0">Seminarraum 25.22.03.73<!--<br>Heinrich-Heine-Universität Düsseldorf--></p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-people-fill"></i></div>
<h2 class="h5">Wer?</h2>
<p class="mb-0">zugelassene Teilnehmer</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-globe"></i></div>
<h2 class="h5">Links</h2>
<p class="mb-0">
<a href="https://lsf.hhu.de/qisserver/rds?state=verpublish&status=init&vmfile=no&publishid=253416&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">LSF-Eintrag & Anmeldung</a> <br>
<a href="https://adam.math.hhu.de">Lean Game Server</a>
</p>
</div>
</div>
</div>
</section>
<section class="py-5" id="lecture">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<div class="col-lg-12">
<h2 class="fw-bolder mb-4"><span class="archive-btn">[Archiv]</span>Vorlesung <i>Computergestützte Beweisführung</i></h2>
<h3 class="fw-bolder mb-4">Wintersemester 2023/24</h3>
<p class="fs-5 mb-4">
In dieser Vorlesung treffen sich Studierende der Informatik, Mathematik und Computerlinguistik.
</p>
<p class="fs-5 mb-4">
Beweisassistenten werden in der Chipherstellung und Softwareentwicklung eingesetzt, um die Fehlerfreiheit von Soft- und Hardware zu verifizieren. Sie geben MathematikerInnen letzte Gewissheit, wenn sie ihren eigenen Beweisen nicht trauen. Für LinguistInnen sind sie eine Möglichkeit, mit Typentheorie zu experimentieren – einem Formalismus, der auch zur Modellierung der Semantik natürlicher Sprache verwendet wird.
</p>
<p class="fs-5 mb-4">
Die Vorlesung bietet eine bündige Einführung in die Funktionsweise von Beweisassistenten und ihre theoretischen Grundlagen. Dazu zählen zum Beispiel der Lambda-Kalkül, Typentheorie inklusive induktiver Typen und die Curry-Howard-Korrespondenz. Zudem schauen wir uns beispielhaft an, wie Beweisassistenten und Typentheorie für die oben genannten Anwendungen eingesetzt werden können.
</p>
<p class="fs-5 mb-4">
In den Übungen wird die Theorie erfahrbar anhand von <a href="https://leanprover.github.io/">Lean</a>, einem modernen Beweisassistenten, der in der jüngsten Formalisierungswelle innerhalb der Mathematik eine maßgebende Rolle spielt.
</p>
<p><br/></p>
</div>
</div>
<div class="row gx-5">
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-calendar-check"></i></div>
<h2 class="h5">Wann?</h2>
<p class="mb-0">siehe <a href="https://lsf.hhu.de/qisserver/servlet/de.his.servlet.RequestDispatcherServlet?state=verpublish&status=init&vmfile=no&publishid=246744&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">LSF</a>
</div>
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-geo-alt"></i></div>
<h2 class="h5">Wo?</h2>
<p class="mb-0">Heinrich-Heine-Universität Düsseldorf,
siehe <a href="https://lsf.hhu.de/qisserver/servlet/de.his.servlet.RequestDispatcherServlet?state=verpublish&status=init&vmfile=no&publishid=246744&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">LSF</a></p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-people-fill"></i></div>
<h2 class="h5">Wer?</h2>
<p class="mb-0">Bachelor-Studierende der Mathematik, Informatik oder Computerlinguistik im 5./6. Semester</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-globe"></i></div>
<h2 class="h5">Links</h2>
<p class="mb-0">
<a href="https://www.math.uni-duesseldorf.de/~internet/CB-V-W23/">Vorlesungs-Seite</a><br/>
<a href="https://lsf.hhu.de/qisserver/servlet/de.his.servlet.RequestDispatcherServlet?state=verpublish&status=init&vmfile=no&publishid=246744&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">LSF-Eintrag</a>
</p>
</div>
</div>
</div>
</section>
<section class="py-5 bg-light" id="lftcm">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<h2 class="fw-bolder mb-4"><span class="archive-btn">[Archiv]</span>Workshop <i>Lean for the Curious Mathematician 2023</i></h2>
<div class="col-lg-12">
<h3 class="fw-bolder mb-4">Tutorium</h3>
<p class="fs-5 mb-4">
Anfang September 2023 haben wir eine viertägige Einführung in den Beweisassistenten Lean mit erfahrenen, internationalen Tutoren organisiert.
</p>
<p>
<br/>
<p/>
</div>
</div>
<div class="row gx-5">
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-calendar-check"></i></div>
<h2 class="h5">Wann?</h2>
<p class="mb-0">04.– 07. September 2023</p>
</div>
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-geo-alt"></i></div>
<h2 class="h5">Wo?</h2>
<p class="mb-0">Heinrich-Heine-Universität Düsseldorf</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-people-fill"></i></div>
<h2 class="h5">Wer?</h2>
<p class="mb-0">angemeldete Teilnehmer</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-globe"></i></div>
<h2 class="h5">Link</h2>
<p class="mb-0"><a href="https://lftcm2023.github.io/tutorial/">LftCM 2023</a></p>
</div>
</div>
<p><br/></p>
<div class="row gx-5 align-items-center">
<div class="col-lg-12">
<h3 class="fw-bolder mb-4">Kolloquium</h3>
<p class="fs-5 mb-4">
Im Anschluss an, aber inhaltich unabhängig vom gleichnamigen Tutorium, haben wir Anfang September 2024 ein zweitägiges Kolloquium durchgeführt. Internationale Vortragende haben aktuelle Entwicklungen in der Formalisierung aus verschiedenen Richtungen beleuchtet und zum Nachdenken über die zukünftige Rolle von Formalisierung in der Mathematik eingeladen.
<!--Weitere Informationen sind wiederum auf einer eigenen <a href="https://lftcm2023.github.io/colloquium/">Webseite</a> gebündelt.-->
</p>
<p>
<br/>
</p>
</div>
<div class="row gx-5">
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-calendar-check"></i></div>
<h2 class="h5">Wann?</h2>
<p class="mb-0">07.–08. September 2023</p>
</div>
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-geo-alt"></i></div>
<h2 class="h5">Wo?</h2>
<p class="mb-0">Heinrich-Heine-Universität Düsseldorf</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-people-fill"></i></div>
<h2 class="h5">Wer?</h2>
<p class="mb-0">alle Interessierten</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-globe"></i></div>
<h2 class="h5">Link</h2>
<p class="mb-0"><a href="https://lftcm2023.github.io/tutorial/">LftCM 2023</a></p>
</div>
</div>
</div>
</div>
</section>
<section class="py-5" id="massot">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<div class="col-lg-12">
<h2 class="fw-bolder mb-4"><span class="archive-btn">[Archiv]</span>Kolloquiumsvortrag <i>Why Explain Mathematics to Computers?</i></h2>
<p class="fs-5 mb-4">
Am 12. Mai 2023 kam Patrick Massot (Paris-Saclay) an die HHU, um über seine Motivation für und Erfahrung mit der Formalisierung von Mathematik zu berichten. Massot hat insbesondere das umfangreiche und erst kürzlich abgeschlossene <a href="https://leanprover-community.github.io/sphere-eversion/">Sphere Eversion Project</a> geleitet. Zu seinem Vortrag schreibt er:
</p>
<p class="fs-5 mb-4">
<i>A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant software. This process is called formalization. In this talk, I will describe what formalization looks like, what kind of things it teaches us, and how it could even turn out to be useful (in our usual sense of "useful"). This will not be a talk about the foundations of mathematics, and I will assume no prior knowledge about formalization.</i>
</p>
<p><br></p>
</div>
</div>
<div class="row gx-5">
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-calendar-check"></i></div>
<h2 class="h5">Wann?</h2>
<p class="mb-0">Freitag, 12. Mai 2023<br>16:15 Uhr</p>
</div>
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-geo-alt"></i></div>
<h2 class="h5">Wo?</h2>
<p class="mb-0">Hörsaal 5H, Heinrich-Heine-Universität Düsseldorf</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-people-fill"></i></div>
<h2 class="h5">Wer?</h2>
<p class="mb-0">alle Interessierten</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-globe"></i></div>
<h2 class="h5">Link</h2>
<p class="mb-0"><a href="https://www.math.uni-duesseldorf.de/~internet/Kolloquium/index.html">Mathematisches Kolloquium</a></p>
</div>
</div>
</div>
</section>
<section class="py-5 bg-light" id="gameover23">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<div class="col-lg-12">
<h2 class="fw-bolder mb-4"><span class="archive-btn">[ARCHIV]</span>Seminar <i>Game over oder QED?</i></h2>
<h3 class="fw-bolder mb-4">Sommersemester 2023</h3>
<p class="fs-5 mb-4" style="color:#930000;">
Das Seminar wird im Sommersemester 2024 wiederholt werden, <a href="#gameover">siehe oben</a>.
</p>
<p class="fs-5 mb-4">
In diesem Seminar lernten die Teilnehmer:innen, Beweise und typische Übungsaufgaben aus den ersten Mathematiksemestern mit Hilfe des modernen Beweisassistenten <a href="https://leanprover.github.io/">Lean</a> zu formalisieren und zu verifizieren. Obwohl sich Lean noch in der aktiven Entwicklungsphase befindet, hat sich Lean bereits sowohl in der Formalisierung <a href="https://leanprover-community.github.io/mathlib-overview.html">weiter Teile des Bachelor-Curriculums</a> als auch bei der Formalisierung tiefliegender mathematischer Forschungsergebnisse bewährt.
</p>
<!--<p class="fs-5 mb-4">
Der Ansatz ist „Learning by doing“. Als Einstieg dient ein eigens entwickeltes Browser-Game. Die Teilnehmer:innen helfen, durch gezieltes Feedback dieses Lernspiel weiter zu verbessern. In der zweiten Seminarhälfte werden die Teilnehmer:innen aktiv in die weitere Spielentwicklung eingebunden. Sie formalisieren selbständig Übungsaufgaben, die zukünftig in das Spiel integriert werden werden.
</p>
<p class="fs-5 mb-4">
Das Seminar richtet sich an Bachelor-Studierende der Studiengänge <i>Mathematik und Anwendungsgebiete</i> oder <i>Finanz- und Versicherungsmathematik</i>, ab dem vierten Semester.
</p>
<!--Sie können sich ab März 2023 über das <a href="https://lsf.hhu.de/qisserver/rds?state=verpublish&status=init&vmfile=no&publishid=240496&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung&noDBAction=y&init=y&menu_open=y#terms">LSF</a> für dieses Seminar anmelden.
Die Teilnehmerzahl ist auf 12 begrenzt. <!--Bei mehr Anmeldungen werden wir eine Auswahl treffen.
</p>
<p class="fs-5 mb-4">
<b>Update 04. April 2023:</b> Die maximale Teilnehmerzahl wurde bereits erreicht. Eine Anmeldung ist nicht mehr möglich.
</p>-->
<p><br></p>
</div>
</div>
<div class="row gx-5">
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-calendar-check"></i></div>
<h2 class="h5">Wann?</h2>
<p class="mb-0">Dienstags, 14:30 Uhr,<br>Sommersemester 2023</p>
</div>
<div class="col mb-4 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-geo-alt"></i></div>
<h2 class="h5">Wo?</h2>
<p class="mb-0">Seminarraum 25.22.02.81, Heinrich-Heine-Universität Düsseldorf</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-people-fill"></i></div>
<h2 class="h5">Wer?</h2>
<p class="mb-0">zugelassene Teilnehmer</p>
</div>
<div class="col mb-4 mb-md-0 h-100">
<div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-globe"></i></div>
<h2 class="h5">Links</h2>
<p class="mb-0">
<a href="https://adam.math.hhu.de">Lean Game Server</a><br/>
<a href="https://lsf.hhu.de/qisserver/rds?state=verpublish&status=init&vmfile=no&publishid=240496&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung&noDBAction=y&init=y&menu_open=y#terms">LSF-Eintrag</a>
</p>
</div>
</div>
</div>
</section>
<section class="py-5" id="traeger">
<div class="py-5">
<div class="container px-5 my-5">
<div class="row gx-5 align-items-center">
<!--<div class="col-xl-12">-->
<h2 class="fw-bolder mb-4">Träger</h2>
<div class="col-xl-8">
<p class="fs-5 mb-4">
Das Projekt <i>ADAM: Anticipating the Digital Age of Mathematics</i> ist angesiedelt an der <a href="https://www.hhu.de/">Heinrich-Heine-Universität Düsseldorf</a> und wird finanziert durch die Stiftung für Innovation in der Hochschullehre.
</p>
<p class="fs-5 mb-4">
Ansprechpartner:<br>
• <a href="https://www.math.uni-duesseldorf.de/~zibrowius/">Prof. Dr. Marcus Zibrowius</a><br/>
• <a href="https://www.math.hhu.de/lehrstuehle-/-personen-/-ansprechpartner/innen/lehrstuehle-des-mathematischen-instituts/lehrstuhl-fuer-algebra-und-zahlentheorie/team/prof-immanuel-halupczok">Prof. Dr. Immanuel Halupczok</a><br/>
• <a href="https://abentkamp.github.io/">Dr. Alexander Bentkamp</a><br/>
• <a href="https://www.math.hhu.de/lehrstuehle-/-personen-/-ansprechpartner/innen/lehrstuehle-des-mathematischen-instituts/lehrstuhl-fuer-algebraische-geometrie/team/jon-eugster">Jon Eugster</a>
</p>
</div>
<div class="col-xl-4">
<div class="col lg-8 h-100">
<img src="img/hhu.png" width="100%" style="max-width:30em"/>
</div>
<div class="col mb-4 h-100">
<img src="img/Logo_Stiftung_Hochschullehre_pos.png" width="100%" style="max-width:30em" />
</div>
</div>
</div>
</div>
</div>
</div>
</section>
</main>
<!-- Footer-->
<footer class="bg-dark py-4 mt-auto">
<div class="container px-5">
<div class="row align-items-center justify-content-between flex-column flex-sm-row">
<div class="col-auto"><div class="small m-0 text-white"> </div></div>
<div class="col-auto">
<a class="link-light small" href="impressum.html">Impressum</a>
<!-- <span class="text-white mx-1">·</span> -->
<!-- <a class="link-light small" href="#!">Terms</a>
<span class="text-white mx-1">·</span>
<a class="link-light small" href="#!">Contact</a> -->
</div>
</div>
</div>
</footer>
<!-- Bootstrap core JS-->
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.bundle.min.js"></script>
<!-- Core theme JS-->
<!-- <script src="js/scripts.js"></script> -->
</body>
</html>