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

Nagoya Set Theory Seminar
by 吉信康夫 26 Jun '14

26 Jun '14

名古屋集合論セミナーのご案内：日時：2014年6月27日(金) 午後3時30分より場所：名古屋大学情報文化学部 SIS2 教室(全学教育棟) 名古屋市地下鉄名城線名古屋大学駅1番出口より徒歩数分、下記のキャンパスマップのB4(1)の建物です。 http://www.nagoya-u.ac.jp/access-map/index.html SIS2 教室は全学教育棟4階にあります。建物内の配置図は下記のページでみることができます。 http://www.ilas.nagoya-u.ac.jp/student/lectureroom/ 講演者：薄葉季路(神戸大学) 題目：Reflection of List-chromatic number of graphs 概要：単純グラフのList-chromatic numberの反映原理は巨大基数公理の元では無矛盾であることが知られている。一方、今回の話ではグラフの濃度を限定したbounded versionの反映原理はZFCとequuiconsistentであることの証明の概略を試みる。多数のご参加をお待ちしております。名古屋大学大学院情報科学研究科吉信康夫

1 0

CFP: HART'14
by Makoto Hamana 26 Jun '14

26 Jun '14

皆様、 Haskellと書換え系の境界領域、関係を議論するワークショップ HART'14 (Haskell And Rewriting Techniques)のご案内です。インフォーマルなワークショップですので、投稿はWork in progress な話題でも歓迎です。ぜひ関連研究者の皆様は投稿、参加をご検討ください。投稿〆切は7月2日と近いですが、興味がありましたらご相談にものれるかと思います。 -- 浜名誠群馬大学理工学府電子情報部門 ----------------------------------------------------------------- CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: ==================================== - equational reasoning and other rewriting techniques for program verification and analysis; - lambda calculi and type systems for functional programs and higher-order rewrite systems; - rewriting of type expressions in the type checker; - rewriting of programs by refactoring tools, optimizers, code generators; - execution of programs as a form of graph rewriting (terms with sharing); - Template Haskell, generally introducing a rewriting-like macro language into the compilation process. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: ====== July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: =========================== We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: ================== Program Chairs Kristoffer Rose (Two Sigma Investments, LLC, USA) Janis Voigtlander (University of Bonn, Germany) Program Committee Members Bertram Felgenhauer (University of Innsbruck, Austria) Carsten Fuhs (University College London, UK) Andy Gill (University of Kansas, USA) Makoto Hamana (Gunma University, Japan) Bastiaan Heeren (Open Universiteit, Netherlands) Femke van Raamsdonk (VU University Amsterdam, Netherlands) Tiark Rompf (EPFL and Oracle Labs, Switzerland) Christian Sternagel (JAIST, Japan; University of Innsbruck, Austria) Johannes Waldmann (HTWK Leipzig, Germany)

1 0

モデル理論夏の学校2014＠筑波大学
by kota takeuchi 25 Jun '14

25 Jun '14

皆様、筑波大学の竹内耕太です。モデル理論夏の学校は毎年夏に開催されるモデル理論の研究集会です。今年は9月に筑波大学で開催されます。モデル理論ならびに関連分野に興味をお持ちの方はぜひご参加下さい。 (また講演希望者や学生を対象に一部旅費の援助も検討しています。必要に応じてご相談ください。) 竹内耕太 ------------------------------------------------------------------ モデル理論夏の学校2014 開催案内・参加募集ウェブページ：http://www.math.tsukuba.ac.jp/~kota/summerworkshop2014.html 日時：2014年9月14日（日）－16日（火）会場：筑波大学（つくばキャンパス）講演申込締切：8月31日（日）世話人連絡先：竹内耕太 kota(a)math.tsukuba.ac.jp 講演を希望される方は・タイトル・氏名・所属・希望時間（あれば）を竹内までメールにてお知らせください。参加に事前申し込みは必ずしも必要ありませんが、大まかな人数を把握するために事前に参加の旨連絡いただけるとうれしいです。竹内耕太（筑波大学）

1 0

第二十五回 ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ
by Koki Nishizawa 24 Jun '14

24 Jun '14

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十五回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと講演の募集をさせていただきます。 **************************************************************** * 第二十五回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2014年8月19日（火）午後〜20日（水） * * 神奈川大学　横浜キャンパス３号館２０６室（神奈川県横浜市） * * * * 開催のお知らせと講演の募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十五回ALGIを開催することになりました。開催期間及び開催場所は上記のとおりです。昨年度よりも開催時期が１ヶ月ほど早まっておりますのでご注意ください。初日の19日は午後から開催いたします。最終日20日の午後まで開催するかどうかは、講演の数によります。なお、神奈川大学横浜キャンパス３号館は今年度に立て替えられた建物のため、インターネット上の古い情報は誤っている可能性があります。こちらの地図が正確ですのでご利用ください。 http://www.kanagawa-u.ac.jp/aboutus/facilities/yokohama/ 講演を希望される方は、・題目・講演者名・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

JAIST Logic Seminar Series
by Hajime Ishihara 23 Jun '14

23 Jun '14

皆様リーズ大学のJohn Stell先生の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON (http://corcon.net/). Date: Friday 27 June, 2014, 15:30-17:00 Place: JAIST, 7F seminar room (I-75) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. John Stell (University of Leeds, UK) Title: Bi-Intuitionistic Modal Logic and Hypergraphs Abstract: I will discuss motivations from spatial reasoning and mathematical morphology (as used in image processing) for the notion of a relation on a graph. I will show how the algebra of these relations is weaker than that of relations on a set. This leads to a generalization of relation algebras in which the Boolean algebra is replaced by a symmetric Heyting algebra. These relations can be used as the accessibility relations for a modal logic in which propositions are interpreted as subgraphs of a graph or more generally a hypergraph. --------------------------------------------------

1 0

CFP: 第31回日本ソフトウェア科学会大会
by Atsushi Igarashi 23 Jun '14

23 Jun '14

# 複数受け取られた場合はご容赦ください．京都大学の五十嵐です． 9月に名古屋大学で開催される日本ソフトウェア科学会第31回大会の開催案内・参加募集です．発表申込締切は今週末となっておりますが，予稿の締切はまだ一ヶ月先です．是非発表申込をご検討いただければ幸いです．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ------------------------------------------------------------------------ 日本ソフトウェア科学会第 31 回大会開催案内・参加募集大会ホームページ： http://jssst2014.wordpress.com Twitter： @jssst2014 日時： 2014 年 9 月 7 日(日)～ 10 日(水) 会場：名古屋大学東山キャンパス登壇発表申込締切： 2014 年 6 月 27 日(金) 予稿原稿締切： 2014 年 7 月 22 日(火) デモ・ポスター発表申込締切： 2014 年 8 月 8 日(金) 今年も，一般セッションに加えて，研究会セッション，ソフトウェア論文セッション，デモ・ポスター発表という多様な研究発表の場が用意されています．予稿の共著者に会員が含まれていれば非会員でも登壇発表できますので，是非，発表をご検討ください．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待しております．今大会のセッションは以下の通りです．いずれも対象分野はソフトウェア科学全般です．一般セッション：ソフトウェア科学全般について発表の場研究会セッション：研究会と連携した企画による発表の場ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場デモ・ポスター発表：登壇発表に関するデモも歓迎します【投稿要領】・予稿の共著者 (デモ・ポスターセッションの場合は発表者) に少なくとも 1 名の正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．・大会ホームページから EasyChair にログインして発表タイトル，著者名，概要を登録してください．続いて，大会ホームページから，登壇発表予定者などの必要事項をフォームに記入してお送りください．・予稿はソフトウェア科学会の「大会論文用」スタイルファイルで作成してください． PDF のファイルサイズが 5 MB以下であれば，ページ数に通常は制限はありません（レター論文としての同時投稿の場合のみ６ページ）．詳しい方法については大会ホームページをご覧ください．【授賞】会員による優秀な登壇発表者には「高橋奨励賞」が授与されます．【学会誌への同時投稿】例年通り，発表論文の予稿を学会誌に同時投稿できます．査読の迅速化を特徴とするレター論文が選択できる他，大会発表で得られたコメントを反映した上での大会後の投稿も可能です．詳細は，大会ホームページをご覧ください．【大会組織】大会委員長：坂部俊樹 (名古屋大学) プログラム委員長：五十嵐淳 (京都大学) プログラム副委員長：大山恵弘 (電気通信大学) 運営委員長：結縁祥治 (名古屋大学) 広報委員長：石尾隆 (大阪大学) 【コンタクト先】プログラム委員長 (正・副)： jssst2014(a)easychair.org 大会組織： jssst2014-oc(a)fos.kuis.kyoto-u.ac.jp

1 0

Talks at UTokyo: Georgios Fainekos (Tue 17), Liang-Ting Chen (Wed 18)
by Ichiro Hasuo 17 Jun '14

17 Jun '14

Dear colleagues, It is my pleasure to announce two talks given by visitors to our group: Georgios Fainekos (tomorrow) on cyber-physical systems; and Liang-Ting Chen (Wed) on categorical and coalgebraic logic. No registration is needed; see you there! Best regards, Ichiro Hasuo Group MMM, University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Tue 17 Jun 2014, 13:00-14:00 Georgios Fainekos <http://www.public.asu.edu/~gfaineko/> (Arizona State University), Temporal Logic Testing and Verification for Cyber-Physical Systems 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) One of the important challenges in the Model Based Development (MBD) of Cyber-Physical Systems (CPS) is the problem of verifying functional system properties. In its general form, the verification problem is undecidable due to the interplay between continuous and discrete system dynamics. In this talk, we present the bounded-time temporal logic testing and verification problem for CPS. Temporal logics can formally capture both state-space and real-time system requirements. For example, temporal logics can mathematically state requirements like "whenever the system switches to first gear, then it should not switch back to second gear within 2.5sec". Our approach in tackling this challenging problem is to convert the verification problem into an optimization problem through a notion of robustness for temporal logics. The robust interpretation of a temporal logic specification over a CPS trajectory quantifies "how much" the system trajectory satisfies or does not satisfy the specification. In general, the resulting optimization problem is non-convex and non-linear, the utility function is not known is closed-form and the search space is uncountable. Thus, stochastic search techniques are employed in order to solve the resulting optimization problem. We have implemented our testing and verification framework into a Matlab (TM) toolbox called S-TaLiRo (System's TemporAl LogIc Robustness). In this talk, we demonstrate that S-TaLiRo can provide answers to challenge problems from the automotive and medical device industries. Georgios Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems (SCIDSE) Engineering at Arizona State University (ASU). He is director of the Cyber-Physical Systems Lab and he is currently affiliated with the Center for Embedded Systems at ASU. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working in the area of Cyber-Physical Systems (CPS) with focus on formal methods, logic, optimization and control theory with applications to automotive systems, autonomous (ground and aerial) robots and human-robot interaction (HRI). In 2014, Dr. Fainekos received the NSF CAREER award. He was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award, and the 2013 Best Researcher Junior Faculty award from SCIDSE. ------------------------------ Wed 18 Jun 2014, 16:30-18:00 Liang-Ting Chen <http://uk.linkedin.com/pub/liang-ting-chen/88/749/b5a> (Academia Sinica), On a Categorical Framework for Coalgebraic Modal Logic 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) Two syntax-oriented approaches to coalgebraic modal logic ― Moss’ cover modality and Pattinson’s predicate liftings ― are successful in producing a wide range of modal logics parametric in a Set functor, including modal logics for Kripke frames, Markov chains, Markov processes, and their variants. Both of them can be presented abstractly in a form similar to mathematical SOS by Turi and Plokin, but this line of research was not well-understood yet. In this talk I will treat the abstract formation seriously, and introduce a category of abstract semantics parametric in a contravariant functor that assigns to the state space its collection of predicates with propositional connectives. Various classical notions are formulated categorically. For example, modular constructions are identified as colimits, limits, and compositions of one-step semantics. The compositions and the colimits of (one-step) expressiveness semantics remain (one-step) expressive. In addition, we investigate a canonically-defined logic by its fibres, and show that it is a terminal object for every fibre. By its very formulation, it is straightforward to show above results in this level of generality. In fact, I would like to suggest that it is the right level of abstraction for understanding coalgebraic modal logic. For further details, please see my MFPS paper, available in http://www.cs.cornell.edu/Conferences/MFPS30/MFPS30-prelim.pdf

1 0

Continuity, Computability, Constructivity 2014; extended deadline
by Hajime Ishihara 10 Jun '14

10 Jun '14

*Continuity, Computability, Constructivity -- From Logic to Algorithms (CCC 2014)* *University of Ljubljana, 15-19 September 2014* *Third call for papers* *Extended deadline* http://ccc2014.fmf.uni-lj.si/ CCC is a workshop series bringing together researchers from realanalysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correctalgorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne CCC 2009, Trier CCC 2012, and Gregynog 2013. One outcome of the 2009 workshop series is the creation of the EU funded research network COMPUTAL (Computable analysis -- theoretical and applied aspects) which supports research visits from Europe to Russia, South-Africa, and Japan and vice versa. This workshop also hosts the third COMPUTAL workshop, but is open to all researchers in the area. The workshop will take place in Ljubljana, Slovenia. *Scope: *The workshop specifically invites contributions in the areas of * exact real number computation, * effective topology, * Scott's domain theory, * Weihrauch's type two theory of effectivity, * category-theoretic approaches to computation on infinite data, * hierarchies of unsolvability, * and related areas. *Invited Speakers:* * Thierry Coquand (Gothenburg) * Dirk Pattinson (Canberra) * Paul Potgieter (Pretoria) * Robert Rettinger (Hagen) * Hideki Tsuiki (Kyoto) * … (tba) *Tutorial Speakers:* * Andrej Bauer (Ljubljana) * Martin Ziegler (Darmstadt) *Extended deadline for abstract submission:* *28 June 2014* ** *Upload your submission via EasyChair* https://www.easychair.org/conferences/?conf=ccc20140 <https://www.easychair.org/conferences/?conf=ccc20140> *Programme Committee:* * Andrej Bauer(Ljubljana) * Willem Fouche' (Pretoria) * Hajime Ishihara (Nomi, Ishikawa) * Margarita Korovina (Novosibirsk) * Davorin Lesnik (Darmstadt) * Norbert Mueller (Trier) * Robert Rettinger (Hagen) * Monika Seisenberger (Swansea) * Dieter Spreen (Siegen and Pretoria) (chair) * Martin Ziegler (Darmstadt). *Organizing Committee:* * Andrej Bauer (Ljubljana)

1 0

Fwd: Kobe Colloquium on Logic, Statistics and Informatics, June 10 (Dilip Raghavan)
by Joerg Brendle 09 Jun '14

09 Jun '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年6月10日（火）15:00-16:30 講演者：Dilip Raghavan （シンガポール国立大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Two cardinal invariants of the continuum and Martin's axiom アブストラクト： we show the consistency of "MA for posets of size at most kappa + d = kappa^+ and a = kappa^{++}" for a measurable cardinal kappa. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

CFP: JURISIN2014
by Satoshi Tojo 06 Jun '14

06 Jun '14

Apologies if you receive this CFP multiple times. ------------------------------------------------- FIRST CALL FOR PAPERS Eighth International Workshop on Juris-informatics (JURISIN 2014) date: November 23 - 24, 2014 venue: Raiosha Building, Keio University Kanagawa, Japan Submission Deadline: August 30, 2014 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. 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 Special Topics for JURISIN 2014 Bar exam competition (TBA) Invited Speakers (TBA) Submissions: We will open the submission site via EasyChair shortly. 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 2014 (The 27th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2014 is as follows: Papers being submitted both to JURISIN2014 and JURIX2014 must note this on the title page. A paper to be presented at JURISIN2014 must be withdrawn from JURIX2014 and vice versa according to the choice by the authors. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2014. Post Proceedings: We are under negotiation with Springer Verlag on publishing selected papers. Workshop Chair Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Organizing Committee Members Katsumi Nitta, Tokyo Institute of Technology, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), 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 Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Tokuyasu Kakuta, Nagoya University, Japan Hanmin Jung, Korea Institute of Science and Technology Information(KISTI), Korea Minghui Xiong, Sun Yat-sen University, China Minghui Ma, Southwest University, China Nguyen Le Minh, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan Makoto Nakamura, Nagoya University, Japan Marina De Vos, University of Bath, UK Guido Governatori, NICTA, Australia Paulo Novais, University of Minho, Portugal Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Thomas Ågotnes, University of Bergen, Norway Robert Kowalski, Imperial College London, UK Katsuhiko Sano, Japan Advanced Institute of Science and Technology(JAIST), Japan Katumi Nitta, Tokyo Institute of Technology, Japan Katie Atkinson, University of Liverpool, UK Philip T H Chung, Australasian Legal Information Institute (AustLII), Australia Masahiro Kozuka, Okayama University, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Baosheng Zhang, China University of Political Science and Law, China We are still negotiating with other JURISIN 2013 PC members. Home page of JURISIN 2014 http://www.jaist.ac.jp/org/jurisin2014/ ------------------------------------------------------ Satoshi Tojo Japan Advanced Institute of Science and Technology (JAIST)

1 0

2014年6月13(金)Wittgensteinと数学の哲学（Marion教授講演）集会、慶応義塾大三田キャンパス
by Mitsu Okada 05 Jun '14

05 Jun '14

次のような集会を予定いたしております。できましたらlogic-ml　メールリストで流していただけるとありがたいです。ご検討のほどお願い申し上げます。岡田光弘、　慶應義塾大学文学部哲学専攻 ――――――――――――――――――――――――――――――――――――――――――― 2014年6月13(金)Wittgensteinと数学の哲学（Marion教授講演）集会、慶応義塾大三田キャンパスゲストスピーカー Mathieu Marion 教授（ケベック大学モントリオール校哲学科） “Wittgenstein and Philosophy of Mathematics” Guest speaker: Mathieu Marion (Université du Québec à Montréal) ――――――――――――――――――――――――――――――――――――――――――― 日時：2014年6月13(金) 15時ー１７時 Date: June 13th, 2014 　15pm-19pm 場所：慶應義塾大学三田キャンパス東館4階セミナー室 (* 変更になりました *) Place: Meeting room, 4F of East Building at the East Gate, Mita Campus of Keio University 5 minutes walong distance from JR-Tamachi, Subway-Mita, Subwat-Akabanebashi . ――――――――――――――――――――――――――――――――――――――――――― Topic Wittgenstein's Philosophy of Mathematics and Related Issues,。ゲスト講演者： Mathieu Marion (Université du Québec à Montréal) Wittgensteinの数学の哲学の立場を概観していただき、そのうえで最近の話題を取り上げて話していただきます。そのあとで、関連する他の立場と比較・検討するディスカッションを行います。（当日テキストを配布する予定です。）最新の情報は http://ctj.keio.ac.jp/news/20 で随時アップデートいたします。 *See the above URL for the updated information.) 参加方法：事前登録不要・参加費無料。ただし会場準備のため氏名、所属を明記して「Wittgensteinと数学の哲学ワークショップ」と件名を記したメールを事務局宛にお送りください。お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：科学基礎論学会・慶應義塾大学論理と感性のグローバル研究センター

1 0

The Second Taiwan Philosophical Logic Colloquium (2014 TPLC) Call for Papers
by Katsuhiko Sano 05 Jun '14

05 Jun '14

皆様、北陸先端科学技術大学院大学の佐野勝彦です。今年 10/24, 10/25 に台湾で開催される Logic Colloquiumについてご案内いたします。佐野勝彦 --- The Second Taiwan Philosophical Logic Colloquium (2014 TPLC) Call for Papers 24th (Fri.) -- 25th (Sat.) October, 2014 The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taipei, Taiwan DEADLINE OF THE SUBMISSION OF ABSTRACTS: August 31st, 2014 DESCRIPTION OF THE COLLOQUIUM The 2014 TPLC is the second of the series of Taiwan Philosophical Logic Colloquium, which is one of two series of biennial conferences established since 2012 and based in The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taiwan. (The other one is the series of Taiwan Metaphysics Colloquium, established since 2013.) Each event in these two series by and large runs in one/two days only. We usually invite one or two distinguished philosophers/logicians as keynote speakers and 3-4 distinguished scholars from Asian and Australasian regions together with several contributed papers. We hope that the establishment of these two series will make a rewarding and inspiring series of events so as to promote the development of metaphysics and philosophical logic in Asian area, especially in Taiwan. In particular, the aim of the series of Taiwan Philosophical Logic Colloquium is to bring together a group of logical-minded philosophers and a group of logicians with philosophical orientation. We intend, via the establishment of this series, to provide a forum for dialogues amongst philosophers and logicians with regard to a variety of significant issues and topics from philosophical and logical perspective, respectively. The scope of this series of colloquium will cover: philosophical logic (in a broad sense), non-classical logics, algebraic logic, all kinds of semantics/logics relating to philosophical concepts in metaphysics, epistemology, philosophy of language, philosophy of logic/mathematics, and their applications in computer science and cognitive science. KEYNOTE SPEAKERS FOR THE 2014 TPLC Robert Goldblatt, ``Admissible semantics for modal logic with quantifier'' (School of Mathematics, Statistics and Operations Research, Victoria University, New Zealand.) Hiroakira Ono, ``On interpolation properties'' (Japan Institute of Science and Technology (JAIST), Japan) INVITED SPEAKERS FOR THE 2014 TPLC Chen Bo (Peking University, China); Hanti Lin (Australia National University, Australia; UC Davis, USA) Fenrong Liu (Tsinghua University, China) Tomoyuki Yamada (Hokkaido University, Japan); SUBMISSION OF ABSTRACTS All researchers working on various aspects of philosophical logic are cordially invited to submit their abstracts by August 31st, 2014. Authors should submit an (extended) abstract at least about one page (A4 size, single space) but no more than four pages. Abstracts must be submitted as PDF files and sent to dmdeng(a)ntu.edu.tw (cc. Joshua S. S. [bookitchen(a)gmail.com.]) Each submission will be reviewed. The Colloquium is open to everyone, and practical info will be available soon on the website. SPECIAL OFFER FOR SPEAKERS FROM ABROAD Contributed papers from international scholars are highly appreciated. There will be a possibility of giving support of accommodation during the conference to speakers from abroad. Please take a contact with Syraya C. M. Yang (cmyang(a)ntu.edu.tw). However, it is strongly recommended that as long as you have decided to submit an abstract, please send us a note at your convenience as hotel-room preservation can be made the earlier the easier. POST-CONFERENCE PUBLICATION: We are planning to publish a post-conference proceedings for the 2014 TPLC once we get enough number of submissions of high quality. We have already taken a contact with editor-in-chief of LIAA book series concerning with this matter. The LIAA (``Logic in Asia'') is a new established publication project for a series of logic books from Springer. See http://www.springer.com/series/13080. If our project is approved, a post- conference proceedings will be published as a volume of LIAA. All authors of papers presented at the colloquium will be encouraged to submit a full version and the deadline of submission of manuscripts will be around February of 2015. All papers submitted will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The approval and the details of the post-conference proceedings will be announced later. ORGANIZATION COMMITTEE D. M. Deng, Y. I. Liang, C. J. Liau (The Institute of Information Science, Academia Sinica), E. M. Peng, H. C.Tsai (National Chung Cheng University), S. P. Tung (Chung Yuan Christian University), R. L. Wang, S. C. M. Yang (Chair), J. J. Yuann FFURTHER CONTACT: For any enquiry/information please contact: D. M. Deng (dmdeng(a)ntu.edu.tw) Joshua S. S. (bookitchen(a)gmail.com) Syraya C. M. Yang (cmyang(a)ntu.edu.tw)

1 0

[1st CfP] 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)
by Takashi KITAMURA 04 Jun '14

04 Jun '14

みなさま、産業技術総合研究所の北村です。今年11月にルクセンブルクで開催される国際ワークショップ FTSCS2014 の論文募集の案内をお送りいたします。是非論文投稿をご検討下さい。 --------------------------------------------------------------------- Call for Papers FTSCS 2014 3rd International Workshop on Formal Techniques for Safety-Critical Systems Luxembourg, November 6-7, 2014 (satellite workshop of ICFEM 2014) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, 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. In particular, FTSCS strives 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, 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 http://www.easychair.org/conferences/?conf=ftscs2014. 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 2014. 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 6, 2014 Notification of acceptance: October 3, 2014 Workshop: November 6/7, 2014 Venue: Luxembourg Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd Univ. of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Kyungmin Bae University of Illinois at Urbana-Champaign, USA Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu Nanyang Technological University, Singapore Frederic Mallet INRIA Sophia Antipolis, France Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA 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 Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Jackie Wang 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 Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073 Internal Tel: *33-274-71902

1 0

QPL 2014: Final Call for Papers
by Ichiro Hasuo 03 Jun '14

03 Jun '14

[Apologies for multiple copies] CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito "Hassei" Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also provide limited financial support to students for travel and accommodations (non-students can also apply but priority is given to students). Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford & CQT Singapore) Mingsheng Ying (UTS Sydney & Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)

2 4

CFP: LENLS11 (Logic and Engineering of Natural Language Semantics 11)
by Koji Mineshima 02 Jun '14

02 Jun '14

（重複して受け取られた場合はご容赦ください）今年の１１月に東京で開催される LENLS 11 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。峯島宏次（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FIRST CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 11 (LENLS 11) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : November 22-24, 2014 Contact Person: Koji Mineshima (Ochanomizu University) Contact Email : lenls11[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Koji Mineshima (Ochanomizu University) Co-chair: Daisuke Bekki (Ochanomizu University/National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Chris Barker (New York University) - Kimiko Nakanishi (Ochanomizu University) - Christopher Tancredi (Keio University) - Matthew Stone (Rutgers University) (To be confirmed) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) (http://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). 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 of natural language - Formal 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 (up to 4 pages, including figures and references, A4 or letter size, with 12 point font) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls11 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. This year we are planning to hold a student session. The details will be announced later. Important dates: ================ Abstract submission deadline: August 15, 2014 Notification of acceptance: September 30, 2014 LENLS11: November 22-24, 2014 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://www.extreme-bigdata.jp/workshop/jebdp-1/speakers.html#SadaoKurohashi) 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: ====================================== - Koji Mineshima (Ochanomizu University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Richard Dietz (University of Tokyo) - Eric McCready (Aoyama Gakuin University) - 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

Kobe Colloquium (June 3, 2014, Hirao)
by Makoto Kikuchi 30 May '14

30 May '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年6月3日（火）15:40-16:40 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：平尾将剛 (愛知県立大) 題目：最適実験計画の設計問題とcubature公式についてアブストラクト: 実験計画法とは，実験対象の特徴を的確に捉えたデータを取得するための方法論のひとつである．本講演では特に球面や球といった回転不変性を持つ領域上でデータ解析を取得する際に，どこに観測所を配置すれば良いか，また，その各観測所においてどれだけの回数の測定をすれば良いかを問題としたい．近年，この問題に対し， Hirao-Sawa-Jimbo(2014), Sawa-Hirao(2014+)ではある統計的最適性を持つ実験計画の設計問題をcubature公式(立体求積公式)と呼ばれる積分近似公式の構成問題と捉える直すことにより，最適計画の設計法を提案してきた．本講演ではそれらの設計法についての解説を行い，また時間があれば今後の課題についても幾つか説明する．交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

APLAS 2014: Extended deadline
by Jacques Garrigue 27 May '14

27 May '14

APLAS 2014の〆切を約一週間延ばしました。ぜひご検討下さい。 Jacques Garrigue =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS Abstracts due June 2 (full paper by June 8) =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== 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 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 the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *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. *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://www.easychair.org/conferences/?conf=aplas2014 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. ===== DATES ===== Abstracts due: June 2, 2014 (Monday) 23:59 UTC-11 Submission due: June 8, 2014 (Sunday) 23:59 UTC-11 Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

Talks by Georg Struth (29 May) & by Bart Jacobs (2 Jun) at U Tokyo
by Ichiro Hasuo 22 May '14

22 May '14

Dear colleagues, Let me advertise talks given by our guests: Georg Struth on algebraic techniques in program analysis; and Bart Jacobs on categorical quantum logic. No registration is necessary; see you there! Best regards, Ichiro Hasuo Group website: http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Thu 29 May 2014, 16:30-18:00 Georg Struth (U. Sheffield), Build Your Own Program Analysis Tool 理学部7号館2階 214教室 Room 214, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) We present a principled way of designing program analysis tools within interactive proof assistants such as Coq or Isabelle; inparticular tools for the construction and verification of sequential and concurrent programs. We use algebras of programs to capture the control flow of programs and to derive Hoare-style inference rules, verification conditions, or transformation and refinement laws. We model their data flow by linking these algebras with denotational models of programs, including relations, predicate transformers, or sets of traces and by enriching these with notions of store and state, with data types, assignment and process interference. This separation of concern makes the approach open, modular and highly automatic. Its implementation in Isabelle/HOL is particularly simple. It yields lightweight tools which are themselves correct by construction and can be combined with various programming languages and integrated into different formal methods. We illustrate the approach through three examples: a verification tool for while programs based on Kleene algebra with tests, its extension to a Morgan-style program refinement tool, and a prototype for verifying and constructing shared variable concurrent programs based on a new variant of concurrent Kleene algebra. Time permitting, we will outline how more powerful program analysis tools can be obtained from more expressive algebras. ________________________________ Mon 2 Jun 2014, 15:30-17:00 Bart Jacobs (Radboud U. Njimegen), Axiomatising categorical quantum logic 化学東館 236教室（理学部7号館の隣．ご存知ない方は先に理学部7号館415へお越しください） Room 236, Chemistry Building East (“Kagaku-Higashikan”). If not familiar come first to Rm 415, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) This talk describes several assumptions on a category that together yield a proposal for a categorical structure for quantum logic. The assumptions and consequences describe the differences and similarities between classical, probabilistic, and quantum logic. The leading examples are the category Sets, the Kleisli category of the distribution monad, and the opposite of the category of C*-algebras and (completely) positive unital maps.

1 0

Program of SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 20 May '14

20 May '14

皆様、北陸先端大の横山です。以前にもご案内いたしました2014年度のSLACS及び超準解析シンポジウムのプログラムを公開いたしました。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/speakers.html 27日には・斉藤正彦先生の特別講演、・小澤正直先生、蓮尾一郎先生の基調講演がございます。貴重な機会かと存じます、奮ってご参加ください。また、27日には両研究集会合同の懇親会を行います。お店のスペースの関係上、席の残りが少なくなっておりますので、参加をご検討の方はお早めにお申し込みください。どうぞよろしくお願いいたします。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録は、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等 ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

千葉 logic seminar
by arai toshiyasu 20 May '14

20 May '14

みなさま新井@千葉大学です。千葉 logic seminar の第2回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：6月4日(水)15:00-16:30 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：倉橋太志（木更津工業高等専門学校）タイトル：算術の超準モデルにおける証明可能性（菊池誠（神戸大学）との共同研究）アブストラクト：第二不完全性定理の帰結として，0=1 の証明をもつようなペアノ算術 PA の超準モデルの存在がいえる．そのような超準的な証明の構造は十分には理解されていないため，PA の超準モデルにおける可証性述語の振る舞いを調べることによって超準的な証明の性質の解明を試みている．本発表では，次の内容について，今までに得られている結果の紹介を行う： 1. PA + Con(PA) の超準モデルにおける証明可能性 2. どれだけ短く切っても証明できるものが実際より増えている PA + not Con(PA) のモデル 3. PA + not Con(PA) のモデルにおける Rosser 可証性述語の振る舞い ------------------------------------------

1 0

Kobe Colloquium (May 20, 2014, Sawa)
by Makoto Kikuchi 19 May '14

19 May '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年5月20日（火）16:00-17:30 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：澤正憲 (神戸) 題目：Hilbert identity and Cubature formula 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

CCC 2014; second call for papers
by Hajime Ishihara 19 May '14

19 May '14

*Continuity, Computability, Constructivity -- From Logic to Algorithms (CCC 2014)* *University of Ljubljana, 15-19 September 2014* *Second call for papers* http://ccc2014.fmf.uni-lj.si/ CCC is a workshop series bringing together researchers from realanalysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correctalgorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne CCC 2009, Trier CCC 2012, and Gregynog 2013. One outcome of the 2009 workshop series is the creation of the EU funded research network COMPUTAL (Computable analysis -- theoretical and applied aspects) which supports research visits from Europe to Russia, South-Africa, and Japan and vice versa. This workshop also hosts the third COMPUTAL workshop, but is open to all researchers in the area. The workshop will take place in Ljubljana, Slovenia. *Scope: *The workshop specifically invites contributions in the areas of * exact real number computation, * effective topology, * Scott's domain theory, * Weihrauch's type two theory of effectivity, * category-theoretic approaches to computation on infinite data, * hierarchies of unsolvability, * and related areas. *Invited Speakers:* * Thierry Coquand (Gothenburg) * Dirk Pattinson (Canberra) * Paul Potgieter (Pretoria) * Robert Rettinger (Hagen) * Hideki Tsuiki (Kyoto) * … (tba) *Tutorial Speakers:* * Andrej Bauer (Ljubljana) * Martin Ziegler (Darmstadt) *Abstract submission deadline:* *10 June 2014* ** *Upload your submission via EasyChair* https://www.easychair.org/conferences/?conf=ccc20140 <https://www.easychair.org/conferences/?conf=ccc20140> *Programme Committee:* * Andrej Bauer(Ljubljana) * Willem Fouche' (Pretoria) * Hajime Ishihara (Nomi, Ishikawa) * Margarita Korovina (Novosibirsk) * Davorin Lesnik (Darmstadt) * Norbert Mueller (Trier) * Robert Rettinger (Hagen) * Monika Seisenberger (Swansea) * Dieter Spreen (Siegen and Pretoria) (chair) * Martin Ziegler (Darmstadt). *Organizing Committee:* * Andrej Bauer (Ljubljana)

1 0

JAIST Logic Seminar Series
by Takako Nemoto 16 May '14

16 May '14

皆様インスブリア大学のMarco Benini 先生の講演のお知らせです。ふるってご参加ください。問い合わせ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: t-nemoto(a)jaist.ac.jp ------------------------------ -------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON. Date: Thursday 22, May, 2014 15:30-17:00 Place: JAIST Collaboration Room 6 (I57-g) (Access:http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. Marco Benini Title: Point-free foundations of Mathematics Abstract: Is it possible to work with logical theories without assuming the existence of a universe where to interpret terms? This talk will positively answer to the above question in the case of first-order, intuitionistic-based theories by providing a class of models, defined inside Category Theory, such that they allow to interpret theories in a sound and complete way. Furthermore, the models explain the computational meaning of the corresponding theories via a semantic version of the Curry-Howard isomorphism. And their peculiar aspect is that they provide no universe where to interpret terms.

1 0

【講演募集の延長】SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 08 May '14

08 May '14

皆様、北陸先端大の横山です。繰り返しになりまして恐縮ですが、 2014年度のSLACS及び超準解析シンポジウムについて再度ご案内させていただきます。講演申し込みの締め切りを本日にしておりましたが、超準解析シンポジウムの方は講演スロットにまだかなりの余裕があり、 SLACSにつきましても、まだ若干の余裕がありますので、引き続き、スロットの許す限り、講演を募集いたします。ご参加・ご講演をよろしくご検討ください。横山 -------------------- 2014年度のSLACS及び超準解析シンポジウムを、以下の通り開催いたします。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html どちらの集会も、例年とは時期が異なりますのでご注意ください。ご参加・ご講演をよろしくご検討ください。以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録・講演のお申し込みは、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp 講演をお申し込みの方はお早めに申し込みをお願い致します。講演希望時間は30分程度、45分程度の2種類を準備する予定ですが、応募件数の都合上ご希望に添えない際はご容赦ください。 ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等以下講演をお申し込みの方 7. 講演希望カテゴリー: SLACS / 超準解析 / どちらでも（基本的に、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日になります。） 8. 講演可能な日程: (可能な範囲で調整致します) 9. 講演希望時間: 30分程度 / 45分程度 / どちらでも 10. 講演タイトル: (未定の場合、決まり次第お願いします。) ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

APLAS 2014: Last CFP
by Jacques Garrigue 07 May '14

07 May '14

APLAS 2014の最終案内です。アブストラクト〆切までまだ3週間近く残っていますので、よろしくお願いします。 Jacques Garrigue =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS Abstracts due May 26 (full paper by June 2) =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== 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 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 the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *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. *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://www.easychair.org/conferences/?conf=aplas2014 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. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml