seminar.md 2.17 KB
Newer Older
jfschaefer's avatar
seminar  
jfschaefer committed
1
2
3
4
5
6
---
layout: page
title: SIGMathLing - Seminar
---

The SIGMathLing seminar is a bi-weekly (i.e. every two weeks) seminar on mathematical language.
jfschaefer's avatar
typos    
jfschaefer committed
7
It is intended as a forum for reporting on results and new developments and discussing them with fellow enthusiasts.
jfschaefer's avatar
seminar  
jfschaefer committed
8

jfschaefer's avatar
details    
jfschaefer committed
9
### Time, Duration, Location
jfschaefer's avatar
jfschaefer committed
10

jfschaefer's avatar
details    
jfschaefer committed
11
* Every second Monday, starting at 14:00 UTC (= 09:00 EST = 15:00 CET = 23:00 JST)
jfschaefer's avatar
typos    
jfschaefer committed
12
13
* The seminar strictly limited to 1 hour and presentations should be around 30 min to allow for discussion
* The seminar takes place on Zoom:
jfschaefer's avatar
jfschaefer committed
14
    * link: <https://fau.zoom.us/j/99327093752?pwd=TnE3bEZNSWhaVllZNWxSenFKelcwZz09>
jfschaefer's avatar
seminar  
jfschaefer committed
15
16
17
18
    * meeting id: 993 2709 3752
    * password: 369156


jfschaefer's avatar
details    
jfschaefer committed
19
### Communication
jfschaefer's avatar
jfschaefer committed
20

jfschaefer's avatar
seminar  
jfschaefer committed
21
22
23
24
25
26
We use the [SIGMathLing mailing list](https://lists.informatik.uni-erlangen.de/mailman/listinfo/sigmathling) for announcements
and a mattermost channel for chat. To join the mattermost channel:
1. Go to <https://mattermost.kwarc.info/>
2. Click on the *GitLab* button
3. Sign in with your *GitHub* account
4. Please enter your real name in the settings so that we know who you are
jfschaefer's avatar
typos    
jfschaefer committed
27
5. On mattermost, you should have an almost empty list of channels. Under *public channels* click on *more...* to join the *SIGMathLing* channel.
jfschaefer's avatar
seminar  
jfschaefer committed
28

jfschaefer's avatar
details    
jfschaefer committed
29
### Schedule
jfschaefer's avatar
seminar  
jfschaefer committed
30
31
32

|Date|Speaker|Title/Topic|
|----|-------|-----------|
33
|2020-12-07|Deyan Ginev|Language and mathematics pretraining in 2021: preparing the large open datasets ([slides](https://prodg.org/talks/language_and_math_model_pretraining))|
jfschaefer's avatar
slides    
jfschaefer committed
34
|2020-12-21| Deborah Mendes Ferreira | Premise Selection in Natural Language: Finding supporting facts for mathematical statements ([slides](https://docs.google.com/presentation/d/14ZVrp2kiOmthWeLBugraFdIVkd4z-PqfJMT-nlRX-e4/edit?usp=sharing)) |
35
|2021-01-04| - | cancelled (too close to New Year) |
Frederik Schaefer's avatar
Frederik Schaefer committed
36
|2021-01-18| Jan Frederik Schaefer | A Symbolic Framework for Mathematical Language Understanding ([slides](https://github.com/jfschaefer/slides/blob/master/2021/sigmathling/slides.pdf)) |
Frederik Schaefer's avatar
Frederik Schaefer committed
37
|2021-02-01| Takuto Asakura | Towards Grounding of Formulae ([slides](https://drive.google.com/file/d/1JxNKW5M0KKYeBeL6Umsg6ZKBNzdCV_DC/view)) |
jfschaefer's avatar
seminar  
jfschaefer committed
38
|2021-02-15| ? | ? |
Frederik Schaefer's avatar
Frederik Schaefer committed
39
|2021-03-01| Bernhard Schröder | Something about proof structures? |
jfschaefer's avatar
seminar  
jfschaefer committed
40
41
42
43
|2021-03-15| ? | ? |
|2021-03-29| ? | ? |