Logic-ml March 2020

logic-ml@fos.kuis.kyoto-u.ac.jp

4 participants
4 discussions

助教の公募（九州大学　情報学部門）
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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2020