seminar.md 2.3 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

Frederik Schaefer's avatar
Frederik Schaefer committed
9
10
*Please reach out if you are interested in presenting something. We are always looking for talks.*

jfschaefer's avatar
details    
jfschaefer committed
11
### Time, Duration, Location
jfschaefer's avatar
jfschaefer committed
12

jfschaefer's avatar
details    
jfschaefer committed
13
* Every second Monday, starting at 14:00 UTC (= 09:00 EST = 15:00 CET = 23:00 JST)
jfschaefer's avatar
typos    
jfschaefer committed
14
15
* 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
16
    * link: <https://fau.zoom.us/j/99327093752?pwd=TnE3bEZNSWhaVllZNWxSenFKelcwZz09>
jfschaefer's avatar
seminar  
jfschaefer committed
17
18
19
20
    * meeting id: 993 2709 3752
    * password: 369156


jfschaefer's avatar
details    
jfschaefer committed
21
### Communication
jfschaefer's avatar
jfschaefer committed
22

jfschaefer's avatar
seminar  
jfschaefer committed
23
24
25
26
27
28
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
29
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
30

jfschaefer's avatar
details    
jfschaefer committed
31
### Schedule
jfschaefer's avatar
seminar  
jfschaefer committed
32
33
34

|Date|Speaker|Title/Topic|
|----|-------|-----------|
35
|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
36
|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)) |
37
|2021-01-04| - | cancelled (too close to New Year) |
Frederik Schaefer's avatar
Frederik Schaefer committed
38
|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
39
|2021-02-01| Takuto Asakura | Towards Grounding of Formulae ([slides](https://drive.google.com/file/d/1JxNKW5M0KKYeBeL6Umsg6ZKBNzdCV_DC/view)) |
Frederik Schaefer's avatar
Frederik Schaefer committed
40
|2021-02-15| ? | cancelled |
Frederik Schaefer's avatar
Frederik Schaefer committed
41
|2021-03-01| Bernhard Schröder | Something about proof structures? |
Frederik Schaefer's avatar
Frederik Schaefer committed
42
|2021-03-15| Peter Koepke | Isabelle-Naproche |
jfschaefer's avatar
seminar  
jfschaefer committed
43
44
45
|2021-03-29| ? | ? |