---
layout: page
title: SIGMathLing - Seminar
---

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

*Please reach out if you are interested in presenting something. We are always looking for talks.*

### Time, Duration, Location

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


### Communication

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
5. On mattermost, you should have an almost empty list of channels. Under *public channels* click on *more...* to join the *SIGMathLing* channel.

### Schedule

|Date|Speaker|Title/Topic|
|----|-------|-----------|
|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))|
|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)) |
|2021-01-04| - | cancelled (too close to New Year) |
|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)) |
|2021-02-01| Takuto Asakura | Towards Grounding of Formulae ([slides](https://drive.google.com/file/d/1JxNKW5M0KKYeBeL6Umsg6ZKBNzdCV_DC/view)) |
|2021-02-15| - | cancelled |
|2021-03-01| Bernhard Schröder | Framed proofs -- Linguistic aspects of proof texts and frames |
|2021-03-15| Peter Koepke | Isabelle-Naproche |
|2021-03-29| André Greiner-Petter | TBD |