- 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 27 Aug '15

27 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 27 Aug '15

27 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 15 Aug '15

15 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 09 Aug '15

09 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 01 Aug '15

01 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 31 Jul '15

31 Jul '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 23 Jul '15

23 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 13 Jul '15

13 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 08 Jul '15

08 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 04 Jul '15

04 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

1st CFP: 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2015)
by Takashi Kitamura 03 Jul '15

03 Jul '15

皆様、産総研の北村崇師と申します。 11月にパリで開催される国際ワークショップ FTSCS2015 の案内（論文募集）をお送りいたします。よろしくお願いいたします。 --------------------------------------------------------------------- Call for Papers FTSCS 2015 4th International Workshop on Formal Techniques for Safety-Critical Systems Paris, November 6, 2015 (satellite workshop of ICFEM 2015) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2015. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2015. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 5, 2015 Notification of acceptance: October 5, 2015 Workshop: November 6/7, 2015 Venue: Paris, France (city center!) Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Musab AlTurki King Fahd U. of Petroleum and Minerals, Saudi Arabia Etienne Andre University Paris 13, France Toshiaki Aoki JAIST, Japan Cyrille Artho AIST, Japan Kyungmin Bae Carnegie Mellon University, USA David Broman KTH, Sweden and UC Berkeley, USA Bernd Fischer Stellenbosch University, South Africa Osman Hasan National U. of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Brian Larson Kansas State University, USA Wenchao Li SRI International, USA Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Markus Roggenbach Swansea University, UK Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Jean-Pierre Talpin INRIA Rennes, France Jackie Wang McMaster University, Canada Alan Wassyng McMaster University, Canada Michael Whalen University of Minnesota, USA Huibiao Zhu East China Normal University, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Nat. Inst. of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Internal Tel: *33-274-71902 Fax: +81-6-6494-8073

1 0

NLCS'15 Program
by Makoto Kanazawa 30 Jun '15

30 Jun '15

*********************** Call for Participation *********************** Third Workshop on Natural Language and Computer Science NLCS '15 July 5, 2015 Kyoto, Japan http://www.indiana.edu/~iulg/nlcs.html Program with abstracts: http://easychair.org/smart-program/NLCS'15/index.html Venue: Kyoto University, Clock Tower Centennial Hall, 2nd Floor, Conference Room 3 http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/workshops.html Schedule: 10:30-11:00 Coffee Break 11:00-12:30 Session 1 11:00 Makoto Kanazawa, Distributional Learning of Formal Languages: A Logic-Based Approach (invited talk) 12:00 Philippe de Groote, On Logical Relations and Conservativity 12:30-14:00 Lunch Break 14:00-15:30 Session 2 14:00 Bruno Mery, Lexical Semantics with Linear Types 14:30 Gabriel Gaudreault, Bidirectional Functional Semantics for Pregroup Grammars 15:00 Glyn Morrill and Oriol Valentín, Computational Coverage of TLG: Nonlinearity 15:30-16:00 Coffee Break 16:00-17:00 Session 3 16:00 Gerard de Melo, Learning to Reason about the World using Big Data (invited talk) 17:00-17:15 Short Break without Coffee 17:15-18:15 Session 4 17:15 Oleg Kiselyov, Applicative Abstract Categorial Grammar 17:45 Sylvain Salvati, Non-linear Second Order Abstract Categorial Grammars and Deletion ------------------------------------- Contact: Makoto Kanazawa

1 0

モデル理論夏の学校（講演申込み締切）
by ikeda＠hosei.ac.jp 27 Jun '15

27 Jun '15

皆様，以前，メールいたしました「モデル理論夏の学校」に関して，講演（および参加）申込み締切を７月１１日に延長しました．講演予定でまだ申込みをされていない方は申込みの手続き，よろしくお願いいたします．池田宏一郎（法政大学） ------------------------------------------------------------------ 皆様，法政大学の池田と申します．今年８月に法政大学で研究集会「モデル理論夏の学校2015」が開催されます．この研究集会は毎年夏に開催されるモデル理論および関連分野に関する研究集会です．モデル理論に興味のある方の参加をお待ちしております．・日程：２０１５年８月２２日（土）- ２４日（月）・会場：法政大学市ヶ谷キャンパス５５年館５５１教室・所在地：〒102-8160東京都千代田区富士見2-17-1 ・世話人：池田宏一郎（法政大学経営学部，ikeda(at)hosei.ac.jp）・Web page：https://sites.google.com/site/modeltheorysummer2015/ 参加を希望される方は，下記のフォームに必要事項を記入の上，池田宛に電子メールでお申し込みください．なお，旅費補助は講演者を優先に考えております． %%%%%%%%%%モデル理論夏の学校・参加申し込みフォーム%%%%%%%%%% ・氏名：・所属機関：・職名／学年：・講演：する／しない・講演題目：・旅費補助の希望：する／しない %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 池田宏一郎（法政大学）

2 1

千葉 logic seminar (2015年7月8日)
by Naohi Eguchi 24 Jun '15

24 Jun '15

千葉 logic seminar の第6回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先江口（千葉大学） Naohi Eguchi <neguchi(a)g.math.s.chiba-u.ac.jp> --------------------------------------- 千葉 Logic Seminar https://sites.google.com/site/chibalogicseminar/home/seminar 日時：2015年7月8日(水)15:00-16:00 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。 Speaker: Martin Avanzini (University of Innsbruck) Title: Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order Abstract: In this talk I will outline the content of our recent ICFP paper. Here, we shows how the runtime complexity of higher-order functional programs can be analysed automatically by applying program transformations to a defunctionalized versions of them, and feeding the result to existing tools for the complexity analysis of first-order term rewrite systems. Crucial, all involved transformations are complexity reflecting. As a consequence, a complexity certificate on the first-order system can be relayed back (asymptotically) to the initial higher-order program. Reference: Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order Martin Avanzini, Ugo Dal Lago and Georg Moser Proc. ICFP 2015, to appear. Long version: http://arxiv.org/abs/1506.05043

1 0

Klaus Keime 教授講演会
by Hideki Tsuiki 23 Jun '15

23 Jun '15

京都大学人間・環境学研究科の立木です。 7 月 3 日 (LICS サテライト Workshop の前日) に、Darmstadt 工科大学の Klaus Keimel 先生による講演会を京都大学で行います。どうぞ、お気軽にお越しください。講演会の後に、一緒にお食事に行こうと考えています。人数を把握しておきたいので、お食事に来られる方は、あらかじめメールでご連絡頂けると幸いです。多くの方のご参加をお待ちしております。立木 ------------------------------------------------------------ 講演会のお知らせ日時： 7月3日（金） 16:30 より場所：京都大学総合人間学部棟 1401 教室 (吉田南キャンパスに入って左側の建物の４Fです）講演者： Klaus Keimel (Darmstadt 工科大学名誉教授) 題目： On the equivalence of state transformer semantics and predicate transformer semantics The meaning of a program may be modeled by the input-output behavior, we call it 'state transformer semantics'. Alternatively, for verifying programs one will be interested in properties A of the output and one wants to find conditions on the input that guarantee property A for the output. One will work with the transformation that assigns to property A of the output the weakest precondition p(A) on the input that guarantees property A for the output; let us call it 'predicate transformer semantics'. In the presence of computational effects like nondeterministic or probabilistic choice, a computation will not be modeled by a function that transforms inputs from a input domain X to an output domain Y but by a state transformer t:X --> T(Y), where T is an appropriate computational monad. The corresponding predicate transformer p associates predicates on Y to predicates on X. Not all predicate transformers will correspond to state transformers, and one looks for necessary and, if possible, sufficient conditions for predicate transformers to correspond to state transformers t:X --> T(Y). Such conditions are sometimes called 'healthiness' conditions. Most examples in the literature dealing with the equivalence of the two semantics can be seen to be based on a domain R of 'observations' and a monad T 'subordinate' to the continuation monad [[(-) --> R] --> R]. For the continuation monad predicates on objects X take values in R. For the continuation monad the state transformers t and the predicate transformers p corresponding to another are related by 'swapping arguments': t(x)(A)= p(A)(x) for x in X and predicates A on Y. It is the aim of this paper to describe a framework of an algebraic/order theoretical nature for the monad T so that the equivalence between state and predicate transformer semantics described above for the continuation monad can be carried over. This framework always yields necessary healthiness conditions. The sufficiency criterion has to be verified in each special situation separately. We illustrate our methods by several examples. As semantic domains we use dcpos (directed complete partially ordered sets). But the same methods can be applied to other Cartesian closed categories and beyond, as we indicate in the concluding remarks.

1 0

Sylvain Salvati at NII Logic Seminar 7/1
by Makoto Kanazawa 23 Jun '15

23 Jun '15

Lecture by Sylvain Salvati at NII Logic Seminar Date and Time: July 1, 16:00-17:00 Place: National Institute of Informatics, Conference Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Sylvain Salvati (INRIA Bordeaux Sud-Ouest) Title: Model construction for higher-order model-checking Abstract: When dealing with finite state properties, it is usual to have some finite algebraic structures (e.g. finite monoids in the case of finite state automata on strings) that represent those properties. When dealing with logical properties of programs that are computed by finite state automaton, the question of what is an "adequate" finite algebraic structure arises. Having such a structure would entail a sort of modularity in program verification, but it also gives some strong understanding of how the properties can be checked. In the context of higher-order verification, programs are models as lambda-terms and it is natural to think about denotational domains as a possible candidate. Finitary Scott domains only capture very simple properties of the Bohm trees generated by higher-order programs. This talk will illustrate how to enrich Scott domains so that they can capture wider classes of finite state properties. 問合せ先: 金沢誠 (国立情報学研究所) e-mail: kanazawa(a)nii.ac.jp

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 19 Jun '15

19 Jun '15

皆様、北陸先端大の横山です。締め切りが近づきましたので、下記の研究集会の情報を再送致します。横山啓太 ---------- Forwarded message ---------- From: YOKOYAMA Keita <y-keita(a)jaist.ac.jp> Date: 2015-05-14 22:49 GMT-07:00 Subject: Fwd: CTFM2015 Call for abstracts To: logic-ml(a)fos.kuis.kyoto-u.ac.jp, kisoron-ml(a)fos.kuis.kyoto-u.ac.jp ****************************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ 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). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) -------------------------------------------- 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 1

Talk by Matthew de Brecht (25 Jun 11:00-)
by Tetsuya Sato 19 Jun '15

19 Jun '15

京都大学数理解析研究所の佐藤です。 6月25日11:00から、情報通信研究機構・脳情報通信融合研究センターの Matthew de Brecht氏に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 25 Jun, 2015 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Matthew de Brecht (NICT, CiNet) Title: Towards a descriptive set theory for QCB spaces. Abstract: QCB spaces (quotients of countably based spaces) are a convenient cartesian closed category of topological spaces with important applications in computable analysis and for modeling the semantics of programming languages. However, they generally fail to be countably based and have very complicated topologies, which so far has been a major obstacle for obtaining a deep understanding of these spaces. In this talk, I will present recent joint work with M. Schroeder and V. Selivanov concerning a classification of QCB0 spaces according to the descriptive complexity of defining a basis for their topologies. Our approach provides useful tools for analyzing when one QCB space can be embedded into another, and has deep connections with the projective hierarchy from descriptive set theory. We will present some applications concerning the existence of universal QCB-spaces, as well as some results on the Kleene-Kreisel continuous functionals.

1 0

ICALP Satellite Workshop on Quantum Computational Complexity
by NISHIMURA Harumichi 16 Jun '15

16 Jun '15

logic-ml の皆様，国際会議ICALP2015のサテライトワークショップとして以下のような量子計算量に関するワークショップを開催します．ご興味のある方の積極的なご参加をお待ちしております．名古屋大学大学院情報科学研究科西村治道 --------------------------------------------------------------------------- 7月4日京都大学百周年時計台記念館において、ICALP2015のSatellite Workshopとして，量子計算の分野で著名な以下の研究者による講演会を企画しました． URL: http://cs.e.yamagata-u.ac.jp/qcc/ -Richard Cleve (Waterloo University / IQC) -Matthew Coudron (MIT) -Joseph Fitzsimons (Singapore University of Technology and Design) -Keisuke Fujii (Kyoto University) -Troy Lee (CQT Singapore) -Jamie Sikora (CQT Singapore) -Seiichiro Tani (NTT) ICALPに参加されない方でも当日5,000円で参加できます．研究費などから補助がない学生の方の参加費を新学術領域研究「計算限界解明」プロジェクトから補助可能です．詳しくは，下記までお問い合わせください． Email: qcc2015(a)cs.e.yamagata-u.ac.jp ---------------------------------------------------------------------------

1 0

[Last CFP] Symposium on Foundations & Practice of Security (10/26-28, France)
by Lu Yifeng 16 Jun '15

16 Jun '15

皆様直前のＣＦＰで恐縮ですが、下記の国際会議の call-for-papers をお送りいたします。ご投稿をお待ちしております。小川瑞史（北陸先端大） --------------------------------------------------------------------- ****** PLease forgive me if you receive multiple copies ****** Call for Papers =============== **The 8th International Symposium on Foundations & Practice of Security (FPS 2015), Clermont-Ferrand, France, 26-28 October 2015.** Conference Website ------------------ <http://confiance-numerique.clermont-universite.fr/fps2015/> Scope ----- Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. After the previous meetings held in La Rochelle, Montreal, Grenoble, Toronto and Paris, this 8th edition of the FPS symposium will be held in Clermont-Ferrand, France. The aim of FPS is to discuss and exchange theoretical and practical ideas that address security issues in inter-connected systems. It aims to provide scientific presentations as well as to establish links, promote scientific collaboration, joint research programs, and student exchanges between institutions involved in this important and fast moving research field. We also invite papers from researchers and practitioners working in security, privacy, trustworthy data systems and related areas to submit their original papers. The main topics, but not limited to, include: * Computer and Network Security * Formal foundations in Information or Operational Security * Security of Service Oriented Architectures * Information Theoretic Security * Security of Cloud Computing * Security Management and Security Policies * Policy-based Security Architectures * Security of P2P systems * Security & Privacy on Social Networks * Access Control Languages * Data Mining & Watermarking * Cryptography & Cryptanalysis * Threat Analysis and Trust Management * Privacy & Sensitive Data Management * Policy-based Distributed Information Systems * Security in Sensor Networks and RFIDs * Security of Cloud Computing, Grid Computing * Security of Distributed Embedded Middleware * Distributed Security Protocols & Policies * Security and Privacy in Digital Currencies * Malware, Botnet and Advanced Persistent Threats * Code Reverse Engineering and Vulnerability Exploitation * Side Channel & Physical Attacks * Social Engineering Submissions Guidelines ---------------------- Full papers should be at most 16 pages, including the bibliography and appendices. Short papers should be up to 8 pages. Authors should indicate whether their paper is a "position paper" to differentiate them from regular ones (you mention "Position paper" in the title). Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Authors must submit their papers by the deadline indicated below, using the EasyChair web site (using the link http://www.easychair.org/conferences/?conf=fps2015) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer's LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged. Publication ----------- As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper. Committees ------------------ General Chair Pascal Lafourcade (Universite d'Auvergne) Program Committee Co-Chairs Guillaume Bonfante (Mines de Nancy) Joaquin Garcia-Alfaro (Telecom SudParis) Evangelos Kranakis (Carleton University) Publicity Co-Chairs Asia: Mizuhito Ogawa (Japan Advanced Institute of Science and Technology) Europe: Giovanni Livraga (University of Milan) North America: Zhiqiang Lin (University of Texas at Dallas) Program Committee Michel Barbeau (Carleton University) Jordi Castella-Roca (Rovira i Virgili Univ.) Frederic Cuppens (Telecom Bretagne) Nora Cuppens-Boulahia (Telecom Bretagne) Mila Dalla Preda (University of Verona) Josep Domingo-Ferrer (Universitat Rovira i Virgili) Jean-Luc Danger (Telecom ParisTech) Sara Foresti (Univ. degli Studi di Milano) Marc Frappier (Univ. de Sherbrook) Martin Gagne (Wheaton College) Sebastien Gambs (Universite de Rennes) Flavio D. Garcia (University of Birmingham) Diala Haidar (Dar Al Hekma College) Jordi Herrera-Joancomarti (Univ. Aut. de Barcelona) Bruce Kapron (University of Victoria, Canada) Hyoungshick Kim (Sungkyunkwan University) Giovanni Livraga (Univ. degli Studi di Milano) Luigi Logrippo (Univ. du Quebec en Outaouais) Javier Lopez (University of Mﾃ｡laga) Flaminia Luccio (Ca'Foscari University of Venice) Joan Melia-Segui (Universitat Oberta de Catalunya) Ali Miri (Ryerson University) Guillermo Navarro (Univ. Aut. de Barcelona) Jordi Nin (Universitat Politecnica de Catalunya) Melek Onen (Eurecom) Andreas Pashalidisi (K. U. Leuven) Marie-Laure Potet (Ensimag) Silvio Ranise (FBK, Security and Trust Unit) Claudio Soriente (ETH Zurich) Chamseddine Talhi (ETS, Montreal) Nadia Tawbi (Universite LAVAL) Emmanuel Thome (INRIA Lorraine) Alexandre Viejo (Rovira i Virgili University) Lena Wiese (Gottingen University) Nicola Zannone (Eindhoven Univ. of Technology) Nur Zincir Heywood (Dalhousie University) Steering Committee Frederic Cuppens (Telecom Bretagne) Nora Cuppens-Boulahia (Telecom Bretagne) Mourad Debbabi (Concordia University) Joaquin Garcia-Alfaro (Telecom SudParis) Evangelos Kranakis (Carleton University) Pascal Lafourcade (Universite d'Auvergne) Jean-Yves Marion (Mines de Nancy) Ali Miri (Ryerson University) Rei Safavi-Naini (Calgary University) Nadia Tawbi (Universite Laval) Submission Website ------------------ <http://www.easychair.org/conferences/?conf=fps2015> Important Dates --------------- Submission Deadline: | June 14, 2015 Acceptance Notification: | August 17, 2015 Camera Ready: | September 13, 2015 Conference: | October 26-28, 2015, Clermont-Ferrand, France

2 2

ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ
by 西澤弘毅 15 Jun '15

15 Jun '15

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと講演の募集をさせていただきます。 **************************************************************** * 第二十六回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2015年8月31日（月）午後～9月1日（火） * * 公立鳥取環境大学本部講義棟27講義室（鳥取県鳥取市） * * * * 開催のお知らせと講演の募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十六回ALGIを開催することになりました。開催期間及び開催場所は上記のとおりです。会場の手配などは公立鳥取環境大学の吉田聡先生にお願いしています。初日は午後から開催いたします。最終日の午後まで開催するかどうかは、講演の数によります。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

セミナー案内
by KASHIMA Ryo 13 Jun '15

13 Jun '15

数理論理学セミナーのお知らせ【本セミナーは定期的に東工大で開催しているものです。初めて参加される方は前日までにご連絡ください。】日時：6月19日(金) 16:30 場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 話者：田中一之（東北大）題目：決定問題とオートマトン概要： 1920年代にヒルベルト学派が数理論理学の中心テーマとして掲げた「決定問題」は，狭義には1階論理における真偽を判定する手続きを求める問題である．これはゲーデルやチューリングによってすぐに否定的に解かれたが，その後も様々な角度から類似の問題が提起され，肯定的にも否定的にも豊富な結果と解決手法が生れた．肯定的な手法としてはオートマトンの利用がしばしば有効であることが知られているが，その方法はもちろん万能ではなく，決定可能と不可能の分水嶺となる興味深い現象も数多く見られる．本講演では，周辺の話題に広く触れ，予備知識を仮定せずに決定問題の数理へと誘いたい。参考文献：D．クライアン他著田中訳『ロジックの世界』講談社ブルーバックス 2015年3月．田中一之『ゲーデル、チューリング、超パズル』東京大学出版会 UP 2015年5月号．田中一之『「イミテーション・ゲーム」と数学映画の楽しみ方』数学セミナー2015年7月号． ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

CCA 2015 と併設ワークショップの御案内
by Akitoshi Kawamura 06 Jun '15

06 Jun '15

皆様計算可能解析学の国際会議　　Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015) 　　平成27年7月12～15日　明治大学駿河台キャンパス（東京都千代田区）　　http://cca-net.de/cca2015/ の参加登録を受付けておりますので御案内申し上げます。 http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/ こちらのページより御登録下さい（参加費12000円（懇親会ナシの場合2000円）は当日受付にてお支払い下さい）。早期・晩期の参加費の違いは設けておりませんが、準備の都合上なるべく早めに登録頂けますと幸いです。特に懇親会参加の場合は今月中の御登録をお願い致します。初日である7月12日（日）には　　日独ワークショップ「実数計算の理論と実際」を開催します。こちらは計算理論と数値計算の協働的発展を目指し、双方の専門家が基礎から最近の話題まで紹介するワークショップで、この日だけなら参加無料・申込不要です。詳しくは上記ウェブページを御覧下さい。皆様の御参加をお待ち申し上げます。 -- 河村彰星東京大学大学院総合文化研究科広域科学専攻広域システム科学系 2015-02-03 11:39 GMT+09:00 Hajime Ishihara <ishihara(a)jaist.ac.jp>: > First Call for Papers: > > Twelfth International Conference on > > Computability and Complexity in Analysis (CCA 2015) > http://cca-net.de/cca2015/ > > July 12-15, 2015, Tokyo, JAPAN > > ______________________________________________________________ > > > Scientific Program Committee > > * Andrej Bauer (Ljubljana, Slovenia) > * Stephen A. Cook (Toronto, Canada) > * Guido Gherardi (Munich, Germany) > * Daniel Graça (Faro, Portugal) > * Hajime Ishihara (Ishikawa, Japan) > * Ker-I Ko (Hsinchu, Taiwan) > * Timothy McNicholl (Ames, USA) > * André Nies (Auckland, New Zealand) > * Mariko Yasugi (Kyoto, Japan) > * Martin Ziegler, chair (Darmstadt, Germany) > > > Organizing Committee > > * Naohi Eguchi (Chiba University, Japan) > * Kojiro Higuchi (Chiba University, Japan) > * Akitoshi Kawamura, chair (University of Tokyo, Japan) > * Kenshi Miyabe (Meiji University, Japan) > * Ryuhei Mori (Tokyo Institute of Technology, Japan) > * Hideki Tsuiki (Kyoto University, Japan) > > > Submissions > > Authors are invited to submit 1-2 pages abstracts in PDF format > by March 31st via https://easychair.org/conferences/?conf=cca2015 > > > Conference Web Page > > http://cca-net.de/cca2015/ > > > > _______________________________________________ > Kisoron-ml mailing list > Kisoron-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/kisoron-ml

1 0

APLAS 2015: Deadline extension (June 15)
by Kohei SUENAGA 05 Jun '15

05 Jun '15

皆様，京都大学の末永です． APLAS 2015 の締め切りが延長となりました．投稿をご検討ください．よろしくお願いいたします．末永幸平 -- ** DEADLINE EXTENSION FOR SUBMISSIONS TO APLAS 2015: ** - Paper submission deadline: June 15, 2015. ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 15, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page <https://easychair.org/conferences/?conf=aplas2015> using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China) -- 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

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

05 Jun '15

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

1 0

モデル理論研究集会のお知らせ
by ikeda＠hosei.ac.jp 03 Jun '15

03 Jun '15

皆様，法政大学の池田と申します．今年８月に法政大学で研究集会「モデル理論夏の学校2015」が開催されます．この研究集会は毎年夏に開催されるモデル理論および関連分野に関する研究集会です．モデル理論に興味のある方の参加をお待ちしております．・日程：２０１５年８月２２日（土）- ２４日（月）・会場：法政大学市ヶ谷キャンパス５５年館５５１教室・所在地：〒102-8160東京都千代田区富士見2-17-1 ・世話人：池田宏一郎（法政大学経営学部，ikeda(at)hosei.ac.jp）・Web page：https://sites.google.com/site/modeltheorysummer2015/ 参加を希望される方は，下記のフォームに必要事項を記入の上，池田宛に電子メールでお申し込みください．（講演申込み締切は６月３０日） %%%%%%%%%%モデル理論夏の学校・参加申し込みフォーム%%%%%%%%%% ・氏名：・所属機関：・職名／学年：・講演：する／しない・講演題目： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 池田宏一郎（法政大学）

1 0

ポスドクの公募（＠産総研関西センター）のお知らせ
by Takashi Kitamura 03 Jun '15

03 Jun '15

*** 重複して受け取られた場合はご容赦ください *** みなさま、産業技術総合研究所の北村と申します。本 ML をお借りいたしまして、産総研（関西センター）でのポスドク公募のお知らせをさせていただきます。弊所情報技術研究部門ソフトウェアアナリティクス研究グループでは、現在、ポスドクの公募を行っております。採用者は、当研究グループが開発するモデルベーストのソフトウェアテスト技術に関する研究プロジェクトに従事していただきます。主な仕事内容は以下の通りとなります。・テスト自動化のためのアルゴリズムの研究やプログラムコードの開発・企業と共同実施による本技術の実証実験・ソフトウェアテストに関するチュートリアルやセミナの開発・研究論文の執筆本プロジェクトでは、ソフトウェアツール開発が重要な項目であり、C++ によるプログラムコードの開発技術・経験が求められます。また研究対象となる技術はソフトウェアテストに関するものですが、アルゴリズムや論理学、形式手法の側面も強く、これらについて素養があることが望ましいです。（ただし、必須ではないです。）雇用条件・応募方法等は以下をご参照ください。 https://unit.aist.go.jp/hrd/keiyaku_koubo/list_dith_1_kansai.html#itri https://unit.aist.go.jp/hrd/keiyaku_koubo/27-itri_0028.html 応募締め切りが「平成27年6月8日(月)」とありますが、延長可能ですので、興味のある方やまずはお早めに、私のほうにメールだけでもいただければと存じます。以上、よろしくお願いいたします。 -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Internal Tel: *33-274-71902 Fax: +81-6-6494-8073

1 0

APLAS 2015: Final Call for Papers
by Kohei SUENAGA 27 May '15

27 May '15

皆様， APLAS 2015 の call for papers をお送りします．よろしくお願いいたします．末永幸平 ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 5, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page <https://easychair.org/conferences/?conf=aplas2015> using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China)

1 0

Kobe set theory seminar on Tue 2 June.
by Daisuke Ikegami 27 May '15

27 May '15

皆様神戸大学の池上です。来週の火曜日13:30から行われる神戸集合論セミナーのお知らせです。講演者は、筑波大学でポスドクをしている Monroe Eskew さんです。どうぞお気軽にお越しください。 ========================================================================= 日時：2015年6月2日（火）13:30-15:00 講演者：Monroe Eskew （筑波大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車、「神大本部工学部前」停留所下車、徒歩すぐ。 http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html （「ローカルマップ」の59番の建物）題目： An aleph_2 saturated ideal on aleph_3. アブストラクト： We give some more information about which regular cardinals can carry uniform, countably complete, aleph_2 saturated ideals. We extend a negative result of Kunen and Foreman about some “forbidden cardinals,” answering a question of Foreman. Then we show that there can exist a uniform, countably complete, aleph_2 saturated ideal on aleph_3, using results of Foreman and Woodin. It was previously unknown whether there can exist such uniform ideals on aleph_n for n > 2, and it is still open whether there can exist such an ideal on aleph_4. Some of our arguments are quite specific to the cardinals involved. ========================================================================= 問合せ先：池上大祐神戸大学大学院システム情報学研究科 E-mail: ikegami(a)people.kobe-u.ac.jp

1 0

Re: [logic-ml] ICALP/LICS 2015 Call for Participation
by Hasegawa Masahito 25 May '15

25 May '15

$B3'MM!"(B $B8m$C$FJT=8ESCf$N$b$N$r$*Aw$j$7$F$7$^$$$^$7$?!#(B $BBgJQ<:NiCW$7$^$7$?!#;22C$r$48!F$$$$?$@$1$^$9$h$&!"(B $B2~$a$F$*4j$$?=$7>e$2$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B Subject: ICALP/LICS 2015 Call for Participation Date: Mon, 25 May 2015 16:01:24 +0900 From: Hasegawa Masahito <hassei(a)kurims.kyoto-u.ac.jp> $B3'MM!"(B 7$B7n$K5~ET$G3+:E$5$l$k9q:]2q5D(BICALP2015$B5Z$S(BLICS2015$B$N(B $B;22CJg=8$r$*Aw$j$7$^$9!#J;@_%o!<%/%7%g%C%W$b$"$o$;!"(B $B@'Hs;22C$r$48!F$D:$1$^$9$h$&!"$*4j$$?=$7>e$2$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ***** Call for Participation, ICALP/LICS 2015 in Kyoto ***** Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto. Eleven invited talks and about 200 papers on all areas of theoretical computer science and logic in computer science will be presented at Grand Prince Hotel Kyoto. Also, seven workshops will take place at Kyoto University on July 4 and 5. The registration page and the hotel reservation page are already open. For more details please visit our conference webpage: http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Looking forward to seeing you in Kyoto! Local Organizers: Masahito Hasegawa (Kyoto University) Atsushi Igarashi (Kyoto University) Kazuo Iwama (Kyoto University) Kazuhisa Makino (Kyoto University) Contact: icalp-lics2015(a)kurims.kyoto-u.ac.jp

1 0

ICALP/LICS 2015 Call for Participation
by Hasegawa Masahito 25 May '15

25 May '15

$B3'MM!"(B 7$B7n$K5~ET$G3+:E$5$l$k9q:]2q5D(BICALP2015$B5Z$S(BLICS2015$B$N(B $B;22CJg=8$r$*Aw$j$7$^$9!#J;@_%o!<%/%7%g%C%W$b$"$o$;!"(B $B@'Hs;22C$r$48!F$D:$1$^$9$h$&!"$*4j$$?=$7>e$2$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ***** Call for Participation, ICALP/LICS 2015 in Kyoto ***** Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto. Eleven invited talks and about 200 papers on all areas of theoretical computer science and logic in computer science will be presented at Grand Prince Hotel Kyoto. Also, seven workshops will take place at Kyoto University on July 4 and 5. The registration page and the hotel reservation page are already open. For more details please visit our conference webpage: http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Looking forward to seeing you in Kyoto! Local Organizers: Masahito Hasegawa (Kyoto University) Atsushi Igarashi (Kyoto University) Kazuo Iwama (Kyoto University) Kazuhisa Makino (Kyoto University) Contact: icalp-lics2015(a)kurims.kyoto-u.ac.jp - ------------ From: Masahito Hasegawa <masahito.hasegawa(a)gmail.com> Subject: Re: call for participation Date: Tue, 19 May 2015 11:06:04 +0900 > $B4d4V@h@8!"(B > > $B$"$j$,$H$&$4$6$$$^$9!#(B > $B;d$O:n@.$7$FD:$$$?0F$GNI$$$H;W$$$^$9!#(B > $BIU$1B-$9$H$7$?$i!"(Bearly registration$B$N!:@Z$H!"(B > 4-5 July$B$N%o!<%/%7%g%C%W$N$3$H$/$i$$$G$7$g$&$+!)(B > > $BD9C+@n???M(B > > > 2015-05-19 10:56 GMT+09:00 Kazuo Iwama <iwama(a)kuis.kyoto-u.ac.jp>: >> call for participation $B$rN.$7$^$7$g$&!%J8>O$O0J2<$N46$8$G$O$$$+$,$G$7$g(B >> $B$&$+!%!!!!4d4V(B >> >> Subject: ICALP/LICS 2015 Call for Participation >> >> ***** Call for Participation, ICALP/LICS 2015 in Kyoto ***** >> >> Joint Conference of The 42nd International Colloquium on Automata, >> Languages, and Programming (ICALP 2015) and The Thirtieth Annual >> ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in >> July 6-10, 2015, in Kyoto. >> >> Eleven invited talks and about 240 papers on all areas of theoretical >> computer science and logic in computer science will be presented at >> Grand Prince Hotel Kyoto. The registration page and hotel reservation >> page are already open. For more details please visit our conference >> webpage: >> >> http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 >> >> Looking forward to seeing you in Kyoto! >> >> Local Organizers: >> Masahito Hasegawa (Kyoto University) >> Atsushi Igarashi (Kyoto University) >> Kazuo Iwama (Kyoto University) >> Kazuhisa Makino (Kyoto University) >> >> Contact: icalp-lics2015(a)kurims.kyoto-u.ac.jp >> ------- End of Forwarded Message

1 0

AQIS2015のご案内
by NISHIMURA Harumichi 21 May '15

21 May '15

logic-mlの皆様，量子情報科学の国際会議AQIS2015のCALL FOR PAPERSを代理投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ----------------------------------------------------------------------------- 8月24～30に韓国ソウルで開催される15th Asian Quantum Information Science Conference (AQIS'15)の投稿締切が 6月11日と近づいて来ましたので、MLをお借りして以下の案内をさせて頂きます。ご投稿をご検討頂ければ幸です。＃重複してお受け取りの際は，何卒御容赦ください． ------------------------------ Apologies if you receive this mulitple times. Please forward to interested colleagues. ================== CALL FOR PAPERS 15th Asian Quantum Information Science Conference (AQIS'15) - http://aqis-conf.org/2015/ - August 24-30, 2015 at KIAS in SEOUL, KOREA - Tutorials: August 24 - Main Conference: August 25-28 - Satellite Meeting "Implementation of QIP": August 29-30 - Hosted by Korea Institute for Advanced Study (KIAS), Seoul, Korea Important Dates: [all 23:59 Anywhere on Earth(AoE) in 2015] - Submission deadline: June 11 - Acceptance notification: July 11 - Final manuscript deadline: July 25 - Early Registration deadline: July 25 We would like to draw your attention, and that of the quantum information community, to the 15th edition of the Asian Quantum Information Science Conference (AQIS'15). It is the leading conference in the subject in Asia, its highly successful predecessors having been EQIS'01-05 and AQIS'06-14. The topics covered include, but are not limited to, quantum computing, quantum information theory and experiment, quantum communication and cryptography, and foundations of quantum mechanics. Details about the conference can be found on the website: http://aqis-conf.org/2015/ Please check repeatedly as the information there will be updated regularly. Like its previous editions, AQIS'15 will consist of invited talks and tutorials, as well as oral and poster presentations, selected by a high-profile international programme committee. Invited speakers include [to be completed]: *Scott Aaronson (MIT) *Sergey Bravyi (IBM) *Kihwan Kim (Tsinghua U) *Christian Kurtsiefer (NUS, Singapore) *Yasunobu Nakamura (RIKEN and U Tokyo) *Jian Wei Pan (USTC, Hefei) *Renato Renner (ETH, Zurich) Tutorial Speakers include [to be completed]: *Dagmar Bruss (U Duesseldorf) *Daniel Nagaj (Solvak Acad. Sciences) Contributions are solicited in (but not limited to) the following areas: - Quantum computation, algorithms and complexity - Quantum information theory - Quantum decoherence fighting concepts, methods and tools - Quantum cryptography - Quantum communications experiments and theory - Quantum technologies (optics, atomic physics, and solid-state physics, etc.) - Quantum processor and computer design The submission deadline is June 11, 2015, 23:59 Anywhere on Earth (AoE). All submissions must follow the guidelines specified on the web site. We are looking forward to seeing you in Seoul, Korea! Committee Chairs Steering Committee: Jozef Gruska (Masaryk U, Brno) Conference: Jaewan Kim (KIAS, Seoul) Organizing Committee: Jaewan Kim (KIAS, Seoul) & Shigeru Yamashita (Ritsumeikan U) Program Committee: Richard Jozsa (U Cambridge) & Harald Weinfurter (LMU Munich) Contact: aqis15(a)kias.re.kr =======================

1 0

Fwd: CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。たびたび申し訳ありません。先ほどのメールの情報が一部間違っておりましたので、再送致します。 ****************************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ 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). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) -------------------------------------------- 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 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

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ 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). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) (to be more) -------------------------------------------- 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 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

早稲田大学高等研究所主催セミナーのお知らせ
by AKIYOSHI Ryota 15 May '15

15 May '15

次のようなセミナーを予定しております．参加自由です． ------------------------------------------------------------------------------ 早稲田大学高等研究所主催セミナー講演者：Florian Pelupessy 日時：5月25日（月）15:00—16:30 場所：早稲田大学早稲田キャンパス9号館5階　第2会議室 (URL: http://www.waseda.jp/wias/) Title: Phase transitions in logic: combinatorics and provability Abstract: Thanks to Gödel's incompleteness theorems we know that there exist statements in the language of Peano Arithmetic which can be neither proven nor disproven using PA. Only recently, from 1977 onwards, natural examples of such statements have emerged. These statements can be parametrised in such a manner that, at certain values, small tweaks to the parameter value result in a sudden change of provability of the resulting statement for this value. A programme has been started by Andreas Weiermann to examine these phase transitions in provability, revealing a connection between finite combinatorics which is very much provable in PA and the transition thresholds. In this talk we examine this relation and some examples. 問い合わせ先：早稲田大学高等研究所　秋吉亮太 (georg.logic(a)aoni.waseda.jp)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml