Logic-ml October 2018

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

4 participants
5 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic Is Equivalent to Peano Arithmetic 【１５日（金）】池上貴大（東工大）様相命題論理におけるツリーシークエント計算（仮題）河野友亮（東工大）Quantum logic の implication algebra と restricted negation について（仮題）鹿島亮（東工大）２階の関数記号を持つ１階述語論理について山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー大森仁（京大）Jaskowskiのdiscussive logicの周辺金沢誠（国立情報学研）Context-Free Languages with Finite Context and Kernel Properties 高橋正子 Grzegorczyk階層について＝＝＝＝以上＝＝＝＝

1 8

数学基礎論若手の会2018のご案内
by "新屋良磨(秋田大)" 26 Oct '18

26 Oct '18

logic-mlの皆様，秋田大学の新屋と申します． 2018年度の数学基礎論若手の会のご案内をさせていただきます．数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日時： 2018年11月22日(木)夕方～25日(日)午前場所：コテージにらい恩納 http://www.niraionna.com/ <http://www.niraionna.com/> 住所：〒904-0401 沖縄県国頭郡恩納村名嘉真1952-10 世話人：新屋良磨 (秋田大学数理科学コース) 連絡先：ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> ウェブページ： https://sites.google.com/view/kisoron2018 <https://sites.google.com/view/kisoron2018> 参加費用：16000円程度(宿泊費，食事，懇親会費含む．部分参加や食事をとられない場合はその分割引になります) 参加を希望の方は下記の情報を書いたメールを件名：数学基礎論若手の会参加申込にて ryoma(a)math.akita-u.ac.jp までお送りください —————————— ▪ 所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など） ▪ 氏名，性別 ▪ 講演希望するorしない（講演希望の場合、後日題目と概要をお送りください） ▪ 22日の宿泊を希望するorしない ▪ 23日の宿泊を希望するorしない ▪ 24日の宿泊を希望するorしない ▪ 22日の夕食(沖縄定食)を希望するorしない ▪ 23日の朝食を希望するorしない ▪ 23日の夕食(BBQ)を希望するorしない ▪ 24日の朝食を希望するorしない ▪ 24日の夕食(BBQ)を希望するorしない ▪ 25日の朝食を希望するorしない ▪ 23日の夜の懇親会に参加するorしない ▪ 24日の夜の懇親会に参加するorしない ▪ その他（質問、講演希望日など） —————————— 秋田大学数理科学コース新屋良磨

2 2

第39回量子情報技術研究会(QIT39)ポスター発表および参加募集
by Yasuhito Kawano 22 Oct '18

22 Oct '18

logic-ml の皆さま， NTT の河野と申します．メーリングリストをお借りしまして，第39回量子情報技術研究会(QIT39)のポスター発表および参加の募集について，ご案内をさせていただきます．（ポスター発表の締め切りが近づいております．）重複してお受け取りの際は，何卒御容赦ください．よろしくお願いいたします．河野泰人 ----------------------------------------------------------------- 第39回量子情報技術研究会(QIT39) 研究会の内容：　情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です．　情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と　そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を　目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に　携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的と　しています．　第39回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，　自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く　関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎　致しますので，奮ってお申し込みください．なお前回の研究会から学生発表賞を創設　いたしました．応募方法等詳細は下記QITウェブサイトをご確認下さい．日時: 2018年11月26日(月)〜27日(火) 会場: 東京大学先端科学技術研究センター ENEOSホール (〒153-8904　東京都目黒区駒場4-6-1) 発表募集分野 (申し込み状況によっては査読の可能性あり)：　量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，　計算機科学的研究，数学的研究，および，その他関連分野．定員: 150名参加費: 事前振込み一般4,000円，学生3,000円　　　　(当日会場払いは一般5,000円，学生4,000円) 　　　　(懇親会は別途) 研究会参加申込要領：　参加申込は下記 Web にて受付けます：　http://staff.aist.go.jp/s-kawabata/qit/ 　講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の　Webシステムを使用する予定．【口頭講演申込締切】〆切済【ポスター講演申込締切】2018年10月26日(金) 【予稿原稿提出締切】2018年10月26日(金) 【参加申込締切】2018年11月9日(金) 【問合せ先】中村泰信（東京大学先端科学技術研究センター）山本直樹（慶應義塾大学量子コンピューティングセンター）鹿野豊（慶應義塾大学量子コンピューティングセンター） Email: qit39(a)qc.rcast.u-tokyo.ac.jp 主催: 量子情報技術特別研究専門委員会 (委員長: 竹内繁樹(京都大学)) 共催: 応用物理学会量子エレクトロニクス研究会

1 0

再送：第53回MLG数理論理学研究集会
by Suzuki, Nobu-Yuki 19 Oct '18

19 Oct '18

皆様静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。参加申込の〆切まで2週間となりましたので、再度、ご案内させていただきます。重複してお受け取りの方々には、ご寛恕を願っておきます。ぜひ、ご参加をご検討ください。 --------------------------------- 皆さま静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。第53回MLG 数理論理学研究集会の情報です。第53回MLG 数理論理学研究集会期間・場所・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ 今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 参加申し込みについて参加の申し込みは以下のURLから必要事項を記入の上、11月2日(金)までにお送りください。 https://docs.google.com/forms/d/e/1FAIpQLScBi6voKtT7J6q3xqm1rpaoztSe2GvRF8a… もしくは以下のフォームにご記入の上、メールでお送りください。送り先: mlg53rd.shizuoka(a)gmail.com 件名: MLG53申込 ---------------------------------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(11月30日予定)に参加する・しない (学生の方で懇親会に参加される場合は「参加する(学生)」とご記入ください。懇親会費の割引をする予定です。) ７．備考 (講演の希望日などがありましたらこちらにご記入ください) ---------------------------------------------- ※申し込み無しでもご参加いただけますが、懇親会への参加を希望される場合は必ずお申し込みください。 ※タイトルが未定の場合は、可能であれば開催一週間前までにお知らせください。 ※配布資料等で印刷が必要な場合は、11月22日までにお送り頂ければこちらで印刷いたします(白黒になります)。

1 0

CADE-27: Call for Papers, Workshops, Tutorials and System Competitions
by Nao Hirokawa 19 Oct '18

19 Oct '18

皆様来年８月にブラジル・ナタールで開催されます、自動演繹に関する国際会議 CADE の論文・ワークショップ・チュートリアルおよびシステムコンペティション募集の案内をお送り致します。是非、投稿をご検討下さい。廣川 (JAIST) ============================================================================ CADE-27: Call for Papers, Workshops, Tutorials and System Competitions ---- The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR PAPERS 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 foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Key dates: Abstract deadline: 15 February 2019 Submission deadline: 22 February 2019 * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of artificial intelligence. Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chair 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 At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. IMPORTANT DATES Abstract deadline: 15 February 2019 Submission deadline: 22 February 2019 Rebuttal phase: 2 April 2019 Notification: 15 April 2019 Final version: 27 May 2019 SUBMISSION INSTRUCTIONS Papers should be submitted via https://easychair.org/conferences/?conf=cade27 CADE-27 ORGANIZERS Conference Chair: Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Organizers: Carlos Olarte Federal University of Rio Grande do Norte, Brazil Joao Marcos Federal University of Rio Grande do Norte, Brazil Claudia Nalon University of Brasilia, Brazil Giselle Reis CMU, Qatar Program Committee Chair: Pascal Fontaine Universite de Lorraine, CNRS, Inria, LORIA, France Workshop, Tutorial, and Competition Chair: Giles Reger University of Manchester, UK Publicity Chair: Geoff Sutcliffe University of Miami, USA Program Committee: Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Franz Baader, TU Dresden, Germany Clark Barrett, Stanford University, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Maria Paola Bonacina, Universita degli Studi di Verona, Italy Leonardo Mendonca de Moura, Microsoft Research, USA Hans de Nivelle, Nazarbayev University, Astana, Kazakhstan Clare Dixon, University of Liverpool, UK Mnacho Echenim, Universite de Grenoble, France Marcelo Finger, University of Sao Paulo, Brazil Pascal Fontaine, Universite de Lorraine, CNRS, Inria, LORIA, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Juergen Giesl, RWTH Aachen University, Germany Rajeev Gore, The Australian National University, Australia Stefan Hetzl, Technische Universitaet Wien, Austria Marijn J. H. Heule, The University of Texas at Austin, USA Nao Hirokawa, JAIST, Japan Moa Johansson, Chalmers University of Technology, Sweden Cezary Kaliszyk, University of Innsbruck, Austria Deepak Kapur, University of New Mexico, USA Benjamin Kiesl, Technische Universitaet Wien, Austria Konstantin Korovin, The University of Manchester, UK Laura Kovacs, Technische Universitaet Wien, Austria Ramana Kumar, DeepMind, UK Claudia Nalon, University of Brasilia, Brazil Vivek Nigam, Federal University of Paraiba & Fortiss, Brazil & Germany Carlos Olarte, Federal University of Rio Grande do Norte, Brazil Jens Otten, University of Oslo, Norway Andre Platzer, Carnegie Mellon University, USA Andrew Reynolds, The University of Iowa, USA Philipp Ruemmer, Uppsala University, Sweden Renate A. Schmidt, The University of Manchester, UK Stephan Schulz, DHBW Stuttgart, Germany Roberto Sebastiani, University of Trento, Italy Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Universitaet Koblenz-Landau, Germany Martin Suda, Czech Technical University, Czech Republic Geoff Sutcliffe, University of Miami, USA Rene Thiemann, University of Innsbruck, Austria Uwe Waldmann, Max Planck Institute for Informatics, Germany Christoph Weidenbach, Max Planck Institute for Informatics, Germany Sarah Winkler, University of Innsbruck, Austria CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR WORKSHOPS Workshop proposals for CADE-27 are solicited. The workshops will take place on August 25-26 2019, before the main conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days) and preferred day(s). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). + What are the plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-27 are solicited. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest for CADE-27. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Proposed tutorial duration (from half a day to one days) and the preferred day. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP System Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. Proposals should include the following information: + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? IMPORTANT DATES Workshop/Tutorials/System Competitions: Submission deadline: 15 November 2018 Notification: 15 December 2018 SUBMISSION INSTRUCTIONS Proposals for workshops, tutorials, and system competitions should be uploaded via https://easychair.org/conferences/?conf=cade27wtc

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2018