Logic-ml June 2020

3 participants
3 discussions

Call for Submissions: ICFP Student Research Competition
by Youyou Cong 05 Jun '20

05 Jun '20

みなさま、東工大の叢です。 ICFP 2020 の併設イベント Student Research Competition の案内です。アブストラクトの締切は6月26日（金）で、採択された場合、ICFP の会期中（8月23日（日）~ 8月28日（金））にポスター発表を行うことになります。今年はオンライン開催ですが、参加者にとって実り多いイベントとなるよう、プログラム委員の間でさまざまなアイディアを出し合っています。また、学生さん向けの交流イベントも企画しています。日本（自宅）にいながら、世界中の関数型プログラミング研究者と議論できる貴重な機会です。学生のみなさまのご応募をお待ちしています。叢悠悠 ------------------------------------------------------------ ICFP 2020 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the programming language research community. As usual, the SRC consists of three rounds: * Extended abstract * Poster session at ICFP 2020 * ICFP presentation To make the virtual competition fruitful, we will make sure that every student will have an "invited audience" during the poster session. We are also planning to organize a social event for the students. Please visit the SRC website for updates. ### Important Dates Submissions due: 26 Jun 2020 (Friday) https://icfp20src.hotcrp.com Notification: 10 July 2020 (Friday) Conference: 23 August (Sunday) - 28 August (Friday) ### Submission Details Each submission (referred to as "abstract" below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and*or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition Program Committee: Chair: Youyou Cong (Tokyo Institute of Technology) Stephen Chang (University of Massachusetts Boston) Jesper Cockx (Delft University of Technology) Hsiang-Shang Ko (Institute of Information Science, Academia Sinica) Cyrus Omar (University of Michigan)

1 0

北海道大学人間知・脳・AI研究教育センター（CHAIN）の公募情報（特任助教・特任講師、および、博士研究員（2名））
by Katsuhiko Sano 04 Jun '20

04 Jun '20

Logic-ml の皆さま、北海道大学大学院文学研究院の佐野勝彦と申します。北海道大学人間知・脳・AI研究教育センター（CHAIN）では下記の要領で特任助教・特任講師、および、博士研究員（2名）を募集します。適任の方がいればどうぞお知らせください。教員、博士研究員　公募のお知らせ北海道大学人間知・脳・AI研究教育センター（CHAIN: Center for Human Nature, Artificial Intelligence, and Neuroscience）は人文社会科学・脳科学・人工知能研究の融合による学際的研究・教育を実施することを目的として２０１９年７月に設置された新しいセンターです。本センターは「人間」をめぐる文理を超えた学際的知を「人間知」と呼び、国内外の研究機関と連携し「人間知」をめぐる世界水準の研究・教育拠点を形成することを目指しています。２０２０年度からは「人間知」をキーワードとする文理融合型の大学院教育プログラムを開始しました。人間知・脳・AI研究教育センターでは、以下の要領で特任講師または特任助教、および、博士研究員(2名)の公募を行います。詳しいことはJREC-INの公募情報をご覧ください。また、CHAINでの研究・教育に関する情報はセンターホームページをご覧ください。https://www.chain.hokudai.ac.jp -- 特任講師または特任助教 -- • 公募人員: 特任講師または特任助教(職種は経験に応じる) 1名 (任期は令和6年3月31日迄。1 年更新の年俸制) • 研究分野: 人間知の探究に関連する各分野(心理学、人工知能、認知科学、情報科学、ロボティクス、哲学、神経科学を含む)。 • 応募期限: 令和2年6月30日(日本時間)必着 • 業績の評価において同等と認められる場合には，女性を優先的に採用します。 JREC-IN公募情報（日本語）https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120050454&ln_jor=0 （英語）　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D120050453&ln_jor=1 -- 博士研究員(2名) -- • 公募人員: 博士研究員 2名 (任期は2021年3月31日迄。更新する場合があり得る。ただし，1年ごとの更新とし，最大2024年3月31日までとする。) • 研究分野: 人間知の探究に関連する各分野(心理学、人工知能、認知科学、情報科学、ロボティクス、哲学、神経科学を含む)。 • 応募期限: 令和2年7月10日(日本時間)必着 • 業績の評価において同等と認められる場合には，女性を優先的に採用します。 JREC-IN公募情報（日本語）https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120051047&ln_jor=0 （英語）https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D120051048&ln_jor=1

1 0

国際オンラインセミナー OWLS, OWLS-YR
by Koko Muroya 02 Jun '20

02 Jun '20

(重複投稿ご容赦ください) みなさま、京都大学数理解析研究所の室屋です。国際オンラインセミナー 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

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2020