Logic-ml

9 participants
1781 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

九大数理-ラトルーブ大学合同遠隔講義の実施について
by Yoshihito Tanaka 06 May '20

06 May '20

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で，表題の件について投稿いたします： ************************************** モデル理論：普遍代数学と一階述語論理 Many-Sorted First-Order Model Theory 2020年5月7日から, 2020年7月23日まで, 毎週木曜日16:00-18:00(JST). 講師: Tomasz Kowalski (La Trobe University, Melbourne Victoria Australia) Daniel Gaina (Kyushu University, Fukuoka Japan) HP: https://lcseminar.wordpress.com/2020/05/06/modeltheory/ 本講義は, La Trobe大学と九州大学の合同による大学院生のための、 Zoomによるオンライン講義として実施されますが、聴講のみは, 一般の方にも公開します. 聴講方法等については, 下記連絡先まで, お問い合わせ下さい. シラバス: https://ku-portal.kyushu-u.ac.jp/campusweb/slbssbdr.do?value(risyunen)=2020… 講義資料(一般用): https://imi.kyushu-u.ac.jp/~daniel/model-theory/model-theory.html 連絡先: Daniel Gaina ( daniel at imi.kyushu-u.ac.jp ) (at = @) 溝口佳寛 (ym at imi.kyushu-u.ac.jp ) (at = @)

1 0

Call for Virtual Participation: 5th Workshop On Monitoring And Testing Of Cyber-Physical Systems (MT-CPS 2020)
by Kohei SUENAGA 04 Apr '20

04 Apr '20

皆様，（複数お受け取りの場合はご容赦ください．）末永です． 4月末にシドニーで開催予定であった cyber-physical systems と IoT に関する会議 CPS-IoT Week がバーチャル開催となったことにより，モニタリングとテストに関する併設ワークショップの MT-CPS もバーチャル開催となりました． Talk の動画が4月13日にアップロードされて，参加者があらかじめそれを視聴した上で， April 21 at 14:00 UTC に invited talk， April 22 at 13:30 UTC に live の Q&A セッションをやります．参加費無料，要登録です．どうぞ参加をご検討ください．末永 -------------------------------------------------------------------------------------------- Call for Participation 5th Workshop on Monitoring And Testing Of Cyber-Physical Systems MT-CPS 2020 April 13-22, 2020 - virtual https://sites.google.com/view/mt-cps2020/ Due to the COVID-19 pandemic, the workshop will be held in an entirely virtual format. In order to virtually attend the workshop, you need to register by sending an email to mtcps2020(a)easychair.org with your name, affiliation, and email address. Note that there is no registration fee! -------------------------------------------------------------------------------------------- --- Workshop schedule --- The workshop will be held as follows: - Starting from April 13, videos of the talks will be made available to registered workshop attendees. Attendees will be able to ask questions and authors to answer in a dedicated forum. - On April 21 at 14:00 UTC, we will have a live keynote speech by Sanjit A. Seshia. - On April 22 at 13:30 UTC, we will have a live Q&A session with all the authors. Authors will have the opportunity to further elaborate their answers to the questions received in the forum of their paper, and attendees to ask new questions. --- Organizational matters --- For the live keynote speech and the live Q&A session, workshop attendees and authors will receive an invitation to a Zoom room. Please install Zoom in advance: https://zoom.us/download#room_client . Please check carefully the corresponding time in your time zone: https://sites.google.com/view/mt-cps2020/#h.p_DjijVUkseWJz -------------------------------------------------------------------------------------------- --- Workshop program --- April 21, 2020 at 14:00 UTC Live keynote talk by Sanjit A. Seshia, University of California, Berkeley April 13-22, 2020 online Videos of the talks will be made available to registered workshop attendees on an online platform. The following papers have been accepted for the workshop: - Shaukat Ali and Tao Yue. Handling Uncertainties in Cyber-Physical Systems during Their Operations with Digital Twins - Johan Lidén Eddeland, Knut Åkesson, and Sajed Miremadi. Specification Transformation for Applying Temporal Logic-Based Falsification to Industrial Models - Bernd Finkbeiner, Jessica Schmidt, and Maximilian Schwenger. Simplex Architecture Meets RTLola - Colin Shea-Blymyer and Houssam Abbas. A Deontic Logic Analysis of Autonomous Systems’ Safety - Kotaro Tanabe, Yoshinori Tanabe, and Masami Hagiya. Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices - Masaki Waga, Étienne André, and Ichiro Hasuo. Symbolic Monitoring Against Specifications Parametric in Time and Data - Xiao-Yi Zhang and Fuyuki Ishikawa. Identifying Hazard-causing Components for Automotive Driving Systems -------------------------------------------------------------------------------------------- --- Registration --- - Send an email to mtcps2020(a)easychair.org with your name, affiliation, and email address. Please register each attendee, even if you plan to watch the videos of the talks together with your colleagues and/or students (you can also send us an email with a batch registration of multiple people). - No registration fee!

1 0

教員公募：大阪府立大学教育拠点形成教員
by Masaru KADA 04 Apr '20

04 Apr '20

logic-ml のみなさま：大阪府立大学嘉田勝です。大阪府立大学では、数学教員を公募しています。応募期限は2020年5月25日(月)必着、着任予定は2020年9月1日です。年度ごとに契約更新で最長10年更新可能（非テニュアトラック）。個人研究室が確保され、研究活動も十分可能です。適任者をご存じの場合は応募をおすすめくださるよう、お願い申し上げます。嘉田勝 ------------------------------------------------------------------------------------ 関係者各位大阪府立大学高等教育推進機構では、数学教員(教育拠点形成教員)の公募を行っております。周辺の皆様にお知らせいただくとともに、適任者をご存知の場合は応募をお勧めくださいますようお願い申し上げます。詳細は下記URLの「高等教育推進機構　教育拠点形成教員」(2020.04.01公開)の情報 http://www.osakafu-u.ac.jp/public_notice/rec2020/ あるいは、JREC-INの掲載情報(2020.04.04公開) https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120040161&ln_jor=0 をご覧ください。応募期限は、2020年5月25日(月)必着となっております。よろしくお願いいたします。大阪府立大学高等教育推進機構　数学分野主任　川添　充 ------------------------------------------------------------------------------------ -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

助教の公募（九州大学　情報学部門）
by Akitoshi Kawamura 13 Mar '20

13 Mar '20

皆様九州大学の櫻井先生のご依頼により、以下の公募情報をお送り致します。募集分野: 情報論、発見・学習論、人工知能・データサイエンス、計算論、アルゴリズム、暗号とセキュリティ論、数理論理、情報理論、量子情報をはじめとする数理・計算機科学分野となっております。期限が近づいていますが、どうぞ宜しくお願い致します。 > 九州大学の櫻井幸一です． > > 以下Jrecの通り，助教(任期なし)の公募についてご案内申し上げます： > > https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120020725&ln_jor=0 > > お近くに適任の方がおられましたら，お知らせいただけますと幸いです. > 応募期限は，2020年3月30日です． > > よろしくお願いいたします． -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

Workshop on Computablity, Algebraic Structures, and Algorithmic Randomness
by YOKOYAMA Keita 11 Mar '20

11 Mar '20

みなさま，北陸先端科学技術大学院大学の横山です． 4月20-24日の日程で京都大学数理解析研究所におきまして下記の要領でワークショップを開催する予定です．お忙しい時期かと思いますが，ご参加をご検討いただければ幸いです．また，今のところ講演枠に若干の余裕がありますので，もしご講演に興味がある方がいらっしゃいましたら横山までご連絡ください．どうぞよろしくお願いいたします．横山啓太 ************************ Computablity, Algebraic Structures, and Algorithmic Randomness 20-24 April 2020, RIMS, Kyoto, Japan Tutorials: - Computable structures, Antonio Montalban and Matthew Harrison-Trainor - Reverse Mathematics, Denis Hirschfeld and Ludovic Patey - Algorithmic randomness, Rod Downey and Kenshi Miyabe - Category theory, Matthew de Brecht Confirmed speakers: Sasha Melnikov Michael Rathjen Damir Dzhafarov Dan Turetsky Bakh Khoussainov Takayuki Kihara Toshio Suzuki Toru Takisaka (to be added) Organizers: Bakhadyr Khoussainov Masahito Hasegawa Keita Yokoyama ************************ -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

[CFP]-International Conference on Artificial Intelligence and Big Data (AIBD 2020) /April 25~26, 2020, Copenhagen, Denmark
by Liya Mallory 03 Mar '20

03 Mar '20

International Conference on Artificial Intelligence and Big Data (AIBD 2020) April 25~26, 2020, Copenhagen, Denmark https://acsty2020.org/aibd/index.html Call for Papers International Conference on Artificial Intelligence and Big Data (AIBD 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of on Artificial Intelligence and Big Data. The aim of the conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field. Authors are solicited to contribute to the conference by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of Internet of Things. Topics of interest include, but are not limited to, the following Artificial Intelligence • AI Algorithms • Artificial Intelligence Tools and Application • Computational Theories of Learning • Data Mining and Machine Learning Tools • Fuzzy Logic • Heuristic and AI Planning Strategies and Tools • Hybrid Intelligent System • Intelligent System Architecture • Knowledge Representation • Natural Language Processing • Knowledge-based Systems • Neural Networks • Pattern Recognition • Reasoning and Evolution • Recent Trends and Developments of AI, Big Data • Robotics Big Data • Big Data Techniques, models and algorithms • Big Data Infrastructure and platform • Big Data Search and Mining • Big Data Security, Privacy and Trust • Big Data Applications in AI, Bioinformatics, Multimedia etc • Big Data Tools and systems • Big Data Mining and AI • Big Data Management • Cloud and grid computing for Big Data • Machine Learning and AI for Big Data • Big Data Analytics and Social Media • 5G and Networks for Big Data Paper Submission Authors are invited to submit papers through the conference Submission System (https://acsty2020.org/submission/index.php). Important Dates Submission Deadline : March 07, 2020 Authors Notification : April 10, 2020 Registration & camera – Ready Paper Due : April 15, 2020 Contact Us Here’s where you can reach us : aibd AT acsty2020 DOT org or aibdconf AT yahoo DOT com

1 0

証明論と計算論のワークショップの延期のお知らせ
by Ryoma Sin'ya 02 Mar '20

02 Mar '20

みなさま、秋田大の新屋です．新型コロナウイルスの感染拡大防止対策の政府方針を受け、本日本学から本ワークショップの中止・延期を指示されました．そのため、誠に残念ながら本ワークショップの開催を延期したいと思います．状況が落ち着いたころに開催したいと思いますので，日程については現時点で未定です．日程が決まり次第再度メーリングリストにて通知したいと思います．よろしくおねがいします．秋田大学　数理科学コース　新屋良磨 > Begin forwarded message: > > From: "Ryoma Sin'ya" <ryoma(a)math.akita-u.ac.jp> > Subject: [logic-ml] 証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25) > Date: February 3, 2020 15:37:06 JST > To: logic-ml(a)fos.kuis.kyoto-u.ac.jp, jssst-ppl(a)fos.kuis.kyoto-u.ac.jp > > みなさま， > > こんにちは、秋田大学の新屋と申します． > > 3月23日(月)--3月25日(水)の3日間，秋田大学にて証明論と計算論のワークショップを開催します． > 会場情報や講演者情報・プログラムを下記のページにて公開しています．皆様どうぞ奮ってご参加ください． > https://sites.google.com/view/proof-computation-akita/home <https://sites.google.com/view/proof-computation-akita/home> > > > 聴講参加は申し込み不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は > 3月6日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです． > > > 秋田大学数理科学コース新屋良磨 > _______________________________________________ > Logic-ml mailing list > Logic-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml