Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 30, 2020

Online Worldwide Seminar on Logic and Semantics

Posted by John Baez

Someone should make a grand calendar, readable by everyone, of all the new math seminars that are springing into existence. Here’s another:

There will be talks fortnightly at 1 pm UTC, which is currently 2 pm British Time, thanks to daylight savings time. Here are the first few:

  • Wednesday, April 1, — Kevin Buzzard, Imperial College London: “Is HoTT the way to do mathematics?”

  • Wednesday, April 15 — Joost-Pieter Katoen, Aachen University: “Termination of probabilistic programs”.

  • Wednesday, April 29 — Daniela Petrisan, University of Paris: “Combining probabilistic and non-deterministic choice via weak distributive laws”.

  • Wednesday, May 13 — Bartek Klin, Warsaw University: “Monadic monadic second order logic”.

  • Wednesday, May 27 — Dexter Kozen, Cornell University: “Brzozowski derivatives as distributive laws”.

Joining the seminar.To join any OWLS seminar, visit the following link, up to 15 minutes before the posted start time:

You will be given the option to join through your web browser, or to launch the Zoom client if it is installed on your device. For the best experience, we recommend using the client.

Audio and video. We encourage all participants to enable their audio and video at all times (click “Use Device Audio” in the Zoom interface.) Don’t worry about making noise and disrupting the proceedings accidentally; the Chairperson will ensure your audio is muted by default during the seminar. Having your audio and video enabled will allow other participants to see your face in the “Gallery” view, letting them know that you’re taking part. It also gives you the option of asking a question, and of making best use of the “coffee break” sessions. For most users with good network access (such as a fast home broadband connection), there is no need to worry that having your audio and video enabled will degrade the experience; the technology platform ensures that the speaker’s audio/video stream is prioritised at all times. However, those on slow connections may find it better to disable their audio and video.

Coffee breaks. Every OWLS seminar has two “coffee breaks”, one starting 15 minutes before the posted start time of the seminar, and the second starting after the seminar is finished. To participate in these, feel free to join the meeting early, or to keep the meeting window open after the end of the talk. During these coffee break periods, participants will be automatically gathered into small groups, assigned at random; please introduce yourself to the other members of your group, and chat just like you would at a real conference. Remember to bring your own coffee!

During the seminar. If you’d like to ask a question, either during the seminar or in the question period at the end, click the “Participants” menu and select “Raise hand”. The Chairperson may choose to interrupt the speaker and give your audio/video feed the focus, giving you the opportunity to ask your question verbally, or may instead decide to let the seminar continue. You may click “Lower hand” at any time to show you no longer wish to ask a question. To preserve the experience of a real face-to-face conference, there is no possibility of giving a written question, and the chat room is disabled at all times. You also have the opportunity to give nonverbal feedback to the speaker by clicking the “speed up” or “slow down” buttons, also in the “Participants” menu.

Recordings. All OWLS seminars are recorded and uploaded to YouTube after the event. Only the audio/video of the chairperson, speaker, and questioners will be captured. If you prefer not to be recorded, do not ask a question. Of course, the organizers do not make any recordings of the coffee break sessions.

Posted at March 30, 2020 3:52 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3210

4 Comments & 0 Trackbacks

Re: Online Worldwide Seminar on Logic and Semantics

Someone should make a grand calendar, readable by everyone, of all the new math seminars that are springing into existence.

At Jordan Ellenberg’s blog I’ve seen links to this list in mathematics and this one in theoretical computer science.

Posted by: Mark Meckes on March 30, 2020 9:37 PM | Permalink | Reply to this

Re: Online Worldwide Seminar on Logic and Semantics

When the YouTube channel is known, can someone link to it from here?

Posted by: David Roberts on April 1, 2020 10:17 PM | Permalink | Reply to this

Re: Online Worldwide Seminar on Logic and Semantics

We forgot to observe that this is the 2000th post at the Café!

Posted by: David Corfield on April 2, 2020 9:42 AM | Permalink | Reply to this

Re: Online Worldwide Seminar on Logic and Semantics

Hurrah! So much has changed, mathematically and for the people running this blog, since the blog began.

Posted by: John Baez on April 2, 2020 8:05 PM | Permalink | Reply to this

Post a New Comment