Logic-ml

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

1792 discussions

第46回量子情報技術研究会 (QIT46)：口頭講演締切延長(4/30まで)
by NISHIMURA Harumichi 18 Apr '22

18 Apr '22

logic-mlの皆様名古屋大学の西村です．第46回量子情報技術研究会の口頭講演の締切が延長されましたので実行委員の代理で以下にお知らせいたします．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 =============(口頭講演締切延長のお知らせここから)================= 第46回量子情報技術研究会（QIT46） ※口頭講演の申込締切を4/30(土)まで延長しましたので，奮ってお申込みください．研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第46回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2022年5月30日（月）～ 5月31日（火）（予稿集（電子版）は2022年5月27日（金）発行を予定）会場：オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※5月16日（月）より後にお支払いの場合は5月23日（月）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit46/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の Webシステムを使用する予定．各種締切：【口頭講演申込締切】 2022年4月30日（土） ※延長しました．なお，申込数が予定数に達した時点で締め切る場合があります．【ポスター講演申込締切】2022年5月16日（月）【予稿原稿提出締切】 2022年5月16日（月）【参加事前登録】 2022年5月16日（月）【参加費の銀行振込】 2022年5月16日（月）【問合せ先】佐中薫 (東京理科大学) Mark Sadgrove (東京理科大学) 湯川英美 (東京理科大学) 平野琢也 (学習院大学) Email: qit46-ml(a)tusml.tus.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：東京理科大学研究推進機構総合研究院ナノ量子情報研究部門応用物理学会量子エレクトロニクス研究会

1 0

Logic4Peace (Call for Abstracts and Registration, Fundraising online Logic event for Peace, Deadline 11 April 2022)
by Katsuhiko Sano 07 Apr '22

07 Apr '22

Logic-ml の皆様、北海道大学の佐野勝彦です。アムステルダム大学ILLCのSonja Smets さんからのご依頼で "Logic4Peace" (Website: https://events.illc.uva.nl/Logic4Peace/About/) についてのメールを転送したします。佐野勝彦 -------------------- Call for Abstracts and Registration -------------------- Logic4Peace (Fundraising online Logic event for Peace) Friday 22 and Saturday 23 April 2022 Venue: Online (information will be provided to registered participants) Call for Abstracts: Logicians participating in this conference stand united for Peace. The on-going Russian military invasion in Ukraine is causing death, destruction and it is the direct cause of a gigantic humanitarian crisis. Educational facilities have been hit, supply chains have been broken and people have lost their families and homes. By organizing this conference, we offer our moral and financial support to our colleagues in Ukraine in this time of war. This event is used to collect financial aid for two specific causes: -We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. -We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes. As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic, including: philosophical logic, philosophy of logic and history of logic, mathematical and computational logic, applied logic and logical structures used in science and the humanities. Abstracts should be short, maximum 1 page or 500 words, not including the references and can be uploaded in PDF format via easychair at https://easychair.org/conferences/?conf=logic4peace by 11 April 2022 (9AM Central European Time). We welcome participants from all nationalities to submit an abstract (*). We welcome new ideas as well as on-going work and reports about already published results. The registration page and the donation page for this conference are now open, please check our website. The registration fees and donations will be entirely used to offer financial aid to Ukraine to help our colleagues and the Voices of Children. On behalf of the Organization of Logic4Peace. Website: https://events.illc.uva.nl/Logic4Peace/About/ -- (*) Due to the current sanctions against Russian institutions and their implementation for Dutch knowledge institutions, we cannot accept participation by researchers who list a Russian or Belarusian institution as their affiliation. But we welcome participation by researchers of every nationality, provided they register to the conference either as individual researchers (i.e. by listing “Individual researcher” as their affiliation), or listing another affiliation to an institution that is not located in the above-mentioned countries.

1 0

[CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 01 Apr '22

01 Apr '22

# 重複して受けとられた方はご容赦くださいみなさま国立情報学研究所の関山です。 ICFP 2022 併設ワークショップ HOPE の発表募集の案内をお送りいたします。 HOPE では高階プログラムとエフェクト(計算効果)に関連する、未完成の研究を含む幅広い発表を募集しています。投稿締切は 6/1、ワークショップは 9/11 の開催を予定しています。みなさまの投稿をお待ちしておりますので、ご検討のほどよろしくお願いいたします。 -- 国立情報学研究所関山太朗 ====== HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 11, 2022 (Sun), Ljubljana, Slovenia (the day before ICFP 2022) Call-for presentations https://icfp22.sigplan.org/home/hope-2022 HOPE is an established informal workshop bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. Talks about work in progress are particularly encouraged. It has been held since 2012 in affiliation with ICFP. We solicit proposals for contributed talks, in plain text or PDF format. The motivation, the problem to solve, accomplished and anticipated results should be clear from two first pages of the submission. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides), which PC members are free (but not expected) to read. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom(a)ed.ac.uk) and Oleg Kiselyov (oleg(a)okmij.org). * Deadline for talk proposals: **June 1st, 2022** (Wednesday) * Notification of acceptance: **July 13th, 2022** (Wednesday) * Workshop: **September 11th, 2022** (Sunday) Program Committee Jonathan Immanuel Brachthäuser University of Tübingen, Germany Edwin Brady University of St. Andrews, UK Daniel Hillerström (co-chair) University of Edinburgh, UK Mauro Jaskelioff National University of Rosario, Argentina Oleg Kiselyov (co-chair) Tohoku University, Japan Sean Moss University of Oxford, UK Maciej Piróg Huawei Research, UK Taro Sekiyama National Institute of Informatics, Japan Ningning Xie University of Cambridge, UK Yizhou Zhang University of Waterloo, Canada

1 0

【参加募集・講演募集】FLOPS 2022: the 16th International Symposium on Functional and Logic Programming
by Keigo Imai 31 Mar '22

31 Mar '22

皆様 (重複ご容赦下さい): 関数型および論理プログラミングの国際会議 FLOPS 2022 の参加募集をお送りします。 5/10(火)-12(木) 夜間（+初日のみ午前）のオンライン開催です。また、空いている午後の時間にインフォーマルなワークショップ AiDL 2022 を開催いたします。京都大学数理解析研究所での対面と、Zoomのハイブリッド開催の予定です。つきましては、講演提案を募集いたしますので、併せて応募をご検討下さい。参加登録： https://conf.researchr.org/attending/flops-2022/registration AiDL 2022 講演募集： https://conf.researchr.org/track/flops-2022/aidl-2022 対面ワークショップは「新型コロナウイルスに関するRIMS共同研究の対応について」 https://www.kurims.kyoto-u.ac.jp/kyoten/ja/covid-19.html に沿って実施いたします。最新の情報は FLOPS 2022 のウェブサイトをご覧下さい。 ============================================================================ Call For Participation & Workshop talk proposals FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is now open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration The deadline for early registration is 27 April, 2022, 23:59 (UTC). *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan, for further exchanges among FLOPS participants. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline: April 20, 2022 (AoE) We solicit proposals for contributed talks. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks, or demos will be considered. For submission details and local information, please visit: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. We follow "Guidelines for RIMS Joint Research Activities for COVID-19"/ "infection prevention measures" in the following URL, and may cancel the physical event depending on the situation: https://www.kurims.kyoto-u.ac.jp/kyoten/en/covid-19.html The latest information will be updated on the conference/workshop webpage. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard University, 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 *** FLOPS 2022 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) -- Keigo Imai (今井敬吾) Assistant Professor in Informatics Course, Faculty of Engineering, Gifu University email: keigoi(a)gifu-u.ac.jp https://keigoimai.info/

1 0

【論文募集】VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments
by Hiroshi UNNO 30 Mar '22

30 Mar '22

# 複数受けとられた方はご容赦ください。皆様、筑波大学の海野です。ソフトウェア検証の国際会議であるVSTTE 2022のCFPをお送りいたします。形式手法の国際会議FMCAD 2022の併設となっています。こちらも投稿をご検討いただけますと幸いです。 -- 海野広志筑波大学システム情報系情報工学域 ------------------- Call for Papers VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments October 17-18 2022 Co-located with Formal Methods in Computer-Aided Design 2022 (FMCAD 2022) Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. The Verified Software Initiative (VSI), spearheaded by Tony Hoare and Jayadev Misra, is an ambitious research program for making large-scale verified software a practical reality. The International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) is the main forum for advancing the initiative. VSTTE brings together experts spanning the spectrum of software verification in order to foster international collaboration on the critical research challenges. The theoretical work includes semantic foundations and logics for specification and verification, and verification algorithms and methodologies. The tools cover specification and annotation languages, program analyzers, model checkers, interactive verifiers and proof checkers, automated theorem provers and SAT/SMT solvers, and integrated verification environments. The experimental work drives the research agenda for theory and tools by taking on significant specification/verification exercises covering hardware, operating systems, compilers, computer security, parallel computing, and cyber-physical systems. The 2022 edition of VSTTE will be the 14th conference in the series, and will be co-located with FMCAD 2022 in Trento, Italy. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest for this conference include, but are not limited to, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Paper Submissions VSTTE 2022 will accept both long (limited to 16 pages, excluding references) and short (limited to 10 pages, excluding references) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers will be submitted via EasyChair. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2022 are planned to be published as a LNCS volume by Springer-Verlag. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files is strongly encouraged. Important Dates Abstract submission: July 15, 2022 (AoE) Paper submission: July 22, 2022 (AoE) Notification of presentation acceptance: September 5, 2022 Final pre-conference paper submission: October 5, 2022 (AoE) Conference: October 17-18, 2022 Notification of proceedings acceptance: October 29, 2022 Camera-ready for post-conference proceedings: November 29, 2022 (AoE) Registration Registration to VSTTE is part of the FMCAD 2022 process. General Chair Supratik Chakraborty (IIT Bombay, India) Program Chairs Akash Lal (Microsoft Research, India) Stefano Tonetta (FBK, Italy) Program Committee Christel Baier (TU Dresden, Germany) Nikolaj Bjorner (Microsoft Research, USA) Roderick Bloem (Graz University of Technology, Austria) Borzoo Bonakdarpour (Michigan State University, USA) Supratik Chakraborty (IIT Bombay, India) Chih-Hong Cheng (Fraunhofer IKS, Germany) Grigory Fedyukovich (Florida State University, USA) Bernd Finkbeiner (CISPA Helmholtz Center for Information Security, Germany) Carlo A. Furia (USI - Università della Svizzera Italiana, Switzerland) Rajeev Joshi (AWS, USA) Zachary Kincaid (Princeton University, USA) Akash Lal (Microsoft Research, India) Thierry Lecomte (ClearSy, France) Sergio Mover (Ecole Polytechnique, France) Kartik Nagar (IIT Madras, India) Aina Niemetz (Stanford University, USA) Gennaro Parlato (University of Molise, Italy) Kristin Yvonne Rozier (Iowa State University, USA) Natarajan Shankar (SRI International, USA) Stefano Tonetta (FBK, Italy) Elena Troubitsyna (KTH, Sweden) Hiroshi Unno (University of Tsukuba, Japan) Jyothi Vedurada (IIT Hyderabad, India) Yakir Vizel (The Technion, Israel) Yuepeng Wang (Simon Fraser University, Canada) Chao Wang (University of Southern California, USA) Kirsten Winter (The University of Queensland, Australia) Previous Editions VSTTE 2005 (Zürich, Switzerland) VSTTE 2008 (Toronto, Canada) VSTTE 2010 (Edinburgh, Scotland) VSTTE 2012 (Philadelphia, USA, co-located with POPL 2012) VSTTE 2013 (Atherton, USA) VSTTE 2014 (Vienna, Austria, co-located with CAV 2014 as part of VSL 2014) VSTTE 2015 (San Francisco, USA, co-located with CAV 2015) VSTTE 2016 (Toronto, Canada, co-located with CAV 2016) VSTTE 2017 (Heidelberg, Germany, co-located with CAV 2017) VSTTE 2018 (Oxford, UK, co-located with CAV 2018) VSTTE 2019 (New York, USA, co-located with CAV 2019) VSTTE 2020 (Los Angeles, USA, co-located with CAV 2020) VSTTE 2021 (Online, co-located with FMCAD 2021)

1 0

【論文募集】Haskell Symposium 2022
by Hiroshi UNNO 30 Mar '22

30 Mar '22

# 複数受けとられた方はご容赦ください。皆様、筑波大学の海野です。 ICFP 2022併設の国際会議Haskell Symposium 2022のCFPをお送りいたします。投稿をご検討いただけますと幸いです。 -- 海野広志筑波大学システム情報系情報工学域 ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2022 Ljubljana, Slovenia Thu 15 -- Fri 16 September, 2022 http://www.haskell.org/haskell-symposium/2022/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2022 will be co-located with the 2022 International Conference on Functional Programming (ICFP). Differently from previous years, Haskell'22 will use a single-track submission process (that is, we will only have the regular track and no early track). The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. Like an experience report and a functional pearl, tutorials should make a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details ================== Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2022 will use a lightweight 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 an initial judgment 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. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Tutorial: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Abstract submission: 27 May 2022 (Fri) Paper submission: 3 June 2022 (Fri) Notification: 1 July 2022 (Fri) Deadlines are anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell22.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings =========== Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html). Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Artifacts ========= Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper's artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC chair. Program Committee ================= Lennart Augustsson Epic Games Jean-Philippe Bernardy University of Gothenburg Iavor Diatchki Galois, Inc Michael Gale Tweag William Hallahan Yale University Makoto Hamana Gumma University John Hughes Chalmers University of Technology Alexis King Tweag James Koppel Massachusets Institute of Technology Rudy Matela Dominic Orchard University of Kent Nadia Polikarpova (chair) University of California, San Diego Eric Seidel Bridgewater Associates Satnam Singh Groq Wouter Swierstra Utrecht University Hiroshi Unno University of Tsukuba Marco Vassena CISPA - Helmholtz-Zentrum Dimitrios Vytiniotis DeepMind If you have questions, please contact the chair at: npolikarpova(a)ucsd.edu ================================================================================

1 0

DaLí 2022 - Call for Papers
by Katsuhiko Sano 29 Mar '22

29 Mar '22

logic-ml の皆様、北海道大学の佐野です。DaLi2022の cfpをお送りします。ふるってご投稿ください。佐野勝彦 ---- DaLí 2022 - Call for Papers http://dali2022.campus.ciencias.ulisboa.pt ***Important Dates*** - Abstract submission deadline: 03 May 2022 - Full paper submission deadline: 10 May 2022 - Author notifications: 15 June 2022 ************ ****Overview***** Dynamic logic (DL), a generalisation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation. Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations. Previous editions of DaLí took place in Brasília (2017) and Porto (2019), and an online edition (2020). ****List of Topics**** Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics ****Submission and Proceedings**** Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through https://easychair.org/my/conference?conf=dal2022 A post-proceedings volume and a special issue of a journal are planned. ****Invited Speakers**** TBA ****Program Committee Chairs**** Carlos Areces (FaMAF, Universidad Nacional de Córdoba, AR) Diana Costa (LASIGE, FCUL, University of Lisbon, PT) ****Program Commitee**** Thomas Ågotnes (U. Bergen, NO) Natasha Alechina (Utrecht U., NL) Carlos Areces (U. Córdoba, AR) Philippe Balbiani (IRIT, FR) Serenella Cerrito (IBISC, U. Evry, U. Paris-Saclay, FR) Diana Costa (U. Lisbon, PT) Giovanna D'Agostino (U. Udine, IT) Stéphane Demri (CNRS, FR) Hans van Ditmarsch (Open University, NL) Raul Fervari (U. Córdoba, AR) Sabine Frittella (LIFO, FR) Nina Gierasimczuk (TU Denmark, DK) Rajeev Gore (Vienna U. of Technology, AU and Polish A. of Science, PO) Reiner Hähnle (TU Darmstadt, DE) Rolf Hennicker (LMU Munich, DE) Sophia Knight (U. Minnesota, USA) Clemens Kupke (U. Strathclyde, UK) Stepan Kuznetsov (Steklov Mathematical Institute, RU) Alexandre Madeira (U. Aveiro, PT) Sonia Marin (U. Birmingham, UK) Manuel Martins (U. Aveiro, PT) Larry Moss (Indiana University Bloomington, USA) Cláudia Nalon (U. Brasília, BR) Nicola Olivetti (Aix-Marseille U., FR) Eric Pacuit (U. Maryland, USA) Alessandra Palmigiano (Vrije Universiteit Amsterdam, NL) Vít Punčochář (Czech Academy of Sciences, CZ) Katsuhiko Sano (Hokkaido U., JP) Igor Sedlár (Czech Academy of Sciences, CZ) Rineke Verbrugge (U. Groningen, NL) Frank Wolter (U. Liverpool, UK)

1 0

(fwd) Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria
by Norbert Preining 29 Mar '22

29 Mar '22

皆さんプライニング＠富士通研究です。ウィーン工科大学で「full time」（給料があり）のPhD１０こを募集しています。素晴らしいCSと数学論理学の場所なので、興味がある方を知りましたら、ぜひお伝えください。申請締め切りは4月末です。質問など遠慮なくプライニングへ (メール： norbert(a)preining.info) よろしくお願いいたします。プライニング ----- Forwarded message from Agata Ciabattoni ----- > Second Call for Applications > > The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training > programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien, > co-funded by the European Commission, offers *10* full-time PhD positions. > > The program is hosted by TU Wien, one of the most successful technical > Universities in Europe and the largest one in Austria. The Faculty of > Informatics of TU Wien is a leading research and teaching institution which > consistently ranks among the top 100 computer science faculties in the > global Times Higher Education ranking. In the heart of Europe, Vienna has a > prominent history in mathematics, computer science, and logic research, and > offers one of the highest living standards in the world. > > The programme provides a 4-year doctoral training for international PhD > candidates within an English-language curriculum. The doctoral positions are > open to international high-potential early-stage researchers with a strong > background in Logical Methods in Computer Science and > their applications in areas like Artificial Intelligence, Databases, > Verification, Algorithms, Knowledge Representation and Computational Logic. > > Each PhD candidate will be supervised by at least one of the LogiCS@TUWien > professors, see > > http://www.vcla.at/msca/supervisors/. > > We are looking for exceptional candidates to allocate twenty positions as a > university assistant (Pre-Doc) for 4 years for 40 hours/week. Expected start: > June-September 2022. > > > > Your tasks: > > Deepening of scientific knowledge and independent research work on the > specific PhD topic > Collaboration on current research projects > Preparation of scientific publications and a PhD thesis in English > Presentation of research results at international conferences and other > scientific events > Successful completion of important milestones of the program, see > http://www.vcla.at/msca/training/ > Participation in events organized by the program LogiCS@TUWien > > Your profile: > > Completion of a Masters and Bachelor degree or equivalent in computer > science, computational > logic, discrete mathematics or related disciplines, with outstanding > academic performance > Previous research experience in the subjects of the specific project is > highly desirable, see for details http://www.vcla.at/msca/topics/ > Excellent skills in English communication and writing > Active readiness for scientific collaboration > Team competences and problem-solving skills > Positive attitude and contribution to the work environment > Striving for continuous personal development > > We offer: > > Diverse and exciting research projects on cutting edge topics, see > http://www.vcla.at/msca/topics/ > Continuing personal and professional education and flexible working hours > High-quality supervision by renowned professors > Ample possibilities for building an international research network, doing > internships, and establishing research collaborations > Very competitive salary > Administrative support in study and life questions > Central location with excellent accessibility (U1/U2/U4 Karlsplatz) in a > city regularly ranked first worldwide for life quality > > > > TU Wien is committed to increasing female employment in leading scientific > positions. Female candidates are explicitly encouraged to apply. Preference will > be given when equally qualified. > > People with special needs are equally encouraged to apply. In case of any > questions, please contact the confidant for disabled persons at the university. > > Entry level salary as a predoctoral researcher is covered by level B1 of the > Austrian Collective Agreement for university staff, and receives a minimum of > currently EUR 2971,50/month gross (14 times/year) for 40 hours/week. > > NOTE: Please make sure to state in your motivation letter which research > projects (among http://www.vcla.at/msca/topics/) are your 1st, 2nd and 3rd > choice. > > Please check eligibility criteria such as MSCA mobility rule, early-stage > researchers and PhD qualification, see http://www.vcla.at/msca/apply. > > > For more detail please check our website http://www.vcla.at/msca/programme/ > > We look forward to receiving your application until 30.04.2022. ----- End forwarded message ----- -- PREINING Norbert https://www.preining.info Fujitsu Research + IFMGA Guide + TU Wien + TeX Live GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

1 0

QIT46のご案内
by NISHIMURA Harumichi 27 Mar '22

27 Mar '22

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

1 0

【参加登録システム再オープンのお知らせ】　第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL2022）
by Ryoma Sin'ya 05 Mar '22

05 Mar '22

PPL の皆様（重複ご容赦ください），明日から３日間オンラインで開催される第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）の参加登録システムを再オープンいたしました．参加登録〆に間に合わなかった方がいらっしゃいましたら，お手数ですが本日 21:00 までにシステムから参加登録いただけるとありがたいです．また，「参加登録は既に行っているが，Slack への招待リンクの案内メールなどが来ていない」という方がいらっしゃいましたら，お手数ですが ppl2022-oc(a)googlegroups.com <mailto:ppl2022-oc@googlegroups.com> までご連絡いただけますでしょうか．なにとぞよろしくお願いいたします． ================================================================ 秋田大学　数理科学コース新屋良磨

1 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml