-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathdata.json
206 lines (175 loc) · 9.08 KB
/
data.json
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
[
{"title": "Women in Logic Online: Network Mathematics",
"talk_link": "https://www.youtube.com/watch?v=SE5vIeBEGWI",
"author": "Valeria de Paiva",
"date": "20 March 2024",
"author_image": "valeria.depaiva.jpg",
"author_link": "http://vcvpaiva.github.io/",
"description": "WiL newest forum, a talk about making maths accessible."
},
{"title": "A categorical semantics for neural networks",
"talk_link": "https://www.youtube.com/watch?v=FKkpVKuspmA",
"author": "Charlotte Aten",
"date": "29 Nov 2023",
"author_image": "charlotte-aten.jpg",
"author_link": "https://aten.cool/",
"description": "Category theory (multicategories), universal algebra (multiclones), and model theory (structures) for understanding neural networks."
},
{"title": "Some reflections on the history of connexive logic",
"talk_link": "https://www.youtube.com/watch?v=U1gQterS0bE",
"date": "26 October 2022",
"author":"Sara L. Uckelman",
"author_image": "sara-uckelman.png",
"author_link": "https://sluckelman.webspace.durham.ac.uk/",
"description": "Talk on the history of connexive logic"
},
{"title": "Ecumenical systems: from natural deduction with stoup to pure modal systems",
"talk_link": "https://www.youtube.com/watch?v=sgfNpBTjSeU",
"author": "Elaine Pimentel",
"date": "19 April 2022",
"author_image": "elaine-pimentel.png",
"author_link": "https://sites.google.com/site/elainepimentel/",
"description": "A talk on an approach adapting Girard’s stoup mechanism to natural deduction."},
{"title": "The logic of social influence in networks",
"talk_link": "https://www.youtube.com/watch?v=pY2m_nSDkEQ",
"date": "17 March 2022",
"author": "Zoé Christoff",
"author_image": "zoe-christoff.png",
"author_link": "https://zoechristoff.com",
"description": "This talk gives an introduction to the use of logical tools in understanding social influence and social networks phenomena."},
{"title": "Lessons from failing distributive laws",
"talk_link": "https://www.youtube.com/watch?v=pJW7dcNYjsM",
"author": "Maaike Zwart",
"date": "31 March 2022",
"author_image": "maaike-zwart.png",
"author_link": "https://maaikezwart.com",
"description": "A talk about the tricky business of composing monads via distributive laws."},
{"title": "Introduction to bidirectionality",
"talk_link": "https://www.youtube.com/watch?v=wKwDCi9zN08",
"author": "Perdita Stevens",
"date": "17 May 2022",
"author_image": "perdita-stevens.png",
"author_link": "http://perditastevens.com/homepage/",
"description": "A talk in the Model-Driven Engineering (MDE) network about bidirectional transformations."},
{"title": "The New Era of Formalised Mathematics and the ALEXANDRIA Project",
"talk_link": "https://www.youtube.com/watch?v=084UXiJvFfY",
"author": "Angeliki Koutsoukou Argyraki",
"date": "6 October 2022",
"author_image": "angeliki-koutsoukou-argyraki.png",
"author_link": "https://www.cl.cam.ac.uk/~ak2110",
"description": "A talk about the formalisation of mathematics with proof assistants, especially Isabelle."},
{"title": "From Computers to Diagrams and Back",
"talk_link": "https://www.youtube.com/watch?v=b1s7zx4fIIM&list=PLk7u6-nmv4F60ibVfWF2J_XQZmgFKKXCc&index=13",
"author": "Gisele Secco",
"date": "6 October 2021",
"author_image": "gisele-secco.png",
"author_link": "https://www.cl.cam.ac.uk/~ak2110",
"description": "A talk about the philosophical aspects of the formalisation of the 4-color theorem."},
{"title": "Contextual Types, Explained",
"talk_link": "https://www.youtube.com/watch?v=_rLozbg4PvI",
"author": "Brigitte Pientka",
"date": "10 July 2020",
"author_image": "brigitte-pientka.png",
"author_link": "https://www.cs.mcgill.ca/~bpientka/",
"description": "Talk on contextual types"
},
{"title": "Randomness and computability theory",
"talk_link": "https://www.youtube.com/watch?v=FIwzWukmlcE",
"author": "Johanna Franklin",
"date": "9 July 2020",
"author_image": "johanna-franklin.png",
"author_link": "http://johannafranklin.net",
"description": "A talk about how computability provides us with a framework for formalizing our intuitions about randomness."},
{"title": "Unveiling the constructive core of classical theories: 90 years of Glivenko’s theorem",
"talk_link": "https://www.youtube.com/watch?v=osoRkOFKSL8&t=40s",
"author": "Sara Negri",
"date": "2 May 2019",
"author_image": "sara-negri.png",
"author_link": "https://sites.google.com/site/elainepimentel/",
"description": "A talk on Glivenko-style results: results for which classical provability yields intuitionistic provability."},
{"title": "Mechanized Metatheory - The Next Chapter",
"talk_link": "https://www.youtube.com/watch?v=3UilZDu6Jpc",
"author": "Brigitte Pientka",
"date": "18 Jan 2019",
"author_image": "brigitte-pientka.png",
"author_link": "https://www.cs.mcgill.ca/~bpientka/",
"description": "Invited POPL2019 talk"
},
{"title": "Thinking about thinking about thinking",
"talk_link": "https://www.youtube.com/watch?v=A-7a6smaQks",
"author": "Rineke Verbrugge",
"date": "23 June 2016",
"author_image": "rineke-verbrugge.png",
"author_link": "https://scholar.google.com/citations?user=p6lcxiMAAAAJ&hl=en&oi=ao",
"description": "A talk about research related to thinking about thinking about thinking."},
{"title": "An algebraic framework to reason about concurrency",
"talk_link": "https://www.youtube.com/watch?v=uqMQGL2TBEo",
"author": "Alexandra Silva",
"date": "8 Mar 2022",
"author_image": "alexandra-silva.png",
"author_link": "https://alexandrasilva.org/#/main.html",
"description": "A talk about Kleene algebras with tests (KAT)."},
{"title": "Information Structures for Privacy and Fairness",
"talk_link": "https://www.youtube.com/watch?v=FnwEkypluT0",
"author": "Catuscia Palamidessi",
"date": "11 Aug 2022",
"author_image": "catuscia-palamidessi.jpeg",
"author_link": "http://www.lix.polytechnique.fr/~catuscia/",
"description": "An invited talk FLoC 2022."},
{"title": "Inteligência Artificial: Uma evolução tecnológica e intelectual ",
"talk_link": "https://www.youtube.com/watch?v=RKyPvOlRZeM",
"author": "Renata Wassermann",
"date": "13 Dec 2018",
"author_image": "renata-wassermann.jpeg",
"author_link": "https://www.ime.usp.br/~renata/",
"description": "Quais são os dilemas éticos e filosóficos associados a Inteligência Artificial?"},
{"title": "Mathematical Structures in Dependent Type Theory",
"talk_link": "https://www.youtube.com/watch?v=1SCvFDZDLgQ",
"author": "Assia Mahboubi",
"date": "7 Apr 2021",
"author_image": "assia-mahboubi.jpeg",
"author_link": "http://people.rennes.inria.fr/Assia.Mahboubi/",
"description": "This talk discusses design hierarchies in proof assistants based on dependent type theory."},
{"title": "Simple Proofs",
"talk_link": "https://www.youtube.com/watch?v=aXx1Nejr9qE",
"author": "Rosalie Iemhoff",
"date": "5 Apr 2013",
"author_image": "rosalie-iemhoff.jpeg",
"author_link": "https://www.uu.nl/staff/RIemhoff/",
"description": "This talk consists of a collection of observations on the notion of simplicity in the setting of proofs."},
{"title": "The Road to Gödel's Incompleteness Theorems",
"talk_link": "https://www.youtube.com/watch?v=22uZqPPwPNo",
"author": "Juliette Kennedy",
"date": "22 Nov 2019",
"author_image": "juliette-kennedy.jpeg",
"author_link": "http://www.math.helsinki.fi/logic/people/juliette.kennedy/",
"description": "This talk consists of observations about the foundational crisis in Mathematics at the beginning of the 20th century."},
{"title": "What is Category Theory in mathematics?",
"talk_link": "https://www.youtube.com/watch?v=VdxdQiucJe8",
"author": "Emily Riehl",
"date": "6 May 2021",
"author_image": "emily-riehl.png",
"author_link": "https://emilyriehl.github.io/",
"description": "This talk explores the notion of contractibility as uniqueness and its role in generalizing from ordinary categories to infinite-dimensional categories."},
{"title": "Differential linear logic extended to differential operators",
"talk_link": "https://library.cirm-math.fr/Record.htm?idlist=1&record=19289735124910079179",
"author": "Marie Kerjean",
"date": "28 Jan 2022",
"author_image": "marie-kerjean.jpeg",
"author_link": "https://lipn.univ-paris13.fr/~kerjean/",
"description": "Differential Linear Logic adds to linear logic the possibility to linearize non-linear proofs."},
{"title": "Combinatorial Properties of the Weisfeiler-Leman Algorithm",
"talk_link": "https://www.youtube.com/watch?v=U4HCBn5av6s",
"author": "Sandra Kiefer",
"date": "9 Nov 2016",
"author_image": "sandra-kiefer.jpg",
"author_link": "https://www.jesus.ox.ac.uk/about-jesus-college/our-community/people/dr-sandra-kiefer/",
"description": "Discusses state of the art bounds on the ubiquitous Weisfeiler-Leman algorithm for Graph Isomorphism."},
{"title": "Introduction to categorical logic, classifying toposes and the «bridge» technique",
"talk_link": "https://www.youtube.com/watch?v=MNuaHchtrUw",
"author": "Olivia Caramello",
"date": "3 Dec 2015",
"author_image": "olivia-caramello.jpg",
"author_link": "https://www.oliviacaramello.com/Research/Research.htm",
"description": "Part course on categorical logic, classifying toposes, and the topos as «bridge» technique."}
]