The SIGMathLing seminar is a seminar on mathematical language that currently occurs every four weeks. It is intended as a forum for reporting on results and new developments and discussing them with fellow enthusiasts.
The seminar is open to anyone. If you are interested, just join the meeting. No registration etc. required.
Please reach out if you are interested in presenting something. We are always looking for talks.
Sometimes, talks are recorded (we will try to do this more frequently in the future if the speaker is comfortable with that). You can find the recordings at https://www.fau.tv/course/id/2061 (it might take a day until the upload is processed).
We use the SIGMathLing mailing list for announcements and a mattermost channel for chat. To join the mattermost channel:
| Date | Speaker | Title/Topic |
|---|---|---|
| 2022-05-30 (?) | Dennis Müller/Michael Kohlhase | sTeX 3 – Semantic LaTeX Reimagined |
| 2022-05-02 | Kensho Tsurusaki | Literate programming in Lean theorem prover (slides) |
| 2022-03-21 | Deyan Ginev | ar5iv.org – a new preview platform for the arXMLiv dataset |
| 2022-02-07 | Deyan Ginev | rescheduled for March 21 ar5iv.org – a new preview platform for the arXMLiv dataset (slides) |
| 2022-01-10 | Abdou Youssef | Machine Learning for Math: Vision and Intermediate Milestones (slides, recording) |
| Date | Speaker | Title/Topic |
|---|---|---|
| 2021-06-07 | - | beginning of an overly long summer break |
| 2021-05-10 | Anton Lorenzen | A type system for natural language (slides) |
| 2021-04-12 | Deyan Ginev | Scientific Statement Classification over arXiv.org (slides, recording) |
| 2021-03-29 | André Greiner-Petter | Comparative Verification of Digital Mathematical Libraries and Computer Algebra Systems (slides) |
| 2021-03-15 | Peter Koepke | Isabelle/Naproche |
| 2021-03-01 | Bernhard Schröder | Framed proofs – Linguistic aspects of proof texts and frames |
| 2021-02-15 | - | cancelled |
| 2021-02-01 | Takuto Asakura | Towards Grounding of Formulae (slides) |
| 2021-01-18 | Jan Frederik Schaefer | A Symbolic Framework for Mathematical Language Understanding (slides) |
| 2021-01-04 | - | cancelled (too close to New Year) |
| 2020-12-21 | Deborah Mendes Ferreira | Premise Selection in Natural Language: Finding supporting facts for mathematical statements (slides) |
| 2020-12-07 | Deyan Ginev | Language and mathematics pretraining in 2021: preparing the large open datasets (slides, recording) |