- Logic-ml - fos.kuis.kyoto-u.ac.jp

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 … [View More]

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 … [View More]

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 … [View More]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/ [View Less]

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を予定）（参加に必要な… [View More]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 ・委員長：鶴丸豊広 (三菱電機) ・副委員長：水谷明博 (三菱電機) ・副委員長：相川勇輔（三菱電機）・副委員長：野邑寿仁亜（三菱電機）・副委員長：廣政良（三菱電機） =========(ここまで) ========= [View Less]

1 0

准教授公募（東京大学）
by arai toshiyasu 28 Apr '21

28 Apr '21

みなさま新井です。東京大学数理科学研究科では 6月25日締切で准教授を若干名募集しています。詳しくは https://www.ms.u-tokyo.ac.jp/index-j.html https://www.ms.u-tokyo.ac.jp/news/bbe4e919649b3cb81c8c3460b678f347b468e185.… をご覧ください。新井敏康

1 0

特定研究員の公募（アルゴリズム基礎理論）京都大学
by Akitoshi Kawamura 03 Apr '21

03 Apr '21

皆様学術変革領域研究「アルゴリズム基盤」 https://www.afsa.jp/ の課題B04「アルゴリズム基礎理論の追究・発展」（研究代表者：牧野和久）に従事する研究員1名の募集が行われております（応募締切5月6日16:00）。詳しくは以下をご覧ください。京都大学　教職員公募一覧 https://www.kyoto-u.ac.jp/ja/jobs/open 数理解析研究所　特定研究員の公募 https://www.kyoto-u.ac.jp/sites/default/files/2021-03/210506_0330-3aff43edd… （英語版） https://www.kyoto-u.ac.jp/sites/default/files/2021-03/210506_0329-5962df92e… -- 河村彰星京都大学数理解析研究所

1 0

ERATO Project Seminar by Mirai Ikebuchi (9:30 - 11:00 on Wednesday 7 Apr)
by Shinya KATSUMATA 31 Mar '21

31 Mar '21

Dear all, On Wednesday 7 Apr, Mirai Ikebuchi (Massachusetts Institute of Technology) will give a talk, Homological Methods in Rewriting, for our seminar during 9:30 - 11:00. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA Shin-ya Katsumata ------- Wednesday 7 Apr, 9:30 - 11:00 Speaker: Mirai Ikebuchi (Massachusetts Institute of Technology) Title: Homological Methods in Rewriting … [View More]

1 0

第44回量子情報技術研究会（QIT44）のご案内
by NISHIMURA Harumichi 23 Mar '21

23 Mar '21

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

1 0

FW: OPEN ACCESS LIBRARY | Computer Science, Engineering, Math, Statistics, Science, Marketing, Applied Sciences, Image & Signal Processing, Robotics, Artificial Intelligence, Comp. Security, Theory & Algorithms
by CSC Journals 20 Mar '21

20 Mar '21

OPEN ACCESS LIBRARY http://www.cscjournals.org/library/oa-library.php Providing FREE access to journal articles published by prestigious authors from USA, CANADA, EUROPE, MIDDLE EAST, AFRICA & ASIA. ---------------------------------------------------------------------------- ------------------------------------------- JOURNALS BY SUBJECTS Access to journals and its archived publications by subjects. Computer Science <http://www.cscjournals.org/library/computer-science.php> | … [View More]

1 0

CFP: LSFA 2021
by Takahito Aoto 16 Mar '21

16 Mar '21

LSFA 2021の論文募集の案内です．ぜひ投稿をご検討頂ければ幸いです．今回はFSCDの併設ワークショップとして(オンライン)開催されます． --- 青戸等人(新潟大学) ——————————————————//—————————————————— 16th Logical and Semantic Frameworks with Applications - LSFA 2021 23-24 July 2021 &… [View More]nbsp; https://mat.unb.br/lsfa2021 Affiliated to FSCD 2021, Buenos Aires, Argentina (Online) Second Call For Papers ——————————————————//—————————————————— Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. See lsfa.cic.unb.br for more information. LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory Submissions Contributions should be written in English and submitted in full paper (with a maximum of 16 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using the EPTCS style. The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2021 The pre-proceedings, containing the reviewed extended abstracts, will be handed out at event registration. After the meeting, the authors will be invited to submit full versions of their works for the post-proceedings publication. At least one of the authors should register for the conference. Presentations should be in English. According to the submissions' quality, the chairs will promote the further publication of journal revised versions of the papers. Previous LSFA Special Issues have been published in journals such as The Logical J. of the IGPL, Theoretical Computer Science and Mathematical Structures in Computer Sciences (see the LSFA page http://lsfa.cic.unb.br). Important dates * Abstract: Monday 26th April * Submission: Sunday 2nd May * Notification: Friday 4th June * Preliminary proceedings version due: Monday 14th June * Submission for final proceedings: Sunday 17th October * Final version: Sunday 19th December Invited Speakers Alejandro Díaz-Caro (ICC-UBA/CONICET, UNQ) Alexandra Silva (University College London) Giulio Guerrieri (University of Bath) Program Committee María Alpuente (Universitat Politècnica de València) Sandra Alves (Universidade de Porto, Portugal) Takahito Aoto (Niigata University) Mauricio Ayala-Rincón (Universidade de Brasília) - Co-Chair Eduardo Bonelli (Stevens University) - Co-Chair Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay) Valeria de Paiva (Samsung Research America and University of Birmingham) Marcelo Finger (Universidade de São Paulo) Yannick Forster (Saarland University) Lourdes del Carmen González Huesca (UNAM) Edward Hermann Haeusler (PUC-Rio, Brazil) Cynthia Kop (Radboud University) Temur Kutsia (RISC, Johannes Kepler University Linz) Hernan Melgratti (Universidad de Buenos Aires) Alexandre Miquel (Universidad de La República) Barbara Morawska (Ahmedabad University) Mariano Moscato (National Institute of Aerospace) Cesar Muñoz (NASA LaRC) Daniele Nantes-Sobrinho (U. de Brasília) Carlos Olarte (U. Federal do Rio Grande do Norte) Federico Olmedo (Universidad de Chile) Alberto Pardo (Universidad de la República) Jorge A. Pérez (University of Groningen) Camilo Rocha (Pontificia Universidad Javeriana - Cali) Aleksy Schubert (University of Warsaw) René Thiemann (University of Innsbruck) Renata Wassermann (Universidade de São Paulo) Organisers Daniele Nantes (UnB, Brasil) Cristian F. Sottile (UBA, Argentina) ——————————————————//—————————————————— [View Less]

1 0

数学教員公募のお知らせ
by 白旗優 03 Mar '21

03 Mar '21

みなさま，慶應義塾大学の白旗優です．私の所属する商学部では，数学教員の公募を行っています．商学部のホームページ，日本数学会のホームページ，JREC-IN に公募情報が掲載されています．慶應大学商学部では，統計データを重視した実証的な研究が盛んに行われています．募集する数学の教員も，専門分野は問いませんが，数学の社会科学への応用にも関心をお持ちの方が，望ましいとされています．数学や情報科学の手法は，経済・社会システムの構築と分析に，深く浸透しつつありますし，Logic メーリングリストに所属されている方々の中にも，そうした素養をお持ちの方がいらっしゃるかと思い，投稿させて頂きました．なお募集要項にもありますように，問い合わせは書面に限らさせて頂いていますので，どうぞご了承ください．それでは，どうぞよろしくお願いいたします．

1 0

27th WoLLIC 2021 - Call for Papers
by 小野寛晰 02 Mar '21

02 Mar '21

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 ORGANISATION Universidade de São Paulo, Brazil University College London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each … [View More]meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website (https://easychair.org/conferences/?conf=wollic2021 <https://easychair.org/conferences/?conf=wollic2021>). PROCEEDINGS The proceedings of WoLLIC 2021, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2021 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Catarina Dutilh Novaes (VU Amsterdam) Santiago Figueira (Universidad de Buenos Aires, Argentina) Andreas Herzig (IRIT, France) Cláudia Nalon (UnB - Brazil) Giselle Reis (CMU - Qatar) IMPORTANT DATES May 15, 2021: Full paper deadline June 23, 2021: Author notification June 30, 2021: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Nina Gierasimczuk (Technical University of Denmark, Denmark) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (University of Groningen, The Netherlands) Jurriaan Rot (Radboud University, The Netherlands) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Renata Wassermann (Univ São Paulo) (Co-Chair) Alexandra Silva (Univ College London) (Co-Chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/ <http://www.zalafilms.com/secrets/>) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/ <http://wollic.org/> [View Less]

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 01 Mar '21

01 Mar '21

皆様：（度々申し訳ございません．昨日お送りしたアナウンスで， Workshop の講演者に誤りがありましたので，案内を再送させていただきます．）神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) -… [View More]

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 01 Mar '21

01 Mar '21

皆様：神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford … [View More]

1 0

【最終参加募集】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
by Taro Sekiyama 26 Feb '21

26 Feb '21

皆様（重複ご容赦ください），国立情報学研究所の関山です． 3月9日(火) 〜 11日(木)にオンラインで開催される第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) 参加登録の最終案内をいたします．参加登録の締切は明後日2月28日（日）23:00 (JST) です．締切までの参加費等のお支払いを忘れずにお願いいたします．多くの方々のご参加をお待ちしております．また，全カテゴリの採択論文・発表リストを https://jssst-ppl.org/workshop/2021/accepted.html にて公開しております．こちらもあわせてご参照ください． -------------------------------------------------------------------------- 第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） https://jssst-ppl.org/workshop/… [View More]2021/ 最終参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2021年3月9日(火) 〜 11日(木) 会場: オンライン (Zoom & Gather) PPL 2021はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，ZoomとGather (https://gather.town) を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．今年度は学生の参加は無料となっております．参加費および参加登録方法についての詳しい情報は次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2021/registration.html 参加登録締切：2021年2月28日(日) 23:00 (JST) 問い合わせ先： ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）鵜川始陽（東京大学）馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部）・組織委員会関山太朗（国立情報学研究所）[組織委員長] 佐藤亮介（東京大学）[組織副委員長] 山田晃久（産業技術総合研究所）[財務担当] 塚田武志（千葉大学）[財務副担当] 今井敬吾（岐阜大学）[会場担当] 叢悠悠（東京工業大学）[会場副担当] 新屋良磨（秋田大学）[会場副担当] 堀江倫大（日本IBM）[渉外担当] 上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 平石拓（京都大学）[前プログラム共同委員長] 森畑明昌（東京大学）[前プログラム共同委員長] ================================================================ [View Less]

1 0

2020年度数学基礎論若手の会
by Daisuke Ikegami 19 Feb '21

19 Feb '21

（重複して受け取られた方はご容赦ください）みなさま芝浦工業大学の池上と申します。 2020年度数学基礎論若手の会を以下の要領で開催いたします。日時：2021年3月26日(金) - 3月28日(日) 場所：オンライン開催参加方法など、詳細は https://sites.google.com/view/younglogicians2020/ をご覧ください。多くのみなさまのご参加をお待ちしております。池上大祐

1 0

CLAR 2021: Logic and Argumentation, Hangzhou (China), 20-22 Oct 2021
by Katsuhiko Sano 13 Feb '21

13 Feb '21

Logic-ml の皆様、北海道大学の佐野勝彦と申します。CLAR 2021のcfpをお送りします。佐野勝彦 CALL FOR PAPERS -------------------------------------------- Fourth International Conference on Logic and Argumentation (CLAR 2021) 20-22 October 2021, Hangzhou, China Hybrid (physical or virtual attendance) https://www.xixilogic.org/events/clar2021/ -------------------------------------------- The 4th International Conference on Logic and Argumentation (CLAR 2021) invites contributions from logic, artificial intelligence, philosophy, … [View More]computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2021 will be held in Hangzhou, 20-22 October 2021 at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible. Papers accepted to CLAR 2021 will be published as Springer LNAI proceedings, and will be available online during the conference. Authors of selected papers will be invited to submit an extended version to a journal special issue after the conference. More information about CLAR 2021 can be found at the conference website: http://www.xixilogic.org/events/clar2021 The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China. Previous conferences can be accessed via: http://www.xixilogic.org/events/clar List of Topics -------------------- Suggested topics include, but are not limited to the following: * Abstract argumentation * Applications of logic and/or argumentation * Applied logic * Argumentation and game theory * Argumentation and law * Argumentation and linguistics * Argumentation and medical reasoning * Argumentation in AI * Argument mining * Argumentation schemes * BDI logic * Computational argumentation * Deontic logic * Dynamic epistemic logic and belief revision * Formal models for dialog and argumentation * Informal logic * Judgment aggregation * Knowledge representation and reasoning * Logic for game theory * Logic for multi-agent systems * Logic for semantic web * Logic for social network * Mathematical logic * Modal logic * Nonmonotonic logics * Numerical and uncertainty reasoning * Philosophical logic * Pragma-Dialectics * Preference logic * Structured argumentation * Uncertain argumentation Submission Guidelines -------------------- We invite two types of submissions: full papers (12 - 20 pages) describing original and unpublished work and extended abstracts (5 - 8 pages) of preliminary original work or extended abstracts of already published work (needs to be highlighted along with the title), from either the field of logic or the field of formal argumentation. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. Submissions must be prepared in LaTeX, using the Springer LNCS style: ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip Submissions not complying with these guidelines will be desk rejected. Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=clar2021 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the conference. Important Dates -------------------- Submission: 30 June 2021 Notification: 1 August 2021 Camera-Ready: 15 August 2021 Conference: 20-22 October 2021 PC Chairs -------------------- Pietro Baroni, University of Brescia Christoph Benzmüller, Freie Universität Berlin Yì N. Wáng, Sun Yat-sen University [View Less]

1 0

FSCD 2021: Call for Papers
by Naoki Kobayashi 11 Feb '21

11 Feb '21

皆様、東京大学の小林と申します。すでに他のメーリングリストでご欄いただいているかもしれませんが、締め切りが近くなりましたので、FSCD 2021 の論文募集案内をお送りさせていただきます。当初Buenos Airesで開催予定でしたが、COVID-19のため、オンライン開催となっております小林直樹東京大学 ======================== CALL FOR PAPERS Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 - July 24, 2021, Buenos Aires, Argentina https://fscd2021.dc.uba.ar/ In-cooperation with ACM … [View More]SIGLOG and SIGPLAN NOTE: Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online. IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 12, 2021 Submission: February 15, 2021 Rebuttal: April 2-5, 2021 Notification: April 19, 2021 Final version: May 3, 2021 FSCD (http://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type Inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences. 6. Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data Bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2021 Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. Complete instructions on submitting a paper can be found on the conference web site: https://fscd2021.dc.uba.ar/ One author of an accepted paper is expected to present it at the conference BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- M. Ayala-Rincón, Universidade de Brasília S. Berardi, University of Torino F. Blanqui, INRIA E. Bonelli, Stevens Institute of Technology É. Contejean, CNRS, Université Paris-Saclay T. Coquand, University of Gothenburg T. Ehrhard, Université de Paris, CNRS S. Escobar, Univ. Politècnica de València J. Espírito Santo, University of Minho C. Faggian, Université de Paris, CNRS A. Felty, University of Ottawa S. Figueira, Universidad de Buenos Aires M. Fiore, University of Cambridge M. Gaboardi, Boston University S. Ghilezan, University of Novi Sad I. Hasuo, National Institute of Informatics D. Kesner, Université de Paris R. Krebbers, Radboud University Nijmegen T. Kutsia, Johannes Kepler University Linz B. König, University of Duisburg-Essen M. Lenisa, University of Udine N. Nishida, Nagoya University L. Ong, University of Oxford P. Parys, University of Warsaw J. Rehof, TU Dortmund University C. Rocha, Pontificia Univ. Javeriana Cali A. Silva, University College London N. Szasz, Universidad ORT Uruguay A. Tiu, Australian National University S. Winkler, University of Verona H. Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET WORKSHOP CHAIRS -------------- Mauricio Ayala-Rincón, Universidade de Brasília Carlos López Pombo, Universidad de Buenos Aires STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Jamie Vicary, Oxford University PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Z. Ariola, University of Oregon M. Ayala-Rincón, University of Brasilia C. Fuhs, Birkbeck, University of London H. Geuvers, Radboud University S. Ghilezan, University of Novi Sad S. Guerrini, University of Paris 13 D. Kesner (Chair), University of Paris Diderot H. Kirchner, Inria C. Kop, Radboud University D. Mazza, University of Paris 13 L. Ong, Oxford University J. Rehof, TU Dortmund J. Vicary, Oxford University -- 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 [View Less]

1 1

CADE-28: Final Call for Papers
by Nao Hirokawa 09 Feb '21

09 Feb '21

皆様自動演繹に関する国際会議 CADE-28 の論文投稿締切が近づきましたのでその募集案内を改めてお送り致します。ぜひ論文の投稿をご検討下さい。投稿締切の延長は予定されておりません。どうぞご注意下さい。廣川 (JAIST) ------------------------------------------------------------------------------------------------- /!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The submission deadline is firm, there will be no extensions. /!\ The other dates (rebuttal, notification, final version) have changed. -------------------------------------------------------------… [View More]------------------------------------ CADE-28: Final Call for Papers The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021. http://www.cade-28.info In cooperation with ACM SIGLOG <https://siglog.acm.org> CADE-28 will be virtual due to the COVID-19 pandemic. CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. Important Dates Abstract deadline: 15 February 2021 Submission deadline: 22 February 2021 (AoE, no extensions) Rebuttal phase: 29-31 March 2021 Notification: 9 April 2021 Final version: 30 April 2021 Conference: 12-15 July 2021 Submissions can be made in two categories: Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html Papers must be submitted to the CADE-28 track via https://easychair.org/conferences/?conf=cade28 All questions about submissions should be emailed to André Platzer (aplatzer(a)cs.cmu.edu) and Geoff Sutcliffe (geoff(a)cs.miami.edu). [View Less]

1 0

【参加募集】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
by Taro Sekiyama 08 Feb '21

08 Feb '21

皆様（重複ご容赦ください），国立情報学研究所の関山です． 3月9日(火) 〜 11日(木)にオンラインで開催される第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月28日(日) 23:00 (JST) です．どうぞお早めのご登録をお願い致します．また，カテゴリ3 (ポスター・デモ発表) の発表申込締切が2月15日(月) 17:00 (JST) となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） https://jssst-ppl.org/workshop/2021/ … [View More] 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2021年3月9日(火) 〜 11日(木) 会場: オンライン (Zoom & Gather) PPL 2021はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，ZoomとGather (https://gather.town) を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2021/registration.html 参加登録締切：2021年2月28日(日) 23:00 (JST) 問い合わせ先： ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）鵜川始陽（東京大学）馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部）・組織委員会関山太朗（国立情報学研究所）[組織委員長] 佐藤亮介（東京大学）[組織副委員長] 山田晃久（産業技術総合研究所）[財務担当] 塚田武志（千葉大学）[財務副担当] 今井敬吾（岐阜大学）[会場担当] 叢悠悠（東京工業大学）[会場副担当] 新屋良磨（秋田大学）[会場副担当] 堀江倫大（日本IBM）[渉外担当] 上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 平石拓（京都大学）[前プログラム共同委員長] 森畑明昌（東京大学）[前プログラム共同委員長] ================================================================ -- National Institute of Informatics (国立情報学研究所) Taro Sekiyama (関山太朗) [View Less]

1 0

Louis de Broglie
by logic 04 Feb '21

04 Feb '21

この前、ご案内しましたドブロイの学位論文（フランス語）の英訳、先月出版されました。こちらから入手可能です。 https://www.amazon.co.jp/Research-Theory-Quanta-Louis-Broglie/dp/1927763983… にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura https://www.youtube.com/watch?v=0LFVxavjHfw

1 0

【カテゴリ3受付開始・カテゴリ2,4締切延長】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 発表募集
by Hiroshi UNNO 29 Jan '21

29 Jan '21

皆様（重複ご容赦ください），カテゴリ3（ポスター・デモ発表）の発表申込を開始し，カテゴリ2（国外既発表論文）および4（チュートリアル）の締切を延長しましたので，改めてCFPを送らせていただきます．ぜひ投稿をご検討ください． --- 日本ソフトウェア科学会プログラミング論研究会は，第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）を，2021年3月9日（火）〜3月11日（木）にオンラインで開催いたします．理論・実装を問わずプログラミング・プログラミング言語に関する研究発表を幅広く募集します．どうぞ投稿をご検討ください．よろしくお願いいたします．海野広志（筑波大学）上野雄大（東北大学）（PPL 2021 プログラム共同委員長） ==================================================================== 第23回プログラミングおよびプログラミング言語ワークショップ PPL 2021 発表募集 2021年3月9日（火）-- 3月11日（木）オンライン開催 … [View More]https://jssst-ppl.org/workshop/2021/ ** 重要な日程 ** カテゴリ1:（締め切りました）発表申込締切 2020年12月28日（月）17:00 (JST) 論文提出締切 2021年 1月 8日（金）17:00 (JST) 採否通知 2021年 2月 1日（月）カテゴリ2:（発表申込受付中）発表申込締切 2021年 2月1日（月）17:00 (JST) （延長しました）採否通知 2021年 2月 8日（月）カテゴリ3:（発表申込受付中）発表申込締切 2021年 2月15日（月）17:00 (JST) 採否通知 2021年 2月 19日（金）カテゴリ4:（発表申込受付中）発表申込締切 2021年 2月1日（月）17:00 (JST) （延長しました）採否通知 2021年 2月 8日（月） ** 開催形式が変わります ** これまでのPPLは合宿形式で開催しておりましたが，COVID-19の影響により， PPL 2021はオンラインでの開催となります．詳しい参加方法については後日， Webページ等で公開します． ** PPL 2021とは ** PPL 2021は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これに限らず，プログラミング・プログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論: 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン: 各種プログラミングパラダイム（オブジェクト指向・関数型・論理型・アスペクト指向，その他あらゆるパラダイムを含む），モジュール化，メタプログラミング，並行・並列・分散計算，型システム，言語や言語システム等の相互運用，領域限定言語など言語処理系技術: コンパイラ，インタプリタ，実行時システム，仮想機械，プログラム最適化，プログラム解析，プログラム変換，メモリ管理などプログラミング補助: プログラム検証器，デバッガ，プロファイラ，統合開発環境，プログラム合成，リファクタリングなどケーススタディ: ソフトウェア開発報告，プログラミング技法，ツールの紹介など応用: システムソフトウェア，Webシステム，データベースシステム，数値計算，ユーザーインタフェース，セキュリティ，プログラミング教育，人工知能・機械学習など ** 発表募集カテゴリ ** 発表募集は以下の4カテゴリに分けて行います．カテゴリ1: 国内外未発表論文カテゴリ2: 国外既発表論文カテゴリ3: ポスター・デモ発表カテゴリ4: サーベイ・チュートリアルカテゴリ1では，国内外で未発表の論文発表を募集します．PPLでの議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ1で発表された研究のうち，PPL 2021プログラム委員会により優れていると認められたものは， PPL 2021終了後，「コンピュータソフトウェア」誌のPPL 2021推薦論文としての投稿（2021年6月中旬投稿締切予定）が可能です．推薦論文は，PPL 2021プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．また，特集号の締切後であっても，推薦を受けた研究もしくはそれをさらに発展させた研究をPPL 2021推薦論文として「コンピュータソフトウェア」誌に投稿することが可能です．たとえば， PPL 2021で発表した研究を国際会議等で発表した後，さらに発展させて推薦論文として投稿することができます．カテゴリ2では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3では，PPLに関連する内容のポスター・デモ発表を募集します．未発表・既発表の別を問いません．萌芽的なアイディアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスに基づき、プログラム委員による議論によって採否を判断します．カテゴリ4では，研究動向の紹介や分野間の相互理解など，PPLの聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2021 申込にあたってはEasyChairのアカウントが必要です．申し込み時にEasychair で入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記Webページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度，もしくは英語200 words程度），キーワード（3つ以上）を提出してください．論文提出: 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF 形式．PPL2021ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます（最終原稿においては削除いただく可能性があります）．著者のWebページ等においてソースコードや実験データなどを載せて引用しても構いません．最大ページ数を超える付録やWebページ等の情報については査読において考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無にかかわらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上）と併せて提出してください．論文概要にて，原論文の出典（発表会議名，掲載済／予定の別等を含む）も明記してください．カテゴリ3（ポスター・デモ発表） ------------------------------- 著者名，所属，発表タイトル，発表概要（200〜300字程度），キーワード（3つ以上），発表形態を提出してください．発表形態はフォームで選ぶだけでなく，発表タイトルの末尾に括弧書きで「（ポスター）」「（デモ）」「（ポスター・デモ）」のいずれかの発表形態を記載してください．ポスター・デモセッションは Gather (https://gather.town/) での開催を予定しています．ポスター画像と画面共有機能を用いて，オフラインと遜色ないインタラクティブな発表形態を実現するべく調整中です．カテゴリ3に採択された場合は，バーチャル会場に貼り出す画像データを会期前に提出していただきます．データの提出方法は採否通知にてお知らせします．カテゴリ4（サーベイ・チュートリアル） --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）提出してください． ** プログラム委員会 ** 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）上野雄大（東北大学）[プログラム共同委員長] 鵜川始陽（東京大学）海野広志（筑波大学）[プログラム共同委員長] 馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部） ** 問い合わせ先 ** ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc PPL2021プログラム共同委員長上野雄大，海野広志 [View Less]

1 0

Fwd: RAMiCS 2021 - CFP
by Diego A. Mejía 13 Jan '21

13 Jan '21

---------- Forwarded message --------- From: 'Samuel Gomes' via Grupo de Lógica de Bogotá <logbog(a)googlegroups.com> Date: Wed, Jan 13, 2021 at 8:04 AM Subject: [LOGBOG: 965] Fw: RAMiCS 2021 - CFP To: Teoria Dos Conjuntos E. Topologia Geral Logica < logica-teoria-dos-conjuntos-e-topologia-geral(a)googlegroups.com>, Logbog < logbog(a)googlegroups.com> ----- Mensagem encaminhada ----- *De:* Samuel Gomes da Silva <samuel(a)ufba.br> *Para:* samuca mat <samuca_mat(a)… [View More]yahoo.com.br> *Enviado:* terça-feira, 12 de janeiro de 2021 15:22:20 AMT *Assunto:* Fwd: RAMiCS 2021 - CFP ----- Mensagem encaminhada ----- De: "luigi santocanale" <luigi.santocanale(a)lis-lab.fr> Para: samuel(a)ufba.br Cc: "luigi santocanale" <luigi.santocanale(a)lis-lab.fr> Enviadas: Terça-feira, 12 de janeiro de 2021 13:39:56 Assunto: RAMiCS 2021 - CFP CALL FOR PAPERS 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: 14 May 2021 Paper Submission: 21 May 2021 Author Notification: 9 July 2021 Final Version: 30 July 2021 RAMiCS 2021: 2 to 5 November 2021 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2021 will take place at CIRM, the Centre International de Rencontres Mathématiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Programme Committee ------------------- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universität Dresden, Germany Manuel Bodirsky, Technische Universität Dresden, Germany Ignacio Fábregas, IMDEA, Spain Uli Fahrenberg, Ecole polytechnique, France Marcelo Frias, Buenos Aires Institute of Technology, Argentina Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Università degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter Höfner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universität Wien, Austria Tadeusz Litak, Erlangen-Nürnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi Santocanale, LIS, Aix-Marseille University, France Georg Struth, University of Sheffield, UK Sam van Gool, IRIF, University Paris 7, France Michael Winter, Brock University, Canada -- -- Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" . Para enviar un mensaje, envíe un email a logbog(a)googlegroups.com Para salir del grupo, envíe un email a logbog-unsubscribe(a)googlegroups.com Para más opciones, visite http://groups.google.com/group/logbog?hl=es --- Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google. Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a logbog+unsubscribe(a)googlegroups.com. Para ver esta conversación en el sitio web, visita https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40m… <https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40m…> . -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787 [View Less]

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml