You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jules Hedges (Mar 30 2020 at 10:07):OWLS = Online Worldwide Seminar on Logic and Semantics, so it's maybe off-topic here, but the first talk at least is on HoTT and so should be of interest
Jules Hedges (Mar 30 2020 at 10:07):The Online Worldwide Seminar on Logic and Semantics is a new
online-only series of fortnightly research talks, highlighting the
most exciting recent work in the international computer science logic
community. In this time of restricted international travel, a key aim
of this series is to provide a forum for informal discussion and
social interaction that is so important for the progress of science.
To facilitate this, the seminar incorporates in virtual form a number
of features more normally associated with physical meetings, including
virtual "coffee breaks" before and after the seminar, allowing
participants to chat in small groups. (Don't forget to bring your own
coffee.)
We are delighted to announce our initial programme of talks, all of
which take place on Wednesdays at 14:00 UTC+1. All members of the
computer science logic community are welcome, from students to
professors.
April 1. Kevin Buzzard, Imperial College London. "Is HoTT the way
to do mathematics?"
April 15. Joost-Pieter Katoen, Aachen University. "Termination of
probabilistic programs"
April 29. Daniela Petrisan, University of Paris. "Combining
probabilistic and non-deterministic choice via weak distributive laws"
May 13. Bartek Klin, Warsaw University: "Monadic monadic second order logic"
Talks are fully interactive, with audience members able to see the
speaker's face at the same time as the slides, and able to ask
questions with full audio and video, just as they would in a physical
seminar, allowing the nuanced communication that is so critical for
modern science.
The seminar series is based on the Zoom technology platform, which is
capable of handing large meetings with ease. Visit the OWLS webpage
given at the top of this email for more information about the seminar,
and to sign up for our reminder email list.
Best wishes, the organizers:
Matteo Capucci (he/him) (Mar 30 2020 at 11:16):Great! Did you put them on the calendar already?
Matteo Capucci (he/him) (Mar 30 2020 at 11:20):(BTW here's the webpage in case someone is interested https://www.cs.bham.ac.uk/~vicaryjo/owls/)
Jules Hedges (Mar 30 2020 at 11:20):No. I've lost faith in google calendar. If you or anyone else wants to do it, I'll add you to edit
Jules Hedges (Mar 30 2020 at 11:21):It seems obvious that it won't work if every time someone wants to add an event they have to contact one person to ask for edit access
Matteo Capucci (he/him) (Mar 30 2020 at 11:23)::/ It's a pity. We could have some designated curators for the calendar. In case, I volunteer to be one.
Jules Hedges (Mar 30 2020 at 11:24):I'm sure there must be a calendar app that can be sent to publicly editable, like google apps can be. I just don't know one myself
Nathanael Arkor (Mar 30 2020 at 12:26):it won't work if every time someone wants to add an event they have to contact one person to ask for edit access
if there can be multiple people who have the permission to give edit access, I don't think this is an issue
Matteo Capucci (he/him) (Mar 30 2020 at 13:11):If we have a 3-4 volunteers, covering timezones, who update each time something is posted here I think it's manageable. We can find something more sophisticate later on, if it becomes to unwieldy.
Matteo Capucci (he/him) (Mar 30 2020 at 13:59):Matteo Capucci said:
(here's the webpage in case someone is interested https://www.cs.bham.ac.uk/~vicaryjo/owls/)
BTW, there's an offical calendar for OWLS so you can add this in meantime (scroll down to 'Upcoming seminars', then on the bottom right corner of the Google Calendar widget there's a button to import it to your calendar)
Joe Moeller (Mar 31 2020 at 17:04):Makes me think of Harry Potter.
John Baez (Jun 02 2020 at 18:52):A new round of talks:
ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS)
https://www.cs.bham.ac.uk/~vicaryjo/owls/
The Online Worldwide Seminar on Logic and Semantics is an online-only
series of research talks, highlighting the most exciting recent work
in the international computer science logic community. In this time of
restricted international travel, a key aim of this series is to
provide a forum for informal discussion and social interaction that is
so important for the progress of science. To facilitate this, the
seminar incorporates in virtual form a number of features more
normally associated with physical meetings, including virtual "coffee
breaks" before and after the seminar, allowing participants to chat in
small groups. (Don't forget to bring your own coffee.)
Starting this Wednesday, we are excited to announce the first of our
OWLS Young Researcher talks, given by a researcher within 7 years of
completing their PhD. A new initiative, these OWLS-YR talks will take
place fortnightly, interleaved with regular OWLS talks. Our goal is to
give a platform to the excellent work being done by junior members of
the community. All members of the community are encouraged to attend
these talks.
John Baez (Jun 02 2020 at 18:52):PROGRAMME
Talks take place on Wednesdays at 2pm UTC+1. Abstracts are available
at the OWLS homepage. Visit this link to sign up for reminder emails
on the day of the talk: https://bit.ly/3cm0GZG
- 3 June (OWLS-YR). Dmitry Chistikov, University of Warwick,
"Parikh's theorem from the complexity viewpoint"
- 10 June (OWLS). Valeria Vignudelli, ENS Lyon, "Monads and
quantitative equational theories for nondeterminism and probability"
- 17 June (OWLS-YR). Marie Fortin, University of Liverpool, "FO=FO3
for linear orders with monotone binary relations"
- 24 June (OWLS). Anupam Das, University of Birmingham
- 1 July (OWLS-YR). Amina Doumane, CNRS, ENS de Lyon
- 8 July (OWLS). Christine Tasson, IRIF, Paris
- 15 July (OWLS-YR). Justin Hsu, University of Wisconsin–Madison, "A
separation logic for probabilistic independence"
- 22 July (OWLS). Tarmo Uustalu, Reykjavik University
John Baez (Jun 02 2020 at 18:53):SEMINAR INFORMATION
Talks are fully interactive, with audience members able to see the
speaker's face at the same time as the slides, and able to ask
questions with full audio and video, just as they would in a physical
seminar, allowing the nuanced communication that is so critical for
modern science.
After and before each seminar, the participants split into small
groups for informal discussion, an optional feature of the seminars
which has already become a favourite feature of the series for many of
the regular participants. Everybody is welcome to join these friendly
discussions.
The seminar series is based on the Zoom technology platform, which is
capable of handing large meetings with ease. Visit the OWLS webpage
given at the top of this email for more information about the seminar.
Best wishes, the organizers:
- Nathanaël Fijalkow, CNRS, Laboratoire Bordelais de Recherche en Informatique, France
- Charles Grellois, Université Aix-Marseille, France.
- S. Krishna, IIT Bombay, India
- Koko Muroya, RIMS, Kyoto University, Japan
- Alexandra Silva, University College London
- Pawel Sobocinski, Tallinn University of Technology
- Jamie Vicary, University of Cambridge
Amar Hadzihasanovic (Jun 02 2020 at 18:59):It's amusing that the next two speakers of the “regular track” are both within 4-5 years of completing their PhD. :grinning:
Amar Hadzihasanovic (Jun 02 2020 at 19:00):“Many researchers are young, but only some are young researchers.”