Kisoron-ml November 2017

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

5 participants
7 discussions

Call for Papers: CLAR 2018 @ Zhejiang University in Hangzhou, China, 16-17 June 2018.
by Katsuhiko Sano 28 Nov '17

28 Nov '17

**Apologies for cross-postings** The interplay between logic and argumentation has a long history, from ancient Aristotle’s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): - What are the roles of logic and/or argumentation in social networks? - How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? - How can we formalize reasoning in game-theoretic situations? - What are the logical principles, models and patterns of daily life argumentation? - What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? - How can existing logics be represented within existing argumentation frameworks? -What are the trade-offs between expressive power and computational complexity in logic and argumentation? - How can we model the strength of arguments? - How can we further develop and apply formal argumentation in AI? - How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer’s Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Important Dates Submission: 15 January 2018 Notification: 5 March 2018 Final version: 12 March 2018 Conference: 16-17 June 2018 Invited Speakers (Confirmed): Natasha Alechina (University of Nottingham, UK) Anthony Hunter (University College London, UK) Organizers: Thomas Ågotnes (University of Bergen & Zhejiang University) Huimin Dong (Zhejiang University) Beishui Liao (Zhejiang University) Fanghong Shi (Zhejiang University) Yì N. Wáng (Zhejiang University) Teng Ying (Zhejiang University City College) If you have any question, please contact Huimin Dong (huimin.dong(a)xixilogic.org) or Teng Ying (skysky_998(a)hotmail.com).

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 24 Nov '17

24 Nov '17

みなさま、北陸先端科学技術大学院大学の横山です。「超準解析と数学基礎論のシンポジウム」のご案内を再送させていただきます。講演枠にまだ少し余裕がありますので、講演の募集を１１月３０日まで延長致します。超準解析だけでなく、数学基礎論一般の講演も歓迎です。ご検討頂ければ幸いです。また、今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋大志先生に招待講演をお願いしております。超準解析を勉強したことのない学生の方等の参加も歓迎です。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス 11号館4階(12/15第四会議室，12/16第三会議室) 講演募集締め切り：11月30日懇親会：12月15日(予定) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月30日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月30日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

日本数学会2018年度年会について
by Makoto Kikuchi 23 Nov '17

23 Nov '17

数学基礎論および歴史分科会の皆様連絡責任評議員の菊池です．2018年3月18日（日）から21日（水，祝）に東京大学で開催される日本数学会2018年度年会の講演申込の締切12月1日（金）まであと一週間となりました．是非，積極的な講演申込をお願いします． http://mathsoc.jp/meeting/tokyo18mar/ 菊池誠

1 0

第52回 MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 23 Nov '17

23 Nov '17

皆様静岡大学の鈴木信行です。 12月1日--3日の第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆様、ご寛恕を賜りますようお願い申し上げます。・期間: 2017年12月1日(金)午後 -- 12月3日(日)午前・場所: 静岡大学　静岡キャンパス　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) 申し込み無しでもご参加いただけます。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

日本数学会2018年度年会について
by Makoto Kikuchi 15 Nov '17

15 Nov '17

数学基礎論および歴史分科会の皆様連絡責任評議員の菊池です．2018年3月18日（日）から21日（水，祝）まで，東京大学で開催される日本数学会2018年度年会の講演申込が始まっています． http://mathsoc.jp/meeting/tokyo18mar/ 締切は12月1日（金）です．是非，積極的な講演申込をお願いいたします．なお，今回は以下の先生方（順不同，敬称略）に特別講演をお願いしています．分科会特別講演 - 渕野昌（神戸大） - 松崎拓也（名古屋大）企画特別講演 - 八杉満利子（京都産業大名誉教授）菊池誠

1 0

FLOPS 2018 CFP
by Makoto Tatsuta 12 Nov '17

12 Nov '17

皆様、関数型、論理型プログラミング言語の国際会議 FLOPS 2018のご案内です。ふるって投稿をご検討ください。龍田真国立情報学研究所 -------------------------------------------------- FINAL Call For Papers ========================= NOTE: DEADLINE EXTENSION ========================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs), as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 29 November 2017 (any time zone): Abstract Submission (extended) 4 December 2017 (any time zone): Submission deadline (extended) 29 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Speakers William E. Byrd, University of Utah, USA Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan + 3rd speaker to be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) ----------------------------------------------------------------------

1 0

Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 05 Nov '17

05 Nov '17

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications の講演募集のご案内です。ご講演・ご参加の検討をいただければ幸いです。横山啓太 ************************************** Call for Abstracts Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Université Paris 1) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham, to be confirmed) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University, to be confirmed) Guide for authors ----------------- The authors are asked to prepare short abstracts (1 page PDF) following the guideline on the workshop web-site: http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html Submissions are accepted through EasyChair https://easychair.org/conferences/?conf=mla2018 Deadline of submission ----------------------- 15 December 2017 Notification of acceptance will be informed by December 31. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml November 2017