Logic-ml October 2021

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

9 participants
9 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 14 Mar '23

14 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

RIMS共同研究（公開型）「証明と計算の理論と応用」のご案内（Reminder）
by ikeda 30 Oct '21

30 Oct '21

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 RIMS共同研究(公開型)「証明と計算の理論と応用」の参加申し込みの締め切りが近づいて参りましたので，再送させていただきます．ご検討のほど何卒よろしくお願いいたします． 2021年度の証明論研究集会のご案内をお送りさせていただきます．今年度はRIMS共同研究(公開型)として，下記の要領で開催される予定です．新型コロナの感染拡大状況を鑑みて，現在のところハイブリッド型で開催する予定です．講演は証明論・計算論とその周辺を含めた分野から，幅広く募集しています．今回の研究集会では，東京大学数理科学研究科の新井敏康先生に招待講演をお願いしております．多くの皆様のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- RIMS共同研究(公開型)「証明と計算の理論と応用」日時：2021年12月20日〜2021年12月22日場所：京都大学数理解析研究所111号室（講演者，代表者などコアメンバーのみ会場での参加が可能で，コアメンバー以外の参加者はZoomによる参加を想定してます．） Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory/2021/ --------------------------------------------------------------------------------- 参加を希望される方は，11月15日(月) 17:00までに， ikedak[at]ks.kyorin-u.ac.jp宛に，以下の項目をご連絡ください．（講演されない方も11月15日（月）17:00までにご連絡ください．）・氏名：・大学等名：・部局等名（学部，研究科，研究所等）：・職名：・e-mailアドレス：・参加の仕方：　１．会場（数理解析研究所）　　２．遠隔　（どちらか一方を消してください）・講演の有無：　１．講演する　　２．講演しない　（どちらか一方を消してください）　（講演を希望される場合は，タイトルと講演時間や講演日等の希望をご連絡ください．）・旅費援助の希望の有無：　１．希望する　　２．希望しない　（どちらか一方を消してください．）（希望される場合は参加日程（例：12月20日〜12月21日）をご連絡ください．　　　また，申込状況によってはご希望に添えない場合があります．） ※上記の情報は京都大学数理解析研究所および次年度世話人に提供されます．杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 0

QIT45（ポスター講演募集11/12締切）
by NISHIMURA Harumichi 26 Oct '21

26 Oct '21

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

1 0

TPP 2021: Nov. 21-22 in Kitami
by Takafumi Saikawa 22 Oct '21

22 Oct '21

Dear all (English version follows below), 皆様、名古屋大学の才川隆文と申します。今年のTPPミーティングを以下のように開催いたします。どうぞ皆様ふるってご参加ください。開催日程：2021年11月21日(日), 22日(月) 会場：北見工業大学 14号館 1階 E131講義室住所：090-8507 北海道北見市公園町165番地 Zoomによるオンライン参加も可能です。詳細、TPPmark、登録はこちらをご覧ください: https://t6s.github.io/tpp2021/ 才川 ---- Dear Colleagues, I am pleased to announce this year's TPP meeting as follows: Date: Sun. 21st to Mon. 22nd, November 2021 Venue: Kitami Institute of Technology, Building 14, 1st Floor, Room E131 Address: 165 Koen-cho, Kitami, Hokkaido 090-8507 We also welcome online participation using Zoom. Please visit the website for registration and more details, including TPPMark problems: https://t6s.github.io/tpp2021/ Best regards, Takafumi Saikawa

1 0

TACL 2022: First announcement
by 小野寛晰 20 Oct '21

20 Oct '21

=================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) First announcement =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 <https://www.mat.uc.pt/~tacl2022> Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra Scope -------- Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2022 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods. TACL 2022 is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier instalments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), and Nice (2019). Featured topics --------------------- Contributed talks are intended to be about topological, algebraic or categorical methods used in mathematical or computer science logic. This includes, but is not limited to, the following areas: * Algebraic logic * Algebraic structures in CS * Categorical methods in logic * Coalgebra * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered algebraic structures * Ordered topological spaces * Pointfree topology * Proofs and types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Invited speakers --------------------- * Marta Bilkova, Czech Academy of Sciences, Prague * David Fernandez-Duque, Ghent University * Richard Garner, Macquarie University, Sydney * Jean Goubault-Larrecq, Ecole Normale Superieure Paris-Saclay * Peter Johnstone, University of Cambridge * Vincenzo Marra, University of Milan * Amanda Vidal, Artificial Intelligence Research Institute, Barcelona * Friedrich Wehrung, University of Caen * Fan Yang, University of Helsinki Lecturers at the Summer School ------------------------------------------ * Dirk Hofmann, University of Aveiro * Rosalie Iemhoff, Utrecht University * Graham Manuell, University of Coimbra * Walter Tholen, York University, Toronto Submission instructions ------------------------------- Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system: https://easychair.org/conferences/?conf=tacl2022 <https://easychair.org/conferences/?conf=tacl2022> Important dates --------------------- School: June 13-18, 2022 Conference: June 20-24, 2022 Contributed talks: Submission deadline: March 4, 2022 Notification to authors: April 15, 2022 The school's programme will start on Tuesday June 14 in the morning and will end on Saturday June 18 in the afternoon. A bus transfer from and to Coimbra will be arranged by the organisers, on the afternoon of June 13 and June 18, respectively. The conference programme will start on Monday June 20 in the morning and will end on Friday June 24 in the afternoon. Financial support ----------------------- For the summer school a certain amount of funding is available for those in financial need. This is intended primarily for students, but non-students can be considered in exceptional circumstances. Program Committee --------------------------- Peter Jipsen, Chapman University, USA (PC co-chair) Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair) Nick Bezhanishvili, University of Amsterdam, Netherlands Agata Ciabattoni, Vienna University of Technology, Austria Maria Manuel Clementino, Universidade de Coimbra, Portugal Mai Gehrke, Université Côte D'Azur, Nice, France Silvio Ghilardi, Università degli Studi di Milano, Italy Zuzana Hanikova, Inst. of Computer Science, Czech Academy of Sciences John Harding, New Mexico State University, USA Tomas Jakl, University of Cambridge, UK Zurab Janelidze, Stellenbosch University, South Africa Ramon Jansana, Universitat de Barcelona, Spain Agi Kurucz, King's College London, UK Serafina Lapenta, Universita degli Studi di Salerno, Italy Matias Menni, Conicet and Universidade Nacional de La Plata, Argentina George Metcalfe, University of Bern, Switzerland Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan Daniela Petrisan, University Paris Diderot (Paris 7), France Adam Prenosil, Universita degli Studi di Cagliari, Italy Luca Reggio, University of Oxford, UK Greg Restall, University of St Andrews, UK Benno van den Berg, University of Amsterdam, Netherlands Steering Committee --------------------------- Guram Bezhanishvili, New Mexico State University, United States Mai Gehrke, CNRS and Universite Cote d'Azur, France Silvio Ghilardi, University of Milan, Italy Ramon Jansana, University of Barcelona, Spain Hilary Priestley, University of Oxford, United Kingdom James Raftery, University of Pretoria, South Africa Yde Venema, University of Amsterdam, Netherlands Organizing Committee ----------------------------- Maria Manuel Clementino (chair) Igor Arrieta Ana Belen Avilez Celia Borlido Maria Joao Ferreira Carlos Fitas Goncalo Gutierres Dirk Hofmann Graham Manuell Jorge Picado Sandra Pinto Rui Prezado Manuela Sobral Lurdes Sousa More Information ------------------------ Information about registration as well as suggested hotels will be forthcoming in future announcements. If you would like to receive future announcements, please send a message to this effect to the conference e-mail address. TACL 2022 web site: https://www.mat.uc.pt/~tacl2022/ <https://www.mat.uc.pt/~tacl2022/> Conference email: tacl2022(a)mat.uc.pt <mailto:tacl2022@mat.uc.pt> School web site: https://www.mat.uc.pt/~tacl2022/#school <https://www.mat.uc.pt/~tacl2022/#school> -----------------------

1 0

Fwd: Anand's 70th
by kota takeuchi 20 Oct '21

20 Oct '21

皆様 University of Torontoで開かれるモデル理論特別講義のお知らせを転送します。 Special Lectures in Honor of Anand Pillay's 70th birthday として、11月10日にzoomで開かれます。なかなかこのような講義を聞ける機会は少ないかと思いますので興味のある方は参加してみてください。以下の転送文に詳細リンクがあります。竹内耕太 ---------- Forwarded message --------- From: 이정욱 <ljwhayo(a)kaist.ac.kr> Date: Wed, Oct 20, 2021 at 12:04 PM Subject: Anand's 70th To: <kota(a)math.tsukuba.ac.jp> Dear Professor Takeuchi, Hello, Kota. There will be an event to celebrate Anand's 70th on November, 10, 2021. The detail of the event are here: http://www.fields.utoronto.ca/activities/21-22/Anand-Pillay Please share the event with someone who might be interested in. Sincerely, Junguk

1 0

「論理・代数系・言語と計算機科学の周辺領域」の講演募集、12/3申込締切
by Munehiro Iwami 19 Oct '21

19 Oct '21

皆様島根大学の岩見と申します。 RIMS研究集会をオンラインで実施します。参加･発表を検討して頂けると幸いです。参加のみも可です。学生の発表も歓迎します。 12月3日(金)までに岩見まで申し込んで下さい。 ------------------------------------------------------------ 研究者の皆様島根大学　岩見です。京都大学数理解析研究所RIMS共同研究(公開型)(旧称：RIMS研究集会) 「論理・代数系・言語と計算機科学の周辺領域」を下記の日程で開催いたします．研究領域については広い意味での計算機科学ととらえていただき，関連する講演を幅広く募集いたします．アイデア段階のものでも構いません．多くの研究者による活発な研究発表・討論の場にしたいと考えております．講演希望の方は以下の情報をご記入の上,2021年12月3日(金)までに研究代表者宛（munehiro(a)cis.shimane-u.ac.xn--jp)e-mail-yd4hsbg ご連絡ください．講演については，「英語による講演」あるいは「英語による発表資料」をお願いいたします． ■今年度はコロナウィルス感染症のため，Zoomによるオンライン開催とします． ■京都大学数理解析研究所では実施しませんので，注意してください． ■数理解析研究所からの旅費支給はありません．氏名（日本語および英語）所属・職　(学生(院生)の方は学年を明記してください）所属住所：連絡先（メールアドレス）講演題目（日本語および英語）講演時間（30分を標準とします）その他：講演日時についてご希望などがございましたらお書きください．ご希望に添えないことがあるかもしれませんがその場合はご容赦ください．また, 講演されずに聴講される方も歓迎します． (メールが届かないことがまれに発生しております．講演を申し込まれた方に, 確認のため申込後７日以内にご返信差し上げます．万一返信がない場合は, お手数ですがお問い合わせください．) ---------------------------------------------------------------------- 記論理・代数系・言語と計算機科学の周辺領域形式：オンライン(Zoom) 期間： 2022/02/16（水）～2022/02/18（金）代表者：岩見　宗弘 (島根大学総合理工学部) Logic, Algebraic system, Language and Related Areas in Computer Science Location：　Online(Zoom) Period:　2022-02-16 -- 2022-02-18 Organizer: Munehiro Iwami (Interdisciplinary Faculty of Science and Engineering, Shimane University) ---------------(申込みフォーマット)------------------------------------- 研究集会「論理・代数系・言語と計算機科学の周辺領域」に参加します：（Ｏ×）　氏名（日本語および英語）：　所属・職：所属住所：　連絡先（メールアドレス）：研究集会「論理・代数系・言語と計算機科学の周辺領域」で講演を希望します：（Ｏ×）　講演者：　講演題目（日本語および英語）：　講演時間（30分を標準とします）：その他：講演日時希望などがございましたらお書きください．ご希望にそえないことがあるかもしれませんがその場合はご容赦ください． ------------------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

[jssst-ppl] preliminary CfP: FLOPS 2022, Kyoto
by Atsushi Igarashi 05 Oct '21

05 Oct '21

皆様，(マルチポストご容赦ください) 京都大学の五十嵐です．関数型および論理プログラミングの国際会議 FLOPS 2022 の論文募集のご案内です．(以前にも流しましたが，プログラム委員が確定するなど多少情報量が増えております．) 来年５月に京都で開催予定です．皆様の投稿をお待ちしております． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ============================================================================ Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Kyoto, Japan https://conf.researchr.org/home/flops-2022 Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2022 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to 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 a 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 or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, 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. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2022 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** Abstract submission: November 14, 2021 (AoE) Paper submission: November 21, 2021 (AoE) Notification: January 17, 2022 Camera ready due: February 17, 2022 Symposium: May 10-12, 2022 *** Program Comittee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) *** Contact Address *** flops2022 _AT_ easychair.org -------------------------------------------------------------------------------

1 0

特任研究員等の公募
by Naoki Kobayashi 01 Oct '21

01 Oct '21

東京大学の小林と申します。以前に募集させていただきましたが、締め切りを延長して、再度、研究員の募集を致します。お近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との融合・応用も含む、広めのプロジェクト設定になっております。ご本人の能力・経験次第では特別な審査を経て特任助教または特任講師での採用または途中での職位変更も可能です。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻 ================ 公募　職名：特任研究員，特任助教，または特任講師　　　（ただし、特任助教および特任講師は、教育能力等についての審査もあり）　着任時期：2022年1月から2022年4月の間（数ヵ月の前後は応相談）任期：当初2年、業績評価を経て最長2025年3月まで延長可能　勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻　　　（ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）給与：月額38-55万円　　（大学の規定および本人の実績による．詳細は応相談.）プロジェクト名：AI時代を見据えたプログラム検証技術（科研費基盤研究S 20H05703）職務内容：高階モデル検査をはじめとするプログラム検証手法、機械学習技術のプログラム検証への応用、および機械学習を組み込んだシステムの検証等の研究に従事。特任助教、および特任講師の場合は研究指導の補助など教育等の業務にも従事。条件： - 着任時に博士号を取得していること - 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明計算量理論機械学習（ニューラルネット、強化学習、形式言語の学習理論など）応募方法： 2021年11月15日までに、小林（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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2021