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

訃報：角田譲先生
by Makoto Kikuchi 28 Aug '15

28 Aug '15

皆様，神戸大学名誉教授の角田譲先生が病気のため2015年8月27日に御逝去されました．通夜，告別式等の詳細はメールにて菊池までお問い合わせください．神戸大学菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

Last CFP: TPP 2015
by Jacques Garrigue 28 Aug '15

28 Aug '15

Dear all, (English letter and CFP below) PPLおよびlogic-mlの皆様、今年のTPP（Theorem Proving and Provers meeting）の最終案内をお送りいたします。準備（特に懇親会！）の都合上、下記要領のように、８月３１日までに参加のお知らせをいただきたいと希望しています。確実でなくとも、参加の可能性があれば是非お知らせください。講演についても、講演の可能性があれば、題目は未定(TBA/to be announced)でも構いませんのでお知らせください。 TPPmark11 の課題も添付にて再送いたします。 TPP2015のweb site <https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/>にもアップロードしてあります。多数の解答が寄せられるよう期待しています。 TPP2015幹事 (神奈川大学　木下佳樹) -------------------------[CFP: TPP2015]------------------------------- TPPミーティングについてのご案内です．第11回 TPPミーティングを 9月16日(水)-17日(木) に神奈川大学理学部情報科学科（平塚市）にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．ミーティング期間中の討論 (discussion) を大切にしたいと考えていますので出来上がった仕事の講演だけでなく、進行中の仕事、未完成の仕事についての講演も歓迎します。参加者には可能な限りご講演いただきたいと希望しています。日時： 2015年 9月16日(水) 13:00頃〜 9月17日(木) 15:00頃　（予定）場所：神奈川大学湘南ひらつかキャンパス　11号館サーカムホール〒259-1293 神奈川県平塚市土屋2946 参加者と講演の概数を把握したいので、参加される（かもしれない）方は、 8月31日までに下の参加申し込みを下記メールアドレスまでお送りください．＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊　参加（するかもしれない）申込締切：　８月３１日＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊申込み・問い合わせ先: yoshiko(a)progsci.info.kanagawa-u.ac.jp <mailto:yoshiko@progsci.info.kanagawa-u.ac.jp> (神奈川大学理学部情報科学科木下佳樹研究室松本佳子) URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ <https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/> ------------------------------------------------------------------------- TPP 2015 参加申し込みお名前：ご所属：参加　　　　：する／するかもしれない講演　　　　：する／しない講演する場合　講演題目：　　（TBAでもかまいません．）　概要：懇親会に参加：する／しない ------------------------------------------------------------------------- ========================================================================= This is the LAST CALL for participation for the 11th TPP meeting (Theorem Proving and Provers meeting), to be held on Sep. 16(Wed) - 17(Thu), 2015 at Kanagawa University. Date and Time: 2015/9/16 around 1pm to 9/17 around 3pm Place: Shonan-Hiratsuka Campus, Kanagawa University Circum Hall (Bld. 11) TPP is a series of annual meetings for developers as well as users of theorem provers. Discussions from various aspects as well as exchanges of ideas took place in the past ten meetings. We regard the discussions during the meeting to be most important. As such, not only the talks about completed work, but those about ongoing work and half-baked work are also welcome. We hope all participants would consider giving a talk. If you are planning to attend the meeting, even if not yet decided to do so, please send the information slip below to the indicated address by 31 August. ***************************************** * participation application deadline: 31 August, 2015. ***************************************** Submission/questions to: yoshiko(a)progsci.info.kanagawa-u.ac.jp <mailto:yoshiko@progsci.info.kanagawa-u.ac.jp> (Keiko Matsumoto , Kinoshita lab.) URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ <https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/> ------------------------------------------------------------------------- TPP 2015 Registration Name: Affiliation: Will participate: Yes/No/Maybe Will give a talk: Yes/No In case of Yes: Title: (If it is not decided yet, TBA is OK.) Abstract: Will join the dinner: Yes/No -------------------------------------------------------------------------

1 0

CFP: Ninth International Workshop on Juris-informatics (JURISIN 2015)
by Ken Satoh 28 Aug '15

28 Aug '15

Call for Papers Ninth International Workshop on Juris-informatics (JURISIN 2015) http://research.nii.ac.jp/~ksatoh/jurisin2015 associated with JSAI International Symposia on AI 2015 (IsAI-2015) https://www.ai-gakkai.or.jp/isai/ Date: November 16 - 18, 2015 Place: Raiosha Building, Keio University Kanagawa, Japan http://www.keio.ac.jp/en/maps/hiyoshi.html 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. Important Dates Submission Deadline: August 28, 2015 Notification October 1, 2015 Camera-ready due October 15, 2015 Workshop: November 16 - 18, 2015 Topics 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 ubiquitous computing / multi-agent system / the Internet * 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 Bar Exam Competition JURISIN invites participation in a legal information extraction and entailment competition. Previous conferences/workshops have not conducted such a shared task on a large legal data collection, so we hope that the 2015 workshop will help establish a major experimental effort in the legal information extraction/retrieval field. The motivation for the competition is to help create a research community of practice for the capture and use of legal information. Please visit the homepage of the bar exam competition: "http://webdocs.cs.ualberta.ca/~miyoung2/COLIEE2015/" Invited Speakers Giovanni Sartor (University of Bologna/European University Institute of Florence) Phan Minh Dung (Asian Institute of Technology, Thailand, (under negotiation)) 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 2015 (The 28th International Conference on Legal Knowledge and Information Systems) "http://jurix2015.di.uminho.pt/". The double submission policy with JURIX 2015 is as follows: 1. Papers being submitted both to JURISIN2015 and JURIX2015 must note this on the title page. 2. A paper to be presented at JURISIN2015 must be withdrawn from JURIX2015 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2015. 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. Please submit a paper at "https://easychair.org/conferences/?conf=jurisin2015". Post Proceedings We are under negotiation with Springer Verlag for publication of Post Proceedings as the preivous arragements. Workshop Chairs Takehiko Kasahara, Toin Yokohama University, Japan 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, Japan Advanced Institute of Science and Technology(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 Katie Atkinson, University of Liverpool, UK Marina De Vos,University of Bath, UK Randy Goebel, University of Alberta, Canada Guido Governatori, NICTA, Australia Tokuyasu Kakuta, Nagoya University, Japan Yoshinobu Kano, Shizuoka University, Japan Takehiko Kasahara, Toin Yokohama University, Japan Mi-Young Kim, University of Alberta, Canada Robert Kowalski, Imperial College London, UK Masahiro Kozuka, Okayama University, Japan Nguyen Le Minh, Japan Advanced Institute of Science and Technology(JAIST), Japan Beishui Liao, Zhejiang University, China Minghui Ma, Southwest University, China Makoto Nakamura, Nagoya University, Japan Katumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Antonino Rotolo, University of Bologna, Italy Seiichiro Sakurai, Meiji Gakuin University, Japan Katsuhiko Sano, Japan Advanced Institute of Science and Technology(JAIST), Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology(JAIST), Japan Hirotoshi Taira, Osaka Institute of Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan Minghui Xiong, Sun Yat-sen University, China Baosheng Zhang, China University of Political Science and Law, China Previous JURISIN workshops * JURISIN2007 <http://research.nii.ac.jp/%7Eksatoh/jurisin.html> * JURISIN2008 <http://www.ntt.dis.titech.ac.jp/jurisin2008/> * JURISIN2009 <http://research.nii.ac.jp/%7Eksatoh/jurisin2009.html> * JURISIN2010 <http://research.nii.ac.jp/%7Eksatoh/jurisin2010.html> * JURISIN2011 <http://research.nii.ac.jp/%7Eksatoh/jurisin2011.html> * JURISIN2012 <http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/> * JURISIN2013 <http://www.ntt.dis.titech.ac.jp/jurisin2013/> * JURISIN2014 <http://www.jaist.ac.jp/org/jurisin2014/> For any inquiry concerning the workshop, please send it to "ksatoh[at]nii.ac.jp"

1 1

ELC Seminar (Norbert Müller), Tue Sep 8
by Akitoshi Kawamura 27 Aug '15

27 Aug '15

皆様新学術領域研究「計算限界解明」（ELC）では以下のセミナーを開催しますので御案内申し上げます。奮って御参加下さい。 http://www.al.ics.saitama-u.ac.jp/elc/event/list.cgi?regid=20150908-0000-20… ------------------------------------------- Real numbers and computers Norbert Müller (Universität Trier) ------------------------------------------- Tuesday 14:00-, September 8, 2015 CELC seminar room 404 http://www.al.ics.saitama-u.ac.jp/elc/celc/ Abstract: Sometimes, people think that computers could compute correctly. Unfortunately, this is not true in general: Overflows, underflows, rounding errors and truncation errors can lead to grossly wrong results, even if the used algorithm is implemented with care. This can often be traced down to use of "double precision numbers" as a replacement for the "real numbers". In the talk we present how a computer can compute more precisely or even "exact", just using basic concepts of object-oriented programming. Additionally, we present some of the basic ideas that are used to get an efficient implementation of exact real arithmetic. 御参考：iRRAM: Exact real arithmetic in C++ http://irram.uni-trier.de/ -- 河村彰星東京大学総合文化研究科広域システム科学系

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 24 Aug '15

24 Aug '15

皆様、北陸先端大の横山です。参加登録期限が近づきましたので、研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) の情報を再送致します。なお、研究集会のプログラムが http://www.jaist.ac.jp/CTFM/CTFM2015/timetable.html にアップされております。横山啓太 ---------- Forwarded message ---------- 皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

2 1

JAIST Logic Seminar Series
by Hajime Ishihara 20 Aug '15

20 Aug '15

皆様トリア大学のNorbert Mueller先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Tuesday 25 August, 2015, 15:10-16:40 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Norbert Mueller (University of Trier) Title: Real numbers and computers Abstract: Sometimes, people think that computers could compute correctly. Unfortunately, this is not true in general: Overflows, underflows, rounding errors and truncation errors can lead to grossly wrong results, even if the used algorithm is implemented with care. This can often be traced down to use of "double precision numbers" as a replacement for the "real numbers". In the talk we present how a computer can compute more precisely or even "exact", just using basic concepts of object-oriented programming. Additionally, we present some of the basic ideas that are used to get an efficient implementation of exact real arithmetic.

1 0

CFP: 43rd TRS Meeting
by Yoshihito Toyama 18 Aug '15

18 Aug '15

Dear all, This is a gentle reminder that the deadline of registration of the next TRS meeting is ** TOMORROW **. Best regards, Takahito and Yoshihito --------------------------------------------------------------------- Call for Participation 43rd TRS Meeting September 8 - 10, 2015, Morioka, Japan http://www.nue.riec.tohoku.ac.jp/trs-meeting15/ The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on term rewriting and related areas. Every participant is highly encouraged to present recent works possibly in progress. It is perfectly acceptable to explain a paper written by someone else. Date: September 8th (Tue) - 10th (Thu), 2015 Venue: Yumori Hotel Taikan http://www.japanican.com/en/hotel/detail/2327001/?aff=rsv http://www.hotel-taikan.com/ Fee: 10,086 yen / day (inc. breakfast, dinner and tax) Tentative Schedule: Opening 13:30, September 8 / Closing 12:00, September 10 Registration: Please fill in the following registration form and send it to our secretary Sagae-san (sagae [at] nue.riec.tohoku.ac.jp) by e-mail no later than August 19 (Wed). Items marked with * can be sent later. -------------------------------------------------------------------- Registration Form of the 42nd TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): -------------------------------------------------------------------- Further information can be found at the website of the meeting. Best regards, Takahito Aoto and Yoshihito Toyama Research Institute of Electrical Communication Tohoku University

1 0

rims研究集会
by shioya＠math.tsukuba.ac.jp 16 Aug '15

16 Aug '15

皆様 RIMS研究集会「公理的集合論の最近の進展」への参加申込みありがとうございました。日程：２０１５年９月１６日（水）午後ー１８日（金）会場：京都大学数理解析研究所４２０号室現在、講演と旅費の補助の双方に若干の余裕があります。申込みはお早めにどうぞ。 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 氏名：所属機関：職名／学年：講演予定：あり／なし講演題目：出張期間：旅費補助の希望：あり／なしメールアドレス： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 講演予定の皆様へ英文タイトルをお知らせ下さい。変更は随時受け付けますのでお早めに。プログラムは以下のサイトで公開します： http://sites.google.com/a/math.tsukuba.ac.jp/rims2015/ どうぞよろしくお願いします。塩谷真弘筑波大学数理物質系

1 1

PEPM2016 論文募集
by Yukiyoshi Kameyama 16 Aug '15

16 Aug '15

皆様、(重複して受け取られた場合は、御容赦ください。) 来年1月のPOPL に併設して開催される国際会議 PEPM の論文募集をお送りします。日程は、 * Abstract submission: Tue, September 8, 2015 * Paper submission: Sun, September 13, 2015 (FIRM) * Author notification: Tue, October 20, 2015 となっていて、査読が素早く行われるという特徴があります。是非、投稿をご検討ください。 -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam --------------------------------------------------------------------- CALL FOR PAPERS Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016) St. Petersburg, Florida, January 18 - 19, 2016 http://conf.researchr.org/track/POPL-2016/pepm-2016-main The 2016 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continues efforts to expand the scope of PEPM beyond the traditionally covered areas of partial evaluation and specialization. Specifically, PEPM will include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM’16 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. * 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. * 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. * 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, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers’ for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. 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 program, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Selected papers from PEPM’16 will be published in a special issue of the journal Science of Computer Programming. PEPM has also established a Best Paper Award. The winner will be announced at the workshop. Submission Categories and Guidelines Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). 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’16 web site. Papers should be submitted electronically via EasyChair. easychair.org/conferences/?conf=pepm2016 Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template. Important Dates * Abstract submission: Tue, September 8, 2015 * Paper submission: Sun, September 13, 2015 (FIRM) * Author notification: Tue, October 20, 2015 * Camera ready copies: Fri, November 20, 2015 * Workshop: Monday, January 18 - Tuesday, January 19, 2016 Note: The paper submission deadline is firm. The above schedule is tight: We have absolutely no time to wait for late submissions, and we will have no deadline extension. ---------------------------------------------------------------------

1 0

HSCC 2016: Call for Papers
by Ichiro Hasuo 13 Aug '15

13 Aug '15

みなさま，東京大学の蓮尾です．物理情報システム分野の一大イベント CPS Week （来年はウィーン開催です）のメイン会議の一つ， HSCC の論文募集をお送りします．コミュニティとしては，主にプログラム検証・システム検証の人たちと，制御理論の人たちが，協力して研究を行っている印象です．よろしければぜひ，論文投稿や参加をご検討ください．どうかよろしくお願いいたします．蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ========= 19th International Conference on Hybrid Systems: Computation and Control (HSCC) April 12-14, 2016, Vienna, Austria URL: http://www.cs.ox.ac.uk/conferences/hscc2016/ Important dates Abstract Submission deadline (required): October 8, 2015. (no extensions possible) Paper Submission deadline: October 23, 2015. (no extensions possible) Rebuttal phase: November 27 to December 4, 2015. Author notification: December 18, 2015. Camera-ready submission: TBA. Demos/posters submission deadline: TBA. Conference dates: April 12-14, 2016. Conference Scope Hybrid Systems: Computation and Control (HSCC) has long been the leading, single-track conference on foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications deal broadly with cyber-physical systems (CPS), and include mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models. We solicit theoretical as well as applied research papers that present original work combining ideas from computer science and control systems. Topics of interest include, but are not limited to: - Design, synthesis, planning and control - Analysis, automated verification (Boolean or quantitative) - Certification, validation, and testing - Model building from data (via learning) and model simulation - Mathematical foundations, computability and complexity - Programming languages, specification formalisms - Software tool engineering and experimentation - Real-time and resource-aware control - Network science and control over networks - Applications in cyber-physical systems, and in particular: automotive, avionics, energy and power, mobile and autonomous robotics, medical devices, manufacturing, transportation, systems and synthetic biology, models for the life sciences, and other areas. HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS Week), alongside the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and CPS-related workshops. Special Issue: Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a special issue of a leading journal in the CPS research area. Best Student Paper Award: As established in the previous years, a best student paper award will be given to a contribution primarily authored by a student. Repeatability Evaluation: HSCC has a history of publishing strong papers emphasising computational contributions; however, subsequent re-creation of these computational elements is often challenging because details of the implementation are unavoidably absent in the paper. Authors of papers accepted to HSCC (in any track) that contain a computational component will be invited to participate in an optional repeatability evaluation process after final submission of the paper in February. Papers that pass will be highlighted at the conference and in the proceedings, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Further details will be posted at the conference web page. Submission Guidelines Submitted papers should present unpublished original research, not under review elsewhere. Regular papers: maximum 10 pages in the 10pt, two-column ACM format. Tool and Case Study papers: maximum 6 pages in the 10pt, two-column ACM format. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques. Demo/posters: Maximum 2 pages. Demo/poster descriptions serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings. Submissions Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2016 EasyChair submission website: https://easychair.org/conferences/?conf=hscc2016 Submissions deadline is October 23, 2015 - corresponding abstracts should be submitted by October 8, 2015. ACM templates can be found at: http://www.acm.org/sigs/publications/proceedings-templates Demo/poster submissions: The submission deadline will be announced sometime in the beginning of 2016. Submission will be through email to hscc2016(a)easychair.org with "HSCC demo/poster submission" in the subject line. Questions should be directed to the same address. Committees for HSCC 2016 Program Committee Chairs Alessandro Abate, University of Oxford, UK Georgios Fainekos, Arizona State University, USA Publicity Chair Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA Repeatability Evaluation Chair Ian M. Mitchell, University of British Columbia, Canada Demo/Poster Chair James Kapinski, Toyota Motors, USA Program Committee Shun-ichi Azuma, Kyoto University, Japan Christel Baier, TU Dresden, Germany Ezio Bartocci, TU Vienna, Austria Calin Belta, Boston University, USA Spring Berman, Arizona State University, USA Mireille Broucke, University of Toronto, Canada Krishnendu Chatterjee, IST Austria, Austria Alessandro Cimatti, Fondazione Bruno Kessler, Italy Alessandro D'Innocenzo, University of L'Aquila, Italy Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Motors, USA Xu Chu Ding, United Technology Research Center, USA Alexandre Donzé, UC Berkeley, USA Martin Fränzle, University in Oldenburg, Germany Antoine Girard, University of Grenoble, France Ichiro Hasuo, University of Tokyo, Japan Jun-ichi Imura, Tokyo Institute of Technology, Japan Franjo Ivancic, Google NY, USA Taylor Johnson, UT Arlington, USA Agung Julius, Rensselaer Polytechnic institute, USA Sertac Karaman, MIT, USA Joost-Pieter Katoen, RWTH Aachen University, Germany Marta Kwiatkowska, University of Oxford, UK Jun Liu, University of Waterloo, Canada Daniele Magazzeni, King's College London, UK Manuel Mazo Jr, TU Delft, The Netherlands Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA Jens Oehlerking, Robert Bosch GmbH, Germany Meeko Oishi, University of New Mexico, USA Necmiye Ozay, University of Michigan, USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Maria Prandini, Politecnico di Milano, Italy Akshay Rajhans, The MathWorks, USA S Ramesh, General Motors R&D, India Sriram Sankaranarayanan, Univ. of Colorado, Boulder, USA Oleg Sokolsky, University of Pennsylvania, USA Herbert Tanner, University of Delaware, USA Ufuk Topcu, UT Austin, USA Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Verena Wolf, Saarland University, Germany Majid Zamani, Technical University of Munich, Germany Naijun Zhan, Chinese Academy of Sciences, PR China Paolo Zuliani, Newcastle University, UK Steering Committee Rajeev Alur, University of Pennsylvania, USA Werner Damm, OFFIS, Germany John Lygeros, ETH Zurich, Switzerland Oded Maler, Verimag, France Paulo Tabuada, UCLA, USA Claire Tomlin, University of California Berkeley, USA

1 0

Kobe Colloquium on Logic, Statistics and Informatics, August 21 (Arkady Leiderman)
by Joerg Brendle 10 Aug '15

10 Aug '15

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2015年8月21日（金）16:00-17:00 講演者：Arkady Leiderman （ベングリオン大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Open G-bases and compact resolutions in topological groups and locally convex spaces. アブストラクト： A (Hausdorff) topological group G is said to have a {G}-base if G admits a base of neighbourhoods of the unit {U_alpha: alpha in N^N} such that U_alpha is contained in U_beta whenever beta leq alpha for all alpha, beta in N^N. The class of all metrizable topological groups is a proper subclass of the class TG_{G} of all topological groups having a {G}-base. A relation to the known combinatorial cardinal invariants b and d has been established: If a topological group G is in TG_{G}, then chi(G) in { 1, aleph_0 } cup [b,d]. We prove that a topological group G is metrizable iff G is Fréchet-Urysohn and has a {G}-base. We also show that any precompact set in a topological group G in TG_{G} is metrizable, and hence G is strictly angelic. We deduce from this result that an almost metrizable group G is metrizable iff G has a {G}-base. Characterizations of metrizability of topological vector spaces, in particular C_c(X), are given using {G}-bases. We obtain a result stating that if X is a submetrizable k_omega-space, then the free abelian topological group A(X) and the free locally convex topological space L(X) have a {G}-base. Another class TG_CR of topological groups with a compact resolution swallowing the compact sets appears naturally in this article. We show that the classes TG_CR and TG_{G} in some sense are dual to each other. We show also that the strong Pytkeev property for general topological groups is closely related to the notion of a {G}-base. We pose a dozen open questions. References: 1) On topological groups with a small base and metrizability, Saak Gabriyelyan, Jerzy Kąkol and Arkady Leiderman, Fund. Math. 229 (2015), 129-158. 2) The strong Pytkeev property for topological groups and topological vector spaces*,* S. S. Gabriyelyan , J. Ka̧kol and A. Leiderman, Monatshefte für Mathematik, December 2014, Volume 175, Issue 4, pp 519-542. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 03 Aug '15

03 Aug '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

MACIS 2015
by Akitoshi Kawamura 02 Aug '15

02 Aug '15

皆様ニューヨーク大の葉先生の御依頼により、本年11月にドイツで開催される Sixth International Conference on Mathematical Aspects of Computer and Information Sciences http://macis2015.zib.de/ の御案内をお送り致します。詳しくはウェブページをご覧下さい。締切間近のお知らせですみませんが、短篇の投稿区分もありますので、御検討いただければ幸いです。河村彰星東京大学総合文化研究科広域システム科学系 --------------------------------------------------------- Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) November 11-13, 2015 Zuse Institute Berlin (ZIB) http://macis2015.zib.de/ --------------------------------------------------------- MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. It is broadly concerned with algorithms, their complexity and their embedding in larger logical systems. At the algorithmic level, there is the rich interplay along the Numerical/Algebraic/Geometric/Topological axes. At the logical level, there are issues of data organization, interpretation and associated tools. These issues often arise in scientific and engineering computation where we need experimental and case studies to validate or enrich the theory. MACIS is interested in outstanding and emerging problems in all these areas. MACIS 2015 will be held in the renowned Zuse Institute Berlin (ZIB) located in the south-west area of the capital of Germany, very close to the north campus of the Freie Universitaet Berlin. Named after Konrad Zuse, the inventor of the first programmable computer, ZIB is an interdisciplinary research institute for applied mathematics and data-intensive high-performance computing. Its research areas in modeling, simulation and optimization in partnership with academia and industry is exemplary of the goals of MACIS. MACIS 2015 aims to span two conference cultures, that of computer science and of mathematics: mathematical conferences allow informal presentations in order to allow rapid dissemination of ideas and feedback from the community. But their talk abstracts are expected to turn into peer-reviewed journal papers. Computer science conferences expect close to final research papers that appear in pre-conference proceedings. Often such papers might be the only publication (perhaps because the field has moved on). In recognition of the value of both modes of scientific communication, MACIS 2015 will accept two categories of papers, SHORT and REGULAR. To facilitate your travel planning, we will make decisions on SHORT papers on a rolling basis, normally 10-15 days after submission. All accepted SHORT or REGULAR papers will appear in a post-conference proceedings published by LNCS. In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of the journal Mathematics in Computer Science (MCS http://www.cc4cm.org/mcs) by Birkhauser/Springer. For details, see http://macis2015.zib.de/ Important Dates Deadline for all Submissions: Aug 11, 2015 (SHORT papers are decided on a rolling basis) Notification of Decision for REGULAR Papers: Sep 30, 2015 Camera-ready copy due: Nov 30, 2015 Conference: November 11-13, 2015

1 0

FLOPS2016 論文募集
by Yukiyoshi Kameyama 01 Aug '15

01 Aug '15

皆様、(重複して受け取られた場合は、御容赦ください。) 国際会議FLOPS2016 -- Functional and Logic Programming -- の論文募集(2回目)をお送りします。投稿締切は 9/14 (金) です。論文投稿をよろしくおねがいします。 News 1. Best paper award を設定することになりました。 2. 招待講演者としてお二人が決まりました。 - Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project - Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity 3. ACM SIGPLAN の後援 (in cooperation with ACM SIGPLAN) が決まりました。 -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam --------------------------------------------------------------------- FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 3-6, 2016, Kochi, Japan Call For Papers http://www.info.kochi-tech.ac.jp/FLOPS2016/ New: best paper award; in-cooperation with ACM SIGPLAN; two invited talks 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. The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, 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 Monday, September 14, 2015 (any time zone): Submission deadline Monday, November 16, 2015: Author notification March 3-6, 2016: FLOPS Symposium March 7-9, 2016: PPL Workshop Invited Talks - Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project - Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity 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=flops2016 Program Committee Andreas Abel Gothenburg University, Sweden Lindsay Errington USA Makoto Hamana Gunma University, Japan Michael Hanus CAU Kiel, Germany Jacob Howe City University London, UK Makoto Kanazawa National Institute of Informatics, Japan Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Hsiang-Shang Ko National Institute of Informatics, Japan Julia Lawall Inria-Whisper, France Andres Loeh Well-Typed LLP, UK Anil Madhavapeddy Cambridge University, UK Jeff Polakow PivotCloud, USA Marc Pouzet Ecole normale superieure, France Vitor Santos Costa Universidade do Porto, Portugal Tom Schrijvers KU Leuven, Belgium Zoltan Somogyi Australia Alwen Tiu Nanyang Technological University, Singapore Sam Tobin-Hochstadt Indiana University, USA Hongwei Xi Boston University, USA Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA Organizers Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Yukiyoshi Kameyama University of Tsukuba, Japan (General Chair) Kiminori Matsuzaki Kochi University of Technology, Japan (Local Chair) flops2016 at logic.cs.tsukuba.ac dot jp

1 0

CSセミナーin桐生
by Fujita Kenetsu 27 Jul '15

27 Jul '15

(* Apologies for any cross-postings. *) 皆様，暑中お見舞い申し上げます．コンピュータ・サイエンスのセミナーのご案内です．　http://www.cs.gunma-u.ac.jp/~fujita/research/20150730Seminar.html どうぞお気軽にお越し下さい．問い合わせ先：群馬大学　藤田憲悦 fujita(a)cs.gunma-u.ac.jp ****************************** +++Computer Science Seminar in Kiryu+++ Programme Thursday, July 30, 2015 15:00--16:30 in the media room Kiryu Campus, Gunma University "Gödel logics, Hyper Sequent Calculus, and Hyper Natural Deduction" Prof. Preining Norbert (JAIST) Abstract: In this talk we introduce Gödel logics, one of the few many-valued logics with well-behaved (e.g., axiomatizable) first order logic, the Hyper Sequent Calculus which provides an analytic sequent calculus admitting cut-elimination, and Hyper Natural Deduction, an extension of Gentzen's Natural Deduction for Intuitionistic Logic. We show that Hyper Natural Deduction is sound and complete for Gödel Logic, and discuss normalization for the new system. ****************************** Access to Kiryu campus, Gunma University: http://www.st.gunma-u.ac.jp/other/14.html Map of Kiryu campus: http://www.st.gunma-u.ac.jp/other/13.html For more information, please contact at the following \beta-normal form: (\lambda A.fujitA(a)cs.gunmA-u.Ac.jp)a (Ken-etsu Fujita, Gunma University). ----------------------------------------------------------------------------

1 0

ALGIの暫定プログラムのお知らせと懇親会の参加募集
by 西澤弘毅 27 Jul '15

27 Jul '15

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのお知らせと懇親会の参加募集をさせていただきます。また、講演の募集も引き続きお待ちしています。 **************************************************************** * 第二十六回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2015年8月31日（月）13:45～9月1日（火）12:45 * * 公立鳥取環境大学本部講義棟27講義室（鳥取県鳥取市） * * * * 暫定プログラムのお知らせ * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十六回ALGIを開催することになりました。暫定プログラムを以下に記します。上記のウェブページにも記載されています。８月３１日（月） 13:45 ～ 14:00 オープニング＋連絡など 14:00 ～ 14:30 未定 14:30 ～ 15:00 春山栞（奈良女子大学）（共著者鴨浩靖、酒井千尋、春山栞）演題：ユークリッド幾何の問題の数式処理システムへの応用 15:00 ～ 15:15 休憩 15:15 ～ 15:45 西田美幸（奈良女子大学）（共著者西田美幸、大和田菜摘）演題：証明図エディタの作成(仮) 15:45 ～ 16:15 河野友亮（東京工業大学）演題：最小量子論理の特殊な含意とカット除去定理について 16:15 ～ 16:30 休憩 16:30 ～ 17:00 未定 17:00 ～ 17:30 未定夕方懇親会（鳥取駅周辺）９月１日（火） 9:00 ～ 9:30 蔵岡誉司（国立米子工業高等専門学校）演題：TBA 9:30 ～ 10:00 田中康平（信州大学）演題：Discrete Euler integration and sensor networks 10:00 ～ 10:15 休憩 10:15 ～ 10:45 未定 10:45 ～ 11:15 未定 11:15 ～ 11:30 休憩 11:30 ～ 12:00 未体 12:00 ～ 12:30 未定 12:30 ～ 12:45 クロージング＋連絡など懇親会への参加を希望される方は、8/27（木）までに西澤 (nishizawa AT kanagawa-u.ac.jp) にメールでお知らせください。引き続き講演も募集しておりますので、講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を西澤までお寄せください。なお、会場の手配などは公立鳥取環境大学の吉田聡先生にお願いしています。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

TPP2015 Theorem Proving and Provers 集会のお知らせ
by Jacques Garrigue 27 Jul '15

27 Jul '15

Dear all, (English letter and CFP below) 今年のTPP（Theorem Proving and Provers meeting）の案内をお送りします。是非参加をご検討頂きたく、何卒よろしくお願いいたします。 TPP2015幹事 (神奈川大学　木下佳樹) （今年は準備をJacques Garrigue さんにもお手伝いいただいています。感謝。） -------------------------[CFP: TPP2015]------------------------------- TPPミーティングについてのご案内です．第11回 TPPミーティングを 9月16日(水)-17日(木) に神奈川大学理学部情報科学科（平塚市）にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．ミーティング期間中の討論 (discussion) を大切にしたいと考えていますので出来上がった仕事の講演だけでなく、進行中の仕事、未完成の仕事についての講演も歓迎します。参加者には可能な限りご講演いただきたいと希望しています。日時： 2015年 9月16日(水) 13:00頃〜 9月17日(木) 15:00頃　（予定）場所：神奈川大学湘南ひらつかキャンパス　11号館サーカムホール〒259-1293 神奈川県平塚市土屋2946 参加者と講演の概数を把握したいので、参加される（かもしれない）方は、 8月31日までに下の参加申し込みを下記メールアドレスまでお送りください．＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊　参加（するかもしれない）申込締切：　８月３１日＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊申込み・問い合わせ先: yoshiko(a)progsci.info.kanagawa-u.ac.jp (神奈川大学理学部情報科学科木下佳樹研究室松本佳子) URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ ------------------------------------------------------------------------- TPP 2015 参加申し込みお名前：ご所属：参加　　　　：する／するかもしれない講演　　　　：する／しない講演する場合　講演題目：　　（TBAでもかまいません．）　概要：懇親会に参加：する／しない ------------------------------------------------------------------------- ========================================================================= This is a call for participation for the 11th TPP meeting (Theorem Proving and Provers meeting), to be held on Sep. 16(Wed) - 17(Thu), 2015 at Kanagawa University. Date and Time: 2015/9/16 around 1pm to 9/17 around 3pm Place: Shonan-Hiratsuka Campus, Kanagawa University Circum Hall (Bld. 11) TPP is a series of annual meetings for developers as well as users of theorem provers. Discussions from various aspects as well as exchanges of ideas took place in the past ten meetings. We regard the discussions during the meeting to be most important. As such, not only the talks about completed work, but those about ongoing work and half-baked work are also welcome. We hope all participants would consider giving a talk. If you are planning to attend the meeting, even if not yet decided to do so, please send the information slip below to the indicated address by 31 August. ***************************************** * participation application deadline: 31 August, 2015. ***************************************** Submission/questions to: yoshiko(a)progsci.info.kanagawa-u.ac.jp (Keiko Matsumoto , Kinoshita lab.) URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ ------------------------------------------------------------------------- TPP 2015 Registration Name: Affiliation: Will participate: Yes/No/Maybe Will give a talk: Yes/No In case of Yes: Title: (If it is not decided yet, TBA is OK.) Abstract: Will join the dinner: Yes/No -------------------------------------------------------------------------

1 0

Kobe Colloquium (July 28, 2015, J. Makowsky)
by fuchino＠diamond.kobe-u.ac.jp 24 Jul '15

24 Jul '15

Kow Colloquium on Logic, Statistics and Informatics =================================================== 以下の要領でコロキウムを開催します。日時：2015年7月28日（火）13:30 -- 15:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者： Johann Makowsky (https://en.wikipedia.org/wiki/Johann_Makowsky) ======================================================================== 題目： Is P=NP over fields and rings? ======================================================================== アブストラクト： We discuss the complexity classes P and NP for algebraic computation (Blum-Shub-Smale model of computation) over fields and rings. We present Poizat' Theorem relating P=NP to quantifier elimination. We discuss the current state of affairs and relate it to descriptive complexity theory in the Turing model. ======================================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：渕野昌 fuchino(a)diamond.kobe-u.ac.jp

1 0

講演のお知らせ (吉田展子さん，7/29)
by Atsushi Igarashi 22 Jul '15

22 Jul '15

皆様，京都大学の五十嵐です．以下の内容で，イギリス Imperial College の吉田展子さんによる講演を行います．奮ってご参加ください．吉田さんは当日午前中から夕方まで京大におり，懇親会(18:00頃から四条方面で)を企画しております．日中お話をされたい方や懇親会に参加できる方は五十嵐まで(日中の場合は希望の時間帯を)ご連絡ください．日時: 7/29(水) 14:45〜16:00(ごろ) 場所: 京都大学吉田キャンパス総合研究７号館１階情報２講義室タイトル: Multiparty Session Types and their Applications Abstract: In this talk, I give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. I shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. I then talk about the recent developments in Scribble and the runtime session monitoring framework used in the OOI CI. Finally I summarise our recent other results on Multiparty Session Types. -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

CFP: 43rd TRS Meeting
by Yoshihito Toyama 21 Jul '15

21 Jul '15

Call for Participation 43rd TRS Meeting September 8 - 10, 2015, Morioka, Japan http://www.nue.riec.tohoku.ac.jp/trs-meeting15/ The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on term rewriting and related areas. Every participant is highly encouraged to present recent works possibly in progress. It is perfectly acceptable to explain a paper written by someone else. Date: September 8th (Tue) - 10th (Thu), 2015 Venue: Yumori Hotel Taikan http://www.japanican.com/en/hotel/detail/2327001/?aff=rsv http://www.hotel-taikan.com/ Fee: 10,086 yen / day (inc. breakfast, dinner and tax) Tentative Schedule: Opening 13:30, September 8 / Closing 12:00, September 10 Registration: Please fill in the following registration form and send it to our secretary Sagae-san (sagae [at] nue.riec.tohoku.ac.jp) by e-mail no later than August 19 (Wed). Items marked with * can be sent later. -------------------------------------------------------------------- Registration Form of the 42nd TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): -------------------------------------------------------------------- Further information can be found at the website of the meeting. Best regards, Takahito Aoto and Yoshihito Toyama Research Institute of Electrical Communication Tohoku University

1 0

数学基礎論サマースクール2015
by Makoto Kikuchi 18 Jul '15

18 Jul '15

皆様，先日ご案内いたしました数学基礎論サマースクール（8/18〜8/21）において，初日の午前中に，数理論理学の予備知識を全く持たない人を対象とする，数理論理学のチュートリアルを実施します．詳細はホームページ（http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html）でご確認ください．数学基礎論サマースクール世話人菊池誠 -- 数学基礎論サマースクール2015のご案内参加申込〆切：2015年7月31日（金）以下の要領で数学基礎論サマースクール2015を開催します．ご参加希望の方は下記の要領でお申込下さい．皆様のご参加を心よりお待ちしています．【注意】学部学生，数学基礎論を専門としない大学院生や研究者の参加を歓迎します．　初日の午前中に数理論理学の予備知識を全く持たない人を対象とする，　数理論理学のチュートリアルを実施します．（要申込）【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義．　また，様相論理と他分野との関係や発展的内容についての特論．【日時】2015年8月18日（火）15:10 ～ 21日（金）15:00 【場所】神戸大学六甲台第2キャンパス内工学部教室棟LR501教室（戎記念ホール）【住所】〒657-8501神戸市灘区六甲台町1-1 【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html 【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専），　黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）【参加費】無料【参加申込】以下の内容を e-mail で件名「ss2015」として，mkikuchi(a)kobe-u.ac.jp 宛にお送りください．・氏名（ふりがな）：・所属：・懇親会出欠：出席／欠席申込〆切：2015年7月31日（金）【内容】〈講義〉（各3コマ） 1. 様相論理入門（佐野）　様相論理の構文論と意味論，正規様相論理，最近の発展と歴史的背景 2. 証明可能性論理（倉橋）　算術と不完全性定理，ゲーデル・レーブ論理と算術的完全性定理，証明可能性論理の拡張 3. 強制法と様相論理（薄葉）　公理的集合論と強制法，ジェネリック拡大と強制関係，強制様相論理 4. 真理と様相（黒川）　タルスキの真理論と知者のパラドックス，クリプキの真理論，真理の改定理論〈特論〉（各1コマ） 1. 認識論理のゲーム論的意思決定への応用（金子） 2. 計算機科学と様相論理（佐藤） 3. 公理的集合論と様相論理（渕野）〈その他〉 1. チュートリアル　時間：10:00-12:30，講師：依岡輝幸（静岡大），場所：LR501教室　内容：数理論理学の予備知識を全く持たない人を対象とする少人数の講義．　受講ご希望の方は参加申込と同時に，または別便で件名「ss2015」として本文中に　「チュートリアル受講希望」と書いて mkikuchi(a)kobe-u.ac.jp までご連絡下さい． 2. 導入　時間：14:00-15:00，担当：菊池誠（神戸大・世話人），場所：LR501教室　内容：今回のサマースクールの背景および企画意図の説明．【懇親会】19日夜に神戸大学内で懇親会を開催します．　日時：2015年8月19日（水）午後7時から　会場：和風レストランさくら http://www.kucoop.jp/info/shop-belbox.html 　場所：神戸大学六甲台第1キャンパス内 BEL BOX 3階　会費：3,500円（予定）【アドバイザ】新井敏康（千葉大），鈴木信行（静岡大），松原洋（名古屋大）【世話人】神戸大学大学院システム情報学研究科菊池誠，酒井拓史【連絡先】菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

CFP: LENLS12 (Logic and Engineering of Natural Language Semantics 12)
by Koji Mineshima 17 Jul '15

17 Jul '15

（重複して受け取られた場合はご容赦ください）今年の１１月に東京で開催される LENLS 12 国際ワークショップのご案内をお送り致します。皆様のご投稿・ご参加をお待ちしております。峯島宏次（お茶の水女子大学） [Apologies for multiple copies] ================================================================= SECOND CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 12 (LENLS 12) Workshop Site : (15th) Ochanomizu University Room 207-209, Science Building 3, Tokyo, Japan (The bldg. #20 in the "campus map" in the following webpage) http://www.ocha.ac.jp/en/access/index.html (16th,17th) Raiousha Building, Keio University Kanagawa, Japan http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : November 15-17, 2015 Contact Person: Eric McCready (Aoyama Gakuin University) Contact Email : lenls12[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Eric McCready (Aoyama Gakuin University) Co-chair: Daisuke Bekki (Ochanomizu University/National Institute of Informatics/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Nicholas Asher (CNRS, Institut de Recherche en Informatique de Toulouse/Universit'e Paul Sabatier) - Stefan Kaufmann (University of Connecticut) - Magdalena Kaufmann (University of Connecticut) - Robert Henderson (University of Arizona) - Tomohiro Sakai (Waseda University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the 7th JSAI International Symposia on AI (isAI2015) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). The first day of LENLS will include a half-day workshop on politeness and honorification with talks by Nicholas Asher, Daisuke Bekki and Eric McCready. These talks will consider the lexical semantics of honorifics, syntactic and semantic aspects of composition with honorifics, and strategic aspects of politeness and formality. The workshop is open to the public and is funded by JSPS Kiban C Grant #25370441. 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 - Continuations in natural language - 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://www.easychair.org/conferences/?conf=lenls12 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Important dates: ================ Abstract submission deadline: August 23, 2015 Notification of acceptance: September 30, 2015 Deadline for camera-ready copy: October, 2015 Half-day workshop on politeness: November 15, 2015 LENLS12: November 15-17, 2015 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: ====================================== - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (Tohoku University) - Richard Dietz (University of Tokyo) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (West Japan Railway Company) - Kei Yoshimoto (Tohoku University)

1 0

セミナー案内
by KASHIMA Ryo 14 Jul '15

14 Jul '15

数理論理学セミナーのお知らせ日時：7月17日(金)15:10から場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 【１】話者：横溝恭平（日本大学）題目：中間命題論理の断片に関する保存性の問題について概要： Sを→(ならば)を元にもつ命題論理記号の集合とする。ヒルベルト流の直観主義論理Hに対しその断片論理H_Sは、Hの公理型とその代入をS論理式(論理記号がSの元のみ出現する論理式) に制限した論理H_Sであることが知られている。本発表では、このHに関する性質が中間論理でも成り立つかについて、つまり S論理式の集合Σに対し、中間論理H + ΣがH_S + Σの保存拡大になる条件について、代数的な視点で考察する。参考文献： [1] A. Horn, The separation theorem of intuitionist propositional calculus, J. Symbolic Logic, vol.27, pp391-399 (1962) [2] C. G. McKay, The decidability of certain intermediate propositional logics, J. Symbolic Logic, vol.33, pp.258-264 (1968) [3] V. A. Jankov, Conjunctively indecomposable formulas in propositional calculi, USSR-Izvestiya, vol.3, num.1, pp.17-35 (1969) 【２】話者：梅北拓朗題目：集合論における強制法と様相論理概要：集合論において、強制法とはZFCのモデルを拡大してある命題（例えば連続体仮説）が成立するようなモデルを構成する手法であるが、 Hamkinsは「あるZFCのモデルが別のモデルの強制法による拡大になっている」という関係をKripkeフレームにおける到達可能関係とみなす「様相論理の強制法的解釈」において、様相論理の公理のいくつかが自然にZFCで成立し、また(5)という名前で知られる論理式（◇□φ→□φ）は、それをZFCに加えても無矛盾であることを見出した。これらの結果について紹介する。予備知識は特に仮定しない。 ----- 本セミナーは定期的に東工大で開催しているものです。初めて参加を希望される方はご一報ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

Fwd: Kobe Colloquium on Logic, Statistics and Informatics, July 14 (Olivier Finkel)
by Joerg Brendle 09 Jul '15

09 Jul '15

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2015年7月14日（火）13:30-15:00 講演者：Olivier Finkel （パリ第７大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Logic, Complexity and Infinite Computations アブストラクト： The theory of automata reading infinite words, which is closely related to infinite games, is a rich theory which is used for the specification and verification of non-terminating systems. We prove that the Wadge hierarchy of omega-languages accepted by 1-counter Büchi automata (or by 2-tape Büchi automata) is equal to the Wadge hierarchy of omega-languages accepted by Büchi Turing machines, which forms the class of effective analytic sets. Moreover the topological complexity of an omega-language accepted by a 1-counter Büchi automaton, or of an infinitary rational relation accepted by a 2-tape Büchi automaton, is not determined by the axiomatic system ZFC. In particular, there is a 1-counter Büchi automaton A (respectively, a 2-tape Büchi automaton B) and two models V1 and V2 of ZFC such that the omega-language L(A) (respectively, the infinitary rational relation L(B)) is Borel in V1 but not in V2. We prove that the determinacy of Gale-Stewart games whose winning sets are accepted by real-time 1-counter Büchi automata (or by 2-tape Büchi automata) is equivalent to the determinacy of (effective) analytic Gale-Stewart games which is known to be a large cardinal assumption. Using some results of set theory we prove that one can effectively construct a 1-counter Büchi automaton (respectively, a 2-tape Büchi automaton) A such that: (1) There exists a model of ZFC in which Player 1 has a winning strategy in the Gale-Stewart game G(L(A)); but the winning strategies cannot be recursive and not even hyperarithmetical. (2) There exists a model of ZFC in which the Gale-Stewart game is not determined. We also prove that the determinacy of Wadge games between two players in charge of omega-languages accepted by real-time 1-counter Büchi automata (or by 2-tape Büchi automata) is equivalent to the effective analytic determinacy, and thus is not provable in ZFC. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

数学基礎論サマースクール2015
by Makoto Kikuchi 05 Jul '15

05 Jul '15

数学基礎論サマースクール2015のご案内参加申込〆切：2015年7月31日（金）以下の要領で数学基礎論サマースクール2015を開催します．ご参加希望の方は下記の要領でお申込下さい．皆様のご参加を心よりお待ちしています．【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義．　また，様相論理と他分野との関係や発展的内容についての特論．【日時】2015年8月18日（火）13:30 ～ 21日（金）15:00 【場所】神戸大学六甲台第2キャンパス内工学部教室棟LR501教室（戎記念ホール）【住所】〒657-8501神戸市灘区六甲台町1-1 【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html 【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専），　黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）【参加費】無料【参加申込】以下の内容を e-mail で件名「ss2015」として，mkikuchi(a)kobe-u.ac.jp 宛にお送りください．・氏名（ふりがな）：・所属：・懇親会出欠：出席／欠席申込〆切：2015年7月31日（金）【内容】〈講義〉（各3コマ） 1. 様相論理入門（佐野） 2. 証明可能性論理（倉橋） 3. 強制法と様相論理（薄葉） 4. 真理と様相（黒川）〈特論〉（各1コマ） 1. 認識論理のゲーム論的意思決定への応用（金子） 2. 計算機科学と様相論理（佐藤） 3. 公理的集合論と様相論理（渕野）【懇親会】19日夜に神戸大学内で懇親会を開催します．　日時：2015年8月19日（水）午後7時から　会場：和風レストランさくら http://www.kucoop.jp/info/shop-belbox.html 　場所：神戸大学六甲台第1キャンパス内 BEL BOX 3階　会費：3,500円（予定）【世話人】神戸大学大学院システム情報学研究科菊池誠，酒井拓史【連絡先】菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml