[logic-ml] 国際オンラインセミナー OWLS, OWLS-YR

[Koko Muroya]

(重複投稿ご容赦ください)

みなさま、

京都大学数理解析研究所の室屋です。
国際オンラインセミナー OWLS が4月より隔週水曜日に開催されておりますが、この度、
その合間となる水曜日の同じ時間帯に、若手研究者を発表者とするトラック OWLS-YR を
新設することとなりました。
OWLS-YR の初回は明日 6/3 (水) です。その後は OWLS と OWLS-YR が毎週水曜日に
週替わりで開催されます。

時差の都合で日本では夜22時の開始となりますが、みなさまのご参加をお待ちしております。

室屋晃子

----------------------------------------------------------------

[Apologies for any duplicate messages]

** 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.

** UPCOMING 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

** 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20200602/c11f2e3a/attachment.html>