<div dir="ltr"><div dir="ltr"><div>(重複投稿ご容赦ください)</div><div><br></div><div>みなさま、</div><div><br></div><div>京都大学数理解析研究所の室屋です。</div><div>国際オンラインセミナー OWLS が4月より隔週水曜日に開催されておりますが、この度、</div><div>その合間となる水曜日の同じ時間帯に、若手研究者を発表者とするトラック OWLS-YR を</div><div>新設することとなりました。<br></div><div>OWLS-YR の初回は明日 6/3 (水) です。その後は OWLS と OWLS-YR が毎週水曜日に</div><div>週替わりで開催されます。<br></div><div><br></div><div>時差の都合で日本では夜22時の開始となりますが、みなさまのご参加をお待ちしております。</div><div><br></div><div><div dir="ltr">室屋晃子</div></div><div><br></div><div>----------------------------------------------------------------</div><div><br></div><div>[Apologies for any duplicate messages]<br></div><div><br></div><div>** ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS) **<br>
** <a href="https://www.cs.bham.ac.uk/~vicaryjo/owls/" rel="noreferrer" target="_blank">https://www.cs.bham.ac.uk/~vicaryjo/owls/</a> **<br>
<br>
The Online Worldwide Seminar on Logic and Semantics is an online-only<br>
series of research talks, highlighting the most exciting recent work<br>
in the international computer science logic community. In this time of<br>
restricted international travel, a key aim of this series is to<br>
provide a forum for informal discussion and social interaction that is<br>
so important for the progress of science. To facilitate this, the<br>
seminar incorporates in virtual form a number of features more<br>
normally associated with physical meetings, including virtual "coffee<br>
breaks" before and after the seminar, allowing participants to chat in<br>
small groups. (Don't forget to bring your own coffee.)<br>
<br>
Starting this Wednesday, we are excited to announce the first of our<br>
OWLS Young Researcher talks, given by a researcher within 7 years of<br>
completing their PhD. A new initiative, these OWLS-YR talks will take<br>
place fortnightly, interleaved with regular OWLS talks. Our goal is to<br>
give a platform to the excellent work being done by junior members of<br>
the community. All members of the community are encouraged to attend<br>
these talks.<br>
<br>
** UPCOMING PROGRAMME **<br>
<br>
Talks take place on Wednesdays at 2pm UTC+1. Abstracts are available<br>
at the OWLS homepage. Visit this link to sign up for reminder emails<br>
on the day of the talk: <a href="https://bit.ly/3cm0GZG" rel="noreferrer" target="_blank">https://bit.ly/3cm0GZG</a><br>
<br>
 - 3 June (OWLS-YR). Dmitry Chistikov, University of Warwick,<br>
"Parikh's theorem from the complexity viewpoint"<br>
 - 10 June (OWLS). Valeria Vignudelli, ENS Lyon, "Monads and<br>
quantitative equational theories for nondeterminism and probability"<br>
 - 17 June (OWLS-YR). Marie Fortin, University of Liverpool, "FO=FO3<br>
for linear orders with monotone binary relations"<br>
 - 24 June (OWLS). Anupam Das, University of Birmingham<br>
 - 1 July (OWLS-YR). Amina Doumane, CNRS, ENS de Lyon<br>
 - 8 July (OWLS). Christine Tasson, IRIF, Paris<br>
 - 15 July (OWLS-YR). Justin Hsu, University of Wisconsin–Madison, "A<br>
separation logic for probabilistic independence"<br>
 - 22 July (OWLS). Tarmo Uustalu, Reykjavik University<br>
<br>
** SEMINAR INFORMATION **<br>
<br>
Talks are fully interactive, with audience members able to see the<br>
speaker's face at the same time as the slides, and able to ask<br>
questions with full audio and video, just as they would in a physical<br>
seminar, allowing the nuanced communication that is so critical for<br>
modern science.<br>
<br>
After and before each seminar, the participants split into small<br>
groups for informal discussion, an optional feature of the seminars<br>
which has already become a favourite feature of the series for many of<br>
the regular participants. Everybody is welcome to join these friendly<br>
discussions.<br>
<br>
The seminar series is based on the Zoom technology platform, which is<br>
capable of handing large meetings with ease. Visit the OWLS webpage<br>
given at the top of this email for more information about the seminar.<br>
<br>
Best wishes, the organizers:<br>
<br>
  - Nathanaël Fijalkow, CNRS, Laboratoire Bordelais de Recherche en<br>
Informatique, France<br>
  - Charles Grellois, Université Aix-Marseille, France.<br>
  - S. Krishna, IIT Bombay, India<br>
  - Koko Muroya, RIMS, Kyoto University, Japan<br>
  - Alexandra Silva, University College London<br>
  - Pawel Sobocinski, Tallinn University of Technology<br>
  - Jamie Vicary, University of Cambridge</div></div></div>