Logic-ml

9 participants
1781 discussions

特任研究員の公募
by Naoki Kobayashi 20 Jul '21

20 Jul '21

東京大学の小林と申します。以下の条件で、研究員の募集を致します。お近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との融合・応用も含む、広めのプロジェクト設定になっております。ご本人の能力・経験次第では特別な審査を経て特任助教または特任講師での採用または途中での職位変更も可能です。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻 ================ 公募　職名：特任研究員，特任助教，または特任講師　　　（ただし、特任助教および特任講師は、教育能力等についての審査もあり）　着任時期：2021年11月から2022年4月の間（数ヵ月の前後は応相談）任期：当初2年、業績評価を経て最長2025年3月まで延長可能　勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻　　　（ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）給与：月額38-55万円　　（大学の規定および本人の実績による．詳細は応相談.）プロジェクト名：AI時代を見据えたプログラム検証技術（科研費基盤研究S 20H05703）職務内容：高階モデル検査をはじめとするプログラム検証手法、機械学習技術のプログラム検証への応用、および機械学習を組み込んだシステムの検証等の研究に従事。特任助教、および特任講師の場合は研究指導の補助など教育等の業務にも従事。条件： - 着任時に博士号を取得していること - 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明計算量理論機械学習（ニューラルネット、強化学習、形式言語の学習理論など）応募方法： 2021年8月31日までに、小林（koba(a)is.s.u-tokyo.ac.xn--jp)cv(-kr3ed72gtgq362dt6ya 業績等を記載したもの）および抱負（1頁程度）、照会先情報（2名程度）をお送りください。問い合わせ先： koba(a)is.s.u-tokyo.ac.jp 　参考資料等：　　高階モデル検査およびそれに基づくプログラム検証の概要については以下の招待講演論文・講演を　　ご覧ください　　* Naoki Kobayashi, 10 Years of the Higher-Order Model Checking Project (Extended Abstract). PPDP 2019: 2:1-2:2 https://www-kb.is.s.u-tokyo.ac.jp/~koba/papers/ppdp19.pdf (talk: https://www.youtube.com/watch?v=smJhjuv9RYw ) * Naoki Kobayashi, An Overview of the HFL Model Checking Project, HCVS 2021 https://www-kb.is.s.u-tokyo.ac.jp/~koba/papers/hcvs21.pdf (talk: https://www.youtube.com/watch?v=lOY0Xw8i3zY ) 機械学習とプログラム検証・合成分野の融合についての研究はまだ始めたばかりですが最初の結果をまとめた以下の論文をご覧いただければ目指している方向がわかっていただけると思います * Naoki Kobayashi, Taro Sekiyama, Issei Sato, and Hiroshi Unno, Toward Neural-Network-Guided Program Synthesis and Verification. To appear in Proceedings of SAS 2021. (A preliminary version: https://arxiv.org/abs/2103.09414 ) ===================== -- Naoki Kobayashi Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan email: koba(a)is.s.u-tokyo.ac.jp

1 0

SLACS2021 (8月10日～11日) 講演・参加募集のお知らせ
by NAKAMURA Yoshiki 18 Jul '21

18 Jul '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）東京工業大学の中村誠希と申します。 SLACS2021の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください。申込をされた方に、参加方法等の連絡をおこないます（聴講のみを希望される方も申込をお願いいたします）。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… 講演申込期限は **2021年7月26日（月）** とします。講演する意思があるという方は早めにご連絡いただけると幸いです。

1 1

Fwd: Postdoc and PhD positions in UGent
by arai toshiyasu 09 Jul '21

09 Jul '21

みなさま Gent でのposdoc とPhD position の応募のお知らせを転送します。新井敏康 ---------- Forwarded message --------- From: Fedor Pakhomov <Fedor.Pakhomov(a)ugent.be> Date: 2021年7月9日(金) 1:29 Subject: Postdoc and PhD positions in UGent To: Fedor Pakhomov <Fedor.Pakhomov(a)ugent.be> Cc: Jeremy Avigad <avigad(a)cmu.edu>, Antonio Montalban <antonio(a)math.berkeley.edu>, Michael Rathjen <michrathjen(a)snafu.de>, Gerhard Jaeger <jaeger(a)inf.unibe.ch>, Ulrich Kohlenbach <kohlenbach(a)mathematik.tu-darmstadt.de>, Joost Johannes Joosten <jjoosten(a)ub.edu>, Beckmann A. <a.beckmann(a)swansea.ac.uk>, Pavel Pudlak <pudlak(a)math.cas.cz>, Toshiyasu Arai <tosarai(a)gmail.com>, Leszek Kolodziejczyk <lak(a)mimuw.edu.pl>, Andreas Weiermann <Andreas.Weiermann(a)ugent.be>, Lev D. Beklemishev <bekl(a)mi-ras.ru> Dear colleagues, We have an opening for one postdoc and one PhD positions in UGent. It might be interesting for some of your recent students. Best wishes, Fedor ******************************************************* One Postdoc position and one PhD position in Mathematical Logic Project: Recursion, reflection, and second-order arithmetic Supervisors: Fedor Pakhomov, and Andreas Weiermann Host institutions: Ghent University Funding bodies: FWO Application deadline: 31 July, 2021 Contact:[email protected] ******************************************************* Postdoc position. Duration: October 2021 - September 2024 **Application deadline: 31 July, 2021.** Submissions are welcome for one postdoctoral position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for postdoc positions in Belgium. Candidates are expected to have a PhD in mathematics, computer science, or a similar subject and have experience conducting research in mathematical logic. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required. Interested parties may send their application to fedor.pakhomov(a)ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of two or three references + Copy of PhD thesis and 2 selected research papers + PhD diploma (to be handed in before September 1st 2021) ******************************************************* PhD position. Duration: October 2021 - September 2025 **Application deadline: 31 July, 2021.** Submissions are welcome for one PhD position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for PhD positions in Belgium. Candidates are expected to have a MSc in mathematics, computer science, or a similar subject. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required. Interested parties may send their application to fedor.pakhomov(a)ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of one or two references + Copy of Master thesis + MSc diploma (to be handed in before September 1st 2021)

1 0

June 19th Symposium “Fairness, Integrity andTransparency of Formal Systems:Challenges for a Society IncreasinglyDominated by Technology”
by Mitsu Okada 16 Jun '21

16 Jun '21

Symposium “Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology” June 19th (Sat.) 14:30-18:00 JST 6月19日(土) June 19th, 2021, Zoom Free pre-registration open now 登録受付中（無料） (重複した受信になりましたらお許しください。）本会議は論理・科学・技術哲学系研究者の会議ですが、Algorithms の説明可能性、公平性の問題を、計算や証明の観点を含む、諸観点から議論します。本メールリストのsubscribersの一部の方に関心をお持ちの方がいらっしゃると思いますので、投稿させていただきます。主要講演は、証明とアルゴリズムと説明性、公平性公理と投票アルゴリズム、説明性の価値、などに関わります。The topics of the main invited talks include expnainability with proofs and algorithms, some issues on voting algorithms with a fairness property and their computation, values of explainability in automatic authority systems, and others. Gilles Dowek (INRIA、ENS-Saclay) “Explanation: from ethics to logic” Edith Elkind (University of Oxford) “Justified Representation in Approval-Based Committee Voting” Seth Lazar (Australian National University) “Legitimacy, Authority, and the Political Value of Explanations” プログラム、講演アブストラクトは下にあります。基本情報ページ (Information Pages in English) https://abelard.flet.keio.ac.jp/seminar/symposium-202106-en/ [要事前登録 Pre-registration required] 事前登録方法：日本語ポスターの案内に従ってStreaming用登録ができます。DLMPSTページ側の案内に従って英語ポスターのコードを用いると ZoomWebinar登録できます。 Use the code on the poster in Japanese of JAPS for streaming. One could use the code on the poster in English posted on the DLMPST page for Zoom. 科学基礎論学会ポスター (JAPS Poster in Japanese) http://phsc.jp/dat/20210514_poster.pdf DLMPST(国際科学基礎論学会連合)/IUHPST)Symposium Information Page http://dlmpst.org/pages/activities/japs-dlmpst-symposium-2021.php DLMPST > Activities > 2021 Contact: 岡田光弘 Mitsuhiro Okada Coordinator and Co-organizer of the Symposium Keio University Mitsu[ AT ]abelard.flet.keio.ac.jp

1 0

AQIS'21 CFP
by NISHIMURA Harumichi 11 Jun '21

11 Jun '21

logic-mlの皆さま名古屋大学の西村治道と申します．立命館大学の山下先生の代理で AQIS'21のCall For Papersをご案内させていただきます．関係分野の方々が投稿をご検討いただければ幸いです．名古屋大学大学院情報学研究科西村治道 ----------------------------------------------------------------------- CALL FOR PAPERS 21th Asian Conference on Quantum Information Science (AQIS'21) http://aqis-conf.org/2021/ 1-4 September 2021, On-line (hosted by U. Tokyo, Japan) Apologies if you receive this multiple times. Please forward to interested colleagues. We would like to draw your attention, and that of the quantum information community, to the 21th edition of the Asian Conference on Quantum Information Science (AQIS'21). AQIS is the leading conference in the subject in Asia and one of the longest-running worldwide, its highly successful predecessors having been EQIS'01-05 and AQIS'06-20. The topics covered include (but are not limited to) quantum computing, quantum information processing, quantum communication and cryptography, and foundations of quantum mechanics. Details about the conference are to be found on the website http://aqis-conf.org/2021/ Please check repeatedly as the information there will be updated regularly. Like its previous editions, AQIS'21 will consist of tutorials, invited talk, as well as oral and poster presentations, selected by a high-profile international program committee. The submission deadline is 4 July 2021 (Sun), 23:59 Anywhere on Earth (AoE). All submissions should follow the guidelines specified on the web site: http://aqis-conf.org/2021/submission/ We are looking forward to seeing you in Seoul! Committee Chairs Steering Committee: Jaewan KIM (KIAS, Chair) Program Committee: Kae NEMOTO (NII, Chair) Miklos SANTHA (CNRS Paris/CQT Singapore, Co-Chair) Organizing Committee: Hiroshi IMAI (U Tokyo, Chair)

1 1

教員公募のお知らせ
by Makoto Kanazawa 01 Jun '21

01 Jun '21

メーリングリストのみなさま法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を1名募集しています。詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121051191&ln_jor=0 ------ 法政大学理工学部創生科学科金沢　誠

1 0

ERATO Project Colloquium by Youyou Cong (16:30-18:00 on June 15th)
by Jeremy Dubut 26 May '21

26 May '21

** *Dear all,* * On Tuesday June 15th, Youyou Cong (Tokyo Institute of Technology, Japan) will give a talk, /A Tutorial on Delimited Continuations/, for our project colloquium at 16:30-18:00. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA <https://forms.gle/6PoGNEfJVHLYDAdKA> We later send you a zoom link by an email (using BCC). For the latest information about ERATO colloquium / seminar, please see the webpage https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTp… . Jérémy Dubut (ERATO MMSD Colloquium Organizer) Email: dubut(a)nii.ac.jp -------Tuesday June 15th, 16:30-18:00 Speaker: *Youyou Cong (Tokyo Institute of Technology, Japan)* Title: A Tutorial on Delimited Continuations Abstract: Delimited continuations represent a prefix of the computation to be performed in the future. This concept can express a wide variety of computational effects, such as exceptions, nondeterminism, and mutable state. The aim of this talk is to give a general idea of what delimited continuations allow us to do. I will begin with a gentle introduction to undelimited and delimited continuations, focusing on the flexibility gained by delimitation. I will then present several practical applications of delimited continuations, ranging from probabilistic programming, to Web applications, and to automatic differentiation. Lastly, I will discuss the theoretical aspects of delimited continuations, including a dependent type system that enables maintaining non-trivial invariants in the presence of control effects. During the discussion, I would like to invite the audience to explore possible uses of delimited continuations in their individual domains. *

1 0

Call for papers: APLAS 2021
by Kohei SUENAGA 13 May '21

13 May '21

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永です． APLAS 2021 の論文募集をお送りします．今年は co-located with SPLASH です．どうぞご検討ください．よろしくお願いいたします．末永 == CALL FOR PAPERS 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Oct 17-Oct 22, 2021, Chicago, Illinois (co-located with SPLASH 2021) https://conf.researchr.org/home/aplas-2021 The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2021 will be co-located with SPLASH 2021. Due to the COVID-19 situation, all authors will be given the chance to present remotely regardless of whether the conference is held as a physical, virtual, or hybrid physical/virtual meeting. Papers are solicited on topics such as: - Semantics, logics, foundational theory - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation - Applications of SAT/SMT to programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of tools in the scope of APLAS are welcome to the Tool paper category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. IMPORTANT DATES Submission deadline: June 16, 2021 (anywhere on Earth) Author response: July 28 - 30, 2021 Author notification: August 11, 2021 Final version: September 1, 2021 Conference: October 17 - October 22, 2021 CALL FOR REGULAR RESEARCH PAPERS We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. CALL FOR TOOL PAPERS We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. PROGRAM COMMITTEE Andreas Abel, Gothenburg University, Sweden Kyungmin Bae, POSTECH, South Korea Edwin Brady, University of St. Andrews, UK Yu-Fang Chen, Academia Sinica, Taiwan Andreea Costea, NUS, Singapore Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany Yu Feng, UC Santa Barbara, US Giulio Guerrieri, University of Bath, UK Kihong Heo, KAIST, South Korea Yue Li, Nanjing University, China Sam Lindley, Heriot-Watt University / University of Edinburgh, UK Sergio Mover, Ecole Polytechnique, France Uday P. Khedker, IIT Bombay, India Alex Potanin, Victoria University of Wellington, New Zealand Xiaokang Qiu, Purdue University, US Jiasi Shen, MIT, US Xujie Si, McGill University, Canada Gagandeep Singh, VMWare Research / UIUC, US Youngju Song, Seoul National University, South Korea Kohei Suenaga, Kyoto University, Japan Yulei Sui, University of Technology Sydney, Australia Tachio Terauchi, Waseda University, Japan Xinyu Wang, University of Michigan, US Qirun Zhang, Georgia Institute of Technology, US Xin Zhang, Peking University, China SUBMISSION INFORMATION Papers should be submitted electronically via the submission web page using HotCRP (https://aplas2021.hotcrp.com). The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. REVIEW PROCESS APLAS 2021 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: Author names and institutions must be omitted and References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. AUTHOR RESPONSE PERIOD During the author response period, authors will be able to read reviews and respond to them as appropriate. RESEARCH INTEGRITY The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

オンライン講義のご案内: モデル理論:ソフトウェアの代数的仕様記述と形式検証
by Yoshihito Tanaka 12 May '21

12 May '21

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で投稿いたします．九州大学により，オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と形式検証」が以下の要領で開催されます：期間：5月13日-7月29日日時：毎週木曜日16:00-18:00 詳細は添付のポスターをご参照ください（2行目の講義開始日は5月13日の誤りです）． ZoomのURL，ID等は，以下にお問い合わせください： Daniel Gaina：daniel(a)imi.kyushu-u.ac.jp 溝口佳寛：ym(a)imi.kyushu-u.ac.jp ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

QIT44ポスター発表・参加登録申込締切延長のご案内
by NISHIMURA Harumichi 11 May '21

11 May '21

logic-mlの皆様名古屋大学の西村と申します．第44回量子情報技術研究会(QIT44)のポスター発表と参加登録の締切が延長されましたのでご案内させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 =============(通知ここから)================= 量子情報技術研究会(QIT研究会)を5/24(月), 25(火)の2日間、オンラインで開催いたします。 https://www.ieice.org/es/qit/qit44/ ・ポスター発表申込の〆切・参加登録申込の〆切を2021年5月17日（月）に延長しましたので、ご連絡させていただきます。積極的なポスター発表とご参加をよろしくお願いいたします。【研究会名】第44回量子情報技術研究会 (QIT44) 【研究会リンク】https://www.ieice.org/es/qit/qit44/ 【日時】2021年5月24日（月）～25日（火）（予稿集（電子版）は2021年5月21日（金）発行を予定）【会場】オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）【発表募集分野（申し込み状況によっては査読の可能性あり）】量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究, 数学的研究，および，その他関連分野．【定員】300名程度【参加費】一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※5月14日（金）より後にお支払いの場合は5月21日（金）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．【研究会参加申込要領】参加申込は下記 Web にて受付けます。 https://www.ieice.org/es/qit/qit44/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会のWebシステムを使用する予定．【各種締切】・口頭講演申込締切 2021年4月19日（月）[〆切終了] ・ポスター講演申込締切 2021年5月17日（月）[延長しました] ・予稿原稿提出締切 2021年5月17日（月）[延長しました] ・参加事前登録 2021年5月17日（月）[延長しました] ・参加費の銀行振込 2021年5月17日（月）[延長しました] 【研究会の内容】情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第44回研究会では, 現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については, 下記のQITウェブサイトをご確認下さい．【主催】量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））【共催】応用物理学会量子エレクトロニクス研究会【問合せ先】QIT44実行委員会 qit44_jikkou(a)googlegroups.com ・委員長：鶴丸豊広 (三菱電機) ・副委員長：水谷明博 (三菱電機) ・副委員長：相川勇輔（三菱電機）・副委員長：野邑寿仁亜（三菱電機）・副委員長：廣政良（三菱電機） =========(ここまで) =========

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml