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

第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

CFP: 48th TRS Meeting
by Takahito Aoto 23 Nov '17

23 Nov '17

皆様，第48回TRSミーティングの参加募集を案内させて頂きます． --- 青戸等人(新潟大学) ================================================================================== Call For Participation 48th TRS meeting February 25 - 27, 2018 Sendai, Miyagi http://www.nue.ie.niigata-u.ac.jp/events/trs-meeting-48/ * About TRS meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/) * Information Date: February 25 (Sun) - 27 (Tue), 2018 Venue: Oshu Akiu Onsen Rantei http://www.akiu-rantei.com/lg_en/ 7-1, Aza Kidoho, Yumoto, Akiu-machi, Taihaku-ku, Sendai City, Miyagi 982-0241 * Schedule Opening: 14:00 on Feb 25 (Sun) Closing: 12:00 on Feb 27 (Tue) * Fee Registration: 4,000 JPY Accommodation (two nights): 21,900 JPY Registration fee includes meeting room fee, coffee and snacks at breaks. Accommodation fee includes breakfasts and dinners (lunches are not included). * Registration Please send the registration form below to Takahito Aoto (mail: aoto at ie.niigata-u.ac.jp) no later than Jan 19, 2018. Registration after the deadline is subject to room availability. ---------------------------------------------------------------------- Registration Form of the 48th TRS meeting name: affiliation: [male / female] (leave one) special room request: [single room / twin room / none] (leave one) ---------------------------------------------------------------------- Japanese style shared rooms are default, but several single and twin rooms are also available. If you prefer a single or twin room, let me know at your earliest convenience. In the latter case, let me also know your roommate. * Contact Takahito Aoto (mail: aoto at ie.niigata-u.ac.jp) ==================================================================================

1 0

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

22 Nov '17

Logic-ml 各位米子高専の堀畑です。 2018年1月7日（日）終日，8日（月祝）午前に，米子で件名の研究会を開催いたします．基礎論と解析学の気軽な研究交流の場を目指しています．参加者，講演者を募集いたします．詳細は下記ＨＰ参照（ホームから過去開催のプログラムも見られます） https://sites.google.com/site/yonagonctmath/slas2018 【締め切り日】　12/13（水）　← 参加・ご講演頂ける方は，下記連絡票を堀畑（horihata(a)yonago-k.ac.xn--jp)-u63bmd1e2gs5ayc3h4683a. 　12/31（日）　← アブストラクト提出（発表者のみ，添付の「abstract.tex」で作成し，「texファイル」とコンパイルした「pdf」をメール添付にて堀畑まで）【懇親会】　1/6（土）　18時頃～米子駅前の店にて　1/7（日）　18時頃～皆生の店にて（研究会の会場付近） ▼▼連絡票▼▼ （１）講演を行う？　（○ ×）（２）参加する日？　（両日 or 7日のみ or 8日のみ）（３）6日懇親会参加？　（○ ×）（４）7日懇親会参加？　（○ ×）（５）講演タイトル（発表者のみ）要望等： ▲▲▲▲▲▲▲ 周りで興味ありそうな方にもお声掛け頂き，たくさんの方に参加して頂ければ幸いです．堀畑佳宏 -- 米子工業高等専門学校教養教育科・数学〒683-8502 鳥取県米子市彦名町4448 Tel: 0859-24-5075 E-mail: horihata(a)yonago-k.ac.jp

1 0

Kobe Colloquium: Nov. 17, 2017, Satoru Kuroda
by Makoto Kikuchi 17 Nov '17

17 Nov '17

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時: 2017/11/17 (金) 16.00 - 17:30 場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室講演者：黒田覚（群馬県立女子大）題目：竹内－安本強制法について交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 1

LFMTP'18 Call for Papers
by Makoto Hamana 17 Nov '17

17 Nov '17

皆様、来年の FLoC (FSCD,IJCAR,ITP,LICS等の合同国際会議)併設の LFMTP 2018 ワークショップのご案内です。〆切はまだ先ですがぜひ投稿をご検討ください。 -- 浜名誠群馬大学理工学府電子情報部門 [Apologies if you receive multiple copies of this announcement] ======================================================================= Call for papers Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2018 Oxford, UK, 7 July 2018 Affiliated with FSCD 2018 (part of FLoC) http://lfmtp.org/workshops/2018/ ======================================================================= SUBMISSION DEADLINE: 16 APRIL 2018 Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process. LFMTP 2018 will provide researchers a forum to present state-of-the-art techniques and discuss progress in areas such as the following: * Encoding and reasoning about the meta-theory of programming languages, logical systems and related formally specified systems. * Theoretical and practical issues concerning the treatment of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures. * Logical treatments of inductive and co-inductive definitions and associated reasoning techniques, including inductive types of higher dimension in homotopy type theory. * Graphical languages for building proofs, applications in geometry, equational reasoning and category theory. * New theory contributions: canonical and substructural frameworks, contextual frameworks, proof-theoretic foundations supporting binders, functional programming over logical frameworks, homotopy and cubical type theory. * Applications of logical frameworks: proof-carrying architectures, proof exchange and transformation, program refactoring, etc. * Techniques for programming with binders in functional programming languages such as Haskell, OCaml or Agda, and logic programming languages such as lambda Prolog or Alpha-Prolog. Invited Speakers TBA Important Dates Abstract submission deadline: Monday April 9th Submission deadline: Monday April 16th Notification to authors: Monday May 14th Final version due: Monday June 4th Workshop date: Saturday July 7th Submission In addition to regular papers, we accept the submission of "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be of interest for the community at large. Submitted papers should be in PDF, formatted using the EPTCS style guidelines. The length is restricted to 15 pages for regular papers and 8 pages for "Work in Progress" papers. Submission is via EasyChair: https://easychair.org/conferences/?conf=lfmtp18. Proceedings Accepted regular papers will be included in the proceedings of LMFTP 2018, whose mode of publication will be determined shortly. Program Committee * Mara Alpuente (Universitat Politcnica de Valncia, Spain) * Andrej Bauer (University of Ljubljana, Slovenia) * Frdric Blanqui (Inria, France), co-chair * Ana Bove (Chalmers University of Technology, Sweden) * Stphane Graham-Lengrand (CNRS, France) * Makoto Hamana (Gunma University, Japan) * Chantal Keller (Universit Paris-Sud, France) * Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil) * Giselle Reis (CMU Qatar), co-chair * Aaron Stump (University of Iowa, USA) * Yuting Wang (Yale University, USA)

1 0

セミナーの案内
by Makoto Kikuchi 15 Nov '17

15 Nov '17

神戸大の菊池です．代理投稿です． -- 国立情報学研究所　新井紀子です。「ロボットは東大に入れるか」プロジェクトでは、以下の講演会を開催します。本セミナーは、言語処理の現状を数理的な方向から解きほぐすことを目的に開催いたします。ご関心のある方はぜひお出かけください。「ロボットは東大に入れるか」セミナー講師：松崎拓也氏（名古屋大学大学院工学研究科） https://researchmap.jp/mtzk 日時：2017年11月24日　15時30分～17時（講演1時間、質疑応答30分）場所：学術総合センタービル　国立情報学研究所12階　1208・1210 講演内容：タイトル：「自然言語処理における統計的機械学習－数理的枠組みと応用の場からの振り返り」概要：自然言語処理の分野では1990年代末から機械学習が主要な道具となり，ここ数年は他分野と同様にニューラルネットの応用が大ブームとなっている．この講演では，統計的機械学習の最も基本的な数理的枠組みを押さえたのち，いくつかの具体的な研究例を示しながら，この15年ほどの自然言語処理分野で実際に何が起きているのかを，私見を交えつつ，数理的観点から振り返る． ※本講演会へは事前申し込みが必要ですので、申し込みフォームから事前にお申し込みください。150名に達しましたら、申し込みを終了いたします。申し込みフォーム： https://arai-lab.netcommons.org/page_20171113013248 ※入館に際しては身分証明証が必要です。入り口で身分証明証をご提示の上、セミナー参加票（ウェブ上で登録の際、参加票が発行されます）をご持参の上、警備員にお伝えください。

1 0

RIMS共同研究（公開型）「証明論と証明活動」のご案内
by Katsumi Sasaki 13 Nov '17

13 Nov '17

みなさま　標記の研究集会　　　研究題目：証明論と証明活動　　　日程：2017年12月25日(月)〜27日(水) 　　　場所：京都大学数理解析研究所420号室の講演募集などの案内を http://www.st.nanzan-u.ac.jp/info/sasaki/2017rims/rims2017.html に載せましたので，ご連絡させていただきます．講演等の申込締切が，早目で，　　11月3日にさせていただいておりますのでご注意ください．　詳細は，上記のURLにありますが，関連する話題をお持ちでしたら，是非とも講演をご検討くださいますようお願いいたします．南山大学　佐々木克巳

1 4

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

Project colloquium talk by Jurriaan Rot and Kenta Cho on 9 November
by urabenatsuki＠is.s.u-tokyo.ac.jp 06 Nov '17

06 Nov '17

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Jurriaan Rot and Kenta Cho on 9th November, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ---- Thu 9 November 2017, 16:30–18:45 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html 16:30-17:30 Jurriaan Rot <http://jurriaan.me/> (Radboud University), Traces and Triangles In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. I will talk about recent joint work with Bart Jacobs, which elaborates two new unifying ideas in the theory of coalgebraic trace semantics: 1) previous approaches can be placed and connected in so-called state-and-effect triangles, that arise in the semantics of programs; 2) coalgebraic trace semantics is naturally presented in terms of corecursive algebras. This perspective puts the different approaches under a common roof, and allows us to derive conditions under which they coincide. 17:45-18:45 Kenta Cho <https://www.cs.ru.nl/K.Cho/> (Radboud University), String diagrams in probability theory String diagrams are a graphical language for monoidal categories, which has become very popular in categorical quantum mechanics initiated by Abramsky and Coecke. In this talk I will explain that string diagrams are also useful for (classical) probability theory. The Kleisli categories of the distribution and the Giry monad give concrete interpretation of string diagrams, respectively, for discrete probability and general measure-theoretic probability. Topics include disintegration, Bayesian inversion, and conditional independence. The talk is based on joint work with Bart Jacobs; see preprint https://arxiv.org/abs/1709.00322.

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

CFP: TPP 2017 (Dec. 6-7 in Kyoto Univ.)
by Atsushi Igarashi 31 Oct '17

31 Oct '17

京都大学の五十嵐です．第１３回 TPP (Theorem Proving and Provers) ミーティングを１２月６日（水）の午後から１２月７日（木）までの予定で、京都大学吉田キャンパスにて開催します．このミーティングは， 2005 年から年に１回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．ミーティング期間中の討論を大切にしたいと考えていますので，出来上がった仕事の講演だけでなく，進行中の仕事、未完成の仕事についての講演も歓迎します．参加者には可能な限りご講演いただきたいと希望しています．参加者と講演の概数を把握したいので，参加される(かもしれない)方は、 https://docs.google.com/forms/d/e/1FAIpQLSeNY78Nptel4SY_U5MAGMX6qEzyipeFBSn… 経由で 11月22日(水)までに参加申し込みをしてください．また12月6日(水) の夜に懇親会を予定しております．こちらの参加(するかもしれない)表明をお願いいたします．恒例のTPP問題を含む，詳しい情報は https://aigarashi.github.io/TPP2017/ にあります．多数のご参加をお待ちしております．どうぞよろしくお願いします．五十嵐淳

1 0

[1st CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations
by Kazutaka Matsuda 25 Oct '17

25 Oct '17

皆様，東北大学の松田です． <Programming> 2018に併設して開催されるワークショップ Bx 2018 の論文募集の案内をお送りいたします．もしよろしければ，ご投稿を検討いただけますと幸いです． --------------------------------------------------------- FIRST CALL FOR PAPERS ===================== Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- 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 2018 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. IMPORTANT DATES --------------- - Paper submission: Jan. 18, 2018 - Author notification: Feb. 17, 2018 - Workshop: To be announced (Apr. 9 or Apr. 10, 2018) AIM & 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 PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 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 6 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 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 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 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. Talk proposals are expected to present works of particular interest for the community and that are 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. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site is to be announced. Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least 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. PROGRAM CO-CHAIRS ----------------- - Jens Weber (University of Victoria) - Kazutaka Matsuda (Tohoku University) PROGRAM COMMITTEE MEMBERS ------------------------- To be announced.

1 0

MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 25 Oct '17

25 Oct '17

皆様静岡大学の鈴木信行です。第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆さま、ご寛恕を賜りますようお願い申し上げます。ご参加・ご講演のお申込み、〆切が近づきました。 11月1日(水)までに、以下の申し込みフォームをお送りください。送り先: mlg52.shizuoka(a)gmail.com 件名: MLG52申込申し込みフォーム： -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

CALL FOR PARTICIPATION: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 20 Oct '17

20 Oct '17

（重複して受け取られた場合はご容赦ください）皆様、北海道大学の佐野勝彦と申します。今年の11月に東京で開催される LENLS 14 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。 [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Daisuke Bekki (Ochanomizu University/JST CREST) Eric McCready (Aoyama Gakuin University) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (Munich Center for Mathematical Philosophy, LMU Munchen) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Important dates: ================ Deadline for camera-ready copy: October 16, 2017 Deadline for onsite registration: November 1, 2017 LENLS14: November 13-15, 2017 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until End of October, 2017. https://www.ai-gakkai.or.jp/isai/registration2017 Program: ======== 1st Day: November 13 (Mon) ------------------------- 9:00-10:00:Registration 10:00-11:30:Session * Lukas Rieser "Quality as a speech-act CI and presuppositions" * Hitomi Hirayama "Towards a Unified Analysis of Contrastive wa as Contrastive Topic" * Michael Yoshitaka Erlewine and Hadas Kotek "Intervention tracks scope-rigidity in Japanese" 11:30-12:50:Lunch 12:50-14:20:Session * Yulia Zinova "Explaining prefix contributions in Russian using Frame Semantics and RSA" * Liping Tang "A Signaling Model for Pictorial and Alphabet Writings" * Ilaria Frana and Keir Moulton "Derived Nominals and Concealed Propositions" 14:20-14:35:Coffee Break 14:35-16:05:Session * Dan Zeman "Perspectival Plurality, Relativism, and Multiple Indexing" * Fabrizio Cariani and Simon Goldstein "Conditional heresies" * Andres Soria Ruiz "It's Getting Better All The Time: An Expressivist Semantics For Comparative Value Judgments" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Ivano Ciardelli "Two Switches in the Theory of Counterfactuals" 2nd Day: November 14 (Tue) ------------------------- 10:00-11:30:Session * Yu Izumi and Shintaro Hayashi "Expressive Small Clauses in Japanese" * Osamu Sawada and Jun Sawada "The dependent property of the Japanese inferential use of no koto-da: An evidence indicator for an inferential modal statement" * Gregoire Winterstein, Regine Lai and Zoe Luk "Denials and negative emotions: a unified analysis of the Cantonese expressive 'gwai2'" 11:30-12:50:Lunch 12:50-14:20:Session * Kristina Liefke "Relating Intensional Models of Formal Semantics: established methods and surprising results" * Oleg Kiselyov "Transformational Semantics on a Tree Bank" * Simon Charlow "A modular theory of pronouns and binding" 14:20-14:35:Coffee Break 14:35-16:05:Session * Robert Henderson and Eric McCready "How Dogwhistles Work" * Emily Lake "Ideological legibility as a primary pragmatic process in the interpretation of implicit content" * Eric McCready and Christopher Davis "An Invocational Theory of Slurs" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Craige Roberts "Character assassination: Indexicals in a new perspective" 19:30-:Banquet 3rd Day: November 15 (Wed) ------------------------- 10:00-11:30:Session * Katsuhiko Yabushita "On the suspendability of the prejacent of an only sentence" * Hiroaki Nakamura "Discontinuity in Potential Sentences in Japanese" * Roussanka Loukanova "Semantic Argument Slots in the Type-Theory of Acyclic Recursion and Syntax-Semantics Interfaces in CBLG" 11:30-12:50:Lunch 12:50-14:20:Session * Tatiana Bladier, Kilian Evang and Yulia Zinova "Aspecto-Temporal Representation of Slavic Aktionsarten in DRT with Boxer" * Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot and Christian Retore. "Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis" * Alastair Butler and Stephen Wright Horn "Annotating syntax and lexical semantics with(out) indexing" 14:20-14:35:Coffee Break 14:35-16:05:Session * Patrick Elliott "An algebraic theory of attitude reports" * Chungmin Lee "Languages with non-factive knowledge verbs" * Yurie Hara, Naho Orita and Hiromu Sakai "Evidentials in Causal Premise Semantics: A Rating Study" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Shoichi Takahashi "Lethal Restrictors: Remedies and Ramifications" Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

CFP: PPL2018 第20回プログラミングおよびプログラミング言語ワークショップ論文募集
by Shin-ya Nishizaki 11 Oct '17

11 Oct '17

logic-mlの皆様下記の通り、PPL2018のCFPを連絡させて頂きます。是非、投稿・参加をご検討ください。東京工業大学学術国際情報センター西崎真也 ================================================================ 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) http://jssst-ppl.org/workshop/2018/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．発表申込締切: 2017年12月21日(木) 17:00 (JST) 論文提出締切: 2018年1月9日(火) 17:00 (JST) 採否通知：2018年2月2日(金) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2018年1月22日(月) 17:00 (JST) 採否通知：2018年2月2日(金) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2018年2月5日(月) 17:00 (JST) 採否通知：2018年2月13日(火) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2018年1月22日(月) 17:00 (JST) 採否通知：2018年2月2日(金) 申込方法や詳細につきましては，上記ウェブページにて確定次第お知らせ致します． ================================================================ 問い合わせ先 ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org()-m53d8hra6b05cqqod3b1719ofh4b ================================================================ プログラム委員会上野雄大(東北大) 鵜川始陽(高知工科大) 海野広志(筑波大学) 江本健斗(九州工業大) 勝股審也(NII) 河内谷清久仁(日本IBM) 倉光君郎(横浜国立大) 光来健一(九州工業大) 櫻井孝平(金沢大) 笹田耕一(クックパッド) 新屋良磨(東京大) 澄川靖信(東京理科大) 田辺良則(鶴見大) 対馬かなえ(NII) 土屋達弘(大阪大) 鍋島英知 (山梨大) 浜名誠(群馬大) 星野直彦(京都大) 堀江倫大(日本IBM) 前田敦司(筑波大) 増原英彦(東京工業大) 松田一孝(東北大) 南出靖彦(東京工業大) 森畑明昌(東京大学) 結縁祥治(名古屋大) 組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長]

1 0

数学基礎論若手の会２０１７のご案内（再送）
by Toshimichi Usuba 11 Oct '17

11 Oct '17

MLの皆様、早稲田大学の薄葉です。締め切りが近づいてまいりましたので再度数学基礎論若手の会についてご案内させていただきます。講演、宿泊ともにまだ余裕がありますのでふるってご参加ください。数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．日時２０１７年１０月２７日（金）午後～２９日（日）午前場所財団法人大学セミナーハウス https://iush.jp/ 住所〒192-0372東京都八王子市下柚木1987-1 世話人　薄葉季路（早稲田大学基幹理工学部）連絡先　usuba(a)waseda.jp ウェブページ　https://sites.google.com/view/kisoronwakatenokai2017/%E3%83%9B%E3%83%BC%E3%… 参加費用：１４０００円程度（宿泊費、食事、懇親会費ふくむ。部分参加や食事をとられない場合はその分割引になります）参加を希望される方は、以下の情報を薄葉(usuba(a)waseda.xn--jp)-ub4boe 件名：数学基礎論若手の会参加申込にてお送りください。参加申し込み締め切り：９月１５日＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝・所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）・氏名，性別・講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）・２７日の宿泊を希望するorしない・２８日の宿泊を希望するorしない・２７日の夕食を希望するorしない・２８日の朝食を希望するorしない・２８日の昼食を希望するorしない・２８日の夜の懇親会に参加するorしない・２９日の朝食を希望するorしない・その他（質問、講演希望日など）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 1

第37回量子情報技術研究会(QIT37)申込締切延長
by NISHIMURA Harumichi 11 Oct '17

11 Oct '17

logic-mlの皆様第３７回量子情報技術研究会（QIT37）の発表申込締切が延長されたとのことですので，延長後の日程に変更した会告をご案内させていただきます（招待講演者の情報も増えています）．ご興味をお持ちの方は講演申込もご検討のほどよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道＜申込締め切りを延長しました＞ ---------------------------------------------------------- QIT37 第37回量子情報技術研究会研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．　第３７回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．日時：平成２９年１１月１６日（木），１７日（金）会場：埼玉大学総合研究棟１階シアター教室　　　（〒338-8570 さいたま市桜区下大久保255）発表募集分野：（申し込み状況によっては査読可能性あり）：量子情報，　　　　　　　　　量子計算，量子暗号など広く量子情報技術に関わる理論的　　　　　　　　　研究，実験的研究，計算機科学的研究，数学的研究，及び　　　　　　　　　その他関連分野定員：１４０名程度参加費：事前振込み　一般4,000円，学生3,000円　　　　（当日会場支払いは一般5,000円，学生4,000円）　　　　（懇親会は別途）研究会参加申込要領：講演(口頭，ポスター)希望者，聴講希望者は下記Webにて受付を行います．http://staff.aist.go.jp/s-kawabata/qit/ 招待講演：　小坂英男（横浜国立大学）「ダイヤモンドへの量子テレポーテーション転写と万能ホロノミック　量子操作～量子系の機械学習による最適量子操作の試みと量子情報　通信への応用～」　添田彬仁（東京大学）「高階量子情報処理の最近の展開」　古澤明（東京大学）「Hybrid quantum information processing: A way for large-scale 　optical quantum information processing」　森前智行（群馬大学）「セキュアクラウド量子計算」申込締め切り（延長しました）【講演申込締め切り】　　　平成２９年１０月１６日（月）口頭　　　　　　　　　　　　　平成２９年１０月２０日（金）ポスター【PDF原稿提出締め切り】　平成２９年１０月２０日（金）【参加申込締め切り】　　　平成２９年１０月２７日（金） [問合先] 小柴健史 (早稲田大学) 小川朋宏 (電気通信大学) 大久保潤 (埼玉大学) E-mail　qit37(a)list.waseda.jp 主催：電子情報通信学会　量子情報技術特別研究専門委員会（委員長　竹内繁樹（京都大学））共催：応用物理学会量子エレクトロニクス研究会 ----------------------------------------------------------

1 0

FSCD 2018 Call for Papers
by Takahito Aoto 11 Oct '17

11 Oct '17

皆様，国際会議 FSCD 2018 の論文募集をご案内致します．来年7月に，FLoC 2018 の一環として Oxford での開催です．投稿〆切は，1月22日です．ぜひ投稿をご検討いただければ幸いです． --- 青戸等人(新潟大学) --------------------------------------------------------------------------------------------------- Third International Conference on Formal Structures for Computation and Deduction (FSCD 2018) Oxford, UK, July 9 - 12th, 2018 Part of The Federated Logic Conference, FLoC 2018, July 6 - 19th, 2018. TOPICS: FSCD http://fscd-conference.org/ <http://fscd-conference.org/> covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory, new emerging models of computation (e.g. homotopy type theory or quantum computing), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). PUBLICATION : The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl http://www.dagstuhl.de/publikationen/lipics/ <http://www.dagstuhl.de/publikationen/lipics/> All LIPIcs proceedings are open access. SUBMISSION GUIDELINES : Submissions can be made in two categories. - Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. - System descriptions are limited to 6 pages (excluding 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://www.cs.le.ac.uk/events/fscd2018/ <http://www.cs.le.ac.uk/events/fscd2018/> IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: January 15th, 2018 Full Papers: January 22nd, 2018 Rebuttal period: March 22 - 25th, 2018 Authors Notification: April 2nd, 2018 Final version for proceedings: May 2nd, 2018 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 CHAIR Hélène Kirchner, Inria PROGRAM COMMITTEE S. Akshay, IIT Bombay T. Aoto, Niigata U. P. Arrighi, Marseille U. L. Birkedal, Aarhus U. E. Bonelli, Quilmes U. A. Bouhoula, Carthage U. C. Castro, F. Santa Maria Tech. U. U. Dal Lago, Bologna U. S. Escobar, U.P. Valencia M. Fernández, King's College London V. Ganesh, Waterloo U. H. Geuvers, Nijmegen U. M. Hasegawa, Kyoto U. H. Kirchner, Inria P.B. Levy, U. of Birmingham C. Loeding, Aachen U. A. Miquel, UdelaR, Montevideo G. Moser, Innsbruck U. C. Nalon, Brasilia U. V. Nigam, Paraiba U. & fortiss P. C. Ölveczky, Oslo U. G. Rosu, Illinois U. P. Severi, Leicester U. V. Sofronie-Stokkermans, Koblenz-Landau U. N. Tabareau, Inria R. Thiemann, Innsbruck U. A. Tiu, NTU Singapore F. van Raamsdonk, VU Amsterdam L. Zhi, CAS Beijing CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U. PUBLICITY CHAIR: Sandra Alves, Porto U. FSCD STEERING COMMITTEE T. Altenkirch (Nottingham U.), S. Alves (Porto U.), M. Fern\'andez (King's College London), C. Fuhs (Birkbeck, London U.), D. Kesner (Paris U.), N. Kobayashi (Tokyo U.), D. Miller (Inria), L. Ong (Chair, Oxford U.), B. Pientka (McGill U.), S. Staton (Oxford U.), R. Thiemann (Innsbruck U.). ---------------------------------------------------------------------------------------------------

1 0

25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers
by 小野寛晰 10 Oct '17

10 Oct '17

[Apologies for multiple copies.] WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia 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) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia 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 the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. 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). 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 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/instructions.html <http://wollic.org/wollic2018/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, 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 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ <http://wollic.org/wollic2018/>

1 0

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

05 Oct '17

みなさま、北陸先端科学技術大学院大学の横山です。以下の通り12月に早稲田大学にて「超準解析と数学基礎論のシンポジウム」の開催を予定しております。講演を募集致しますのでご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス講演募集締め切り：11月24日世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月24日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月24日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

名古屋ロジックセミナー(10/6)
by Takayuki Kihara 04 Oct '17

04 Oct '17

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：10月6日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：宮元忠敏 (南山大学)　題目： On iterated forcing with side conditions アブストラクト： Aspero-Mota introduced an iterated forcing that used symmetric systems of elementary substructures with the markers. We reproduce it. Our construction features the following: 1. We stick to a single transitive set universe to form various clubs. 2. We use a pre-forced stationary set to manage amalgamations. 3. We use what we call signed coordinates rather than the markers. We consider these features by iteratively forcing the following examples. 1. Posets that force what we call fast functions. 2. Posets that kill weak club guessings. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

PEPM 2018: Final CfP
by Kohei SUENAGA 29 Sep '17

29 Sep '17

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永と申します． PEPM 2018 の final call for paper をお送りします．投稿をお待ちしております．末永幸平 PEPM 2018 FINAL CALL FOR PAPERS =============================== The submission site is now open: https://pepm18.hotcrp.com Only one week until the paper submission deadline (6th October AoE)! Highlights ---------- PEPM 2018 welcomes submissions on * semantics based and machine-learning based program synthesis and program optimisation, and * modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications, in addition to traditional PEPM topics. Do submit a short paper if you want to get feedback for your work in progress! If requested, short papers can be left out of the proceedings so that the results can be published elsewhere. New in this call ---------------- Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard. Short papers should include the words “short paper” somewhere in their title, and will be evaluated primarily on the basis of their ideas rather than finished execution. -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 =============================================================================== * Website : http://popl18.sigplan.org/track/PEPM-2018 * Time : 8th – 9th January 2018 * Place : Los Angeles, CA, US (co-located with POPL 2018) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2018 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko (https://josh-hs-ko.github.io). Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: Regular Research Papers and Short Papers. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages (excluding bibliography). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar; they will be evaluated primarily on the basis of their ideas rather than finished execution. Short papers must not exceed 6 pages (excluding bibliography), and should include the words “short paper” somewhere in their title. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm18.hotcrp.com/ PEPM 2018 will employ lightweight double-blind reviewing according to the rules of POPL 2018. Quoting from POPL 2018’s call for papers: “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 PC and external 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. In particular, 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.” See POPL 2018’s Submission and Reviewing FAQ page for more information: http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-F… Submissions are welcome from PC members (except the two co-chairs) provided that there are non-PC co-authors. Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. 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 programme, see its web page. Important dates --------------- * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date 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 your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Best paper award ---------------- PEPM 2018 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Invited speakers ---------------- Alex Aiken (Stanford University) Conal Elliott (Target) Jan Midtgaard (University of Southern Denmark) Programme committee ------------------- Nada Amin (EPFL) Shigeru Chiba (University of Tokyo) Ezgi Çiçek (Max Planck Institute for Software Systems) Olivier Danvy (Yale-NUS College) Ronald Garcia (University of British Columbia) Simon Gay (University of Glasgow) Andy Gill (X, the Moonshot Factory) Fritz Henglein (co-chair) (University of Copenhagen) Anastasia Izmaylova (IMC Financial Markets) Johan Jeuring (Utrecht University) Gabriele Keller (University of New South Wales) Oleg Kiselyov (Tohoku University) Hsiang-Shang Ko (co-chair) (National Institute of Informatics) Ralf Lämmel (University of Koblenz-Landau) Julia Lawall (Inria) Simon Peyton Jones (Microsoft Research Cambridge) Frank Pfenning (Carnegie Mellon University) Sriram Rajamani (Microsoft Research India) Norman Ramsey (Tufts University) Thomas Reps (University of Wisconsin-Madison) Sergei Romanenko (Keldysh Institute of Applied Mathematics) Tiark Rompf (Purdue University) Wolfram Schulte (Facebook) Peter Sestoft (IT University of Copenhagen) Harald Søndergaard (University of Melbourne) Kohei Suenaga (Kyoto University) Martin Vechev (ETH Zurich) Marcos Viera (University of the Republic) Nobuko Yoshida (Imperial College London) -- 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

Kyoto Workshop on Logic and Metaphysicsのご案内
by Hitoshi Omori 27 Sep '17

27 Sep '17

Kyoto Workshop on Logic and Metaphysicsのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。 ------------------------------------- Kyoto Workshop on Logic and Metaphysics 【日時】2017年10月2日【場所】京都大学吉田泉殿【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kwlm 【プログラム】 09:30-10:30 Filippo Casati "Inside *Aussersein*" 10:30-11:30 Ryo Ito "Rules and Trivialities in Proofs" 11:30-12:45 Lunch 12:45-13:45 Colin Caret "The Mutability of Entailment" 13:45-14:45 Ole Hjortland "Theories of truth and the maxim of minimal mutilation" 14:45-15:00 Break 15:00-16:00 Zach Weber "On paradox explanation, the inclosure schema, and being exceptionally ordinary" ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

Kyoto Nonclassical Logic Workshop IIIのご案内
by Hitoshi Omori 22 Sep '17

22 Sep '17

Kyoto Nonclassical Logic Workshop IIIのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。 ------------------------------------- Kyoto Nonclassical Logic Workshop III 【日時】2017年9月25日【場所】京都大学吉田泉殿【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kncl3 【プログラム】 September 25: 11:00--12:00 Zach Weber "On Substructural Logic and Metatheory" 12:00--13:00 Takuro Onishi "Unifying two plans in relevant logic" 13:00--14:30 Lunch 14:30--15:30 Igor Sedlár "Abstract completeness of some lattice-valued modal logics" 15:30--16:30 Kazushige Terui "The noble art () of diagrammatic reasoning in algebraic logic" 16:30--16:45 Coffee break 16:45--17:45 Adam Přenosil "Reconstructing involutive residuated lattices from their negative cones" 17:45--18:45 Petr Cintula "Lindenbaum-style proof of completeness for infinitary logics" 19:00-- Dinner ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

続報: MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 21 Sep '17

21 Sep '17

皆様静岡大学の鈴木信行です。第52回MLG 数理論理学研究集会の続報です。ご参加・ご講演のお申込みを開始いたします。参加の申し込みは以下のフォームにご記入の上、 11月1日(水)までにお送りください。送り先: mlg52.shizuoka(a)gmail.com -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。詳しくは、下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/

1 0

第37回量子情報技術研究会(QIT37)のご案内
by NISHIMURA Harumichi 15 Sep '17

15 Sep '17

logic-mlの皆様 QIT37の世話人に代わりまして第３７回量子情報技術研究会（QIT37）の会告をご案内させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------- QIT37 第37回量子情報技術研究会研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．　第３７回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．日時：平成２９年１１月１６日（木），１７日（金）会場：埼玉大学総合研究棟１階シアター教室　　　（〒338-8570 さいたま市桜区下大久保255）発表募集分野：（申し込み状況によっては査読可能性あり）：量子情報，　　　　　　　　　量子計算，量子暗号など広く量子情報技術に関わる理論的　　　　　　　　　研究，実験的研究，計算機科学的研究，数学的研究，及び　　　　　　　　　その他関連分野定員：１４０名程度参加費：事前振込み　一般4,000円，学生3,000円　　　　（当日会場支払いは一般5,000円，学生4,000円）　　　　（懇親会は別途）研究会参加申込要領：講演(口頭，ポスター)希望者，聴講希望者は下記Webにて受付を行います．http://staff.aist.go.jp/s-kawabata/qit/ <http://staff.aist.go.jp/s-kawabata/qit/> <http://staff.aist.go.jp/s-kawabata/qit/> 申込締め切り【講演申込締め切り】　　　平成２９年１０月６日（金）口頭　　　　　　　　　　　　　平成２９年１０月１３日（金）ポスター【PDF原稿提出締め切り】　平成２９年１０月２０日（金）【参加申込締め切り】　　　平成２９年１０月２７日（金） [問合先] 小柴健史 (早稲田大学) 小川朋宏 (電気通信大学) 大久保潤 (埼玉大学) E-mail　qit37(a)list.waseda.jp <mailto:qit37@list.waseda.jp> <qit37(a)list.waseda.jp> 主催：電子情報通信学会　量子情報技術特別研究専門委員会（委員長　竹内繁樹（京都大学））共催：応用物理学会量子エレクトロニクス研究会 ----------------------------------------------------------

1 0

Fwd: [hscc] 2018 Hybrid Systems: Computation and Control (HSCC) -- Call for Papers
by Ichiro Hasuo 04 Sep '17

04 Sep '17

*HSCC 2018 CALL FOR PAPERS* 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC) April 11-13, 2018, Porto, Portugal *URL:* www.hscc2018.deib.polimi.it <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polim…> *Important dates:* Paper submission deadline: October 6, 2017 (11:59pm UTC-12) *FIRM* Notification: December 2017 Camera-ready: February 2018 Conference dates: April 11-13, 2018 * Please refer to the conference website for up-to-date information. * *Paper submission information:* Regular papers (maximum 10 pages, 10pt font, two-column ACM format) Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM format) Demos (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Demo”) Posters (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Poster”) *Awards:* - Best Repeatability Evaluation Award; Papers would be eligible upon passing the repeatability evaluation process will receive the “artifact evaluated” badge. - Best Demo/Poster Award - Best Paper Award **New** - Test-of-Time Award* *New** *Conference scope:* HSCC 2018 is the 21st in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid systems, with an emphasis on computational aspects. By drawing on strategies from computation and control, hybrid systems theory finds application in both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers are expected to cover a wide spectrum of topics from theoretical results to practical considerations, from academic research to industrial adoption, including but not limited to: - Mathematical foundations, computability and complexity - Analysis, verification, validation, and testing - Modeling paradigms and techniques - Design, synthesis, planning, and control - Programming and specification languages - Network science and network-based control - Security, privacy, and resiliency in cyber-physical systems with a focus on computation and control - Artificial intelligence and machine learning in control algorithms - Software tools - Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas *Program Committee Chairs:* Maria Prandini, Politecnico di Milano Jyotirmoy V.Deshmukh, University of Southern California *Repeatability Evaluation Chair:* Sergiy Bogomolov, Australian National University *Publicity Chair:* Kostas Margellos, University of Oxford *Demo and Poster Session Chair:* Jens Oehlerking, Robert Bosch GmbH *Awards Chair* Akshay Rajhans, The MathWorks *Program Committee:* See www.hscc2018.deib.polimi.it <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polim…> *Steering Committee:* Rajeev Alur, University of Pennsylvania Werner Damm, OFFIS John Lygeros, ETH Zurich Oded Maler, Verimag Paulo Tabuada, University of California at Los Angeles Claire Tomlin, University of California at Berkeley *Submission website: * See www.hscc2018.deib.polimi.it <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polim…> — Kostas Margellos Department of Engineering Science University of Oxford Parks Road, Ox1 3PJ, Oxford United Kingdom kostas.margellos(a)eng.ox.ac.uk

1 0

Kyoto Philosophical Logic Workshop IIIのご案内
by Hitoshi Omori 01 Sep '17

01 Sep '17

Kyoto Philosophical Logic Workshop IIIのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。概要などの詳細はウェブサイトをご覧下さい。 ------------------------------------- Kyoto Philosophical Logic Workshop III 【日時】2017年9月7日, 8日, 9日【場所】京都大学吉田泉殿(7日、9日)、芝蘭会館別館(8日) 【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kplw-3 【プログラム】 September 7: The third workshop on connexive logic, co-organized by Heinrich Wansing and Hitoshi Omori 11:00--12:00 Norihiro Kamide "Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality" 12:00--13:00 Tomasz Jarmużek "Connexive logics defined by relating semantics and tableau approach" 13:00--14:30 Lunch 14:30--15:00 Sara Ipakchi "A justification for Aristotle Thesis AT on the basis of LNC" 15:00--16:00 Wolfgang Lenzen "Is connexive logic based on a gross misunderstanding? A Leibnitian approach" 16:00--16:15 Coffee break 16:15--17:15 Heinrich Wansing "Connexive Logic and Chellas-Segerberg Semantics" 17:15--18:15 Andreas Kapsner "What is Connexivity? Lessons from Constructive and Conditional Logics" 19:00-- Dinner September 8: 09:15--10:15 Yasuo Deguchi "Analytic Nishida: Metaphysics of Self and Non-classial Logic" 10:15--11:15 Rafał Urbaniak "Paradoxes of informal provability and many-valued indeterministic provability logic" 11:15--12:15 Toshiharu Waragai "Lesniewski's Ontology from a Syllogistic Point of View" 12:15--13:30 Lunch Special session on Leibniz's logic 13:30--14:30 Ryosuke Igarashi "A Comparison of the Logical Systems of Leibniz and Kant" 14:30--15:30 Hiroyuki Inaoka "Mathematics as make-believe: Infinite diagram in Leibniz's mathematical study" 15:30--15:45 Coffee break 15:45--16:45 Shinji Ikeda "Extension and Space in Leibniz’s Theory of Abstraction" 16:45--17:45 Wolfgang Lenzen "The evolution of the system of Leibniz’s logic" 18:30-- Dinner September 9: 10:00--11:00 Vít Punčochář "Between material and strict implication" 11:00--12:00 Igor Sedlár "Term negation in first-order logic" 12:00--13:30 Lunch 13:30--14:30 Yasuo Nakayama "Philosophical Basis for Dynamic Belief-Desire-Obligation Logic" 14:30--15:30 Shunsuke Yatabe "TBA" 15:30--15:45 Coffee break 15:45--16:45 Makoto Kanazawa "Lambek Calculus and Context-Free Grammars: Some Unresolved Issues" 16:45--17:45 Heinrich Wansing "Disentangling FDE-based Paraconsistent Modal Logics" 18:30-- Dinner ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

FINAL CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14), Deadline Extended
by Katsuhiko Sano 31 Aug '17

31 Aug '17

[Apologies for multiple copies] ================================================================= FINAL CALL FOR PAPERS **Deadline extended to September 7, 2017** Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: September 7, 2017 (extended) Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 30 Aug '17

30 Aug '17

皆様スワンジー大学のArnold Beckmann先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 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, EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/), and EU Horizon 2020 Marie Skłodowska-Curie actions RISE project CID. Date: Friday 15, September, 2017, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Arnold Beckmann (University of Swansea, Head of Department of Computer Science) http://www.cs.swan.ac.uk/~csarnold/ Title: Provably Total NP Search Problems of Bounded Arithmetic and beyond Abstract: Bounded Arithmetic forms a collection of weak theories of Arithmetic related to complexity classes of functions like the Polynomial Time Hierarchy. Many connections between Bounded Arithmetic and important questions about complexity classes have already been established. Recent research considers total NP search problems in the context of Bounded Arithmetic. Total NP search problems have been studied by Papadimitriou et al as a means to characterise the complexity of natural search problems which cannot be analysed as decision problems. In my talk I will review the research programme of characterising the provably total NP search problems in Bounded Arithmetic, and explain why it is important for current research questions in the area. I will describe recent results about the provably total NP search problems of a Bounded Arithmetic theories related to PSPACE and EXPTIME reasoning. I will also describe this program for theories beyond Bounded Arithmetic like Peano arithmetic, and what impact this might have on Complexity Theory.

1 0

3rd CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 26 Aug '17

26 Aug '17

[Apologies for multiple copies] ================================================================= 3rd CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: August 31, 2017 Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

[Deadline Extension] JURISIN2017: call for Papers
by Ken Satoh (web mail) 22 Aug '17

22 Aug '17

CFP: Eleventh International Workshop on Juris-informatics (JURISIN 2017) homepage: http://research.nii.ac.jp/~ksatoh/jurisin2017 **************************************************** The submission deadline is extended to 6 September. **************************************************** ** Workshop dates November 14 - 15, 2017 ** Venue Tokyo Campus, University of Tsukuba, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access ** Important Dates Submission Deadline: September 6, 2017 Notification: October 6, 2017 Camera-ready due: October 13, 2017 ** Aims and Scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. ** Relevant topics include, but are not limited to, the following: Model of legal reasoning Argumentation / Negotiation / Argumentation agent Legal term ontology Formal legal knowledge-base / Intelligent management of legal knowledge-base Translation of legal documents Information retrieval of legal texts Computer-aided law education Use of Informatics and AI in law Legal issues on applications of robotics and AI to society Social implications of use of informatics and AI in law Natural language processing for legal knowledge Verification and validation of legal knowledge systems Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain ** Invited Speakers Kevin D. Ashley (University of Pittsburgh) Katsumi Nitta (Tokyo Institute of Technology) ** Submissions We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2017 (The 28th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2017 is as follows: Papers being submitted both to JURISIN2017 and JURIX2017 must note this on the title page. A paper to be presented at JURISIN2017 must be withdrawn from JURIX2017 and vice versa according to the choice by the authors. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2017. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. We strongly encourage an online registration. You can submit your paper at "https://easychair.org/conferences/?conf=jurisin2017". If you cannot submit a paper by EasyChair System by some trouble, please send email to "ksatoh[at]nii.ac.jp" ** Post Proceedings Selected papers will be published as a post-proceedings via Springer Verlag LNAI series after the second round of review after the workshop. ** Workshop Chair Ken Satoh, National Institute of Informatics and Sokendai, Japan ** Steering Committee Members Takehiko Kasahara, Toin Yokohama University Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, JAIST, Japan Katsuhiko Toyama, Nagoya University, Japan ** Advisory Committee Members Trevor Bench-Capon, The University of Liverpool, UK Tomas Gordon, Fraunfoher FOKUS, Germany Henry Prakken, University of Utrecht & Groningen, The Netherlands John Zeleznikow, Victoria University, Australia Robert Kowalski, Imperial College London, UK Kevin Ashley, University of Pittsburgh, USA ** Program Committee Members Thomas Agotnes, University of Bergen, Norway Ryuta Arisaka, National Institute of Informatics, Japan Kristijonas Cyras Imperial College London Marina De Vos, University of Bath, UK Phan Minh Dung, AIT, Thailand Randy Goebel, University of Alberta, Canada Guido Governatori, Data61, Australia Tatsuhiko Inatani, Kyoto University, Japan Tokuyasu Kakuta, Nagoya University, Japan Yoshinobu Kano, Shizuoka University, Japan Mi-Young Kim, University of Alberta, Canada Nguyen Le Minh, JAIST, Japan Beishui Liao, Zhejiang University, Chaina Hatsuru Morita, Tohoku University, Japan Makoto Nakamura, Nagoya University, Japan Yoshiaki Nishigai, Nihon University, Japan Konatsu Nishigai, Tokyo Metropolitan University, Japan Katsumi Nitta, Titech, Japan Paulo Novais, University of Minho, Portugal Julian Padget, University of Bath, UK Ginevra Peruginelli, ITTIG-CNR, Italy Katsuhiko Sano, Hokkaido University, Japan Giovanni Sartor, EUI/CIRSFID, Italy Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai Akira Shimazu, JAIST, Japan Fumio Shimpo, Keio University, Japan Satoshi Tojo, JAIST, Japan Katsuhiko Toyama, Nagoya University, Japan Rob van den Hoven van Genderen, VU University Amsterdam, The Netherlands Leon van der Torre, University of Luxembourg, Luxembourg Bart Verheij, University of Groningen, The Netherlands Katsumasa Yoshikawa, IBM Research Tokyo, Japan Masaharu Yoshioka, Hokkaido University, Japan Harumichi Yuasa, Institute of Information Security, Japan Yueh-Hsuan Weng, Tohoku University, Japan Adam Wyner, University of Aberdeen, UK For any inquiry concerning the workshop, please send it to "ksatoh[at]nii.ac.jp"

1 0

名古屋ロジックセミナー (Linda Brown Westrick氏の講演 8/24)
by Takayuki Kihara 16 Aug '17

16 Aug '17

皆様，名古屋大学の木原貴行です．この度，コネチカット大学の Linda Brown Westrick 氏の名古屋訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：8月24日 (木) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：Linda Brown Westrick (コネチカット大学) 題目 Uncountable free abelian groups via admissible computability 概要 One way to study structures of uncountable cardinality κ is to generalize the notion of computation. Saying that a subset of κ is κ-c.e. if it is Σ^0_1 definable (with parameters, in the language of set theory) over L_κ provides the notion of κ-computability. We may also quantify over subsets of L_κ, providing a notion of a κ-analytic set (here we assume V=L). In this setting, we consider the difficulty of recognizing free groups and the complexity of their bases. For example, if κ is a successor cardinal, the set of free abelian groups of size κ is Σ^1_1-complete. The resolution of questions of this type is more complex for other κ, and a few questions remain open. This is joint work with Greenberg and Turetsky. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

第二十八回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムと懇親会参加について
by 西澤弘毅 10 Aug '17

10 Aug '17

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十八回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのアナウンスをさせていただきます。 < 重複してお受け取りの節はご容赦願います。> ご参加をお待ちしております。 --------------------------------------------------------------------- **************************************************************** * 第二十八回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2017年8月28日（月）午後～8月29日（火） * * 鹿児島大学郡元キャンパス理学部 1号館 101講義室 * * * * 暫定プログラムのお知らせと講演募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年からウェブサイトがこちらに移動しました。 https://sites.google.com/site/algimeeting/home 第二十八回 ALGI の開催場所や暫定プログラムはこちらで確認できます。会場の手配は鹿児島大学の古澤仁先生にお願いしています。 https://sites.google.com/site/algimeeting/home/28 講演枠が５つ空いております。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を西澤（nishizawa AT kanagawa-u.ac.jp）までお寄せください。また、一日目の夕方に鹿児島大学周辺で懇親会を予定しておりますので、懇親会への参加を希望される方は、8/23（水）までに上記アドレスにメールでお知らせください。 ALGI 自体は申し込み不要で自由にご参加いただけます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。なお、以前お知らせしたメーリングリストの移行については、混乱を避けるため第二十八回 ALGI の開催後に行います。その際はご協力よろしくお願いいたします。西澤弘毅（神奈川大学）津曲紀宏（崇城大学） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

【論文募集】「コンピュータソフトウェア」サーベイ論文特集【〆切 9/30】
by Kazutaka Matsuda 10 Aug '17

10 Aug '17

（複数のメーリングリストに投稿しております．重複して受けとられましたらご容赦ください）皆様，東北大学の松田です．日本ソフトウェア科学会誌「コンピュータソフトウェア」では，サーベイ論文特集を企画しており，下記の要領で論文を募集（9/30 〆切）しております．どうぞ，投稿をご検討いただければ幸いです． ============================================================== 日本ソフトウェア科学会誌「コンピュータソフトウェア」「サーベイ論文」特集論文募集 http://www.jssst.or.jp/edit_news/detail/id=280 日本ソフトウェア科学会の学会誌「コンピュータソフトウェア」の使命の一つは，ソフトウェア科学・技術のすぐれた解説を通じた知識の普及および学術の発展への貢献です．本誌では折に触れ解説論文を掲載していますが，より多様なテーマに関する独特な視点からの興味深い分析を広く共有すべく，独自の切り口での網羅的な文献調査に基づく解説を「サーベイ論文」として募集します．サーベイ論文といえば，大きなテーマに対して，深い知識だけでなく，広く網羅的な知識が要求され，各分野で名の通った専門家が執筆するものというイメージがあるかもしれません．本学会誌のサーベイ論文では，このようなイメージとは一線を画した，掘り下げ方や解説の切り口などに新しい視点を与える，特定のテーマに関する網羅的なサーベイを期待しています．例えば，一つの研究を完成させる過程でその新規性および有用性を裏付けるために挙げるべき関連研究に対し，独自の観点や関連付けを与えて整理することができるでしょう．「サーベイ論文特集」は，このサーベイ論文の方向性を示し，一般投稿論文として定着させることを目的にしています．2012年2月号の第1回特集以来，年に一度のペースで特集を企画しており，今回は第7回目となります．今回も引き続き，各研究の周辺にテーマを適切に設定し，その範囲の文献を深い理解とともに網羅的に解説するというサーベイ論文の趣旨を広く周知し，さらに採択数を増やしていきたいと考えています．多くのご投稿をお待ちしております．博士論文等を執筆する過程で調査した文献の解説も広く歓迎します． [対象分野] コンピュータソフトウェアがカバーするすべての分野，例えば以下の技術や分野に関わるもの：アルゴリズム，プログラミング言語と処理系，数値的・記号的計算，システムソフトウェア，高信頼ソフトウェア，データベース，データマイニング，人工知能，ロボティクス，人間－計算機インタラクション，コンピュータネットワークをはじめとするソフトウェア科学・工学の分野において，新しい視点を与える文献の解説．オリジナルの結果を含むかどうかは問いません． [執筆要領] 日本ソフトウェア科学会誌「コンピュータソフトウェア」の関連諸規定をご参照の上，投稿論文のPDFファイルと「投稿メモ」を jssst-survey2018_at_se.cs.titech.ac.jp （_at_を@で置き換えて下さい）宛てにお送りください．学会誌関連諸規定は以下でご参照いただけます． http://www.jssst.or.jp/edit/kitei/ [スケジュール] 論文投稿締切り：2017年9月30日 17:00 特集号刊行予定：2018年8月号（査読プロセスの進行状況により掲載予定号に間に合わない場合があります．その場合でも特集論文として扱われます．） [特集号編集委員] 川端英之（広島市立大学），林晋平（東京工業大学），松田一孝（東北大学），松野裕（日本大学），櫻田英樹（NTT） [問合せ先] jssst-survey2018_at_se.cs.titech.ac.jp （_at_を@で置き換えて下さい）

1 0

PPLサマースクール2017: 参加募集
by Takahito Aoto 07 Aug '17

07 Aug '17

PPLサマースクール2017のご案内です． (重複して受信された場合はご容赦願います．) PPLサマースクールは，日本ソフトウェア科学会・プログラミング論研究会主催のイベントです．今回も，例年と同様に日本ソフトウェア科学会大会の併設企画として開催いたします．今回のテーマは「Isabelle/HOL による証明とプログラミング」で，講師はインスブルック大学の山田晃久様にお願いしております．参加申し込み方法などを含む詳細につきましては， http://ppl.jssst.or.jp/?ss2017 をご覧ください．是非ご参加をご検討いただければ幸いです． --- 青戸等人(新潟大学) ------------------------------------------------------------------------ PPLサマースクール2017 Isabelle/HOL による証明とプログラミング日本ソフトウェア科学会 (JSSST) プログラミング論研究会 (PPL) 主催日本ソフトウェア科学会第34回大会併設企画 Webページ: http://ppl.jssst.or.jp/?ss2017 講師：山田晃久(インスブルック大学) 2017年 9月 18日 (月) 10:00 - 17:00 慶應義塾大学日吉キャンパス == 概要 == Isabelle/HOL は，1986年に Lawrence Paulson によって創始され，現在はミュンヘン工科大学 Tobias Nipkow のチームを中心にメンテナンスされている証明支援ツールです． Isabelle/HOL の特徴は，スマートな証明環境 (jEdit)，強力な自動証明のサポート (Sledgehammer)，Haskell 等への自然なコード輸出 (code export)，多彩でオープンなライブラリ (Archive of Formal Proofs; AFP) などが挙げられます．本セミナーでは，Isabelle/HOL を用いた定理証明と，正しさの保証されたプログラム開発方法を，実践を通して紹介します．また AFP より，代数的数計算ライブラリなど，そのごく一部を紹介します． Isabelle には歴史的経緯からさまざまなクセがあり，学習を困難にしている要因となっていると考えられますが，本セミナーでは証明言語 Isar による，クセを排した“行儀のよい”証明の書き方に徹します．実習形式で行いますので，受講に際してはノートパソコンをご持参ください．なお，Isabelle/HOL をストレスなく利用するために，ある程度高性能なノートパソコンを推奨します．受講にあたっては，簡単な証明を書ける程度の基本的な論理学の知識を習得していること，また関数型言語の利用経験があることが推奨されます． == 講師紹介 == 山田晃久 (やまだあきひさ) http://cl-informatik.uibk.ac.at/users/ayamada/ インスブルック大学ポスドク．項書き換え系の停止性証明法に関する研究で， 2014年名古屋大学情報科学研究科博士課程を修了．同年，産業技術総合研究所にて組み合わせテストツール Calot の開発に従事．2015年より，インスブルック大学にて項書換え系，プログラム解析技法などの形式証明ライブラリ IsaFoR の開発プロジェクトに参加．情報処理学会正会員． == 参加費・参加申し込み == PPLサマースクールの参加費は以下の通りです．学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非会員3000円参加ご希望の方は，日本ソフトウェア科学会第34回大会共通の参加登録ページ https://jssst2017.wordpress.com/%e5%8f%82%e5%8a%a0%e7%94%b3%e3%81%97%e8%be%… から，お申し込みください．事前登録をお願いしております． == 問い合わせ先 == PPLサマースクール2017 幹事青戸等人 (新潟大学) E-mail: aoto(a)ie.niigata-u.ac.jp ------------------------------------------------------------------------

1 0

SLACS2017プログラム確定のお知らせと懇親会追加募集
by 安部達也 03 Aug '17

03 Aug '17

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2017幹事、千葉工大の安部です。講演・懇親会参加へお申し込みいただいた方々、ありがとうございました。今回は、以下のご案内をさせていただきます。 1. プログラムが確定しましたのでお知らせします。 2. 懇親会の参加について追加募集（若干名）を行います。 SLACS2017（記号論理と情報科学） http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/ 日時 2017年8月8日（火）から2017年8月9日（水）（前日まで数学基礎論サマースクールが明治大学で行われています。）場所千葉県習志野市津田沼2-17-1 千葉工業大学津田沼キャンパス 6号館3階633室参加費無料。ただし、懇親会費（3000から5000円程度）は別途徴収します。 1. プログラム（敬称略）は以下のとおり決定しました。 8月8日（火）オープニング 13:25–13:30 セッション1：座長未定 13:30–14:05 山形頼之（産総研） Validity of bilateral classical logic and its application 14:05–14:40 武原直紀（東工大）論理式完備ハイティング代数による直観主義二階命題論理のカット除去定理についてセッション2：座長未定 15:00–15:35 伴睦久（東京大） Self-identification on Social Software 15:35–16:10 福田陽介（京都大）準複数結論自然演繹による爆発則の再定式化セッション3：座長未定 16:30–17:05 内藏理史（東京大）再帰的な確率的プログラムの実行時間の二次のモーメントのための述語変換子 17:05–17:40 西脇友一（東京大） Contextual Modality through Iterated Enrichment 懇親会 18:00–20:00 福盛園（JR津田沼駅近く）SLACS2017のウェブページに地図を載せています 8月9日（水）セッション4：座長未定 10:00–10:35 酒井千尋（奈良女子大） TBA 10:35–11:10 上村太一（京都大） TBA セッション5：座長未定 11:30–12:05 木村大輔（東邦大） TBA 12:05–12:40 中澤巧爾（名古屋大） TBA クロージング 12:40–12:45 2. 懇親会会場を決定しました。当日飛び入りは不可能とのことですが、事前に連絡しておけば（会場の広さの都合上）若干名であれば対応可能とのことですので、追加募集いたします。参加を希望される方は幹事までご連絡ください。先着順に受け付けますのでご希望にそえないこともありますがご了承ください。

1 0

2017年度数学基礎論サマースクール案内第３報（直前のご案内）
by Toshio Suzuki 03 Aug '17

03 Aug '17

2017年度数学基礎論サマースクール案内第３報（直前のご案内）首都大学東京の鈴木登志雄です。 2017年度数学基礎論サマースクールは，いよいよ８月５日（土）から明治大学駿河台キャンパスで開催されます。今年度のテーマは「計算理論」です。参加費は無料です。申し込み・参加登録は不要です（会場収容人数１４０名。先着順。ただし過去の例から類推して，席は十分あると思われます）。時間割，最寄駅の情報などは下記のウェブサイトでご覧になれます。多くの方のご来場をお待ちしております。 http://toshio-suzuki-logic.jp/meeting/summer2017.html （NEW）すべての講義について，講義資料を事前に掲載しました。日時：８月５日（土）から７日（月）初日 13:00-16:30、２日目以降 9:00-16:30 会場：明治大学駿河台キャンパス　リバティタワー1073 （この部屋は７階です。ご注意ください。） http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html 世話人：鈴木登志雄（首都大学東京），隈部正博（放送大学），河村彰星（8/1から九州大学），宮部賢志（明治大学）講師・テーマ：河村彰星「はじめての計算可能性」，宮部賢志「チューリング次数」，隈部正博「ジェネリック次数」，鈴木登志雄「ＨＦ上のデルタ１関係」この集会はJSPS科研費16K05255 「ブール値探索コストの条件付き極値問題：資本対リスク比による手法の展開」（研究代表者鈴木登志雄）から部分的に援助を受けています。 -- 近い日程の集会：サマースクールの翌日から，SLACS 2017（記号論理と情報科学）が開催されます（千葉工業大学）。 http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Call for papers: PEPM 2018
by Kohei SUENAGA 02 Aug '17

02 Aug '17

皆様，（複数お受け取りの場合はご容赦下さい．）京都大学の末永と申します．来年1月にロサンゼルスで開催される PEPM 2018 の CFP をお送りします． POPL 2018 との同時開催です． "Partial evaluation" と会議名に入っていますが，プログラミングに関することならば部分計算に関係なくとも広く募集しております．大事な日程は * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 です．どうぞ投稿をご検討下さい．よろしくお願いいたします．末永幸平 -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 =============================================================================== * Website : http://popl18.sigplan.org/track/PEPM-2018 * Time : 8th – 9th January 2018 * Place : Los Angeles, CA, US (co-located with POPL 2018) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2018 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko (https://josh-hs-ko.github.io). Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: Regular Research Papers and Short Papers. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages (excluding bibliography). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages (excluding bibliography). Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm18.hotcrp.com/ PEPM 2018 will employ lightweight double-blind reviewing according to the rules of POPL 2018. Quoting from POPL 2018’s call for papers: “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 PC and external 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. In particular, 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.” See POPL 2018’s Submission and Reviewing FAQ page for more information: http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-F… Submissions are welcome from PC members (except the two co-chairs) provided that there are non-PC co-authors. Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM 2018 web site. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. 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 programme, see its web page. Important dates --------------- * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date 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 your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Best paper award ---------------- PEPM 2018 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- Nada Amin (EPFL) Shigeru Chiba (University of Tokyo) Ezgi Çiçek (Max Planck Institute for Software Systems) Olivier Danvy (Yale-NUS College) Ronald Garcia (University of British Columbia) Simon Gay (University of Glasgow) Andy Gill (X, the Moonshot Factory) Fritz Henglein (co-chair) (University of Copenhagen) Anastasia Izmaylova (IMC Financial Markets) Johan Jeuring (Utrecht University) Gabriele Keller (University of New South Wales) Oleg Kiselyov (Tohoku University) Hsiang-Shang Ko (co-chair) (National Institute of Informatics) Ralf Lämmel (University of Koblenz-Landau) Julia Lawall (Inria) Simon Peyton Jones (Microsoft Research Cambridge) Frank Pfenning (Carnegie Mellon University) Sriram Rajamani (Microsoft Research India) Norman Ramsey (Tufts University) Thomas Reps (University of Wisconsin-Madison) Sergei Romanenko (Keldysh Institute of Applied Mathematics) Tiark Rompf (Purdue University) Wolfram Schulte (Facebook) Peter Sestoft (IT University of Copenhagen) Harald Søndergaard (University of Melbourne) Kohei Suenaga (Kyoto University) Martin Vechev (ETH Zurich) Marcos Viera (University of the Republic) Nobuko Yoshida (Imperial College London) -- 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

AQIS17のご案内
by NISHIMURA Harumichi 27 Jul '17

27 Jul '17

logic-mlの皆様シンガポールで９月４日から８日に開催される 17th Asian Quantum Information Science Conference: AQIS2017 の案内をするように依頼がありましたので、メーリングリストをお借りして、ご案内いたします。以下の通り、早期登録の期限は７月３０日となっております。ご参加をご検討いただければ幸いです。＃複数お受け取りの場合はご容赦ください。名古屋大学大学院情報学研究科西村治道 ----------------------------------------------------------------------------------------------------------------------------------------- Announcement: AQIS 2017: preliminary conference program available online Dear all, The conference preliminary program is now made available: http://aqis-conf.org/2017/program together with a preliminary conference program. The registration system is also open at: http://aqis-conf.org/2017/registration early-bird deadline is on 30 July 2017. Accommodation options can also be found: http://aqis-conf.org/2017/accommodation Your help to share or forward this information to other students, researchers and research groups who might be interested would be very much appreciated. We look forward to seeing you at AQIS 2017. Sincerely yours, AQIS 2017 Organising Committee Conference secretariat contact: aqis17(a)quantumlah.org -----------------------------------------------------------------------------------------------------------------------------------------

1 0

モデル理論夏の学校のお知らせ
by kota takeuchi 24 Jul '17

24 Jul '17

皆様筑波大学の竹内耕太です。今年のモデル理論夏の学校のお知らせです。モデル理論夏の学校は毎年夏に開催されているワークショップです。モデル理論に興味のある研究者や学生を歓迎いたします。詳しくはwebページ（ https://sites.google.com/site/modeltheolysummerschool2017/ ）をご覧ください。日時：9月19－21日（火～木）場所：大学セミナーハウス（東京都八王子）宿泊：セミナーハウスに20名分の部屋を予約してあります。数に限りがありますのでお早めに相談ください。またご自身で近隣のホテルを探していただくことも可能です。世話人：坪井明人（筑波大学）、竹内耕太（筑波大学）参加を希望される方はwebページをご確認のうえ必要な情報をkota(a)math.tsukuba.ac.xn--jp-g73axaz0b2e8b0moe6233j. 竹内耕太

1 0

[リマインダ] SLACS2017講演募集のお知らせ
by 安部達也 23 Jul '17

23 Jul '17

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）講演募集締切一週間前になりましたのでリマインダです。 # 既に講演/懇親会に申し込まれた皆様、ありがとうございます。7/31以降に # プログラム案をお送りします。しばらくお待ちください。また、講演/懇親 # 会に申し込んだのに幹事から返事をもらっていないという方がいらっしゃい # ましたらご連絡ください。 SLACS 2017（記号論理と情報科学）幹事の千葉工業大学の安部達也です。今年度の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。 SLACS 2017（記号論理と情報科学） http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/ 日時 2017年8月8日（火）から2017年8月9日（水）（前日まで数学基礎論サマースクールが明治大学で行われています。）場所千葉県習志野市津田沼2-17-1 千葉工業大学津田沼キャンパス6号館3階633室参加費無料。ただし、懇親会（初日夕方に開催予定）費は別途徴収します。幹事千葉工業大学人工知能・ソフトウェア技術研究センター安部達也連絡先 abet(a)stair.center SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ SLACS 2014 (東京工業大学) http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ 講演・聴講・懇親会申込方法講演を希望される方は、幹事に連絡をお願いいたします。その際、以下について回答をお願いいたします。Subject を「SLACS2017講演申込」にしておいていただけるとありがたいです。講演申込期限は2017年7月31日としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 1. 氏名：（例）安部達也 2. 所属：（例）千葉工業大学人工知能・ソフトウェア技術研究センター 3. 区分：一般/学生 ← プログラム作成・懇親会費設定に利用する場合があります 4. 演題：（例）TBA 5. 懇親会：参加する/追って連絡する/参加できない 6. 要望等：（例）初日しか参加できませんので初日の枠に入れてください ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 講演を伴わない聴講のみを希望される場合、事前連絡は不要です。当日、会場に直接お越しください。懇親会に参加を希望される方は、幹事に連絡をお願いいたします。その際、講演申込と同様のフォーマット（演題不要）での回答をお願いいたします。 Subject を「SLACS2017懇親会参加申込」にしておいていただけるとありがたいです。申込期限は2017年7月31日としますが、参加する意思があるという方は早目にご連絡いただけると幸いです。

1 0

講演会 (上村太一氏)
by Ryoma Shinya 21 Jul '17

21 Jul '17

(重複で受け取られた方はご容赦ください) 皆様，東京大学の新屋です．以下の要領で京都大学の上村太一氏の講演会を実施いたしますので，ふるってご参加ください．新屋良磨東京大学大学院情報理工学系研究科コンピュータ科学専攻 email: ryoma(a)kb.is.s.u-tokyo.ac.jp <mailto:ryoma@kb.is.s.u-tokyo.ac.jp> ========== 日時：8/4(金) 午後2時から場所：東京大学理学部化学東館2階化東236教室題目：Homotopy Type Theory 入門 / Fibred Fibration Categories 話者：上村太一 (京都大学数理解析研究所) 第一部 (チュートリアル): Homotopy Type Theory 入門概要: *Homotopy Type Theory* (HoTT) は Martin-Löf 依存型理論の拡張で、ホモトピー論に特化した型理論である。代数トポロジーと計算機科学の橋渡しとなる分野であり、ホモトピー論、高次圏論、数理論理学、定理証明器、依存型プログラミングなどと関わりが深い。特に定理証明器を用いた代数トポロジーおよび数学全般の形式化に使われており、 HoTT による数学の基礎付けと定理証明器上での実装は *Univalent Foundations program* と呼ばれる。本チュートリアルでは、Martin-Löf 依存型理論の基本的な概念と、 HoTT の重要な概念である *univalence axiom* と *higher inductive type* についてインフォーマルに解説する。また、HoTT の圏論的意味論として弱分解系、モデル圏や Shulman の type-theoretic fibration category についても触れる。第二部: Fibred Fibration Categories 概要: We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates for identity types. As an application, we show a relational parametricity result for homotopy type theory. As a corollary, it follows that every closed term of type of polymorphic endofunctions on a loop space is homotopic to some iterated concatenation of a loop.

1 0

数学基礎論若手の会２０１７のご案内
by Toshimichi Usuba 21 Jul '17

21 Jul '17

（重複して受け取られた場合はご容赦ください） logic-mlの皆様、早稲田大学の薄葉と申します。２０１７年度の数学基礎論若手の会のご案内をさせていただきます。数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．日時２０１７年１０月２７日（金）午後～２９日（日）午前場所財団法人大学セミナーハウス https://iush.jp/ 住所〒192-0372東京都八王子市下柚木1987-1 世話人　薄葉季路（早稲田大学基幹理工学部）連絡先　usuba(a)waseda.jp ウェブページ　https://sites.google.com/view/kisoronwakatenokai2017/%E3%83%9B%E3%83%BC%E3%… 参加費用：１４０００円程度（宿泊費、食事、懇親会費ふくむ。部分参加や食事をとられない場合はその分割引になります）参加を希望される方は、以下の情報を薄葉(usuba(a)waseda.xn--jp)-ub4boe 件名：数学基礎論若手の会参加申込にてお送りください。参加申し込み締め切り：９月１５日＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝・所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）・氏名，性別・講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）・２７日の宿泊を希望するorしない・２８日の宿泊を希望するorしない・２７日の夕食を希望するorしない・２８日の朝食を希望するorしない・２８日の昼食を希望するorしない・２８日の夜の懇親会に参加するorしない・２９日の朝食を希望するorしない・その他（質問、講演希望日など）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 0

2nd CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 20 Jul '17

20 Jul '17

皆様、北海道大学の佐野勝彦と申します。今年の１１月に東京で開催される LENLS14 国際ワークショップの 2nd CFPをお送り致します。皆様のご投稿・ご参加をお待ちしております。佐野勝彦 [Apologies for multiple copies] ================================================================= 2nd CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: August 31, 2017 Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

CTFM2017のご案内
by YOKOYAMA Keita 18 Jul '17

18 Jul '17

先ほどのメール、おかしなタイトルで送信してしまいましたので、改めて送信させて頂きます。失礼致しました。横山啓太皆様、北陸先端大の横山です。 9月にシンガポールで開催されます、CTFM2017のご案内をさせて頂きます。どうぞよろしくお願い致します。横山啓太 CALL FOR PRESENTATION: ============================================================ Workshop on Computability Theory and Foundations of Mathematics (National University of Singapore, 8 - 12 September 2017) http://ims.nus.edu.sg/events/2017/wcom/index.php Abstracts of talks should be submitted via email to imsbox1(a)nus.edu.sg with subject line: CTFM2017 submission. The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format: Tex file: http://ims.nus.edu.sg/files/IMSAbstractTemplate.tex PDF example: http://ims.nus.edu.sg/files/IMSAbstractTemplate.pdf IMPORTANT DATE. Submission deadline: September 1, 2017. ============================================================ This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity. CTFM began as a "Workshop on Proof Theory and Computability Theory" and held its first meeting in Japan. Previous venues were Matsushima (2008, 2009), Inawashiro (2010), Sendai (2011), Tokyo (2012). The series assumed the name "Computability and Foundations of Mathematics" at the 2013 meeting which was hosted in Tokyo. CTFM 2017 will be the first time a meeting in the series is held outside Japan. The previous meetings attracted not only researchers in Japan but also many from around the world. In particular, since 2013, logicians from Singapore have had frequent scientific exchanges with their Japanese counterpart through the platform of the CTFM meetings. The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics. -------------------------------------------- Invited Speakers Joerg Brendle (Kobe University, Japan) Satoru Kuroda (Gunma Prefectural Women's University, Japan) Ludovic Patey (The University of California, Berkeley, USA) Toshimichi Usuba (Waseda University, Japan) Thomas Zeugmann (Hokkaido University, Japan) Hao Zhaokuan (Fudan University, China) -------------------------------------------- Program Committee: Dilip Raghavan (National University of Singapore) Stephen Simpson (Pennsylvania State University) Frank Stephan (National University of Singapore) Kazuyuki Tanaka (Tohoku University) (Chair) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- Organizing Committee: Chi Tat Chong (National University of Singapore) Kazuyuki Tanaka (Tohoku University) Guohua Wu (Nanyang Technological University) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Fwd: CTFM2107: the change of speakers
by YOKOYAMA Keita 18 Jul '17

18 Jul '17

皆様、北陸先端大の横山です。 9月にシンガポールで開催されます、CTFM2017のご案内をさせて頂きます。どうぞよろしくお願い致します。横山啓太 CALL FOR PRESENTATION: ============================================================ Workshop on Computability Theory and Foundations of Mathematics (National University of Singapore, 8 - 12 September 2017) http://ims.nus.edu.sg/events/2017/wcom/index.php Abstracts of talks should be submitted via email to imsbox1(a)nus.edu.sg with subject line: CTFM2017 submission. The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format: Tex file: http://ims.nus.edu.sg/files/IMSAbstractTemplate.tex PDF example: http://ims.nus.edu.sg/files/IMSAbstractTemplate.pdf IMPORTANT DATE. Submission deadline: September 1, 2017. ============================================================ This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity. CTFM began as a "Workshop on Proof Theory and Computability Theory" and held its first meeting in Japan. Previous venues were Matsushima (2008, 2009), Inawashiro (2010), Sendai (2011), Tokyo (2012). The series assumed the name "Computability and Foundations of Mathematics" at the 2013 meeting which was hosted in Tokyo. CTFM 2017 will be the first time a meeting in the series is held outside Japan. The previous meetings attracted not only researchers in Japan but also many from around the world. In particular, since 2013, logicians from Singapore have had frequent scientific exchanges with their Japanese counterpart through the platform of the CTFM meetings. The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics. -------------------------------------------- Invited Speakers Joerg Brendle (Kobe University, Japan) Satoru Kuroda (Gunma Prefectural Women's University, Japan) Ludovic Patey (The University of California, Berkeley, USA) Toshimichi Usuba (Waseda University, Japan) Thomas Zeugmann (Hokkaido University, Japan) Hao Zhaokuan (Fudan University, China) -------------------------------------------- Program Committee: Dilip Raghavan (National University of Singapore) Stephen Simpson (Pennsylvania State University) Frank Stephan (National University of Singapore) Kazuyuki Tanaka (Tohoku University) (Chair) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- Organizing Committee: Chi Tat Chong (National University of Singapore) Kazuyuki Tanaka (Tohoku University) Guohua Wu (Nanyang Technological University) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Call for papers: Non-classical Modal and Predicate Logics
by Katsuhiko Sano 14 Jul '17

14 Jul '17

皆様、北海道大学の佐野勝彦と申します。2017年12月に広州で開催される国際会議についてご案内申し上げます。どうぞ宜しくお願い致します。佐野勝彦 ------------------------------------------------------------------------------------------------- (* Apologies for any cross-postings. *) Call for papers *** Non-classical Modal and Predicate Logics *** Guangzhou (Canton), China, 4-8 December 2017 http://logic.sysu.edu.cn/wolc2017/ Modalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues. We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.), as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). Topics of interest include (but are not limited to): * The study of first- or higher-order variants of non-classical logics, including, but not limited to: - Predicate intuitionistic and superintuitionistic logics - Predicate modal logics (e.g. epistemic, tense, action) - Predicate substructural logics - Predicate many-valued and partial logics - Predicate paraconsistent logics - Predicate conditional logic - Predicate non-monotonic logics * Non-classical theories of quantification over classical logic, such as: - Free logics - Branching quantifiers and IF-logic - Generalized quantifiers * Extensions by modalities of (propositional or predicate) non-classical logics, including: - Modal extensions of (super)intuitionistic, substructural, many-valued, paraconsistent, non-monotonic, etc., logics - Co-algebraic treatment of modalities * Applications of non-classical modal and predicate logics in various areas, including: - Computer science - Linguistics and logical analysis of natural language - Philosophy - Methodology of science - Foundations of mathematics (non-classical mathematics) - Mathematical social sciences (e.g. social choice theory, game theory, decision theory) Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, propositional quantification, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified). == Invited speakers == Gilles Dowek Xavier Caicedo Thomas Ehrhard Melvin Fitting Rosalie Iemhoff Edwin Mares (more to be announced) == Program committee == Shier Ju (chair) Petr Cintula (chair) Arnon Avron Libor Behounek Rob Goldblatt Minghui Ma Chris Mortensen Hiroakira Ono Alessandra Palmigiano Valentin Shehtman Yde Venema Xuefeng Wen (more to be announced) == Organizing committee == Zhe Lin (chair) == Contacts == Web: http://logic.sysu.edu.cn/wolc2017/ Email: linzhe8(a)mail.sysu.edu.cn == Submissions == Extended abstracts of 1-2 pages (including references) should be submitted via the EasyChair web interface: https://easychair.org/conferences/?conf=ncmpl2017 The typesetting style of the document is free for the moment, but a file written according to LNCS style will be requested upon acceptance == Important dates == Deadline for abstracts: 1 September 2017 Notification of acceptance: 20 September 2017 Conference: 4-8 December 2017 Shier Ju and Petr Cintula Conference chairs

1 0

名古屋ロジックセミナー (Arno Pauly氏の講演 7/21)
by Takayuki Kihara 13 Jul '17

13 Jul '17

皆様，名古屋大学の木原貴行です．この度，ブリュッセル自由大学のArno Pauly氏の日本訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：7月21日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：Arno Pauly (ブリュッセル自由大学) 題目：Computability: From ω^ω to κ^κ アブストラクト： Recently Galeotti and Nobrega [1,2] have suggested to generalize computable analysis and the theory of Weihrauch degrees to higher cardinalities. The central role taken by Baire space ω^ω in the classic theories is then filled by κ^κ for a cardinal κ with κ^{<κ}, the reals are replaced by initial segments of the surreal numbers and Turing machines are generalized to ordinal time Turing machines. Initial investigations have reveiled that some results carry over directly, whereas other core questions can become inpendent of ZFC. I will outline both the classic theory and its the generalization to higher cardinalities. In particular, I will highlight some open questions and challenges. [1] Lorenzo Galeotti: A candidate for the generalised real line, CiE 2016. [2] Lorenzo Galeotti and Hugo Nobrega: Towards computable analysis on the generalised real line, CiE 2017. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

2017年度数学基礎論サマースクール案内第２報
by Toshio Suzuki 12 Jul '17

12 Jul '17

皆様（重複してお受け取りの折はご寛恕ください）首都大学東京の鈴木登志雄です。 2017年度数学基礎論サマースクールの案内第２報です。今年度のテーマは「計算理論」です。（NEW）時間割・最寄駅をウェブに掲載しました。 toshio-suzuki-logic.jp/meeting/summer2017.html 日時：８月５日（土）から７日（月）初日午後、２日目以降午前・午後会場：明治大学駿河台キャンパス　リバティタワー1073 http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html 世話人：鈴木登志雄（首都大学東京），隈部正博（放送大学），河村彰星（東京大学），宮部賢志（明治大学）参加費：無料講師・テーマ：河村彰星「はじめての計算可能性」，宮部賢志「チューリング次数」，隈部正博「ジェネリック次数」，鈴木登志雄「ＨＦデルタ１関係」近い日程の集会：サマースクールの翌日から，SLACS 2017（記号論理と情報科学）が開催されます（千葉工業大学）。 http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml