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

オートマトン&ロジックワークショップ開催の案内@秋田大(3/26~3/27)
by Ryoma Sin'ya 18 Feb '19

18 Feb '19

みなさま，秋田大学の新屋です． 3月26日(火)・3月27日(水)の2日間，秋田大学にてオートマトンとロジックのワークショップを開催します．会場情報やプログラム・講演概要を下記のページにて公開しています．皆様どうぞ奮ってご参加ください． https://sites.google.com/view/automata-logic-akita2019/home <https://sites.google.com/view/automata-logic-akita2019/home> 聴講参加は申し込みは不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は 3月11日(月)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．秋田大学数理科学コース新屋良磨

1 0

公募（助教：東工大情報理工学院情報工学系）
by Shin-ya Nishizaki 15 Feb '19

15 Feb '19

皆様下記の通り，助教の公募を致しておりますので，ご検討の程お願い申し上げます。東京工業大学学術国際情報センター西崎真也職名：助教〆切：２０１９年３月１日職務内容：情報理工学院計算機室の保守管理，および計算機演習の補助・ PBL に基づくソフトウェア開発実習の補助を担当する。教育・研究のエフォートは各々５０％・５０％である。分野：情報工学一般，特に，情報工学基礎（数理論理学，計算理論，プログラム理論，等），ソフトウェア関連分野など公募の詳細は下記をご参照ください。 http://www.hyoka.koho.titech.ac.jp/eprd/recently/koubo/koubo.php

1 0

【論文募集】Haskell Symposium 2019@ベルリン【Early Track〆切：3/15，Regular Track〆切：5/10，会議：8/22-23】
by Kazutaka Matsuda 15 Feb '19

15 Feb '19

# 複数受けとられた方はご容赦ください．皆様，東北大学の松田です． ICFP 2019併設の国際会議Haskell Symposium 2019（8/22-8/23@ベルリン）の論文募集の案内を御送りいたします．重要な日程は以下の通りです． Early Track: 投稿〆切：3/15 採否通知：4/19 Regular Track and Demo: 投稿〆切：5/10 採否通知：6/21 会議：8/22-8/23 何卒投稿をご検討いただけますと幸いです． CFPにあります通り，今年は軽量double blind reviewを採用しております．投稿時はお気をつけください． ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2019 Berlin, Germany 22--23 August, 2019 http://www.haskell.org/haskell-symposium/2019/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2019 will be co-located with the 2019 International Conference on Functional Programming (ICFP). **NEW THIS YEAR**: We will be using a lightweight double-blind reviewing process. See further information below. 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; * 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. 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. Submission Details ================== Early and Regular Track ----------------------- The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Strong papers submitted to the early track are accepted outright, and the others will be given their reviews and invited to resubmit to the regular track. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. 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, and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2019 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 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 --------- Early track: Submission deadline: 15 March 2019 (Fri) Notification: 19 April 2019 (Fri) Regular track and demos: Submission deadline: 10 May 2019 (Fri) Notification: 21 June 2019 (Fri) Camera-ready deadline for accepted papers: 30 June 2019 (Thu) Deadlines are valid 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). 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://haskell19.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 are free to upload both 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 principal editor 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. Travel Support ============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://pac.sigplan.org). Proceedings =========== Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. 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. Program Committee ================= Ki-Yung Ahn Hannam University Christiaan Baaij QBayLogic B.V. José Manuel Calderón Trilla Galois, Inc Benjamin Delaware Purdue University Richard Eisenberg (chair) Bryn Mawr College Jennifer Hackett University of Nottingham Kazutaka Matsuda Tohoku University Trevor McDonnell Utrecht University Ivan Perez NIA / NASA Formal Methods Nadia Polikarpova University of California, San Diego Norman Ramsey Tufts University Christine Rizkallah University of New South Wales Eric Seidel Bloomberg LP Alejandro Serrano Mena Utrecht University John Wiegley Dfinity Foundation Thomas Winant Well-Typed LLP Ningning Xie University of Hong Kong If you have questions, please contact the chair at: rae(a)cs.brynmawr.edu ================================================================================

1 0

理論計算機科学と圏論ワークショップ（CSCAT 2019）3/9-10
by MIYOSHI HIROYUKI 09 Feb '19

09 Feb '19

各メーリングリストの皆様，京都産業大学の三好です。理論計算機科学と圏論ワークショップ（CSCAT 2019）が3/9-10に行われるとのことです。私もさきほど知ったところです。 cs_catメーリングリストには入っていたはずなのですが…… 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------- 転送メッセージ --------- From: Kensuke Kojima <kozima(a)kuis.kyoto-u.ac.jp> 日付: 2019年1月13日(日) 12:41 件名: CSCAT 2019 開催案内 To: <cs_cat(a)group-mmm.org> CSCAT メーリングリストの皆様、京都大学の小島です。今年の CSCAT のお知らせです。日時： 2019年3月9日（土）〜3月10日（日）会場：東北大学理学部数理科学記念館（川井ホール） URL：https://sites.google.com/view/cscat2019/home 連絡先：cscat2019(a)grp.tohoku.ac.jp 今年は会場の手配を東北大学の赤間先生にお願いして、講演の取りまとめを小島が行う形で開催することになりました。懇親会を3月9日の夜に行う予定です。予算は一人6000円程度の見込みです。講演・懇親会への参加を希望される方は2月22日までに、それぞれ以下の申し込みフォームへご記入下さい。（聴講のみで懇親会にも参加されない場合は申し込み不要です。）講演申し込み https://goo.gl/forms/DscPaYGBsIbUFDua2 懇親会申し込み https://goo.gl/forms/7cCq16mOxlV1GZ6o2 皆様の参加をお待ちしております。小島

1 0

JAIST Logic Seminar Series (Feb 26, 13:30-15:30)
by Nao Hirokawa 08 Feb '19

08 Feb '19

皆様２月２６日（火）に行われます、ウィーン工科大学 Matthias Baaz 先生とインスブルック大学 Cezary Kaliszyk 先生の講演のお知らせです。皆様、どうぞ奮ってご参加ください。廣川　直（北陸先端科学技術大学院大学情報科学系） ----------------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Feb 26 (Tue), 2019, 13:30 - 15:30 Place: I-56 (Collaboration Room 7) on 5F of IS Building III at JAIST (Access: http://www.jaist.ac.jp/english/location/access.html) -*- -*- -*- -*- -*- -*- -*- -*- -*- Speaker: Matthias Baaz (Vienna University of Technology) Title: On the benefit of unsound rules: Henkin quantifiers and beyond Abstract: We give examples of analytic sequent calculi LK+ and LK++ that extend Gentzen's sequent calculus LK by unsound quantifier rules in such a way that i) derivations lead only to true sequents, ii) cut free proofs may be non-elementary shorter than cut free LK proofs. This research is based on properties of Hilbert's epsilon calculus and is part of efforts to complement Hilbert's stepwise concept of proof by useful global concepts. We use these ideas to provide analytic calculi for Henkin quantifiers demonstrate soundness, (cut free) completeness and cut elimination. Furthermore, we show, that in the case of quantifier macros such as Henkin quantifiers for a partial semantics global calculi are the only option to preserve analyticity. -*- -*- -*- -*- -*- -*- -*- -*- -*- Speaker: Cezary Kaliszyk (University of Innsbruck) Title: Learning Theorem Proving from Scratch Abstract: Machine learning can in some domains find algorithms that are better than human heuristics. In this talk we will look at various theorem proving problems and their heuristics, and see which of those can be replaces by machine learned strategies. Instead of typical brute-force search, we will consider Monte-Carlo simulations guided by reinforcement learning from previous proof attempts. Various predictors for estimating the usefulness of proof steps and the likelihood of closing the open tableaux branches will be compared. -----------------------------------------------------------------------

1 0

【参加募集（交通案内更新）】第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
by Kazuyuki ASADA 05 Feb '19

05 Feb '19

PPLの皆様（重複ご容赦ください），東北大学の浅田です． 3月6日(水) 〜 8日(金)に，岩手県花巻市で開催される，第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) の参加登録のご案内をいたします．多くの方々のご参加をお待ちしております．会議の終了時間の情報と送迎バスの情報を更新致しました： https://jssst-ppl.org/workshop/2019/access.html 航空券の28日前早割の期限が間近ですので，よろしければご検討ください．参加登録の締切は2月20日(水)です．どうぞお早めのご登録をお願い致します．あわせて，送迎バスのアンケートへのご協力をよろしくお願い致します． -------------------------------------------------------------------------- 第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） https://jssst-ppl.org/workshop/2019/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日(水) 〜 8日(金) 会場: 岩手県花巻市志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2019/registration.html 参加登録締切：2019年2月20日(水) 問い合わせ先： ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会笹田耕一 (クックパッド)[プログラム共同委員長] 末永幸平 (京都大学)[プログラム共同委員長] 青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 佐藤重幸 (東京大学) 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (brainbot technologies AG) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) ・組織委員会浅田和之 (東北大学)[組織委員長] 平石拓 (京都大学)[組織副委員長] 木村大輔 (東邦大学)[財務担当] 森口草介 (関西学院大学)[財務副担当] 新屋良磨 (秋田大学)[会場担当] 安部達也 (千葉工業大学)[会場副担当] 佐藤亮介 (九州大学)[渉外担当] 笹田耕一 (クックパッド)[プログラム共同委員長] 末永幸平 (京都大学)[プログラム共同委員長] ================================================================

1 0

【論文募集】Bx 2019 (Workshop on Bidirectional Transformations)【2/12アブスラクト〆切】
by Kazutaka Matsuda 31 Jan '19

31 Jan '19

複数お受けとられた方はご容赦ください．東北大学の松田です．来たる6月4日に開催される双方向変換に関する国際ワークショップ Bx 2019 のご案内を御送りいたします．〆切等の日程は以下となっております．アブストラクト〆切：2/12 (AoE) 論文〆切：2/19 (AoE) 採否通知：4/8 カメラレディ〆：5/1前後〆切まで日数が近くギリギリの案内で恐縮ですが，どうぞご投稿を検討いただければ幸いです． Bx 2019: 8th International Workshop on Bidirectional Transformations ==================================================================== Highlights: - workshop date set on June 4, 2019 - Zachary Ives confirmed as invited speaker - abstract submission in two weeks (Tuesday, Feb 12, AoE) - links to CEUR-WS.org style and template files updated * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ * Invited speaker: Zachary Ives (University of Pennsylvania) Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases, topics that we hope will complement Bx and help build engagement with these communities. Important Dates =============== - Abstract submission: Feb 12 (AoE) - Paper submission: Feb 19 (AoE) - Author notification: Apr 8 - Camera-ready: around May 1 - Workshop: Jun 4, 2019 Aims and Topics =============== The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support Submission Guidelines ===================== Papers must follow the CEUR-WS.org one-column style (with page numbers) available at - http://ceur-ws.org/Vol-XXX/samplestyles/onecolpceurws.sty and must be submitted via EasyChair: - https://www.easychair.org/conferences/?conf=bx2019 A sample LaTeX file using the above style (along with an included sample image) can be downloaded at - http://ceur-ws.org/Vol-XXX/samplestyles/paper1p.tex - http://ceur-ws.org/Vol-XXX/samplestyles/fig1.eps Five categories of submissions are considered: * Full Research Papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts and Short Papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. Proceedings and Special Issue ============================= The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR-WS.org. A special issue open to all authors of papers in BX workshops over the past few years is planned. Program committee ================= * Co-chairs - James Cheney, University of Edinburgh, UK - Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan * Members - Leopoldo Bertossi, Carleton University, Canada - Ravi Chugh, University of Chicago, US - Zinovy Diskin, McMaster University, Canada - Paolo Guagliardo, University of Edinburgh, UK - Jules Hedges, University of Oxford, UK - Michael Johnson, Macquarie University, Australia - Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany - Kazutaka Matsuda, Tohoku University, Japan - Anders Miltner, Princeton University, US - Alfonso Pierantonio, University of L'Aquila, Italy - Perdita Stevens, University of Edinburgh, UK - Daniel Strüber, University of Koblenz and Landau, Germany - Manuel Wimmer, Vienna University of Technology, Austria - Nicolas Wu, University of Bristol, UK

1 0

[ポスター発表募集] 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
by Kohei SUENAGA 29 Jan '19

29 Jan '19

皆様第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) のプログラム共同委員長を仰せつかっております京大の末永とクックパッドの笹田です。下記の通り、ポスター発表の締め切りが「2019年2月6日 (水) 17:00 (JST)」と迫ってきましたので、ご連絡いたします。重複してお受け取りになりましたらご容赦ください。募集要項には「2時間程度のセッション内でのポスター発表またはデモ発表」とありますが、例年発表が多い割に時間が短い、というご意見もあったため、時間の延長を検討しております。カテゴリ1などの発表でご応募頂いた皆様にも、ぜひポスターで議論を深めて頂くため、ポスターにもご応募頂けますと幸いです。以上、よろしくお願いします。 On 2018/11/26 10:09, Kohei SUENAGA wrote: > PPL 2019 は 2019年3月6日 (水)～3月8日 (金) の日程で > 岩手県志戸平温泉で開催されます．実装系理論系問わず > プログラミングやプログラミング言語に関する研究をされている方は > どうぞ論文の投稿をご検討ください． > > 国内外未発表論文を募集するカテゴリ1については > 発表申込締切: 2019年12月21日 (金) 17:00 (JST) > 論文提出締切: 2019年1月7日 (月) 17:00 (JST) > となっております． > > 本年は以下の二名の方の招待講演を予定しております． > 萩谷昌己（東京大学） > 植山類（Google） ... > カテゴリ3 (ポスター・デモ発表) > ------------------------------ > 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発 > 表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込 > み多数の場合はプログラム委員会で選考致します． > > 発表申込締切: 2019年2月6日 (水) 17:00 (JST) > 採否通知：2019年2月11日 (月) -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 25 Jan '19

25 Jan '19

皆様 LMUミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks and EU Horizon 2020 Marie Skłodowska-Curie actions RISE project CID (http://www.jaist.ac.jp/logic/ja/core2core, http://cid.uni-trier.de/). Date: Wednesday 6 March, 2019, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Helmut Schwichtenberg (Mathematisches Institut, LMU Muenchen) Title: Equality and extensionality Abstract: We sketch a theory of computable functionals (TCF) based on finitary algebras given by their constructors. Its intended semantics admits non-total functionals. For closed algebras of level zero we allow infinite stream-like objects. For higher types we define (pointwise) equality as a logical relation, and extensionality by diagonalization of equality. We define realizability and -- in the spirit of Kolmogorov (1932) -- add an invariance axiom: every computationally relevant (c.r.) formula A is equivalent to the existence of an extensional realizer of A. Then we can prove (ordinary and dependent) choice, and also a soundness theorem stating that the computational content extracted from a proof of a c.r. formula A realizes A.

1 0

RIMS
by arai toshiyasu 24 Jan '19

24 Jan '19

みなさま新井@千葉大です。既にご存知の方もいらっしゃると思いますが念のためお知らせします。 RIMS は昨年11月に共（同利用）・共（同研究）拠点から国際共・共拠点に衣替えしました。それに伴う拠点事業の変更の要点は： (1) 従来の拠点事業　プロジェクト研究　RIMS共同研究（公開型）　RIMS共同研究（グループ型）　RIMS合宿型セミナー　長期研究員を以下に再編する：　訪問滞在型研究（プロジェクト研究の拡大版）　RIMS共同研究（公開型）　RIMS共同研究（グループ型A, グループ型B[新規], グループ型C[新規]）　RIMS合宿型セミナー　RIMS総合研究セミナー[新規] 　長期研究員　プロジェクトフェロー[新規] 4つの[新規],は　グループ型Bは、数名による国際共同研究　グループ型Cは、外国人のみによる共同研究　総合研究セミナーは、研究者向けのチュートリアル　プロジェクトフェローは、訪問滞在型研究の　企画実施支援のために雇用されるPD (2) 上記の拠点事業の内、長期研究員とプロジェクトフェロー以外を国際公募とし、事業費による海外からの研究者の渡航費支払いを認める。 (3) グループ型Bに機動性を持たせるために、通年募集とし年3回の締切と採択を行う。詳細はRIMSのページ　http://www.kurims.kyoto-u.ac.jp/kyoten/ja/index.html でご確認下さい。尚、今年度内の追加募集も始まっています。以上、報告まで -- 新井敏康

1 0

【参加募集】第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
by Kazuyuki ASADA 23 Jan '19

23 Jan '19

PPLの皆様（重複ご容赦ください），東北大学の浅田です． 3月6日(水) 〜 8日(金)に，岩手県花巻市で開催される，第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) の参加登録を開始いたしましたので，ご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月20日(水)です．どうぞお早めのご登録をお願い致します．あわせて，送迎バスのアンケートへのご協力をよろしくお願い致します．また，カテゴリ2 (国外既発表論文) とカテゴリ4 (サーベイ・チュートリアル発表) の発表申込締切が1月25日(金) 17:00 (JST)，カテゴリ3 (ポスター・デモ発表) の発表申込締切が2月6日(水) 17:00 (JST) となっております．これらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） https://jssst-ppl.org/workshop/2019/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日(水) 〜 8日(金) 会場: 岩手県花巻市志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2019/registration.html 参加登録締切：2019年2月20日(水) 問い合わせ先： ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会笹田耕一 (クックパッド)[プログラム共同委員長] 末永幸平 (京都大学)[プログラム共同委員長] 青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 佐藤重幸 (東京大学) 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (brainbot technologies AG) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) ・組織委員会浅田和之 (東北大学)[組織委員長] 平石拓 (京都大学)[組織副委員長] 木村大輔 (東邦大学)[財務担当] 森口草介 (関西学院大学)[財務副担当] 新屋良磨 (秋田大学)[会場担当] 安部達也 (千葉工業大学)[会場副担当] 佐藤亮介 (九州大学)[渉外担当] 笹田耕一 (クックパッド)[プログラム共同委員長] 末永幸平 (京都大学)[プログラム共同委員長] ================================================================

1 0

Talk by Ulrich Berger (17th January, 11.00-)
by Kazushige TERUI 14 Jan '19

14 Jan '19

みなさま今週木曜に京都大学にてUlrich Bergerさんによるご講演があります。詳細は下記の通りです。よろしければご参加ください。京都大学数理解析研究所照井一成 ========== Time: 11:00-12:00, 17th January, 2019 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Ulrich Berger (Swansea University) Title: Extracting the Fan Functional Abstract: Consider a continuous functional F : (N -> B) -> N where N is the type of natural numbers and B is the type of Booleans, both endowed with the discrete topology, and the function space N -> B carries the pointwise topology. By a compactness argument (Koenig's Lemma or Fan Theorem), F is uniformly continuous. Therefore, there exists a least modulus of uniform continuity for F, that is, a least natural number m such that F equates any two arguments that coincide below m. The mapping F |-> m is called Fan Functional. Gandy showed that the Fan Functional is computable. Later it was shown that it is computable even in the restricted sense of Kleene's schemata (S1-S9), or, equivalently, PCF. In this talk we show that the Fan Functional is the computational content of a constructive proof of the uniform continuity of F.

1 0

ENTROPY 2019: Call for Papers - Co-located with EuroS&P'19
by David Nowak 14 Jan '19

14 Jan '19

************************************************************************** Call for papers — ENTROPY 2019 ENabling TRust through Os Proofs … and beYond Second International workshop on the use of theorem provers for modelling and verification at the hardware-software interface Co-located with EuroS&P'19, KTH, Stockholm, June 2019 ************************************************************************** AIM AND SCOPE Low level software such as kernels and drivers, along with the hardware this software runs on, is critical for application security. In contrast with user applications, OS kernel software runs in privileged CPU mode and is thus highly critical. Large projects such as seL4, VeriSoft, CertiKoS and Prosper have invested considerable resources in developing formally verified systems such as hypervisors and microkernels, supplying proofs that they satisfy critical properties. Such proofs are delicate in terms of the scale and complexity of real systems, the models used in performing the proof search, and the relations between the two, which recent vulnerabilities such as Spectre and Meltdown have shown to be a highly non-trivial issue. The purpose of this workshop is to share, compare and disseminate best practices, tools and methodologies to verify OS kernels, also setting the stage for future steps in the direction of fully verified systems, dealing with issues related to modelling, model validation, and large proof maintenance through system evolution. On one hand, we need to make low-level proofs more scalable, modular and cost-effective. On the other hand, once certified systems are available, preservation and maintenance of their proofs of validity become key questions. The goal of the ENTROPY workshop is to provide a forum for researchers and practitioners in this space, linking operating systems, formal methods, and hardware architecture, interested in system design as well as machine verified mathematical proofs using proof assistants such as Coq, Isabelle and HOL4. This will be the second edition of the ENTROPY workshop series. The first workshop was organised by the Pip Development Team at University of Lille in 2018. TOPICS OF INTEREST Specific topics include, but are not limited to: * Verified kernels and hypervisors * Verified security architectures and models * Tools and frameworks for hardware security analysis * Tools and frameworks for security analysis * Formal hardware models and model validation techniques * Theorem prover based tools and frameworks for verification of low level code * Combinations of static analysis and theorem proving * Theories and techniques for compositional security analysis * Case studies and industrial experience reports * Proof maintenance techniques and problems * Compositional models and verification techniques * Proof oriented design The aim of the workshop is to stimulate innovation and active exchange of ideas, so position papers, work-in-progress and industrial experience submissions are welcome. INVITED SPEAKERS (to be extended) Frank Piessens, KU Leuven Peter Sewell, Univ. Cambridge IMPORTANT DATES Paper submission: March 11 2019 Author notification: April 10, 2019 Camera-ready versions: April 22, 2019 (strict) Workshop: 16 June 2019 SUBMISSION AND PUBLICATION There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (8 pages, references included, IEEE format) 2. Short papers, position papers, industry experience reports, work-in-progress submissions: (4 pages, references included, IEEE format) All papers should be in English and describe original work that has not been published or submitted elsewhere. The submission category should be clearly indicated. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in IEEE Xplore in a companion volume to the regular EuroS&P proceedings. For formatting and submission instructions see https://entropy2019.sciencesconf.org. PROGRAM CHAIRS Mads Dam, KTH Royal Institute of Technology David Nowak, CNRS and University of Lille PROGRAM COMMITTEE Christoph Baumann, Ericsson AB Gustavo Betarte, Univ. de la República, Uruguay David Cock, ETH Zurich Mads Dam, KTH Royal Institute of Technology (chair) Anthony Fox, ARM Deepak Garg, MPI Saarbrucken Ronghui Gu, Columbia University Samuel Hym, Univ. Lille Thomas Jensen, INRIA and Univ. Rennes Toby Murray, Univ. Melbourne David Nowak, CNRS & Univ. Lille (chair) Vicente Sanchez-Leighton, Orange Labs Thomas Sewell, Chalmers -- David Nowak http://www.cristal.univ-lille.fr/~nowakd/

1 0

FSCD 2019 Last Call for Papers
by Nao Hirokawa 11 Jan '19

11 Jan '19

皆様今年６月にドイツ・ドルトムントで開催されます、計算と演繹に関する国際会議 FSCD の論文募集の最終案内をお送り致します。是非、投稿をご検討下さい。廣川 (JAIST) --------------- Updated information: titles and abstracts of invited talks are now available --------------- CALL FOR PAPERS Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019) 24 -- 30 June 2019, Dortmund, Germany http://easyconferences.eu/fscd2019/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: 8 February 2019 Full Papers: 11 February 2019 Rebuttal period: 28 March -- 1 April 2019 Authors Notification: 8 April 2019 Final version for proceedings: 22 April 2019 FSCD 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 (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). Suggested, but not exclusive, list of topics for submission are: 1. Calculi: Rewriting systems, Lambda calculus, Concurrent calculi, Logics, Type theory, Homotopy type theory, Logical frameworks, Quantum calculi 2. Methods in Computation and Deduction: Type systems; Induction and coinduction; Matching, unification, completion and orderings; Strategies; Tree automata; Model checking; Proof search and theorem proving; Constraint solving and decision procedures 3. Semantics: Operational semantics; Abstract machines; Game Semantics; Domain theory; Categorical models; Quantitative models 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 (e.g. design and verification of critical systems); Applications in other sciences (e.g. biology) 6. Semantics and verification in new challenging areas: Certification; Security; Blockchain protocols; Data bases; Deep learning and machine learning algorithms; Planning INVITED SPEAKERS ----------- Titles and abstracts available at http://easyconferences.eu/fscd2019/invited-speakers/ * Beniamino Accattoli (INRIA, Paris, France) https://sites.google.com/site/beniaminoaccattoli/ * Amy Felty (University of Ottawa, Canada) http://www.site.uottawa.ca/~afelty/ * Sarah Winkler (University of Innsbruck, Austria) http://cl-informatik.uibk.ac.at/users/swinkler/ * Hongseok Yang (KAIST, Korea) https://sites.google.com/view/hongseokyang/ 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. SUBMISSION GUIDELINES --------------------- Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g.\ proofs) and 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. Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Complete instructions on submitting a paper can be found on the conference web site: http://easyconferences.eu/fscd2019/ BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will consider declaring this award to 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). SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science. PROGRAM COMMITTEE ----------------- H. Geuvers, Radboud U. Nijmegen (Chair) Z. Ariola, U. of Oregon M. Ayala Rincón, U. of Brasilia A. Bauer, U. of Ljubljana F. Bonchi, U. of Pisa S. Broda, U. of Porto U. Dal Lago, U. of Bologna & Inria U. De'Liguoro, U. of Torino D. Kapur, U. of New Mexico P. Dybjer, Chalmers U. of Technology M. Fernandez, King's College London J. Giesl, RWTH Aachen N. Hirokawa, JAIST S. Lucas, U. Politecnica de Valencia A. Middeldorp, U. of Innsbruck F. Pfenning, Carnegie Mellon U. B. Pientka, McGill U. J. van de Pol, Aarhus U. & U. of Twente F. van Raamsdonk, VU Amsterdam C. Schürmann, ITU Copenhagen P. Severi, U. of Leicester A. Silva, U. College London S. Staton, Oxford U. T. Streicher, TU Darmstadt A. Stump, U. of Iowa N. Tabareau, Inria S. Tison, U. of Lille A. Tiu, Australian National U. T. Tsukada, U. of Tokyo J. Urban, CTU Prague P. Urzyczyn, U. of Warsaw J. Waldmann, Leipzig U. of Applied Sciences CONFERENCE CHAIR ---------------- Jakob Rehof, TU Dortmund LOCAL WORKSHOP CHAIR -------------------- Boris Düdder, U. of Copenhagen STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- J. Vicary, Oxford U. PUBLICITY CHAIR --------------- Sandra Alves , Porto U. FSCD STEERING COMMITTEE ----------------------- S. Alves (Porto U.), M. Ayala-Rincón (Brasilia U.) C. Fuhs (Birkbeck, London U.) D. Kesner (Chair, Paris U.) H. Kirchner (Inria) N. Kobayashi (U. Tokyo) C. Kop (Radboud U. Nijmegen) D. Miller (Inria) L. Ong (Chair, Oxford U.) B. Pientka (McGill U.) S. Staton (Oxford U.)

1 0

CFP: Agda Implementors' Meeting XXIX (March 13 - 19 at Ochanomizu University)
by Youyou Cong 10 Jan '19

10 Jan '19

Dear all (English translation follows below), 皆様、お茶の水女子大学の叢です。第29回 Agda Implementors' Meeting (AIM XXIX) を 3月13日（水）から 3月19日（火）までの予定で、お茶の水女子大学にて開催します。このミーティングでは、定理証明支援系 Agda のユーザと開発者が言語の理論や応用、拡張などについて議論します。参加者に期待されるのは、 - 発表セッションへの貢献（任意・進行中の仕事も歓迎） - code sprints への参加の2つです。ミーティングに関する情報は、以下のページに追加していく予定です： http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIX 参加者と発表の概数を把握したいので、参加をご希望の方は、 3月1日（金）までにメール最下部のフォームを so.yuyu(a)is.ocha.ac.jp 宛にお送りください。多数のご参加をお待ちしております。どうぞよろしくお願いいたします。叢悠悠 We are happy to announce that the 29th Agda Implementors' Meeting (AIM XXIX) will be held at Ochanomizu University from March 13 (Wednesday) to March 19 (Tuesday). AIM provides an opportunity for the users and implementors of the Agda proof assistant to discuss the theory, applications, and extensions of the language. Participants are expected to present their work in the talk session and take part in one or more projects in the code sprint session. More information about the meeting can be found at: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIX If you are interested in joining the meeting, please fill out the form below and send it to so.yuyu(a)is.ocha.ac.jp by March 1 (Friday). We look forward to your participation and contribution! Best regards, Youyou -------8<-------------------------------------------------- Name: Title and abstract (if you want to give a talk or lead a discussion; optional): Suggestions for code sprints (optional): Additional comments (optional):

1 0

ラムダ計算と論理の早春セミナー
by Naosuke MATSUDA 10 Jan '19

10 Jan '19

みなさま神奈川大学の松田と申します． 3月8日-11日に草津セミナーハウスで，ラムダ計算と論理の早春セミナーを開催いたします．ラムダ計算・論理およびその周辺の話題を広く募集しています．本セミナーでは，講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています．議論し成果を挙げる場・学生の簡単な発表の場など，様々に活用していただければ幸いです．詳細は下記のWebページをご確認ください． https://sites.google.com/view/lls2019/home みなさまのご参加をお待ちしております． -- Naosuke Matsuda, Department of Information Sciences Kanagawa University Tsuchiya 2946 Hiratsuka-shi, Kanagawa 259-1293, Japan

1 0

Workshop “Norm, Rule and Disagreement” Keio University Jan.11th, 2019
by Mitsu Okada 10 Jan '19

10 Jan '19

直前ですが、次のワークショップの案内を流させていただきます。岡田光弘　慶應義塾大学 Workshop “Norm, Rule and Disagreement” Keio University Jan.11th, 2019 ワークショップ”Norm, Rule and Disagreemtnt”のお知らせ（慶応義塾大1月11日） ------------------------------------------------------------------------------------------------------------------ 次のようなワークショップを予定しています。参加自由、事前登録無しです。パリ第１大学哲学科及び同大学IHPST論理の哲学グループと共同企画し、毎年１月に開催しているワークショップシリーズの５回目に当たります。The following Workshop is organized as the 5th one of the workshop series co-organized with the philosophy of logic group of University of Paris-1 (of Department of Philosophy and of IHPST). For updated information, see Workshop URL https://abelard.flet.keio.ac.jp/seminar/norm-rule-disagreement-2018 ***ABSTRACTS are posted on the above page.* ** Time: Jan. 11th. Fri., 2019, 10:00-17:00, 1月11日金曜日 Place: 6th Floor, G-Lab, East Building (Higashi-Kan), Mita Campus of Keio University, 慶應義塾大学三田キャンパス東館6階G-Lab Seven (7) minutes walking distance from JR-Tamachi, Subway-Mita or Subway-Akabanebashi. JR田町駅、地下鉄三田駅、赤羽橋駅から徒歩7分 The South Building is #3 on Mita-Campus Map below: https:　(in Japanese and in English) //www.keio.ac.jp/ja/maps/mita.html //www.keio.ac.jp/en/maps/ PROGRAM 10:00 introductory remark 10:10 Pierre Wagner (Department of Philosophy and IHPST, University of Paris-1) "How to disagree in logic and mathematics?" 11:10 Presentations from the collaborative project members on Philosophy of Mathematics and Logic (tentative), including 1, Yuta Takahashi (Nagoya University), 2. Ryota Akiyoshi (Waseda University) titles to be announced 11:50-13:00 Lunch Break 13:00-13:40 Florencia Di Rocco (Keio University (and University of Paris-1)) "Disagreement" and "language games" 13:40-14:00 Discussion and Pause 14:00 Yuichiro Hosokawa (Tokyo Metropolitan University) "Belief, Knowledge and Possibility - Through Analysis of Gettier Problem by Modal Logic for Multiple Regions" 14:40-15:00 Discussion and Pause 15:00 Fleur Jongepier (Department of Ethics, Faculty of Philosophy, Theology and Religious Studies, Radboud University Nijmegen, the neitherlands) "Algorithmic authority versus First-person authority" 15:40-16:00 Discussion and Pause 16:00 Mitsuhiro Okada (Department of Philosophy, Keio University) Discussion on ”Formalism for Algorithmic Ethics”　and "Norm. Rule and Disagreement" 16:40 Closing Discussion Session 17:00 Closing ---------------------------------------------------------------- Workshop organizer, Sponsor, Global Research Center for Logic and Sensitivity, Keio University Email of the Workshop Office:logic@abelard.flet.keio.ac.jp 主催及び問い合わせ先慶應義塾大学　論理と感性のグローバル研究センター logic(a)abelard.flet.keio.ac.jo

1 0

Call for presentations: 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) カテゴリ2,3,4
by Kohei SUENAGA 05 Jan '19

05 Jan '19

皆様，（複数お受け取りの場合はご容赦ください．）クックパッドの笹田と京大の末永です． PPL 2019 のカテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問わない) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問わない) の募集が始まっております．発表される方は https://easychair.org/conferences/?conf=ppl2019 からどうぞお早めにお申込みください．多数の発表申し込みをお待ちしております．よろしくお願いいたします．笹田耕一末永幸平 ================================================================ 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) http://jssst-ppl.org/workshop/2019/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日(水)〜3月8日(金) 会場: 岩手県志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．本年度の PPL はプラチナスポンサーとして・株式会社フィックスターズ様・KLab株式会社様ゴールドスポンサーとして・クックパッド株式会社様・Idein株式会社様シルバースポンサーとして・一般財団法人Rubyアソシエーション様のご支援を頂いております．カテゴリ1 (国内外未発表論文; 締め切りました．) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．カテゴリ1で発表された研究のうち，PPL2019プログラム委員会により優れていると認められたものは， PPL2019終了後(2019年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2019推薦論文としての投稿が可能です．推薦論文は， PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) 採否通知：2019年2月4日 (月) 最終原稿締切: 2019年2月15日(木) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日 (金) 17:00 (JST) 採否通知：2019年2月6日 (水) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年2月6日 (水) 17:00 (JST) 採否通知：2019年2月11日 (月) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 採否通知：2019年2月6日 (水) 招待講演 -------- 萩谷昌己（東京大学）植山類（Google）以上お二方の招待講演を予定しております． ====================================================================== 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2019 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．すべてのカテゴリにおいて，理論系の発表のみだけではなく実装系の発表も歓迎いたします．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2018年12月21日 (金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2019年1月7日 (月) 17:00 (JST) 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF形式．PPL2019ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます．（最終原稿においては削除いただく可能性があります．）著者のweb page等においてソースコードや　実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採否通知：2019年2月4日(月) 最終原稿締切: 2019年2月15日(木) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります(他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知：2019年2月6日(水) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター発表またはデモ発表(あるいは両方)を募集いたします．2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年2月6日(水) 17:00 (JST) 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要 (200〜300字程度)，キーワード(3つ以上)を提出してください．発表形態については発表タイトル(Title欄)の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．採否通知：2019年2月11日(月) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年1月25日(金) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知：2019年2月6日(水) ================================================================ 問い合わせ先 ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ====================================================================== プログラム委員会青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 笹田耕一 (クックパッド) [プログラム共同委員長] 佐藤重幸 (東京大学) 末永幸平 (京都大学) [プログラム共同委員長] 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (brainbot technologies AG) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) 組織委員会組織委員長浅田和之 (東北大学) 組織副委員長平石拓 (京都大学) 財務担当木村大輔 (東邦大学) 財務副担当森口草介 (関西学院大学) 会場担当新屋良磨 (秋田大学) 会場副担当安部達也 (千葉工業大学) 渉外担当佐藤亮介 (九州大学) プログラム共同委員長笹田耕一 (クックパッド) プログラム共同委員長末永幸平 (京都大学) ====================================================================== -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

CCA 2019（7月8～11日・ザグレブ）論文募集
by Akitoshi Kawamura 29 Dec '18

29 Dec '18

メーリングリストの皆様九大の河村と申します。来年7月にクロアチアのザグレブで行われる「解析学と計算理論」の国際会議CCA 2019の御案内をお送りいたします。 ______________________________________________________________ First Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) http://cca-net.de/cca2019/ July 8-11, 2019, Zagreb, Croatia Submission deadline: March 13, 2019 ______________________________________________________________ The conference CCA 2019 is followed by the conference Computability in Europe (CiE 2019) that takes place in Durham, UK, from July 15-19, 2019. Topics - Computable analysis - Complexity on real numbers - Constructive analysis - Domain theory and analysis - Effective descriptive set theory - Theory of representations - Computable numbers, subsets and functions - Randomness and computable measure theory - Models of computability on real numbers - Realizability theory and analysis - Reverse analysis - Weihrauch complexity - Real number algorithms - Implementation of exact real number arithmetic Invited Speakers - Douglas Cenzer (Gainesville, USA) - Hannes Diener (Christchurch, New Zealand) - Jacques Duparc (Lausanne, Switzerland) - Hugo Férée (Kent, UK) - Guido Gherardi (Bologna, Italy) - Bruce Kapron (Victoria, Canada) - Joël Ouaknine (Saarbrücken, Germany) - Svetlana Selivanova (Novosibirsk, Russia) Scientific Programme Committee - Verónica Becher (Buenos Aires, Argentina) - Vasco Brattka, chair (Munich, Germany) - Akitoshi Kawamura, co-chair (Fukuoka, Japan) - Neil Lutz (Pennsylvania, USA) - Alberto Marcone (Udine, Italy) - André Nies (Auckland, New Zealand) - Peter Schuster (Verona, Italy) - Dieter Spreen (Siegen, Germany) - Florian Steinberg (Saclay, France) - Sebastiaan Terwijn (Nijmegen, The Netherlands) Organising Committee - Konrad Burnik (Amsterdam, The Netherlands) - Marko Horvat (Zagreb, Croatia) - Zvonko Iljazović, chair (Zagreb, Croatia) - Matea Kalinić (Split, Croatia) - Bojan Pažek (Zagreb, Croatia) Submissions Authors are invited to submit 1-2 pages abstracts in PDF format, including references via the following web page: https://easychair.org/conferences/?conf=cca2019 If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list. Final versions of abstracts might be distributed to participants in hard copy and/or in electronic form. Dates - Submission deadline: March 13, 2019 - Notification of authors: April 15, 2019 - Final version: May 6, 2019 - Registration deadline: May 20, 2019 -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 http://www.fc.inf.kyushu-u.ac.jp/~kawamura/ kawamura(a)inf.kyushu-u.ac.jp

1 0

JAIST Logic Seminar Series - Beckmann 教授講演のお知らせ (1月10日)
by Nao Hirokawa 28 Dec '18

28 Dec '18

皆様来年１月１０日（木）に北陸先端科学技術大学院大学で行われます Arnold Beckmann 教授の講演のお知らせです。皆様、どうぞ奮ってご参加ください。廣川直 (JAIST) ----------------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 10 January, 2019 (Thu) 13:30 - 15:00 Place: I-56 (Collaboration Room 7) at JAIST (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Arnold Beckmann (Swansea University) Title: Blockchain for Asset Reuse Abstract: We will consider how physical asset assemblies can be traced from cradle to grave via security tags linked to a blockchain system. The vision is that such blockchain enhanced asset systems will be important to enable a circular economy, in which all kind of goods, ranging from washing machines to cars, are being disassembled and reassembled, with increased asset reuse and material recycling. We will explain the basic principles behind this vision, and describe a blockchain demonstrator that realises a part of it. This is joint work with Michael Breach from Oyster Bay Systems, a Swansea based FinTech company. -----------------------------------------------------------------------

1 0

jobs in Canberra (from Rajeev Gore)
by 小野寛晰 22 Dec '18

22 Dec '18

We are advertising both fixed term and tenure track positions from level B (assistant professor), level C (associate professor) and level D (associate professor plus plus :) See here: http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-pr… <http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-pr…> Canberra is a great place to live! See here: https://canberra.com.au/how-did-canberra-win-the-title-of-the-most-liveable… <https://canberra.com.au/how-did-canberra-win-the-title-of-the-most-liveable…> We are also into proof-theory, formal verification using HOL4, Isabelle/HOL and Coq, type-theory and other topics which should be music to your ears, see here: https://cecs.anu.edu.au/research/theory/logic#acton-tabs-link--tabs-0-row_2… <https://cecs.anu.edu.au/research/theory/logic#acton-tabs-link--tabs-0-row_2…> Please feel free to contact me if you wish to discuss applying: rajeev.gore(a)anu.edu.au <mailto:rajeev.gore@anu.edu.au> And I promise that there are no crocodiles, jellyfish or sharks in our lake! See here: https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burl… <https://visitcanberra.com.au/attractions/56b23b58d5f1565045d801cf/lake-burl…> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -- Rajeev Gore' Professor, Logic and Computation Group, Research School of Computer Science ANU College of Engineering and Computer Science The Australian National University Canberra ACT 2601 Tel: +61-2-61 25 86 03 Fax: +61-2-61 25 86 51 Email: Rajeev.Gore(a)anu.edu.au <mailto:Rajeev.Gore@anu.edu.au> Web: http://arp.anu.edu.au/~rpg <http://arp.anu.edu.au/~rpg> ANU CRICOS Provider Number - 00120C

1 0

First Call for Papers: The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII)
by Katsuhiko Sano 20 Dec '18

20 Dec '18

Logic-ml の皆様、北海道大学の佐野勝彦です。来年10月に中国の重慶で開催される LORI-VII の cfp をお送りいたします。皆様、奮ってご投稿ください。佐野勝彦 --------------------------- First Call for Papers: The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII) 18-21 October 2019 South-West University, Chongqing, China Conference Website: http://golori.org/lori2019/ The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers. We invite submission of contributed papers on any of the broad themes of the LORI series; specific topics of interest include, but are not limited to, formal approaches to · agency · argumentation and agreement · belief representation · cooperation · belief revision and belief merging · strategic reasoning · games · decision making and planning · knowledge and action · epistemology · dynamics of informational attitudes · knowledge representation · interaction · norms and normative systems · natural language · rationality · philosophy and philosophical logic · preference and utility · social choice · probability and uncertainty · social interaction · intentions, plans, and goals Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your title and abstract by May 13, 2019, and your full paper by May 20, 2019. Submission is via the EasyChair for LORI-VII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information, and some will later be considered for publication in a special issue of an international journal. Local Chair: Meiyun Guo, South-West University, Chongqing, China. Inquiries concerning the submission of papers should be addressed to Patrick Blackburn (patrick.rowan.blackburn(a)gmail.com) and Emiliano Lorini (Emiliano.Lorini(a)irit.fr).

1 0

Final CFP (カテゴリ1): 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
by Kohei SUENAGA 17 Dec '18

17 Dec '18

皆様，（複数お受け取りの場合はご容赦ください．）クックパッドの笹田と京大の末永です． 12月11日に以下の論文募集をお送りしましたが， Easychair にて原稿 PDF をアップロードしなければ発表申し込みができない設定になっておりました．申し訳ありません．発表申し込みの段階では著者情報と論文概要のみが必要で， PDF のアップロードは不要です．現在は設定を修正しておりますので，もし発表申し込みをして失敗された方がいらっしゃいましたら，もう一度試してみていただければと思います．今週金曜日が締め切りですので，どうぞお早めの申込みをよろしくお願いいたします．笹田耕一末永幸平 -- 皆様，（複数お受け取りの場合はご容赦ください．）クックパッドの笹田と京大の末永です． PPL 2019 の国内外未発表論文 (カテゴリ 1) の発表申し込み締切が 2019年12月21日 (金) に迫ってまいりました．投稿を検討されている方は，どうぞお早めにお申し込みください．発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) となっております．どうぞよろしくお願いいたします．笹田耕一末永幸平 ================================================================ 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) http://jssst-ppl.org/workshop/2019/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日(水)〜3月8日(金) 会場: 岩手県志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．本年度の PPL はプラチナスポンサーとして・株式会社フィックスターズ様・KLab株式会社様ゴールドスポンサーとして・クックパッド株式会社様・Idein株式会社様シルバースポンサーとして・一般財団法人Rubyアソシエーション様のご支援を頂いております．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．カテゴリ1で発表された研究のうち，PPL2019プログラム委員会により優れていると認められたものは， PPL2019終了後(2019年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2019推薦論文としての投稿が可能です．推薦論文は， PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) 採否通知：2019年2月4日 (月) 最終原稿締切: 2019年2月15日(木) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日 (金) 17:00 (JST) 採否通知：2019年2月6日 (水) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年2月6日 (水) 17:00 (JST) 採否通知：2019年2月11日 (月) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 採否通知：2019年2月6日 (水) 招待講演 -------- 萩谷昌己（東京大学）植山類（Google）以上お二方の招待講演を予定しております． ====================================================================== 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2019 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．すべてのカテゴリにおいて，理論系の発表のみだけではなく実装系の発表も歓迎いたします．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2018年12月21日 (金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2019年1月7日 (月) 17:00 (JST) 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF形式．PPL2019ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます．（最終原稿においては削除いただく可能性があります．）著者のweb page等においてソースコードや　実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採否通知：2019年2月4日(月) 最終原稿締切: 2019年2月15日(木) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります(他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知：2019年2月6日(水) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター発表またはデモ発表(あるいは両方)を募集いたします．2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年2月6日(水) 17:00 (JST) 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要 (200〜300字程度)，キーワード(3つ以上)を提出してください．発表形態については発表タイトル(Title欄)の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．採否通知：2019年2月11日(月) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年1月25日(金) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知：2019年2月6日(水) ================================================================ 問い合わせ先 ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ====================================================================== プログラム委員会青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 笹田耕一 (クックパッド) [プログラム共同委員長] 佐藤重幸 (東京大学) 末永幸平 (京都大学) [プログラム共同委員長] 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (brainbot technologies AG) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) 組織委員会組織委員長浅田和之 (東北大学) 組織副委員長平石拓 (京都大学) 財務担当木村大輔 (東邦大学) 財務副担当森口草介 (関西学院大学) 会場担当新屋良磨 (秋田大学) 会場副担当安部達也 (千葉工業大学) 渉外担当佐藤亮介 (九州大学) プログラム共同委員長笹田耕一 (クックパッド) プログラム共同委員長末永幸平 (京都大学) ====================================================================== -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

Call for abstracts: Workshop on Logic and Cognition, A pre-conference workshop associated with ICLA 2019 (March 2, 2019 @ Indian Institute of Technology Delhi)
by Katsuhiko Sano 16 Dec '18

16 Dec '18

Logic-ml の皆様、北海道大学の佐野勝彦です。2019年3月2日にインドのIndian Institute of Technology Delhiで開催されるPre-conference Workshop on Logic and Cognition の Call for abstracts を転送いたします。佐野勝彦 ---------------------------------------- Pre-conference Workshop on Logic and Cognition Indian Institute of Technology Delhi March 2, 2019 The Association for Logic in India (ALI) has announced the eighth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Delhi from March 3 to 5, 2019: http://icla2019.cse.iitd.ac.in A pre-conference workshop on Logic and Cognition will be held on March 2, 2019. The workshop will focus on applying modal logics to analyze psychological tasks involving mental states, in particular: (I) the paradigmatic false belief tasks, and (II) higher order social reasoning tasks involving strategic games. We are interested in both model-theoretic and proof-theoretic approaches. Before describing recent advances in these fields, we plan on giving a brief introduction to relevant modal logics as well as relevant notions from psychology and cognitive science, thus making the workshop self-contained for a broad range of logicians, whatever the background: Computer science, linguistics, philosophy or mathematics. The workshop is organized by Torben Braüner (torben(a)ruc.dk) and Sujata Ghosh (sujata(a)isichennai.res.in). Speakers ------------------------- Rohit Parikh (CUNY, USA) Torben Braüner (Roskilde University, Denmark) Sujata Ghosh (ISI Chennai, India) Call for Abstracts ----------------------- We invite researchers in all areas of logic submit an extended abstract (at most two pages in length) for a contributed talk. Abstracts can be on topics relating any aspect of logic and cognition, for example, applications of logic to the analysis of actual human reasoning. The extended abstract should clearly state the contributions and provide significant details. Submissions should be sent as a pdf file to both sujata(a)isichennai.res.in and torben(a)ruc.dk. Important Dates ----------------------- The deadline for submissions is January 7, 2019. Notifications will be sent out as soon as possible thereafter.

1 0

セミナー案内
by KASHIMA Ryo 12 Dec '18

12 Dec '18

数理論理学セミナーのお知らせ東工大で定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を開催します。どなたでも参加できますが、普段のセミナー案内を受け取っていない方には別途詳細をご案内いたしますので、ご一報ください。 12月17日(月) 13:00-14:30 東工大M2およびD学生によるショートプレゼンテーション 14:40-15:30 新屋良磨（秋田大）：部分語数え上げ言語の無限性の特徴づけについて 15:40-16:30 大久保文哉（高千穂大学）：化学反応系に基づく言語を受理する計算モデル 16:50-17:40 竹内泉（産総研）：個体観念の不整合の許での引用の論理 17:50-18:40 中林美郷・田中一之（東北大）：1変数様相μ計算について ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp

1 0

Final CFP (カテゴリ1): 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
by Kohei SUENAGA 11 Dec '18

11 Dec '18

皆様，（複数お受け取りの場合はご容赦ください．）クックパッドの笹田と京大の末永です． PPL 2019 の国内外未発表論文 (カテゴリ 1) の発表申し込み締切が 2019年12月21日 (金) に迫ってまいりました．投稿を検討されている方は，どうぞお早めにお申し込みください．発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) となっております．どうぞよろしくお願いいたします．笹田耕一末永幸平 ================================================================ 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) http://jssst-ppl.org/workshop/2019/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日(水)〜3月8日(金) 会場: 岩手県志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．本年度の PPL はプラチナスポンサーとして・株式会社フィックスターズ様・KLab株式会社様ゴールドスポンサーとして・クックパッド株式会社様・Idein株式会社様シルバースポンサーとして・一般財団法人Rubyアソシエーション様のご支援を頂いております．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．カテゴリ1で発表された研究のうち，PPL2019プログラム委員会により優れていると認められたものは， PPL2019終了後(2019年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2019推薦論文としての投稿が可能です．推薦論文は， PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) 採否通知：2019年2月4日 (月) 最終原稿締切: 2019年2月15日(木) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日 (金) 17:00 (JST) 採否通知：2019年2月6日 (水) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年2月6日 (水) 17:00 (JST) 採否通知：2019年2月11日 (月) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 採否通知：2019年2月6日 (水) 招待講演 -------- 萩谷昌己（東京大学）植山類（Google）以上お二方の招待講演を予定しております． ====================================================================== 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2019 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．すべてのカテゴリにおいて，理論系の発表のみだけではなく実装系の発表も歓迎いたします．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2018年12月21日 (金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2019年1月7日 (月) 17:00 (JST) 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF形式．PPL2019ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます．（最終原稿においては削除いただく可能性があります．）著者のweb page等においてソースコードや　実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採否通知：2019年2月4日(月) 最終原稿締切: 2019年2月15日(木) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります(他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知：2019年2月6日(水) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター発表またはデモ発表(あるいは両方)を募集いたします．2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年2月6日(水) 17:00 (JST) 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要 (200〜300字程度)，キーワード(3つ以上)を提出してください．発表形態については発表タイトル(Title欄)の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．採否通知：2019年2月11日(月) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年1月25日(金) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知：2019年2月6日(水) ================================================================ 問い合わせ先 ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ====================================================================== プログラム委員会青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 笹田耕一 (クックパッド) [プログラム共同委員長] 佐藤重幸 (東京大学) 末永幸平 (京都大学) [プログラム共同委員長] 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (brainbot technologies AG) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) 組織委員会組織委員長浅田和之 (東北大学) 組織副委員長平石拓 (京都大学) 財務担当木村大輔 (東邦大学) 財務副担当森口草介 (関西学院大学) 会場担当新屋良磨 (秋田大学) 会場副担当安部達也 (千葉工業大学) 渉外担当佐藤亮介 (九州大学) プログラム共同委員長笹田耕一 (クックパッド) プログラム共同委員長末永幸平 (京都大学) ====================================================================== -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

JAIST Logic Workshopのご案内
by Hitoshi Omori 08 Dec '18

08 Dec '18

JAIST Logic Workshopのご案内 (重複してお受け取りの際はご容赦ください。) ボーフム大学の大森仁と申します。直前の案内になってしまいましたが、以下の通りワークショップが開かれます。 ------------------------------------- JAIST Logic Workshop 【日時】2018年12月12日 10:30-- 【場所】I-56 (Collaboration Room 7), JAIST 【ウェブサイト】https://sites.google.com/view/priestfest2018/related-events 【プログラム】 10:30--12:00 Zach Weber "On the metatheory for paraconsistent truth" 12:00--14:00 Lunch 14:00--15:30 Heinrich Wansing "Refutation as falsification" 15:30--15:45 Coffee 15:45--17:15 Thomas Ågotnes "TBA" ------------------------------------- Wansing先生とWeber先生は15日から17 日にかけて京大で開かれる研究集会でも話をされます。詳細はこちらをご覧ください：https://sites.google.com/view/priestfest2018/home 以上、どうぞ奮ってご参加下さい。よろしくお願いいたします。大森仁

1 0

証明論研究集会のご案内（締切を延長いたしました）
by Yoshihito Tanaka 07 Dec '18

07 Dec '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月10日（月）17:00までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

証明論研究集会2018のご案内（Reminder）
by Yoshihito Tanaka 28 Nov '18

28 Nov '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

FSCD 2019 Second Call for Papers
by Nao Hirokawa 28 Nov '18

28 Nov '18

皆様来年６月にドイツ・ドルトムントで開催されます、計算と演繹に関する国際会議 FSCD の論文募集の案内をお送り致します。是非、投稿をご検討下さい。廣川 (JAIST) ---------------------------------------------------------------------- CALL FOR PAPERS Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019) 24 -- 30 June 2019, Dortmund, Germany http://easyconferences.eu/fscd2019/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: 8 February 2019 Full Papers: 11 February 2019 Rebuttal period: 28 March -- 1 April 2019 Authors Notification: 8 April 2019 Final version for proceedings: 22 April 2019 FSCD 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 (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). Suggested, but not exclusive, list of topics for submission are: 1. Calculi: Rewriting systems, Lambda calculus, Concurrent calculi, Logics, Type theory, Homotopy type theory, Logical frameworks, Quantum calculi 2. Methods in Computation and Deduction: Type systems; Induction and coinduction; Matching, unification, completion and orderings; Strategies; Tree automata; Model checking; Proof search and theorem proving; Constraint solving and decision procedures 3. Semantics: Operational semantics; Abstract machines; Game Semantics; Domain theory; Categorical models; Quantitative models 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 (e.g. design and verification of critical systems); Applications in other sciences (e.g. biology) 6. Semantics and verification in new challenging areas: Certification; Security; Blockchain protocols; Data bases; Deep learning and machine learning algorithms; Planning INVITED SPEAKERS ----------- * Beniamino Accattoli (INRIA, Paris, France) https://sites.google.com/site/beniaminoaccattoli/ * Amy Felty (University of Ottawa, Canada) http://www.site.uottawa.ca/~afelty/ * Sarah Winkler (University of Innsbruck, Austria) http://cl-informatik.uibk.ac.at/users/swinkler/ * Hongseok Yang (KAIST, Korea) https://sites.google.com/view/hongseokyang/ 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. SUBMISSION GUIDELINES --------------------- Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g.\ proofs) and 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. Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Complete instructions on submitting a paper can be found on the conference web site: http://easyconferences.eu/fscd2019/ BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will consider declaring this award to 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). SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science. PROGRAM COMMITTEE ----------------- H. Geuvers, Radboud U. Nijmegen (Chair) Z. Ariola, U. of Oregon M. Ayala Rincón, U. of Brasilia A. Bauer, U. of Ljubljana F. Bonchi, U. of Pisa S. Broda, U. of Porto U. Dal Lago, U. of Bologna & Inria U. De'Liguoro, U. of Torino D. Kapur, U. of New Mexico P. Dybjer, Chalmers U. of Technology M. Fernandez, King's College London J. Giesl, RWTH Aachen N. Hirokawa, JAIST S. Lucas, U. Politecnica de Valencia A. Middeldorp, U. of Innsbruck F. Pfenning, Carnegie Mellon U. B. Pientka, McGill U. J. van de Pol, Aarhus U. & U. of Twente F. van Raamsdonk, VU Amsterdam C. Schürmann, ITU Copenhagen P. Severi, U. of Leicester A. Silva, U. College London S. Staton, Oxford U. T. Streicher, TU Darmstadt A. Stump, U. of Iowa N. Tabareau, Inria S. Tison, U. of Lille A. Tiu, Australian National U. T. Tsukada, U. of Tokyo J. Urban, CTU Prague P. Urzyczyn, U. of Warsaw J. Waldmann, Leipzig U. of Applied Sciences CONFERENCE CHAIR ---------------- Jakob Rehof, TU Dortmund LOCAL WORKSHOP CHAIR -------------------- Boris Düdder, U. of Copenhagen STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- J. Vicary, Oxford U. PUBLICITY CHAIR --------------- Sandra Alves , Porto U. FSCD STEERING COMMITTEE ----------------------- S. Alves (Porto U.), M. Ayala-Rincón (Brasilia U.) C. Fuhs (Birkbeck, London U.) D. Kesner (Chair, Paris U.) H. Kirchner (Inria) N. Kobayashi (U. Tokyo) C. Kop (Radboud U. Nijmegen) D. Miller (Inria) L. Ong (Chair, Oxford U.) B. Pientka (McGill U.) S. Staton (Oxford U.)

1 0

第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) 論文募集/発表募集
by Kohei SUENAGA 26 Nov '18

26 Nov '18

皆様，（複数お受け取りの場合はご容赦ください．）第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) のプログラム共同委員長を仰せつかっておりますクックパッドの笹田と京大の末永です． PPL 2019 は 2019年3月6日 (水)～3月8日 (金) の日程で岩手県志戸平温泉で開催されます．実装系理論系問わずプログラミングやプログラミング言語に関する研究をされている方はどうぞ論文の投稿をご検討ください．国内外未発表論文を募集するカテゴリ1については発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) となっております．本年は以下の二名の方の招待講演を予定しております．萩谷昌己（東京大学）植山類（Google）どうぞよろしくお願いいたします．笹田耕一末永幸平 ================================================================ 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) http://jssst-ppl.org/workshop/2019/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日(水)〜3月8日(金) 会場: 岩手県志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．本年度の PPL はプラチナスポンサーとして・株式会社フィックスターズ様・KLab株式会社様ゴールドスポンサーとして・クックパッド株式会社様・Idein株式会社様シルバースポンサーとして・一般財団法人Rubyアソシエーション様のご支援を頂いております．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．カテゴリ1で発表された研究のうち，PPL2019プログラム委員会により優れていると認められたものは， PPL2019終了後(2019年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2019推薦論文としての投稿が可能です．推薦論文は， PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．発表申込締切: 2019年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) 採否通知：2019年2月4日 (月) 最終原稿締切: 2019年2月15日(木) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日 (金) 17:00 (JST) 採否通知：2019年2月6日 (水) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年2月6日 (水) 17:00 (JST) 採否通知：2019年2月11日 (月) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 採否通知：2019年2月6日 (水) 招待講演 -------- 萩谷昌己（東京大学）植山類（Google）以上お二方の招待講演を予定しております． ====================================================================== 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2019 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．すべてのカテゴリにおいて，理論系の発表のみだけではなく実装系の発表も歓迎いたします．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2018年12月21日 (金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2019年1月7日 (月) 17:00 (JST) 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF形式．PPL2019ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます．（最終原稿においては削除いただく可能性があります．）著者のweb page等においてソースコードや　実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採否通知：2019年2月4日(月) 最終原稿締切: 2019年2月15日(木) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります(他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知：2019年2月6日(水) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター発表またはデモ発表(あるいは両方)を募集いたします．2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年2月6日(水) 17:00 (JST) 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要 (200〜300字程度)，キーワード(3つ以上)を提出してください．発表形態については発表タイトル(Title欄)の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．採否通知：2019年2月11日(月) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 発表申込締切: 2019年1月25日(金) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知：2019年2月6日(水) ================================================================ 問い合わせ先 ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ====================================================================== プログラム委員会青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 笹田耕一 (クックパッド) [プログラム共同委員長] 佐藤重幸 (高知工科大学) 末永幸平 (京都大学) [プログラム共同委員長] 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (brainbot technologies AG) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) 組織委員会組織委員長浅田和之 (東京大学) 組織副委員長平石拓 (京都大学) 財務担当木村大輔 (東邦大学) 財務副担当森口草介 (関西学院大学) 会場担当新屋良磨 (秋田大学) 会場副担当安部達也 (千葉工業大学) 渉外担当佐藤亮介 (九州大学) プログラム共同委員長笹田耕一 (クックパッド) プログラム共同委員長末永幸平 (京都大学) ====================================================================== -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

『第6回山陰基礎論・解析学研究集会』の御案内
by Horihata Yoshihiro 22 Nov '18

22 Nov '18

Logic-ml 各位（重複して受信の際はご容赦ください．）こんにちは，米子高専の堀畑です．標記の研究会のご案内です！【日時・場所】　2019年2月2日（土）10時～17時ごろ　米子コンベンションセンター 5F 第4会議室（米子駅から徒歩で5分程）【締切日】　2019年1月7日（月）　← 参加・講演申込（下記の連絡票を堀畑（horihata(a)yonago-k.ac.xn--jp))-sc4c60agc1g 　2019年1月21日（月）　← アブストラクト提出（発表者のみ，添付の「abstract.tex」で作成し，「texファイル」とコンパイルした「pdf」を堀畑にメール）【懇親会】　2/1（金）　18時頃～米子駅周辺の店にて（場所は予定）　2/2（土）　18時頃～米子駅周辺の店にて ▼▼連絡票▼▼ （１）研究会に参加？（○ ×）（２）講演を行う？　（○ ×）（３）懇親会参加？　（両日 or 2/1のみ or 2/2のみ）（４）講演タイトル（発表者のみ）要望等： ▲▲▲▲▲▲▲ 詳細は下記HP参照（ホームから過去開催のプログラムも見られます） https://sites.google.com/site/yonagonctmath/slas2019 周りで興味ありそうな方にもお声掛け頂き，本メールを転送して頂いて構いません！たくさんの方に参加して頂ければ幸いです！堀畑佳宏 -- 米子工業高等専門学校教養教育科・数学〒683-8502 鳥取県米子市彦名町4448 Tel: 0859-24-5075 E-mail: horihata(a)yonago-k.ac.jp

1 0

26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers
by 小野寛晰 21 Nov '18

21 Nov '18

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2019 26th Workshop on Logic, Language, Information and Computation July 2nd to 5th, 2019 Utrecht, The Netherlands ORGANISATION Utrecht University, Faculty of Humanities, The Netherlands (host university) 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 meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at Utrecht University, The Netherlands, from July 2nd to 5th, 2019. It is 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), the European Association for Computer Science Logic (EACSL), 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). Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops: -Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area. -Compositionality in formal and distributional models of natural language semantics, on July 6 2019. The workshop programs will be announced end of December 2018 via the WoLLIC 2019 website (https://wollic2019.sites.uu.nl <https://wollic2019.sites.uu.nl/>). Attendance of these satellite workshops is free, but registration is required. 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 2019 EasyChair website. (Please go to http://wollic.org/wollic2019/instructions.html <http://wollic.org/wollic2019/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Feb 22, 2019, and the full paper by Feb 26, 2019 (firm date). Notifications are expected by April 5, 2019, and final papers for the proceedings will be due by April 15, 2019 (firm date). PROCEEDINGS The proceedings of WoLLIC 2019, 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 2019 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2019 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2019). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Feb 22, 2019: Paper title and abstract deadline Feb 26, 2019: Full paper deadline April 5, 2019: Author notification Apr 15, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Raffaella Bernardi (University of Trento) Nick Bezhanishvili (University of Amsterdam) Giuseppe Greco (Utrecht University) Philippe de Groote (INRIA Nancy) Rosalie Iemhoff (Utrecht University) (Co-CHAIR) Roberto Maieli (Department of Mathematics and Physics, University "Roma Tre”) Michael Moortgat (Utrecht University) (Co-CHAIR) Richard Moot (CNRS (LIRMM) & University of Montpellier) Larry Moss (Indiana University Bloomington) Sara Negri (University of Helsinki) Carlo Nicolai (King's College London) Valeria de Paiva (Nuance Comms and University of Birmingham) Alessandra Palmigiano (Delft University of Technology) Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco) Yde Venema (University of Amsterdam) Fan Yang (University of Helsinki) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Lawrence Moss, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Giuseppe Greco (Utrecht University, The Netherlands) (Local 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) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2019/ <http://wollic.org/wollic2019/>

1 0

Nagoya Logic Seminar
by 吉信康夫 09 Nov '18

09 Nov '18

皆様名古屋大学の吉信康夫です．以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．日時：11月16日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：黒田覚 (群馬県立大学)　タイトル：限定算術と強制法アブストラクト：1990年代に竹内外史と安本雅洋によって導入された限定算術における強制法の理論を， 2種の限定算術を用いて再構成し，P=NP問題や命題論理証明サイズの問題とジェネリック拡大の間の関係について論じる．また，ALOGTIMEやNLOGSPACEなど，多項式時間計算可能クラスの部分クラスに対応するジェネリック拡大の構成についても論じる．

1 0

証明論研究集会2018のご案内
by Yoshihito Tanaka 08 Nov '18

08 Nov '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

ワークショップLogic, Language, and Ontologyのご案内
by Hitoshi Omori 05 Nov '18

05 Nov '18

ワークショップLogic, Language, and Ontologyのご案内 (重複してお受け取りの際はご容赦ください。) JAISTの大森仁と申します。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。 ------------------------------------- Logic, Language, and Ontology: A workshop in honor of the 70th birthday of Toshiharu Waragai 【日時】2018年11月7日-8日【場所】慶應義塾大学三田キャンパス北館三階会議室【ウェブサイト】 https://sites.google.com/site/hitoshiomori/home/workshops/waragaifest2018 【プログラム】 11月7日: 09:30--10:30 Rafał Urbaniak "Potential Infinity, Leśniewskian Definitions, Arithmetic & Yablo sequences" 10:30--11:30 Kazushige Terui "Bot in nonclassical logics and proof theory" 11:30--13:00 Lunch 13:00--14:00 Katsuhiko Sano "Functional Weak-Completeness in Belnap-Dunn Logic and its Proof-Theoretic Merit" 14:00--15:00 Satoshi Tojo "TBA" 15:00--15:30 Coffee break 15:30--16:30 Mitsuhiro Okada "Do we need a logical language for logic?" 16:30--17:30 Toshiharu Waragai "Non-reflexive Identity, Demonstratives, and Leśniewski's Ontology" 18:30-- Dinner 11月8日: 09:00--10:00 Yasuo Deguchi "TBA" 10:00--11:00 Naoya Fujikawa "Mereology Meets Paraconsistency" 11:00--11:15 Coffee break 11:15--12:15 Makoto Kikuchi "Some topics on models of arithmetic and set theory" 12:15--13:15 Diderik Batens "The natural place of paraconsistent logics within a pluralist logical landscape" 13:30-- Lunch ------------------------------------- どうぞ奮ってご参加下さい。よろしくお願いいたします。大森仁

1 0

第53回MLG数理論理学研究集会
by Suzuki, Nobu-Yuki 05 Nov '18

05 Nov '18

皆様静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。再度、ご案内させていただきます。重複してお受け取りの方々には、ご寛恕を願っておきます。下記の〆切はすぎましたが、まだ懇親会には余裕があります。懇親会への参加を希望される場合は事前に必ずお申し込みください。 11月16日までにお願いします。申し込み無しでもご参加いただけますが、事前にお申込みいただけますとたすかります。講演スロットにも、わずかですが空きがあります。ご検討中の方はお早めにお申し込みください。ぜひ、ご参加をご検討ください。 --------------------------------- 皆さま静岡大学の鈴木信行（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

SLS2018(仙台)のご案内
by 小俣安彦 02 Nov '18

02 Nov '18

皆様この度，Sendai Logic School 2018 を下記の日程で開催致しますので，ご案内申し上げます．日時：2018年 12月 7日 (金)午後～ 12月 9日 (日)午後場所：東北大学青葉山キャンパスおよび秋保岩沼屋 SLSに関する詳細や，参加のお申し込みなどについては，下記のウェブページをご覧ください． http://www.sendailogic.com/SLS2018/ 締め切りは11月20日です．岩沼屋のシングルルームはすでにほぼ満室になっているため，そちらにご宿泊を希望される方は共同部屋になるかもしれません．詳しくはご相談ください．お申し込みやお問い合わせについては， sendailogic(a)gmail.com まで．よろしくお願いします．田中一之（東北大学）小俣安彦（東北大学）

1 0

数学基礎論若手の会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 21 Oct '18

21 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

A Workshop on Philosophical Logic and Philosophy of Logicのご案内
by Hitoshi Omori 20 Sep '18

20 Sep '18

A Workshop on Philosophical Logic and Philosophy of Logicのご案内 (重複してお受け取りの際はご容赦ください。) JAISTの大森仁と申します。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。 ------------------------------------- A Workshop on Philosophical Logic and Philosophy of Logic 【日時】2018年9月25日【場所】I-56 (Collaboration Room 7), JAIST 【ウェブサイト】 https://sites.google.com/site/hitoshiomori/home/workshops/jaist201809 【プログラム】 10:00--11:00 Takuro Onishi "Situated Assertions" 11:00--12:00 Kai Tanter "Making Bilateralism Relevant" 12:00--13:30 Lunch 13:30--14:30 Shoshin Nomura "A formalization of A. Danto's narrative sentences" 14:30--15:30 Hidenori Kurokawa "On Takeuti’s view of the concept of set" 15:30--15:45 Coffee break 15:45--16:45 Satoru Niki "On some subsystems of minimal logic" 16:45--17:45 Colin Caret "Paraconsistency in the Wild?" ------------------------------------- どうぞ奮ってご参加下さい。よろしくお願いいたします。大森仁

1 0

CFP: 14th Theorem Proving and Provers meeting (TPP 2018), Nov. 21-22 in Sendai
by Keisuke Nakano 18 Sep '18

18 Sep '18

Dear all (English translation follows below), 皆様，東北大学の中野です．第14回 TPP (Theorem Proving and Provers) ミーティングを 11月21日(水)から 11月22日(木)までの予定で，東北大学片平キャンパスにて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしあうことでアイディアの交換をしてきたものです．ミーティング期間中の討論を大切にしたいと考えていますので，出来上がった仕事の講演だけでなく，進行中の仕事，未完成の仕事についての講演も歓迎します．参加者には可能な限りご講演いただくことを期待しています．詳細は以下のWebページをご確認ください： https://ksk.github.io/tpp2018/ 参加をご希望の方は11/9(金)までに上のWebページから参加申し込みをお願いします．また，懇親会を1日め (11/21) の夜に予定しており，そちらの参加希望も同じ登録フォームから受け付けております．奮ってご参加ください．後からでも変更可能ですので，お早めにご登録いただけると大変ありがたいです．また，上記のWebページにおきまして毎年恒例のTPPmarkの問題も掲載しております．当日参加できない方の解答も受け付けておりますので，ぜひ挑戦してみてください．多数のご参加をお待ちしております．どうぞよろしくお願いします． We are happy to announce the 14th TPP meetings (Theorem Proving and Provers meeting) will be held in the Katahira Campus of Tohoku University: from Wednesday, November 21 to Thursday, November 22 TPP is a series of annual meetings for developers as well as users of theorem provers. Discussions from various aspects and exchanges of ideas have taken place in the past meetings since 2005. We regard the discussions during the meeting to be most important. As such, not only the talks about completed work, but those about ongoing work and half-baked work are also welcome. We hope all participants would consider giving a talk. More information is available at: https://ksk.github.io/tpp2018/ If you are interested in participating the meeting, please register at the Web page above by November 9. In the registration form, you may express intent to join the dinner party which is planned at the evening of the first day. Please make your early registration if possible because you may modify it later. The page also shows the TPPmark problem. Those who will not attend the meeting also can submit the solution. Please check it out and submit your solution. We are looking forward to your attendance and your solutions. -- 中野圭介東北大学電気通信研究所 ksk(a)tohoku.ac.jp

1 0

第53回MLG数理論理学研究集会（追加情報）
by Suzuki, Nobu-Yuki 18 Sep '18

18 Sep '18

皆さま静岡大学の鈴木信行（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

第53回MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 17 Sep '18

17 Sep '18

皆さま静岡大学の鈴木信行と申します。今年度の　MLG 数理論理学研究集会　の世話人（代表）をいたします。今年度、第53回MLG 数理論理学研究集会は、以下の要領で開催する予定です。第53回MLG 数理論理学研究集会期間・場所 (予定) ・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ （現時点では、まだあまり情報はありません）ご予定にお加えいただけますよう、お願いいたします。

1 0

ジラール教授（Jean-Yves GIRARD）連続講義 “LOGIC 2.0 : A derealistic refoundation of logic” Sept. 25th & Oct. 2nd, keio Univ.
by Mitsu Okada 13 Sep '18

13 Sep '18

********************************************************************************** *ジラール教授（Jean-Yves GIRARD）連続講義（９月２５日、１０月２日,　Sept 25th,Oct.2nd, Keio Univ.）* *Lecture**“LOGIC 2.0 : A derealistic refoundation of logic” * *********************************************************************************. 参加自由、事前登録なしです。お気軽にお立ち寄りください。 ********************************************************************************* Abstract attached below アブストラクトは下をご覧ください。１回目：9月25日(火)　Sept.25th, 18:00-19:30, Lecture 1 and discussion. ２回目：10月2日(火) Oct.2nd, 17:00-19:00, Lecture 2 and extended discussion,. 慶應義塾大学三田キャンパス大学院校舎1階313番教室, Room 313 Graduate School Building, Mita Campus, Keio University ******************************************************************************** （大学院校舎は下記キャンパスマップの8です） Mita Campus, Keio University, Classroom 313, 1F of Graduate School Building (Number 8 of the Campus Map below) 構内図Campus Map: https://www.keio.ac.jp/en/maps/mita.html 招聘講師/ Invited Lecturer: ジャン＝イヴ　ジラール教授（フランス国立科学センターCNRS名誉主任研究員、マルセイユ数学研究所） Prof. Jean-Yves GIRARD (Directeur de Recherches émérite, CNRS-IMM) 題目/ Title: LOGIC 2.0 : A derealistic refoundation of logic （最新情報はこちらのトップに載せる予定です: https://abelard.flet.keio.ac.jp/）アブストラクト/ABSTRACT LOGIC 2.0 : A derealistic refoundation of logic. Logic is based upon a doubt as to « reality », not to speak of authority. This is why axiomatic realism, a.k.a. Tarskism, at work in familiar (1.0) logic is a miscarriage of logical rationality. We propose to replace the trinity Syntax/Semantics/Meta, with an architecture based upon the synthetic a posteriori : « l’usine » (the factory) and its proofnets. We thus replace the nets of logic with the logic of nets. Among the technical novelties, the self-dual propositional constants フand ヲwhose multiplicative combinations define natural numbers. Since equality becomes logical equivalence, natural numbers provide pairwise contradictory propositions, which is classically inconsistent : a conjunction can thus be true while one of its components is false.Truth, which no longer proceeds from the Sky, is governed by the Euler-Poincaré invariant of graphs, with a derealistic switch : the invariant depends upon the divide between objective and subjective vertices. Derealism thus accomplishes a spectacular jailbreak from Tarskism! ---------------------------------------------------------- お問い合わせ先: 慶應義塾大学文学部哲学専攻岡田光弘研究室東京都港区三田２−１５−４５事務局　Email: logic(a)abelard.flet.keio.ac.jp ----------------------------------------------------------

1 0

Call for Papers: ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019, IIT Delhi, India (March 3-5, 2019)
by Katsuhiko Sano 12 Sep '18

12 Sep '18

Logic-ml の皆様、北海道大学の佐野勝彦です。インドのデリーで開催される論理の国際会議についてご案内いたします。奮ってご投稿ください。佐野勝彦 ----------------------------------------------------------------------------------------------------- CALL FOR PAPERS ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019 Indian Institute of Technology Delhi New Delhi, India, March 3-5, 2019 Conference websitehttp://icla2019.cse.iitd.ac.in Submission linkhttps://easychair.org/conferences/?conf=icla2019 Posterdownload The Association for Logic in India (ALI) announces the eighth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Delhi from March 3 to 5, 2019. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic. As in the earlier events in this series, we shall have eminent scholars as invited speakers. Details of the last ICLA 2017 may be found at https://icla.cse.iitk.ac.in. See http://ali.cmi.ac.in for information on past events as well as updates on this conference. Scope: Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, logic in computer science, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. Committees: Program Committee Abhisekh Sankaran, IMSc Chennai Amaldev Manuel, IIT Goa (Co-chair) Amit Kuber, IIT Kanpur Anuj Dawar, University of Cambridge Arnaud Sangnier, Univercite Paris Diderot Arun Kumar, IIT Delhi Astrid Kiehn, IIT Mandi Benedikt Löwe, University of Amsterdam Benedikt Bollig, LSV, ENS Cachan, CNRS Benjamin Monmege, Aix-Marseille Université, LIF, CNRS Davide Grossi, University of Groningen Denis Kuperberg, ENS Lyon Gabriele Puppis, LaBRI, Bordeaux Hans van Ditmarsch, LORIA - CNRS / University of Lorraine Ivo Düntsch, Brock University Katsuhiko Sano, Hokkaido University M. Praveen, Chennai Mathematical Institute Md. Aquil Khan, IIT Indore (Co-chair) Mihir Kumar Chakraborty, Jadavpur University Minghui Ma, Sun Yat-Sen University Ramchandra Phawade, IIT Dharwad Richard Zach, University of Calgary S. Akshay, IIT Bombay Sankha Basu, IIIT Delhi Smita Sirker, Jawaharlal Nehru University Soma Dutta, University of Warsaw Sreejith A. V., IIT Goa Stefan Göller, University of Kassel Sujata Ghosh, ISI Chennai Sunil Easaw Simon, IIT Kanpur Torben Braüner, Roskilde University Organizing committee S. Arun-Kumar, IIT Delhi Sanjiva Prasad, IIT Delhi Subodh V Sharma, IIT Delhi Publication: Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings. The ICLA 2019 conference proceedings will be published either in the Springer Lecture Notes in Computer Science series or in Leibniz International Proceedings in Informatics (LIPIcs), a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl – Leibniz Center for Informatics. Submission Guidelines: Authors may submit drafts of full papers or extended abstracts. The submission must not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX style. If appropriate, proof details omitted in the paper may be added in an appendix meant for the reviewers. Concurrent submissions to other conferences/journals are not admissible. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. Important Dates: Deadline for Submissions: 5 November 2018 Notification to authors: 21 December 2018 Pre-conference Workshops: 1-2 March 2019 Conference: 3-5 March 2019 Contact Please contact the PC chairs (aquilk(a)iiti.ac.in, amal(a)iitgoa.ac.in) for any further queries.

1 0

フォーマルアプローチ特集論文募集のご案内
by mano.ken＠lab.ntt.co.jp 12 Sep '18

12 Sep '18

logic-ml の皆様，電子情報通信学会論文誌英文ED分冊“フォーマルアプローチ特集”の，論文募集のご案内をさせていただきます．真野（NTT コミュニケーション科学基礎研究所） ---- フォーマルアプローチ特集論文募集電子情報通信学会論文誌英文ED分冊フォーマルアプローチ特集編集委員会フォーマルアプローチ（形式手法・形式技法・形式理論）は，情報システムや組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．奮って御投稿下さいますよう御案内申し上げます． 1. 対象分野主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシステム及びそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します． - 基礎理論：システムの構造や振舞いの形式記述・検証に関する基礎理論 - 形式技法：ソフトウェア，ハードウェア，ネットワークなどのシステムに対する体系だった記述・検証技法 - 形式ツール：モデル検査器や定理証明器など，形式手法に基づくツール - 応用：情報システムや組込システム，回路系，情報セキュリティ，車載システム，人工知能・機械学習システムなどへの形式手法の適用事例 - 教育：教育事例 2. 論文の執筆と取扱い論文 (一般論文)，レター，及びサーベイ論文を募集します．投稿規程等は電子情報通信学会の英文誌の規程と同じです．以下の規程を御参照下さい． "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール　論文投稿締切　　　　平成 30年 9月25日 (火) 23:59 JST (厳守) 　第一回判定通知予定　平成 30年11月23日 (金) 　初回修正締切　　　　平成 31年 1月18日 (金) 　最終判定通知予定　　平成 31年 3月 8日 (金) 　発行予定　　　　　　平成 31年 8月号 4. 投稿方法本特集では，電子投稿のみを受付けます．論文を下記のweb pageから投稿して下さい．初期投稿時に，編集可能な論文本体 (TeX/Word)，図，著者の写真, biographyも投稿する必要があります．　 https://review.ieice.org/regist/regist_baseinfo_e.aspx 投稿の際には以下の項目を選択してください． "Journal/Section" -> "[Special FO] Formal Approaches" 同時にWEB上で著作権譲渡手続きができます．投稿手続きについて御不明な点がございましたら，問合先まで御連絡下さい． 5. 掲載料招待論文を含むすべての著者は，論文が採録となった場合，2019年4月頃に掲載料をお支払い頂くことになります．2019年5月15日までに支払いが完了しない場合には，採録取り消しとなります． 6. オープンアクセス化情報システムソサイエティ英文論文誌は，2017 年 1 月よりオープンアクセス化されています．J-STAGE（https://www.jstage.jst.go.jp/browse/transinf/）に掲載されている論文はすべて閲覧可能になっています． 7. 特集編集委員会委員長：青木利晃（北陸先端大）　幹事：真野健（ＮＴＴ），中川博之（阪大）　委員：石川冬樹'情報研)，來間啓伸(日立)，小林孝一(北大)，　　　　立石孝彰(日本IBM)，土屋達弘(阪大)，山口真悟(山口大)，　　　　横川智教(岡山県立大) 8. 問合せ先本特集のホームページ: (和文) http://www.jaist.ac.jp/~toshiaki/fa2018/jp/ (英文) http://www.jaist.ac.jp/~toshiaki/fa2018/ 　青木利晃　北陸先端科学技術大学院大学情報科学系　923-1292 石川県能美市旭台1-1 　toshiaki(a)jaist.ac.jp =============================================================== CALL FOR PAPERS Special Section on Formal Approaches The IEICE Transactions on Information and Systems announces a forthcoming special section on Formal Approaches to be published in August 2019. Formal methods and techniques play a key role in designing and developing highly reliable information systems and embedded systems. The last decades have seen various new techniques and profound theoretical results using formal methods in surprisingly many fields such as modeling, requirements analysis, specification, automatic generation of codes, testing, verification, and maintenance. They are rapidly extending their application domains as a result of the recent growth of information and communication technologies. The Special Section on Formal Approaches aims at stimulating research on formal approaches to information systems and embedded systems, ranging from fundamental theory to practical applications. Our emphasis is put on the cross-fertilization of related research fields and encouragement of young researchers. Topics: The major topics are listed below, but we solicit submissions in all areas of formal approaches, i.e., first to formalize information systems, embedded systems, and their environment, next to analyze their behavior and to derive their properties rigorously, and then to solve various problems in designing and managing the systems. - Theoretical foundations: all aspects of theory related to formal description and verification for structure and behavior of systems. - Formal techniques: techniques for mainly describing and analyzing systems, such as software, hardware and networks. - Formal tools: tools based on formal methods such as model checkers, theorem provers, and static and dynamic analyzers. - Applications: practical experiences of applying formal methods to information systems, embedded systems, circuits, security, AI systems, machine learning systems, automotive systems, etc. - Education: education on formal methods. Submission Instructions: The deadline for submission is Sep 25, 2018, 23:59 JST(GMT+9). Manuscripts should be carefully prepared according to the guideline in the "Information for Authors" (available at http://www.ieice.org/eng/shiori/mokuji_iss.html). The preferred length of the manuscript is 8 pages. Only electronic submission through the web page is accepted. Submit a complete paper and transfer copyright of the paper using the IEICE Web site https://review.ieice.org/regist/regist_baseinfo_e.aspx Authors should choose the [Special FO] Formal Approaches" as a "Journal/Section" on the online screen. Editorial Committee: Guest Editor-in-Chief: Toshiaki Aoki (JAIST) Guest Editors: Ken Mano (NTT Communication Science Laboratories) Hiroyuki Nakagawa (Osaka University) Members: Fuyuki Ishikawa (National Institute of Infomatics) Hironobu Kuruma (Hitachi, Ltd.) Koichi Kobayashi (Hokkaido University) Takaaki Tateishi (IBM Japan) Tatsuhiro Tsuchiya (Osaka University) Shingo Yamaguchi (Yamaguchi University) Tomoyuki Yokogawa (Okayama Prefectural University) Further information may be obtained from the web page at: http://www.jaist.ac.jp/~toshiaki/fa2018/ All inquiries should be sent to the guest editor in chief: Toshiaki Aoki(JAIST) 1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292, Japan E-mail: toshiaki(a)jaist.ac.jp Important Dates: Submission Deadline: Sep 25, 2018 23:59 JST (GMT+9) [firm deadline] First Notification: Nov 23, 2018 Revised Version Deadline: Jan 18, 2019 Final Notification: Mar 8, 2019 Important Notice. (1) At least one of the authors must be an IEICE member when the manuscript is submitted for review. For the application of IEICE membership, visit http://www.ieice.org/eng/member/OM-appli.html (2) When a paper has been accepted for publication, the authors are required to pay the page charges covering part of the cost of publication. Please carefuly read the submission guideline at http://www.ieice.org/eng/shiori/mokuji_iss.html (3) Upon accepted for publication, all authors, including authors of invited papers, should pay the page charges covering partial cost of publication around April, 2019. If payment is not completed by May 15, 2019, your manuscript will be handled as rejection. (4) The IEICE Transactions on Information and Systems is an open access journal from January, 2017. Open access to "IEICE Transactions on Information and Systems” is available via the J-STAGE (https://www.jstage.jst.go.jp/browse/transinf/).

1 1

WIAS Seminar: “The epsilon calculus with equality predicate and Herbrand complexity” (September 10, Waseda University)
by Makoto Fujiwara 07 Sep '18

07 Sep '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です． 9月10日(月)に早稲田大学早稲田キャンパスにてインスブルック大学の宮本賢治さんをお迎えしてセミナーを開催いたします．ヨーロッパで研究をされている宮本さんの日本での貴重なご講演です．参加自由ですのでどうぞふるってご参加下さい．なお，今回の講演は英語で行われます．予めご了承下さい．詳細については以下のページをご参照下さい． https://www.waseda.jp/inst/wias/news/2018/08/23/5646/ 日時：2018年９月10日(月)16:00-17:30 Date & Time: Monday, 10 September 2018, 16:00 – 17:30 場所：早稲田大学早稲田キャンパス9号館5階第1会議室 Venue: Meeting room #1 on the 5th floor, Building #9, Waseda University Speaker: Kenji Miyamoto (University of Innsbruck, Kenji.Miyamoto(a)uibk.ac.at) Title: The epsilon calculus with equality predicate and Herbrand complexity Abstract: Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\varepsilon$ [1]. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. Moser and Zach study the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure [2]. We extend their results to epsilon-calculus with equality predicate. This is joint work with Georg Moser. [1] D. Hilbert and P. Bernays, Grundlagen der Mathematik, vol. 2, Springer Berlin, 1939. [2] G. Moser and R. Zach, The epsilon calculus and Herbrand complexity, Studia Logica, vol. 82 (2006), no. 1, pp. 133--155. ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml