Logic-ml October 2019

13 participants
13 discussions

基礎論セミナー
by arai toshiyasu 02 Oct '19

02 Oct '19

みなさま新井です。この度「基礎論セミナー」を不定期で開催していくことにしました。第1回の予定は下記にあります。どなたでも聴講できますのでご興味のおありの方はどうぞいらして下さい。なお、当該 web page を現在、準備中です。新井敏康第1回基礎論セミナー日時：2019年10月24日（木）13:30-15:00 場所：東京大学大学院数理科学研究科 156号室講演者：大川裕矢（千葉大学） title: 部分保存性に対する，Bennet の結果の一般化について abstract:: 文 $\varphi$ が理論 $T$ 上 $\Gamma$-保存的であるとは, 任意の $\Gamma$ 文 $\psi$ について, $T + \varphi \vdash \psi$ ならば $T \vdash \psi$ が成立することをいう. 1979 年 Guaspari は複数の理論に対して, 同時に $\Gamma$-保存的であり, 各理論では証明できない文の存在に関する部分的な議論を行ったが, その一般的な状況を解明するという問いを残していた. この問いに対し, 1986年 Bennet は特に2つの理論に対する分析を行い, 存在条件をある程度特徴付けることに成功した. 今回木更津工業高等専門学校の倉橋太志講師との共同研究により , この Bennet の結果は任意有限個の理論に拡張可能であることが判明した. 本講演ではその拡張した結果を紹介する. 問合せ先：新井敏康 tosarai(a)ms.u-tokyo.ac.jp

1 0

The 3rd International Conference on Logic and Argumentation CLAR 2020, 6-9 April 2020, Hangzhou, China
by Katsuhiko Sano 01 Oct '19

01 Oct '19

------------------------------------------------------------ The 3rd International Conference on Logic and Argumentation CLAR 2020, 6-9 April 2020, Hangzhou, China CALL FOR PAPERS ------------------------------------------------------------ The 3rd International Conference on Logic and Argumentation (CLAR 2020) invites interdisciplinary contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on *methods and tools for explainable AI*, a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well. Proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in special issues of the Journal of Logic and Computation and the Journal of Applied Logics. More information can be found at the websites: http://www.xixilogic.org/events/clar2020 (CLAR 2020) https://www.xixilogic.org/zjulogai/ (ZJULogAI) CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China. Previous conferences can be accessed at: http://www.xixilogic.org/events/clar2018 http://www.xixilogic.org/events/clar2016 ************************ List of Topics ************************ Suggested topics include, but are not limited to the following: * Abstract argumentation * Applications of logic and/or argumentation * Applied logic * Argumentation and game theory * Argumentation and law * Argumentation and linguistics * Argumentation and medical reasoning * Argumentation in AI * Argument mining * Argumentation schemes * BDI logic * Computational argumentation * Deontic logic * Dynamic epistemic logic and belief revision * Formal models for dialog and argumentation * Informal logic * Judgment aggregation * Knowledge representation and reasoning * Logic for game theory * Logic for multi-agent systems * Logic for semantic web * Logic for social network * Mathematical logic * Modal logic * Nonmonotonic logics * Numerical and uncertainty reasoning * Philosophical logic * Pragma-Dialectics * Preference logic * Structured argumentation * Uncertain argumentation ************************ Submission Guidelines ************************ We invite two types of submissions: full papers (between 8 and 20 pages) describing original and unpublished work and extended abstracts (max 5 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. Submissions must be prepared in LaTeX, using the LaTex template myifcolog.cls: http://icr.uni.lu/flap/ Submissions not complying with these guidelines will be desk rejected. Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=clar2020 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the conference. ************************ Important Dates ************************ Submission: 30 November 2019 Conference: 6-9 April 2020 ************************ PC Chairs ************************ Mehdi Dastani, Utrecht University Huimin Dong, Zhejiang University Leon van der Torre, University of Luxembourg ************************ Contact ************************ All questions about submissions should be emailed to: clar2020(a)xixilogic.org

1 0

公募：神戸大学大学院システム情報学研究科専任教員
by Makoto Kikuchi 01 Oct '19

01 Oct '19

皆様，神戸大学大学院システム情報学研究科情報科学専攻では，情報数理教育研究分野に属する准教授または講師1名を公募します． [専門分野] 数学基礎論・数理論理学 [募集人員（職名・採用人数）] 准教授または講師・1名 [着任時期] 2020年4月1日以降のなるべく早い時期 [募集期間] 2019年11月1日必着 [照会先] 神戸大学大学院システム情報学研究科情報科学専攻　　　専攻長ブレンドレ・ヤーグ brendle(a)kobe-u.ac.jp 詳細は添付ファイルご覧ください．菊池誠

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2019