-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathindex.html
834 lines (731 loc) · 58.2 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
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8"/>
<meta name="viewport" content="width=device-width,initial-scale=1">
<style>
body {
margin: 0 !important;
background-color: #f8f8f8;
padding: 0 !important;
}
#wrapper {
overflow-x: hidden;
}
* {
font-family: Verdana, Geneva, sans-serif;
}
#banner-container {
max-width: 100%;
}
#banner {
width: 1920px;
margin-left: 50%;
transform: translateX(-50%);
padding-top: 10px;
padding-bottom: 15px
}
@media (max-width: 1920px) {
#banner {
width: 100vw;
}
}
#heading {
text-align:center;
font-size:50px;
font-weight:bold;
padding-top: 20px;
padding-bottom: 20px;
}
#subheading {
text-align:center;
font-size:25px;
font-weight:bold;
font-style:italic;
padding-bottom: 20px;
}
#top {
padding-top:30px;
padding-bottom:20px;
}
#grid {
width: 100%;
display: grid;
grid-column-gap: 10px;
grid-template-columns: auto 1200px auto;
}
#left {
}
#right {
}
#middle {
}
#conference-photo {
width: 100%;
}
li {
margin: 3px;
}
h2 {
background-image: url("sky.jpg");
background-repeat: no-repeat;
padding-top: 20px;
padding-bottom: 20px;
margin-bottom: 25px;
font-size: 30px;
}
@media only screen and (max-width: 1200px){
h2 {
background-size: 100% 100%;
padding-left: 25px;
}
}
@media only screen and (min-width: 1200px) {
h2 {
background-size: 1920px 85px;
margin-left: -350px;
padding-left: 350px;
width: 1920px;
}
}
div.people>div>img {
width:168px;
height:200px;
object-fit: cover;
}
div.people>div {
display:inline-block;
text-align:center;
padding-right:10px;
padding-bottom:15px;
}
div.people {
margin-bottom:-15px;
}
#sponsors>center>a>img {
height:100px;
max-width: 100%;
}
@media only screen and (max-width: 1200px) {
#grid {
width: 100%;
display: grid;
grid-column-gap: 10px;
grid-template-columns: 0% 100% 0%;
}
#middle {
padding-right: 20px;
}
}
#schedule, #schedule>tbody>tr>td {
text-align: left;
}
#schedule>tbody>tr>td, #schedule>tbody>tr>th {
padding-left: 1px;
}
#schedule>tbody>tr>td {
border: 1px solid black;
border-spacing: 0px;
padding: 4px;
margin: 0px;
}
#schedule {
border-collapse: collapse;
font-size: 11px;
}
#schedule-div {
padding: 2px;
margin-bottom: 30px;
overflow-x: auto;
}
td.distinguished {
background-color: #afa;
}
td.ordinary {
background-color: #faa;
}
td.meta
{
background-color: #ffa;
}
td.break {
background-color: #aaf;
}
td.lunch {
background-color: #aaf;
height: 60px;
}
td.chair {
background-color: #ccc;
font-style:italic;
}
td.extra {
height: 30px;
}
div.ind {
padding-top: 5px;
}
</style>
<title>ACT 2021</title>
</head>
<body>
<div id="wrapper">
<div id="grid">
<div id="left"></div>
<div id="middle">
<div id="heading">APPLIED CATEGORY THEORY 2021</div>
<div id="subheading">Computer Laboratory, University of Cambridge • 12-16 July 2021</div>
<div id="banner-container">
<img id="banner" src="wgb_wide.jpg">
</div>
<p><b>Latest Updates</b></p>
<ul>
<li><b>11 June.</b> <a href="#registration">In-person registration now open (limited availability.)</a></li>
<li><b>21 April.</b> <a href="#registration">Online registration now open.</a></li>
</ul>
<p>The <i>4th International Conference on Applied Category Theory</i>
will take place at the Computer Laboratory of the University of Cambridge
on 12-16 July 2021, preceded by the
Adjoint School 2021 on 5-9 July. This conference follows previous events at
<a href="http://act2020.mit.edu/">MIT</a>,
<a href="http://www.cs.ox.ac.uk/ACT2019/">Oxford</a>
and
<a href="https://www.appliedcategorytheory.org/workshops/">Leiden</a>.</p>
<p>The conference will be a hybrid event, with physical attendees present
in Cambridge, and other participants taking part online. Due to the need for
physical distancing, the number of in-person registrations will be
limited, so please don't book your travel or accommodation
until your registration is confirmed.</p>
<p>Applied category theory is a topic of interest for a growing community of
researchers, interested in studying many different kinds of systems using
category-theoretic tools. These systems are found across computer science,
mathematics, and physics, as well as in social science, linguistics, cognition,
and neuroscience. The background and experience of our members is as varied as
the systems being studied. The goal of Applied Category Theory is to bring
researchers in the field together, disseminate the latest results, and
facilitate further development of the field.</p>
<p>We accept contributions across the pure-applied spectrum, from
pure mathematical research, to case studies describing successful
application of category-theoretic tools in industry. However,
submissions at the most mathematical end should take care to explain
how this work could be applied to a subject outside of pure category
theory itself, while submissions at the most applied end should
contain a clear explanation of the category theory involved.</p>
<p>To accommodate the publishing conventions of different fields,
we accept submissions of both original research papers, and also work
accepted/submitted/published elsewhere. Accepted original
research papers will be invited for publication in a proceedings volume.
The keynote addresses will be drawn from the best accepted papers. The conference will include an
industry showcase event.</p>
<h2 id="programme">Programme</h2>
<p>Talks will be given live by speakers, either online or in-person. All talks will be visible by both online and in-person participants. With the permission of the speakers, talks will be made available on YouTube after the conference.</p>
<!--<p><a href="Programme.pdf">Download PDF programme</a></p>-->
<!-- -->
<p><table>
<tr style="margin-bottom: 10px">
<td class="distinguished">Distinguished Presentation (D)</td><td></td><td>40 minutes</td>
</tr>
<tr></tr>
<tr>
<td class="ordinary">Ordinary Presentation</td><td></td><td>20 minutes</td>
</tr>
<tr>
<td>Speaker is in Cambridge (C)</td>
</tr>
</table>
</p>
<div id="schedule-div">
<table id="schedule">
<thead>
<tr>
<th>Time (BST)</th>
<th>Monday 12 July</th>
<th>Tuesday 13 July</th>
<th>Wednesday 14 July</th>
<th>Thursday 15 July</th>
<th>Friday 16 July</th>
</tr>
</thead>
<tbody>
<tr>
<td>0900–0930</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
</tr>
<tr>
<td rowspan="5">0930-1100</td>
<td rowspan="1" class="chair">Chair: Jamie Vicary (C)</td>
<td rowspan="1" class="chair">Chair: Andrew Pitts (C)</td>
<td rowspan="1" class="chair">Chair: Chris Heunen</td>
<td rowspan="1" class="chair">Chair: Jules Hedges (C)</td>
<td rowspan="1" class="chair">Chair: Richard Blute</td>
</tr>
<tr>
<td rowspan="1" class="meta" style="height:35px">WELCOME</td>
<td rowspan="2" class="distinguished"><i>Konstantinos Meichanetzidis</i>, Robin Lorenz, Anna Pearson, Alexis Toumi, Giovanni de Felice, Dimitri Kartsaklis, Bob Coecke, "QNLP: Compositional Models of Meaning on a Quantum Computer" (D) (<a href=slides/ACT_2021_slides_39.pdf>s</a>) (<a href="">v</a>)</td>
<td rowspan="2" class="distinguished">Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, <i>Vincent Wang</i>, <i>Gioele Zardini</i>, "Limits and colimits in a category of lenses" (D, C) (<a href=slides/ACT_2021_slides_30.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=diASxDvWfdk&t=0s">v</a>)</td>
<td rowspan="2" class="distinguished"><i>Nicolas Behr</i>, Joachim Kock, "Tracelet Hopf algebras and decomposition spaces" (D) (<a href=slides/ACT_2021_slides_67.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=aTkdCg3eQm0&t=0s">v</a>)</td>
<td rowspan="2" class="distinguished">Xiaodong Jia, Bert Lindenhovius, Michael Mislove, <i>Vladimir Zamdzhiev</i>, "Commutative Monads for Probabilistic Programming Languages" (D) (<a href=slides/ACT_2021_slides_20.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=FF_PbEm0FDw&t=58s">v</a>)</td>
</tr>
<tr>
<td rowspan="2" class="distinguished"><i>Nihil Shah</i>, "Restricting Power: The Pebble-Relation Comonad in Finite Model Theory" (D, C) (<a href=slides/ACT_2021_slides_40.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=0s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary"><i>Soichiro Fujii</i>, Yuni Iwamasa, Kei Kimura, "Quantaloidal approach to constraint satisfaction" (<a href=slides/ACT_2021_slides_65.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=Xqrg8xPaEjI&t=0s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Matthew Di Meglio</i>, "Coequalisers under the lens" (<a href=slides/ACT_2021_slides_29.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=diASxDvWfdk&t=2544s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Antonin Delpeuch</i>, Jamie Vicary, "The word problem for braided monoidal categories is unknot-hard" (<a href=slides/ACT_2021_slides_14.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=aTkdCg3eQm0&t=2622s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Tobias Fritz</i>, Tomáš Gonda, Paolo Perrone, "De Finetti's Theorem in Categorical Probability" (<a href=slides/ACT_2021_slides_24.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=FF_PbEm0FDw&t=2868s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary"><i>John van de Wetering</i>, "A categorical construction of the real unit interval" (C) (<a href=slides/ACT_2021_slides_5.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=2486s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Matt Wilson</i>, Augustin Vanrietvelde, "A categorical framework for the expression of composable constraints: routed categories" (<a href=slides/ACT_2021_slides_69.pptx>s</a>) (<a href="https://www.youtube.com/watch?v=Xqrg8xPaEjI&t=1338s">v</a>)</td>
<td rowspan="1" class="ordinary">Fosco Loregian, <i>Fabrizio Genovese</i>, Daniele Palombi, "A Categorical Semantics for Bounded Petri Nets" (<a href="https://www.youtube.com/watch?v=diASxDvWfdk&t=3965s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Zoltan A. Kocsis</i>, Benjamin Merlin Bumpus, "Treewidth via Spined Categories" (<a href=slides/ACT_2021_slides_26.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=aTkdCg3eQm0&t=3964s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Razin A. Shaikh</i>, Lia Yeh, Benjamin Rodatz, Bob Coecke, "Composing Conversational Negation" (C) (<a href=slides/ACT_2021_slides_70.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=FF_PbEm0FDw&t=4559s">v</a>)</td>
</tr>
<tr>
<td>1100–1130</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
</tr>
<tr>
<td rowspan="5">1130-1300</td>
<td rowspan="1" class="chair">Chair: Vladimir Zamdzhiev</td>
<td rowspan="1" class="chair">Chair: Jules Hedges (C)</td>
<td rowspan="1" class="chair">Chair: Ben MacAdam</td>
<td rowspan="1" class="chair">Chair: Bob Coecke</td>
<td rowspan="1" class="chair">Chair: Fabrizio Romano Genovese</td>
</tr>
<tr>
<td rowspan="2" class="distinguished"><i>Titouan Carette</i>, Marc de Visme, Simon Perdrix, "Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory" (D) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=3778s">v</a>)</td>
<td rowspan="2" class="distinguished"><i>Andrew Pitts</i>, S. C. Steenkamp, "Constructing Initial Algebras Using Inflationary Iteration" (D, C) (<a href=slides/ACT_2021_slides_16.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=mI-4o5cU0dc&t=0s">v</a>)</td>
<td rowspan="2" class="distinguished">Geoff Cruttwell, <i>Bruno Gavranovic</i>, Neil Ghani, <i>Paul Wilson</i>, Fabio Zanasi, "Categorical Foundations of Gradient-Based Learning" (D, C) (<a href=slides/ACT_2021_slides_11.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=1NHBexWYgkU&t=0s">v</a>)</td>
<td rowspan="2" class="distinguished"><i>Cole Comfort</i>, Aleks Kissinger, "A Graphical Calculus for Lagrangian Relations" (D, C) (<a href=slides/ACT_2021_slides_68.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=BEfdHPGzXLE&t=15s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Chad Nester</i>, "Situated Transition Systems" (<a href=slides/ACT_2021_slides_17.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=0s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary">Elena Di Lavore, Alessandro Gianola, <i>Mario Román</i>, Nicoletta Sabadini, Pawel Sobocinski, "A Canonical Algebra of Open Transition Systems (Extended Abstract)" (<a href=slides/ACT_2021_slides_25.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=1408s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary"><i>George Kaye</i>, Dan R. Ghica, "Rewriting Graphically with Cartesian Traced Categories" (C) (<a href=slides/ACT_2021_slides_58.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=6378s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Tomáš Jakl</i>, Anuj Dawar, Luca Reggio, "Lovász-Type Theorems and Game Comonads" (C) (<a href=slides/ACT_2021_slides_48.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=mI-4o5cU0dc&t=2570s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Dan Shiebler</i>, Bruno Gavranovic, Paul Wilson, "Category Theory in Machine Learning" (<a href=slides/ACT_2021_slides_15.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=1NHBexWYgkU&t=2360s">v</a>)</td>
<td rowspan="1" class="ordinary">Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, <i>John van de Wetering</i>, Sal Wolffs, "The ZH-calculus: completeness and extensions" (C) (<a href=slides/ACT_2021_slides_7.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=BEfdHPGzXLE&t=2654s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Joe Moeller</i>, "Noncommutative network models" (<a href=slides/ACT_2021_slides_51.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=2799s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary"><i>Paul Wilson</i>, Fabio Zanasi, "The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition" (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=7910s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Rowan Poklewski-Koziell</i>, "A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories" (<a href=slides/ACT_2021_slides_10.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=mI-4o5cU0dc&t=3982s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Dan Shiebler</i>, "Functorial Manifold Learning" (<a href=slides/ACT_2021_slides_1.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=1NHBexWYgkU&t=3276s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Alexis Toumi</i>, Richie Yeung, Giovanni de Felice, "Diagrammatic Differentiation for Quantum Machine Learning" (<a href="https://www.youtube.com/watch?v=BEfdHPGzXLE&t=3920s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Gunnar Fløystad</i>, "Profunctors between posets, and Alexander duality" (<a href=slides/ACT_2021_slides_41.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=4080s">v</a>)</td>
</tr>
<tr>
<td>1300–1400</td>
<td rowspan="1" class="lunch">LUNCH BREAK</td>
<td rowspan="1" class="lunch">LUNCH BREAK</td>
<td rowspan="1" class="lunch">LUNCH BREAK</td>
<td rowspan="1" class="lunch">LUNCH BREAK</td>
<td rowspan="1" class="lunch">LUNCH BREAK</td>
</tr>
<tr>
<td rowspan="4">1400-1530</td>
<td rowspan="1" class="chair">Chair: David I. Spivak</td>
<td rowspan="1" class="chair">Chair: Dorette Pronk</td>
<td rowspan="1" class="chair">Chair: Geoffrey Cruttwell</td>
<td rowspan="1" class="chair">Chair: Martti Karvonen</td>
<td rowspan="1" class="chair">Chair: Daniel Cicala</td>
</tr>
<tr>
<td rowspan="1" class="distinguished"><i>Sean Tull</i>, "A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces" (D) (<a href=slides/ACT_2021_slides_66.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=9235s">v</a>)</td>
<td rowspan="1" class="distinguished"><i>Sophie Libkind</i>, Andrew Baas, Evan Patterson, James Fairbanks, "Operadic Modeling of Dynamical Systems: Mathematics and Computation" (D) (<a href=slides/ACT_2021_slides_53.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=4np1yqwPy0g&t=0s">v</a>)</td>
<td rowspan="1" class="distinguished"><i>Matteo Capucci</i>, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg, "Translating Extensive Form Games to Open Games with Agency" (D, C) (<a href=slides/ACT_2021_slides_55.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=10u7hbEYcCk&t=0s">v</a>)</td>
<td rowspan="1" class="distinguished"><i>Jason Parker</i>, Pieter Hofstra, Philip Scott, "Polymorphic automorphisms and the Picard group" (D) (<a href=slides/ACT_2021_slides_49.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=0s">v</a>)</td>
<td rowspan="1" class="distinguished"><i>Tslil Clingman</i>, Brendan Fong, David Spivak, "Graphical Regular Logic: the complete 2-dimensional picture" (D) (<a href=slides/ACT_2021_slides_47.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=f2cjrGCvqBI&t=0s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary"><i>Toby St Clere Smithe</i>, "Polynomial Life: the Structure of Adaptive Systems" (<a href=slides/ACT_2021_slides_28.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=11794s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>John Foley</i>, Spencer Breiner, Eswaran Subrahmanian, John Dusel, "Operads for complex system design specification, analysis and synthesis" (<a href=slides/ACT_2021_slides_27.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=4np1yqwPy0g&t=2500s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Hans Riess</i>, Paige Randall North, Robert Ghrist, "Network Sheaves Valued in Categories of Adjunctions and their Laplacians" (<a href=slides/ACT_2021_slides_62.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=10u7hbEYcCk&t=2338s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Christian Williams</i>, Michael Stay, "Native Type Theory" (<a href=slides/ACT_2021_slides_23.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=2560s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Guillaume Boisseau</i>, Pawel Sobocinski, "String Diagrammatic Electrical Circuit Theory" (C) (<a href=slides/ACT_2021_slides_52.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=f2cjrGCvqBI&t=2639s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary">Matteo Capucci, Bruno Gavranovic, <i>Jules Hedges</i>, Eigil Rischel, "Towards foundations of categorical cybernetics" (C) (<a href=slides/ACT_2021_slides_56.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=13083s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Jean-Simon Lemay</i>, "Jacobians and Gradients for Cartesian Differential Categories" (<a href=slides/ACT_2021_slides_4.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=4np1yqwPy0g&t=3822s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Jérémie Koenig</i>, "Grounding Game Semantics in Categorical Algebra" (<a href=slides/ACT_2021_slides_71.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=10u7hbEYcCk&t=3800s">v</a>)</td>
<td rowspan="1" class="ordinary">Robin Cockett, <i>Priyaa Varshinee Srinivasan</i>, "Exponential modalities and complementarity" (<a href=slides/ACT_2021_slides_54.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=4183s">v</a>)</td>
<td rowspan="1" class="ordinary">Brendan Fong, <i>Alberto Speranzon</i>, David I. Spivak, "Temporal Landscapes: A Graphical Logic of Behavior" (<a href=slides/ACT_2021_slides_60.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=f2cjrGCvqBI&t=3907s">v</a>)</td>
</tr>
<tr>
<td>1530-1600</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
<td rowspan="1" class="break">TEA BREAK</td>
</tr>
<tr>
<td rowspan="5">1600-1730</td>
<td rowspan="1" class="chair">Chair: Jamie Vicary (C)</td>
<td rowspan="1" class="chair">Chair: Brendan Fong</td>
<td rowspan="1" class="chair">Chair: Kohei Kishida</td>
<td rowspan="1" class="chair">Chair: Kohei Kishida </td>
<td rowspan="1" class="chair">Chair: Jade Master</td>
</tr>
<tr>
<td rowspan="4" class="meta">INDUSTRY SESSION
<div class="ind"><i><a href="https://homepages.inf.ed.ac.uk/wadler/">Philip Wadler</a>, University of Edinburgh and <a href="https://iohk.io/en/team/philip-wadler">IOHK</a></i></div>
<div class="ind"><i>Bob Coecke, <a href="https://cambridgequantum.com/">Cambridge Quantum Computing</a></i></div>
<div class="ind"><i>Brendan Fong, <a href="https://topos.institute/">Topos Institute</a></i></div>
<div class="ind"><i>Dan Ghica, <a href="https://www.huawei.com/en/corporate-information/research-development">Huawei Research & Innovation</a></i></div>
<div class="ind"><i>Jelle Herold, <a href="https://statebox.org/">Statebox</a></i></div>
<div class="ind"><i>Ryan Wisnesky, <a href="https://conexus.com/">Conexus</a></i></div>
</td>
<td rowspan="4" class="meta">ADJOINT SCHOOL SESSION
<div class="ind">Stelios Tsampas, "Safety for bisimulation for coalgebraic dynamic logic"</div>
<div class="ind">Amin Karamlou, Gabriel Goren, "Stochastic game logic, coalgebraically"</div>
<div class="ind">Owen Lewis, Elise Catania, Hussain Kadhem, Matthew Di Meglio, "Optimization and profunctor nuclei"</div>
<div class="ind">Angeline Aguinaldo, Kris Brown, "Polynomial functors and mode-dependent dynamical systems in Catlab"</div>
<div class="ind">Amy Searle, Anna Knorr, Grant Generaux, "Computing Ising models graphically - DPO for Markov Chains"</div>
<div class="ind">Emma Phillips, Claire Ott, Elise McMahon, "Weakly globular double categories and Petri nets"</div>
</td>
<td rowspan="1" class="meta">POSTER SESSION</td>
<td rowspan="1" class="ordinary">Alexis Toumi, <i>Alex Koziell-Pipe</i>, "Functorial Language Models" (<a href=slides/ACT_2021_slides_45.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=5805s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Michael Lambert</i>, "Characterizing Double Categories of Relations" (<a href=slides/ACT_2021_slides_63.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=koXjeTfyCrk&t=0s">v</a>)</td>
</tr>
<tr>
<td rowspan="3" class="meta">DRINKS RECEPTION</td>
<td rowspan="1" class="ordinary"><i>Lachlan McPheat</i>, Gijs Wijnholds, Mehrnoosh Sadrzadeh, Adriana Correia, Alexis Toumi, "Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics" (C) (<a href=slides/ACT_2021_slides_42.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=7169s">v</a>)</td>
<td rowspan="1" class="ordinary"><i>Victoria Noquez</i>, Larry Moss, "The Sierpinski Carpet as a Final Coalgebra" (<a href=slides/ACT_2021_slides_57.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=koXjeTfyCrk&t=1615s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="ordinary"><i>David Spivak</i>, "Learners' languages" (<a href=slides/ACT_2021_slides_2.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=8800s">v</a>)</td>
<td rowspan="1" class="ordinary">Anne Broadbent, <i>Martti Karvonen</i>, "Categorical composable cryptography" (<a href=slides/ACT_2021_slides_12.pdf>s</a>) (<a href="https://www.youtube.com/watch?v=koXjeTfyCrk&t=3592s">v</a>)</td>
</tr>
<tr>
<td rowspan="1" class="extra"> </td>
<td rowspan="1" class="extra"></td>
</tr>
</tbody>
</table>
</div>
<h2>Conference Photo</h2>
<a href="conference_photo_original.png"><img id="conference-photo" src="conference_photo_webpage.jpg"/></a>
<p>Left-to-right (with a front-to-back sublist): Tomas Jakl, Nick Hu, Nihil Shah, Hao Xu, Ieva Cepaite, Amin Karamlou, Amy Searle, Jules Hedges, Callum Reader, Benjamin Rodatz, Bruno Gavranovic, Swaraj Dash, (Razin Shaikh, Zanzi Mihejevs, Dylan Braithwaite, Joseph Grant), Joseph Martin, Paul Wilson, Cole Comfort, Matteo Capucci, Alex Rice, Calin Tataru, Simon Willerton, Ioannis Markakis, George Kaye, Robert Furber, and Lukas Heidemann.
</p>
<h2 id="accepted">Accepted Presentations</h2>
<p>The following 51 submissions have been accepted for presentation at ACT 2021. A full programme is available below. The suffix "(D)" indicates the submission has been selected for a distinguished presentation, while the suffix "(C)" denotes that it will be presented in person in Cambridge. The submissions are ordered according to their original submission number.</p>
<ul>
<li>Dan Shiebler, "<a href=papers/ACT_2021_paper_1.pdf>Functorial Manifold Learning</a>", (<a href=slides/ACT_2021_slides_1.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=1NHBexWYgkU&t=3276s">video</a>)</li>
<li>David Spivak, "<a href=papers/ACT_2021_paper_2.pdf>Learners' languages</a>", (<a href=slides/ACT_2021_slides_2.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=8800s">video</a>)</li>
<li>Jean-Simon Lemay, "<a href=papers/ACT_2021_paper_4.pdf>Jacobians and Gradients for Cartesian Differential Categories</a>", (<a href=slides/ACT_2021_slides_4.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=4np1yqwPy0g&t=3822s">video</a>)</li>
<li>John van de Wetering, "<a href=papers/ACT_2021_paper_5.pdf>A categorical construction of the real unit interval</a>", (C) (<a href=slides/ACT_2021_slides_5.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=2486s">video</a>)</li>
<li>Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering and Sal Wolffs, "<a href=papers/ACT_2021_paper_7.pdf>The ZH-calculus: completeness and extensions</a>", (C) (<a href=slides/ACT_2021_slides_7.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=BEfdHPGzXLE&t=2654s">video</a>)</li>
<li>Fosco Loregian, Fabrizio Genovese and Daniele Palombi, "<a href=papers/ACT_2021_paper_8.pdf>A Categorical Semantics for Bounded Petri Nets</a>", (<a href="https://www.youtube.com/watch?v=diASxDvWfdk&t=3965s">video</a>)</li>
<li>Rowan Poklewski-Koziell, "<a href=papers/ACT_2021_paper_10.pdf>A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories</a>", (<a href=slides/ACT_2021_slides_10.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=mI-4o5cU0dc&t=3982s">video</a>)</li>
<li>Geoff Cruttwell, Bruno Gavranovic, Neil Ghani, Paul Wilson and Fabio Zanasi, "<a href=papers/ACT_2021_paper_11.pdf>Categorical Foundations of Gradient-Based Learning</a>", (D, C) (<a href=slides/ACT_2021_slides_11.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=1NHBexWYgkU&t=0s">video</a>)</li>
<li>Anne Broadbent and Martti Karvonen, "<a href=papers/ACT_2021_paper_12.pdf>Categorical composable cryptography</a>", (<a href=slides/ACT_2021_slides_12.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=koXjeTfyCrk&t=3592s">video</a>)</li>
<li>Antonin Delpeuch and Jamie Vicary, "<a href=papers/ACT_2021_paper_14.pdf>The word problem for braided monoidal categories is unknot-hard</a>", (<a href=slides/ACT_2021_slides_14.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=aTkdCg3eQm0&t=2622s">video</a>)</li>
<li>Dan Shiebler, Bruno Gavranovic and Paul Wilson, "<a href=papers/ACT_2021_paper_15.pdf>Category Theory in Machine Learning</a>", (<a href=slides/ACT_2021_slides_15.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=1NHBexWYgkU&t=2360s">video</a>)</li>
<li>Andrew Pitts and S. C. Steenkamp, "<a href=papers/ACT_2021_paper_16.pdf>Constructing Initial Algebras Using Inflationary Iteration</a>", (D, C) (<a href=slides/ACT_2021_slides_16.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=mI-4o5cU0dc&t=0s">video</a>)</li>
<li>Chad Nester, "<a href=papers/ACT_2021_paper_17.pdf>Situated Transition Systems</a>", (<a href=slides/ACT_2021_slides_17.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=0s">video</a>)</li>
<li>Xiaodong Jia, Bert Lindenhovius, Michael Mislove and Vladimir Zamdzhiev, "<a href=papers/ACT_2021_paper_20.pdf>Commutative Monads for Probabilistic Programming Languages</a>", (D) (<a href=slides/ACT_2021_slides_20.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=FF_PbEm0FDw&t=58s">video</a>)</li>
<li>Christian Williams and Michael Stay, "<a href=papers/ACT_2021_paper_23.pdf>Native Type Theory</a>", (<a href=slides/ACT_2021_slides_23.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=2560s">video</a>)</li>
<li>Tobias Fritz, Tomáš Gonda and Paolo Perrone, "<a href=papers/ACT_2021_paper_24.pdf>De Finetti's Theorem in Categorical Probability</a>", (<a href=slides/ACT_2021_slides_24.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=FF_PbEm0FDw&t=2868s">video</a>)</li>
<li>Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Pawel Sobocinski, "<a href=papers/ACT_2021_paper_25.pdf>A Canonical Algebra of Open Transition Systems (Extended Abstract)</a>", (<a href=slides/ACT_2021_slides_25.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=1408s">video</a>)</li>
<li>Zoltan A. Kocsis and Benjamin Merlin Bumpus, "<a href=papers/ACT_2021_paper_26.pdf>Treewidth via Spined Categories</a>", (<a href=slides/ACT_2021_slides_26.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=aTkdCg3eQm0&t=3964s">video</a>)</li>
<li>John Foley, Spencer Breiner, Eswaran Subrahmanian and John Dusel, "<a href=papers/ACT_2021_paper_27.pdf>Operads for complex system design specification, analysis and synthesis</a>", (<a href=slides/ACT_2021_slides_27.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=4np1yqwPy0g&t=2500s">video</a>)</li>
<li>Toby St Clere Smithe, "<a href=papers/ACT_2021_paper_28.pdf>Polynomial Life: the Structure of Adaptive Systems</a>", (<a href=slides/ACT_2021_slides_28.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=11794s">video</a>)</li>
<li>Matthew Di Meglio, "<a href=papers/ACT_2021_paper_29.pdf>Coequalisers under the lens</a>", (<a href=slides/ACT_2021_slides_29.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=diASxDvWfdk&t=2544s">video</a>)</li>
<li>Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang and Gioele Zardini, "<a href=papers/ACT_2021_paper_30.pdf>Limits and colimits in a category of lenses</a>", (D, C) (<a href=slides/ACT_2021_slides_30.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=diASxDvWfdk&t=0s">video</a>)</li>
<li>Titouan Carette, Marc de Visme and Simon Perdrix, "<a href=papers/ACT_2021_paper_32.pdf>Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory</a>", (D) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=3778s">video</a>)</li>
<li>Konstantinos Meichanetzidis, Robin Lorenz, Anna Pearson, Alexis Toumi, Giovanni de Felice, Dimitri Kartsaklis and Bob Coecke, "<a href=papers/ACT_2021_paper_39.pdf>QNLP: Compositional Models of Meaning on a Quantum Computer</a>", (D) (<a href=slides/ACT_2021_slides_39.pdf>slides</a>) (<a href="">video</a>)</li>
<li>Nihil Shah, "<a href=papers/ACT_2021_paper_40.pdf>Restricting Power: The Pebble-Relation Comonad in Finite Model Theory</a>", (D, C) (<a href=slides/ACT_2021_slides_40.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=0s">video</a>)</li>
<li>Gunnar Fløystad, "<a href=papers/ACT_2021_paper_41.pdf>Profunctors between posets, and Alexander duality</a>", (<a href=slides/ACT_2021_slides_41.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=4080s">video</a>)</li>
<li>Lachlan McPheat, Gijs Wijnholds, Mehrnoosh Sadrzadeh, Adriana Correia and Alexis Toumi, "<a href=papers/ACT_2021_paper_42.pdf>Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics</a>", (C) (<a href=slides/ACT_2021_slides_42.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=7169s">video</a>)</li>
<li>Alexis Toumi, Richie Yeung and Giovanni de Felice, "<a href=papers/ACT_2021_paper_44.pdf>Diagrammatic Differentiation for Quantum Machine Learning</a>", (<a href="https://www.youtube.com/watch?v=BEfdHPGzXLE&t=3920s">video</a>)</li>
<li>Alexis Toumi and Alex Koziell-Pipe, "<a href=papers/ACT_2021_paper_45.pdf>Functorial Language Models</a>", (<a href=slides/ACT_2021_slides_45.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=5805s">video</a>)</li>
<li>Tslil Clingman, Brendan Fong and David Spivak, "<a href=papers/ACT_2021_paper_47.pdf>Graphical Regular Logic: the complete 2-dimensional picture</a>", (D) (<a href=slides/ACT_2021_slides_47.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=f2cjrGCvqBI&t=0s">video</a>)</li>
<li>Tomáš Jakl, Anuj Dawar and Luca Reggio, "<a href=papers/ACT_2021_paper_48.pdf>Lovász-Type Theorems and Game Comonads</a>", (C) (<a href=slides/ACT_2021_slides_48.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=mI-4o5cU0dc&t=2570s">video</a>)</li>
<li>Jason Parker, Pieter Hofstra and Philip Scott, "<a href=papers/ACT_2021_paper_49.pdf>Polymorphic automorphisms and the Picard group</a>", (D) (<a href=slides/ACT_2021_slides_49.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=0s">video</a>)</li>
<li>Joe Moeller, "<a href=papers/ACT_2021_paper_51.pdf>Noncommutative network models</a>", (<a href=slides/ACT_2021_slides_51.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=fOoqH0ZYKXo&t=2799s">video</a>)</li>
<li>Guillaume Boisseau and Pawel Sobocinski, "<a href=papers/ACT_2021_paper_52.pdf>String Diagrammatic Electrical Circuit Theory</a>", (C) (<a href=slides/ACT_2021_slides_52.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=f2cjrGCvqBI&t=2639s">video</a>)</li>
<li>Sophie Libkind, Andrew Baas, Evan Patterson and James Fairbanks, "<a href=papers/ACT_2021_paper_53.pdf>Operadic Modeling of Dynamical Systems: Mathematics and Computation</a>", (D) (<a href=slides/ACT_2021_slides_53.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=4np1yqwPy0g&t=0s">video</a>)</li>
<li>Robin Cockett and Priyaa Varshinee Srinivasan, "<a href=papers/ACT_2021_paper_54.pdf>Exponential modalities and complementarity</a>", (<a href=slides/ACT_2021_slides_54.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=bIHLRccaXxQ&t=4183s">video</a>)</li>
<li>Matteo Capucci, Neil Ghani, Jérémy Ledent and Fredrik Nordvall Forsberg, "<a href=papers/ACT_2021_paper_55.pdf>Translating Extensive Form Games to Open Games with Agency</a>", (D, C) (<a href=slides/ACT_2021_slides_55.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=10u7hbEYcCk&t=0s">video</a>)</li>
<li>Matteo Capucci, Bruno Gavranovic, Jules Hedges and Eigil Rischel, "<a href=papers/ACT_2021_paper_56.pdf>Towards foundations of categorical cybernetics</a>", (C) (<a href=slides/ACT_2021_slides_56.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=13083s">video</a>)</li>
<li>Victoria Noquez and Larry Moss, "<a href=papers/ACT_2021_paper_57.pdf>The Sierpinski Carpet as a Final Coalgebra</a>", (<a href=slides/ACT_2021_slides_57.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=koXjeTfyCrk&t=1615s">video</a>)</li>
<li>George Kaye and Dan R. Ghica, "<a href=papers/ACT_2021_paper_58.pdf>Rewriting Graphically with Cartesian Traced Categories</a>", (C) (<a href=slides/ACT_2021_slides_58.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=6378s">video</a>)</li>
<li>Paul Wilson and Fabio Zanasi, "<a href=papers/ACT_2021_paper_59.pdf>The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition</a>", (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=7910s">video</a>)</li>
<li>Brendan Fong, Alberto Speranzon and David I. Spivak, "<a href=papers/ACT_2021_paper_60.pdf>Temporal Landscapes: A Graphical Logic of Behavior</a>", (<a href=slides/ACT_2021_slides_60.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=f2cjrGCvqBI&t=3907s">video</a>)</li>
<li>Hans Riess, Paige Randall North and Robert Ghrist, "<a href=papers/ACT_2021_paper_62.pdf>Network Sheaves Valued in Categories of Adjunctions and their Laplacians</a>", (<a href=slides/ACT_2021_slides_62.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=10u7hbEYcCk&t=2338s">video</a>)</li>
<li>Michael Lambert, "<a href=papers/ACT_2021_paper_63.pdf>Characterizing Double Categories of Relations</a>", (<a href=slides/ACT_2021_slides_63.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=koXjeTfyCrk&t=0s">video</a>)</li>
<li>Soichiro Fujii, Yuni Iwamasa and Kei Kimura, "<a href=papers/ACT_2021_paper_65.pdf>Quantaloidal approach to constraint satisfaction</a>", (<a href=slides/ACT_2021_slides_65.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=Xqrg8xPaEjI&t=0s">video</a>)</li>
<li>Sean Tull, "<a href=papers/ACT_2021_paper_66.pdf>A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces</a>", (D) (<a href=slides/ACT_2021_slides_66.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=We7FuoOCxyA&t=9235s">video</a>)</li>
<li>Nicolas Behr and Joachim Kock, "<a href=papers/ACT_2021_paper_67.pdf>Tracelet Hopf algebras and decomposition spaces</a>", (D) (<a href=slides/ACT_2021_slides_67.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=aTkdCg3eQm0&t=0s">video</a>)</li>
<li>Cole Comfort and Aleks Kissinger, "<a href=papers/ACT_2021_paper_68.pdf>A Graphical Calculus for Lagrangian Relations</a>", (D, C) (<a href=slides/ACT_2021_slides_68.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=BEfdHPGzXLE&t=15s">video</a>)</li>
<li>Matt Wilson and Augustin Vanrietvelde, "<a href=papers/ACT_2021_paper_69.pdf>A categorical framework for the expression of composable constraints: routed categories</a>", (<a href=slides/ACT_2021_slides_69.pptx>slides</a>) (<a href="https://www.youtube.com/watch?v=Xqrg8xPaEjI&t=1338s">video</a>)</li>
<li>Razin A. Shaikh, Lia Yeh, Benjamin Rodatz and Bob Coecke, "<a href=papers/ACT_2021_paper_70.pdf>Composing Conversational Negation</a>", (C) (<a href=slides/ACT_2021_slides_70.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=FF_PbEm0FDw&t=4559s">video</a>)</li>
<li>Jérémie Koenig, "<a href=papers/ACT_2021_paper_71.pdf>Grounding Game Semantics in Categorical Algebra</a>", (<a href=slides/ACT_2021_slides_71.pdf>slides</a>) (<a href="https://www.youtube.com/watch?v=10u7hbEYcCk&t=3800s">video</a>)</li>
</ul>
<h2 id="posters">Accepted Posters</h2>
<p>The following posters will be presented at the poster presentation session on Wednesday afternoon, in the form of lightning
talks of a single slide. Italics indicate the person presenting the poster.</p>
<ul>
<li><i>Abel Sagodi</i>, "Conceptualizing explanations through category theory" (<a href=slides/ACT_2021_slides_6.pdf>poster</a>) </li>
<li><i>Owen Lynch</i>, James Fairbanks and Evan Patterson, "Graphical Semantic Modeling with Semagrams.jl" </li>
<li><i>Henry Kvinge</i>, Brett Jefferson, Cliff Joslyn and Emilie Purvine, "Sheaves as a Framework for Understanding and Interpreting Model Fit" (<a href=slides/ACT_2021_slides_18.pdf>poster</a>) </li>
<li>Maria Dimarogkona, <i>Mark Addis</i> and Petros Stefaneas, "Syntax, Semantics and the Formalisation of Social Science Theories" (<a href=slides/ACT_2021_slides_19.pdf>poster</a>) </li>
<li>Davide Trotta, <i>Matteo Spadetto</i> and Valeria de Paiva, "The Gödel fibration" (<a href=slides/ACT_2021_slides_21.pdf>poster</a>) </li>
<li><i>Tim Hosgood</i> and David I. Spivak, "Dirichlet polynomials and entropy" (<a href=slides/ACT_2021_slides_34.pdf>poster</a>) </li>
<li><i>Daniel Luckhardt</i> and Matt Insall, "Norms on Categories" (<a href=slides/ACT_2021_slides_36.pdf>poster</a>) </li>
<li><i>Elena Di Lavore</i>, Wilmer Leal and Valeria de Paiva, "Dialectica Petri nets" (<a href=slides/ACT_2021_slides_38.pdf>poster</a>) </li>
<li><i>Jonas Frey</i> and Colin Zwanziger, "Elementary (1,2)-cosmoses and labeled linear logic" (<a href=slides/ACT_2021_slides_50.pdf>poster</a>) </li>
<li><i>Joshua Tan</i> and Aleksandar Petrov, "A type system of digital institutions" (<a href=slides/ACT_2021_slides_72.pdf>poster</a>) </li>
</ul>
<h2>Important Dates</h2>
<p>All dates are in 2021, and all deadlines are
<a href="https://www.timeanddate.com/time/zones/aoe">Anywhere-on-Earth</a>
on the given date.</p>
<ul>
<li><del>Submission Deadline: <del>Monday 10 May</del> <del>Wednesday 12 May</del></del></li>
<li><del>Author Notification: Monday 7 June</del></li>
<li><del>Financial Support Application Deadline: <del>Monday 7 June</del> <del>Tuesday 8 June</del></del></li>
<li><del>Financial Support Notification: <del>Tuesday 8 June</del> <del>Wednesday 9 June</del></del></li>
<li><del>Priority Physical Registration Opens: Wednesday 9 June</del></li>
<li><del>Ordinary Physical Registration Opens: Friday 11 June</del></li>
<li><del>Adjoint School: Monday 5 to Friday 9 July</del></li>
<li><del>Main Conference: Monday 12 to Friday 16 July</del></li>
</ul>
<h2 id="registration">Registration</h2>
<p>The organizers are committed to ensuring a fantastic experience for both
online and in-person participants. If you are giving a presentation at ACT 2021, you can do this either online or in-person.</p>
<p><i>Online participation.</i> Online participation has now closed.<!-- Registering for online participation does not
prevent you registering at a later date for physical participation if you would like to do that.--></p>
<!--<ul><li><a href="https://forms.gle/KENNAbk6iLwqJ7i36">Registration Form for Online Participation</a></li></ul>-->
<p><i>Physical participation.</i> Registration for physical participation is now closed. If you do not have a registration,
please do not show up in person at the conference. Due to the need for physical distancing the number of tickets has been precisely controlled.</p>
<!--
A limited number of registrations for in-person attendance are currently available to
purchase from the following link, at a cost of £110:
<ul><li><a href="https://onlinesales.admin.cam.ac.uk/conferences-and-events/computer-laboratory/applied-category-theory/applied-category-theory-2021-act-2021">https://onlinesales.admin.cam.ac.uk/conferences-and-events/computer-laboratory/applied-category-theory/applied-category-theory-2021-act-2021</a></li></ul>
As part of the purchase process, you are asked why you believe you will not be prevented to travel to the conference due to
COVID restrictions. Examples of acceptable responses include: that you are currently in the UK or its Common Travel Area (Ireland, the Channel
Islands and the Isle of Man); that you are in a
<a href="https://www.gov.uk/guidance/red-amber-and-green-list-rules-for-entering-england#green-list">green list country</a>
allowing quarantine-free travel to the UK; or that you are
in an <a href="https://www.gov.uk/guidance/red-amber-and-green-list-rules-for-entering-england#amber-list">amber list country</a>, and will travel
to the UK in sufficient time to complete the mandatory 10-day quarantine before
the start of the conference. If you are not able to give an acceptable answer to this question, your registration will be cancelled and refunded.
If you have any questions about this policy, feel free to contact one of the local organizers.</p>
-->
<h2>Information for Participants</h2>
<p>Online participation will be via Zoom. If you want to participate online, please make sure to register (see Registration section above.)</p>
<p><b><i>Current UK government projections indicate that physical conference participation will be allowed
for the conference dates. However, there of course remains a possibility that circumstances may change, and the organizers
may reluctantly decide to cancel the physical confence due to circumstances related to the pandemic.
If the physical conference is cancelled, any money paid for registration would be refunded.
However, the organizers will not be liable for any other costs that physical
participants may have, such as travel or accommodation.
If you are not willing to take this risk, we suggest you plan to participate online.</i></b></p>
<p>The physical conference will take place at the Computer Laboratory (also known as the Department of Computer Science and Technology) at the University of Cambridge, shown
on the following map. The
department is situated about 1.5 miles to the west of the city, and it takes about 30 minutes to walk there from the city centre. Buses can be unreliable,
so walking or cycling is the usual mode of transport around the city; there are plenty of cycle hire places that can
be found on Google Maps. If you need a taxi, Uber operates in the city,
and Camcab is a traditional taxi firm which can be contacted on 01223 704704. There is a nice cycle path which is an ideal way to walk or cycle between the department and the city centre, illustrated on the map below.</p>
<iframe src="https://www.google.com/maps/embed?pb=!1m26!1m12!1m3!1d8224.006500137335!2d0.09795065920242622!3d52.20683376535952!2m3!1f0!2f0!3f0!3m2!1i1024!2i768!4f13.1!4m11!3e2!4m5!1s0x47d8774a3f6e55cd%3A0xabf8227343e684c7!2sComputer%20Laboratory%2C%20University%20of%20Cambridge%2C%2015%20JJ%20Thomson%20Ave%2C%20Cambridge%20CB3%200FD!3m2!1d52.210891!2d0.0914855!4m3!3m2!1d52.2056348!2d0.1179634!5e0!3m2!1sen!2suk!4v1625820307063!5m2!1sen!2suk" width="100%" height="450" style="border:1;" allowfullscreen="" loading="lazy"></iframe>
<!--<p>Official conference accommodation will be available for priority booking by physical participants at a College of the university.
The deadline for booking this official accommodation is Monday 14 June. The booking code will only be made available to
those who have registered as a physical participant.
The number of available accommodation rooms matches the number of registration slots, so if you have successfully
registered for physical participation, you are guaranteed to be able to book accommodation, as long as you do so
before the deadline. In the unfortunate event that the physical conference is cancelled
due to COVID, the cost of this physical accommodation will be fully refunded.</p>-->
<p>Accommodation in Cambridge can be booked through the usual
websites. In particular we recommend <a href="http://www.universityrooms.com">http://www.universityrooms.com</a>
as a source of good-value accommodation, and suggest Fitzwilliam College as a low-priced option which is
conveniently located close to both the conference location and the city centre.
</p>
<p>Internet access is available at the conference venue through the Eduroam service. The best way to set this up
is by using the <a href="https://cat.eduroam.org/">Eduroam configuration tool</a>, available for a wide range of devices.</p>
<p>The physical conference will be organized in a COVID-safe way. In particular, participants will be expected to observe
social distancing, the number of participants will be restricted, seating in the lecture theatre will be well-spaced,
coffee and lunch breaks will be outdoors where possible, and masks will be required while not eating or drinking, including for in-person speakers during their lecture.</p>
<p>Here is a list of food options that you can try while you are here:</p>
<ul>
<li><h3>Pubs</h3>
<ul>
<li>THE EAGLE, 8 Benet Street</li>
<li>THE PICKEREL Inn, 30 Magdalen Street</li>
<li>THE ARCHITECT, 43 Castle Street</li>
<li>THE GRAIN & HOP STORE, Regent Terrace</li>
</ul>
</li>
<li><h3>Restaurants</h3>
<ul>
<li>LITTLE PETRA, 94 Mill Road</li>
<li>LITTLE SEOUL, 108 Regent Street</li>
<li>THE OLIVE GROVE, 100 Regent Street</li>
<li>PHO, 1 Wheeler Street</li>
<li>FRANCO MANCA, 15 Market Hill</li>
</ul>
</li>
<li><h3>Fast Food</h3>
<ul>
<li>TORTILLA, 18 Market Passage</li>
<li>AROMI, 1 Benet Street</li>
<li>WASABI, One Station Square</li>
<li>MADINGLEY ROAD KEBAB, 1 Madingley Road</li>
</ul>
</li>
</ul>
<h2>Financial Support</h2>
<p><i>Financial support applications have now closed.</i></p>
<p>Some financial support is available to support attendance by junior researchers who would like to attend the conference in person.
To apply for this, send an email to Lukas Heidemann at <a href="mailto:lukas.heidemann@cs.ox.ac.uk">lukas.heidemann@cs.ox.ac.uk</a>
from an academic email address, with subject line "ACT 2021 Financial Support Application".</p>
<p>In your email, please give the following
information: your name and affiliation; an estimate of the total cost for you to attend; the amount you are requesting;
whether or not you have had a paper accepted to the conference (and if so, its submission number); and whether you have secured or applied for
partial funding from another source (if so, this will strengthen your application). Also, please give a brief statement about why you believe that COVID restrictions
will not prevent you from attending (e.g. "I live in the UK, and current government projections indicate no restrictions on
conference travel and participation in July".)</p>
<p>You will be informed about the result of your application on <del>Tuesday 8 June</del> Wednesday 9 June. Successful applicants for financial
support will be eligible for the Priority Physical Registration period, which opens on Wednesday 9 June.</p>
<h2>Submissions</h2>
<p><i>Submission via <a href="https://easychair.org/conferences/?conf=act20210">EasyChair</a> is now closed.</i></p>
<p>There are two submission tracks, both of which will be reviewed against the same standards of quality.
Submission of work-in-progress is encouraged, but it must be more substantial than a
research proposal.
<ul>
<li> <i>Proceedings Track.</i> Original contributions of high-quality work
consisting of an extended summary, up to 12 pages excluding bibliography, that provides evidence of
results of genuine interest, and with enough detail to allow the program
committee to assess the merits of the work. Full proofs of mathematical
statements are not necessarily required. Accepted submissions in
this track will be invited for publication
in a proceedings volume. Submissions to this track must be prepared with LaTeX, using the EPTCS style
files available at <a href="http://style.eptcs.org">http://style.eptcs.org</a>. Additional appendices
beyond the page limit are
permitted but may not be read by reviewers, and will not be included in the proceedings.
</li>
<li> <i>Non-Proceedings Track.</i> Submissions presenting high-quality work submitted or
published elsewhere, or for which publication in the proceedings is not desired by
the authors, may be submitted to this track, provided the work is recent
and relevant to the conference. The work may be of any length, but the
program committee members may only look at the first 3 pages of the
submission, so you should ensure that these pages contain sufficient
evidence of the quality and rigour of your work.
</li>
</ul>
</p>
<p>Since ACT is an interdisciplinary conference, we use two
tracks to accommodate the publishing conventions of different
disciplines. For example, those from a Computer Science background may
prefer the Proceedings Track, while those from a Mathematics, Physics
or other background may prefer the Non-Proceedings Track. However,
authors from any background are free to choose the track that they
prefer, and submissions may be moved from the Proceedings Track to the
Non-Proceedings Track at any time at the request of the authors.</p>
<h2>Adjoint School</h2>
<i>Applications for the Adjoint School 2021 are now closed.</i>
<p>The Adjoint School is an annual collaborative research event, in which junior researchers work on cutting-edge
topics in applied category theory, guided by expert mentors. Traditionally, after a four month reading course,
the participants meet at the venue of the ACT conference for a week of in-person research collaborator. Due to
the pandemic, this year the research week will be held online. The students will share the results of their
research in a special session during the ACT conference.</p>
<p>For more information see the <a href="http://adjointschool.com">official school website</a>.</p>
<h2>Statement of Values</h2>
The organizers hope that the Applied Category Theory community can be a positive force in the world. To help us
achieve this, we have drafted a <a href="http://www.appliedcategorytheory.org/statement-of-values/">Statement of Values</a>,
which we ask all participants to uphold.
<h2>Sponsors</h2>
<div id="sponsors">
<center>
<a target="blank" href="https://conexus.com/"><img style="height:70px; margin-bottom:20px; margin-top:20px" src="logos/conexus_trimmed.svg"/></a>
<br>
<a target="blank" href="https://www.huawei.com/en/corporate-information/research-development"><img style="height:100px; margin-bottom:20px" src="logos/huawei_trimmed.svg"/></a>
<br>
<a target="blank" href="https://research.protocol.ai/"><img style="height:100px; margin-bottom:10px" src="logos/protocol_labs.svg"/></a>
<br>
<a target="blank" href="https://cambridgequantum.com/"><img style="height:100px; margin-bottom:20px" src="logos/cqc_trimmed.svg"/></a>
</center>
</div>
<h2>Programme Committee</h2>
<ul>
<li><a href="http://aix1.uottawa.ca/~rblute/">Richard Blute</a>, University of Ottawa</li>
<li><a href="https://www.nist.gov/people/spencer-breiner">Spencer Breiner</a>, NIST</li>
<li><a href="https://www.newhaven.edu/faculty-staff-profiles/daniel-cicala.php">Daniel Cicala</a>, University of New Haven</li>
<li><a href="http://pages.cpsc.ucalgary.ca/~robin/">Robin Cockett</a>, University of Calgary</li>
<li>Bob Coecke, Cambridge Quantum Computing</li>
<li><a href="https://www.mta.ca/gcruttwell/">Geoffrey Cruttwell</a>, Mount Allison University</li>
<li><a href="https://vcvpaiva.github.io/">Valeria de Paiva</a>, Samsung Research America and University of Birmingham</li>
<li><a href="http://brendanfong.com/">Brendan Fong</a>, Massachusetts Institute of Technology</li>
<li><a href="https://sites.google.com/site/jonasfreysite/">Jonas Frey</a>, Carnegie Mellon University</li>
<li><a href="https://www2.perimeterinstitute.ca/personal/tfritz/">Tobias Fritz</a>, Perimeter Institute for Theoretical Physics</li>
<li>Fabrizio Romano Genovese, Statebox</li>
<li><a href="https://www.rug.nl/staff/h.h.hansen/">Helle Hvid Hansen</a>, University of Groningen</li>
<li><a href="https://julesh.com/">Jules Hedges</a>, University of Strathclyde</li>
<li><a href="https://homepages.inf.ed.ac.uk/cheunen/">Chris Heunen</a>, University of Edinburgh</li>
<li>Alex Hoffnung, Bridgewater</li>
<li><a href="https://mysite.science.uottawa.ca/mkarvone/">Martti Karvonen</a>, University of Ottawa</li>
<li><em><a href="https://philosophy.illinois.edu/directory/profile/kkishida">Kohei Kishida</a>, University of Illinois, Urbana-Champaign</a> (chair)</em></li>
<li><a href="https://marthaflinderslewis.wordpress.com/">Martha Lewis</a>, University of Bristol</li>
<li>Bert Lindenhovius, Johannes Kepler University Linz</li>
<li><a href="https://pages.cpsc.ucalgary.ca/~benjamin.macadam/">Ben MacAdam</a>, University of Calgary</li>
<li><a href="https://www.cs.ox.ac.uk/people/dan.marsden/">Dan Marsden</a>, University of Oxford</li>
<li><a href="https://mathdept.ucr.edu/people/jade-master">Jade Master</a>, University of California, Riverside</li>
<li><a href="https://joemathjoe.wordpress.com/">Joe Moeller</a>, NIST</li>
<li><a href="http://www.kurims.kyoto-u.ac.jp/~kmuroya/">Koko Muroya</a>, Kyoto University</li>
<li><a href="https://www2.le.ac.uk/departments/mathematics/extranet/staff-material/staff-profiles/simona-paoli">Simona Paoli</a>, University of Leicester</li>
<li><a href="https://www.irif.fr/~petrisan/">Daniela Petrisan</a>, Université de Paris, IRIF</li>
<li><a href="https://msadrzadeh.com/">Mehrnoosh Sadrzadeh</a>, University College London</li>
<li><a href="https://www.mathstat.dal.ca/~selinger/">Peter Selinger</a>, Dalhousie University</li>
<li><a href="https://home.sandiego.edu/~shulman/">Michael Shulman</a>, University of San Diego</li>
<li><a href="http://math.mit.edu/~dspivak/">David Spivak</a>, MIT and Topos Institute</li>
<li><a href="https://www.joshuatan.com/">Joshua Tan</a>, University of Oxford</li>
<li>Dmitry Vagner</li>
<li><a href="https://www.cl.cam.ac.uk/~jv258/">Jamie Vicary</a>, University of Cambridge</li>
<li><a href="http://vdwetering.name/">John van de Wetering</a>, Radboud University Nijmegen</li>
<li><a href="https://members.loria.fr/VZamdzhiev/">Vladimir Zamdzhiev</a>, Inria, LORIA, Université de Lorraine</li>
<li>Maaike Zwart</li>
</ul>
<h2>Local Organizers</h2>
<div class="people">
<div><img src="people/heidemann.jpg"><br>Lukas Heidemann<br>University of Oxford</div>
<div><img src="people/hu.jpg"><br>Nick Hu<br>University of Oxford</div>
<div><img src="people/markakis.jpg"><br>Ioannis Markakis<br>University of Cambridge</div>
<div><img src="people/rice.jpg"><br>Alex Rice<br>University of Cambridge</div>
<div><img src="people/tataru.jpg"><br>Calin Tataru<br>University of Cambridge</div>
<div><img src="people/vicary.jpg"><br>Jamie Vicary<br>University of Cambridge</div>
</div>
<!--
<ul>
<li><a href="http://www.cs.ox.ac.uk/people/lukas.heidemann/">Lukas Heidemann, University of Oxford</a></li>
<li><a href="https://www.cs.ox.ac.uk/people/nick.hu/">Nick Hu, University of Oxford</a></li>
<li><a href="https://www.cst.cam.ac.uk/people/im496">Ioannis Markakis, University of Cambridge</a></li>
<li><a href="https://alexarice.github.io/">Alex Rice, University of Cambridge</a></li>
<li><a href="https://uk.linkedin.com/in/calintat">Calin Tataru, University of Cambridge</a></li>
<li><a href="https://www.cl.cam.ac.uk/~jv258/">Jamie Vicary, University of Cambridge</a></li>
</ul>
-->
<h2>Steering Committee</h2>
<ul>
<li>John Baez, University of California Riverside and Centre for Quantum Technologies</li>
<li>Bob Coecke, Cambridge Quantum Computing</li>
<li>Dorette Pronk, Dalhousie University</li>
<li>David Spivak, Topos Institute</li>
</ul>
</div>
<div id="right"></div>
</div>
</div>
</body>