diff --git a/seminar.md b/seminar.md index 6a3c3b6a763cf09ab780198a3ae8146003402778..d0cd2b7b152c82ee3253072a5959696d595736d5 100644 --- a/seminar.md +++ b/seminar.md @@ -3,15 +3,28 @@ layout: page title: SIGMathLing - Seminar --- +**NOTE: Time zone changes** +*From March 29, we will shift the meeting from 14:00 UTC to 13:00 UTC. +If you live in the Northern hemisphere and switch to daylight saving time, it should be the same local time as it used to. +Note that some countries may switch a few weeks earlier or later. +The shift makes it more convenient for our Japanese attendees.* + + + + 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. +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.* ### 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 +* Every second Monday, starting at + * Before March 29: 14:00 UTC (= 09:00 EST = 15:00 CET = 23:00 JST) + * After March 29: 13:00 UTC (= 09:00 EDT = 15:00 CEST = 22:00 JST) +* The seminar is 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 @@ -41,5 +54,10 @@ and a mattermost channel for chat. To join the mattermost channel: |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 | +|2021-04-12| ? | ? | +|2021-04-26| ? | ? | +|2021-05-10| ? | ? | +|2021-05-24| ? | May be cancelled (public holiday after pentecoast at least in Germany) | +|2021-06-07| ? | ? |