Logic-ml September 2014

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

13 participants
16 discussions

$B?t3X4pACO@%5%^!<%9%/!<%k(B 2014
by fuchino＠diamond.kobe-u.ac.jp 12 Sep '14

12 Sep '14

皆様他の場所での掲示で既に御存知のことと思いますが，今年の数学基礎論サマースクールが 9月16日(火)から 9月19日(金) にかけて神戸大学で開催されます．今年のテーマは集合論，特に強制法理論の入門です．詳しくは： http://kurt.scitec.kobe-u.ac.jp/~fuchino/set-theory2014/kisoron-summerschoo… をごらんください．参加費参加登録等は必要ありません．興味のある方はぜひ御参加ください．この集会のプログラム： http://kurt.scitec.kobe-u.ac.jp/~fuchino/set-theory2014/program-summerschl1… なお，9月18日(木) 18:00--20:00 に立食の懇親会を予定しております (子細については上のプログラムを御覧ください)．参加を御希望の方はサマースクールの最初の二日の間に参加登録と実費 (3000円) の支払をお願いします．懇親会のみに参加される方も歓迎します．ただし，その場合には，レストランへの人数の登録の関係上，私 fuchino(a)diamond.kobe-u.ac.jp と懇親会のアレンジメントを担当している酒井拓史さん hsakai(a)people.kobe-u.ac.jp の両方に，9月23日午後までにメールで御連絡ください． -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 Japan e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

CFP: JURISIN2014 〆切延長
by Satoshi Tojo 09 Sep '14

09 Sep '14

Apologies if you receive this CFP multiple times. -------------------------------------------- !!Deadline Extention!! Due to many requests, we will extend the deadline for Eighth International Workshop on Juris-informatics (JURISIN 2014). New Submission Deadline: September 17, 2014 Conference date: November 23 - 24, 2014 venue: Raiosha Building, Keio University Kanagawa, Japan 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 Bar Exam Competition This year, 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 2014 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/jurisin_task/index.html Invited Speakers Bart Verheij (Stanford University/ University of Groningen) Riichiro Mizoguchi (Japan Advanced Institute of Science and Technology) Submissions: the submission site via EasyChair is now open. 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: Selected papers will be published via Springer Verlag LNAI. In addition, the authors have an opportunity to submit their full versions to the special issue of Journal of New Generation Computing. The detail will be announced soon. 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 Katsuhiko Sano, 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 Akira Shimazu, Japan Advanced Institute of Science and Technology(JAIST), Japan Home page of JURISIN 2014 http://www.jaist.ac.jp/org/jurisin2014/ ------------------------------------------------------ Satoshi Tojo Japan Advanced Institute of Science and Technology (JAIST)

1 0

CSセミナーin桐生
by Fujita Kenetsu 09 Sep '14

09 Sep '14

(* Apologies for any cross-postings. *) 皆様，群馬大学の藤田と申します．コンピュータ・サイエンスのセミナーのご案内です．どなたでも参加できますので，どうぞお気軽にお越し下さい．問い合わせ先：藤田憲悦 fujita(a)cs.gunma-u.ac.jp *********************************************************************** +++++ CS seminar in Kiryu: Programme +++++ URL: http://www.cs.gunma-u.ac.jp/~fujita/research/20140918Seminar.html Thursday, September 18, 2014 14:00--15:30 in the J3 lecture room (the building no. 6 of the map below), Kiryu campus, Gunma University Title: "Verification of programs using Frama-C and Why3" Speaker: Dr. Aleksy Schubert The University of Warsaw, Poland Abstract: Frama-C is a tool that makes it possible to do a variety of analyses for C programs annotated with C specification language called ACSL (The ANSI/ISO C Specification Language). One of the possible ways to use Frama-C is to generate verification conditions for appropriately defined Hoare logic that is in line with C programming language semantics. These verification conditions can subsequently be discharged by Why3 tool that makes it possible to manage the proving of necessary properties. During the talk I will present an overview of the tools and show a number of interesting examples to demonstrate how these tools work together to make possible verification of practical programs. ************************************************************************** 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: fujita(a)cs.gunma-u.ac.jp (Ken-etsu Fujita, Gunma University) -----

1 0

APLAS 2014: Call for Participation
by Jacques Garrigue 06 Sep '14

06 Sep '14

皆様、 APLASの参加募集案内をお送ります。 Jacques Garrigue ======================================================================= 12th Asian Symposium on Programming Languages and Systems (APLAS) November 17-19, 2014, Singapore http://loris-7.ddns.comp.nus.edu.sg/~aplas14 ======================================================================= C A L L F O R P A R T I C I P A T I O N C A L L F O R P O S T E R S 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. The symposium is devoted to foundational and practical issues in programming languages and systems. Invited Speakers ---------------- Zhenjiang Hu NII, Japan Dexter Kozen Cornell University, USA Julien Verlaguet Facebook, USA Program Committee ----------------- General chair Wei-Ngan Chin National University of Singapore, Singapore Program chair Jacques Garrigue Nagoya University, Japan 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 Venue ----- The conference will be held at the Kent Ridge Guild House of the National University of Singapore. Local information and registration are available at the following web site: http://loris-7.ddns.comp.nus.edu.sg/~aplas14 Call for Poster (Deadline 15th Sept 2014) http://loris-7.ddns.comp.nus.edu.sg/~aplas14/cfposters.html Poster Chair: Cristian Gherghina ============================= Monday, November 17th ============================= 08:30-09:00 Registration 09:00-10:00 ** Invited Talk: What is the Essence of Bidirectional Programming? Zhenjiang Hu (NII, Japan) 10:00-10:30 Coffee break 10:30-12:00 Session 1 Optimized Compilation of Multiset Rewriting with Comprehensions Edmund Soon Lee Lam, Iliano Cervesato (CMU, Qatar) Logic Programming and Logarithmic Space Clément Aubert, Marc Bagnol, Paolo Pistone (Institut de Mathématiques de Marseille, France),Thomas Seiller (Institut des Hautes Études Mathématiques,France) Automatic Memory Management Based on Program Transformation using Ownerships Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto Univ., Japan) 12:00-13:30 Lunch and Posters 13:30-14:30 Session 2 The Essence of Ruby Katsuhiro Ueno, Yutaka Fukasawa (Tohoku University, Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi Ohori (Tohoku Univ., Japan) Types for Flexible Objects Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozenshteyn (The Johns Hopkins Univ., USA) 14:30-16:00 Posters and Tea 16:00-17:30 Session 3 A Translation of Intersection and Union Types for the lambda-mu Calculus Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sakurai (Chiba Univ., Japan) A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel (Gothenburg Univ., Sweden), Andrea Vezzosi (Chalmers Univ. of Technology, Sweden) Functional Pearl: Nearest Shelters in Manhattan Shin-Cheng Mu (Academia Sinica, Taiwan), Ting-Wei Chen (National Taiwan Univ., Taiwan) ============================= Tuesday, November 18th ============================= 08:30-09:30 ** Invited Talk: Incremental Adoption of Static-Typing Julien Verlaguet (Facebook, USA) 09:30-10:00 Session 4 SUPPL: A flexible language for policies Robert Dockins and Andrew Tolmach (Portland State Univ., USA) 10:00-10:30 Coffee break 10:30-12:00 Session 5 A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking Manuel Valdiviezo, Cristina Cifuentes and Padmanabhan Krishnan (Oracle Labs Brisbane, Australia) Model-checking for Android Malware Detection Fu Song (East China Normal Univ., China), Tayssir Touili (LIAFA, CNRS & Univ. Paris Diderot, France) Necessary and Sufficient Preconditions via Eager Abstraction Mohamed Nassim Seghir (Univ. of Edinburgh, UK), Peter Schrammel (Univ. of Oxford, UK) 12:00-13:30 Lunch 13:30-15:00 Session 6 Resource Protection using Atomics: Patterns and Verifications Afshin Amighi, Stefan Blom, Marieke Huisman (Univ. of Twente, Netherlands) Resource Analysis of Complex Programs with Cost Equations Antonio Flores Montoya, Reiner Hähnle (Technische Univ. Darmstadt, Germany) Simple and Efficient Algorithms for Octagons Aziem Chawdhary, Edward Robbins, Andy King (Univ. of Kent, UK) 15:00-15:30 Coffee break 15:30-17:00 Session 7 Compositional Entailment Checking for a Fragment of Separation Logic Constantin Enea (LIAFA, CNRS & Univ. of Paris, France), Ondrej Lengal (Brno Univ. of Technology, Czech Republic),Mihaela Sighireanu (LIAFA, CNRS & Univ. of Paris, France), Tomas Vojnar (Brno Univ. of Technology, Czech Republic) Automatic Constrained Rewriting Induction Towards Verifying Procedural Programs Cynthia Kop (Univ. of Innsbruck, Austria), Naoki Nishida (Nagoya Univ., Japan) A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao, Naoki Kobayashi (Univ. of Tokyo, Japan) 18:00- APLAS Banquet ============================ Wednesday, November 19th ============================ 08:30-10:00 Session 8 Inferring Grammatical Summaries of String Values Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu (KAIST, Korea) Syntax-Directed Divide-and-Conquer Data-Flow Analysis Shigeyuki Sato (The Univ. of Electro-Communications, Japan), Akimasa Morihata (Univ. of Tokyo, Japan) Address Chain: Profiling Java Objects without Overhead in Java Heaps Xiaohua Shi, Junru Xie, Hengyang Yu (Beihang Univ., China) 10:00-10:30 Coffee break 10:30-12:00 Session 9 Call-by-Value in a Basic Logic for Interaction Ulrich Schäpp (Ludwig-Maximilians-Univ. München, Germany) A precise and abstract memory model for C using symbolic values Frédéric Besson (Inria, France), Sandrine Blazy, Pierre Wilke (IRISA, France) Hereditary history-preserving bisimilarity: logics and automata Paolo Baldan, Silvia Crafa (Universita' di Padova, Italy) 12:00-13:00 Lunch 13:00-14:00 ** Invited Talk: NetKAT: A formal system for the verification of networks Dexter Kozen (Cornell Univ., USA)

1 0

第３１回量子情報技術研究会（QIT31）のご案内
by NISHIMURA Harumichi 05 Sep '14

05 Sep '14

logic-mlの皆様，第31回量子情報技術研究会のご案内を代理投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ---------------------------------------------------------- 第31回量子情報技術研究会(QIT31) 研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第31回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．日時: 2014年11月17日(月)～18日(火) 会場: 東北大学さくらホール (〒980-8577 仙台市青葉区片平２－１－１東北大学片平キャンパス内) 発表募集分野 (申し込み状況によっては査読の可能性あり) 量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員: 200名参加費: 事前振込み一般4,000円，学生1,000円 (当日会場払いは一般5,000円，学生2,000円) (懇親会は別途) 研究会参加申込要領参加申込は下記 Web にて受付けます： http://staff.aist.go.jp/s-kawabata/qit/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用する予定．【口頭講演申込締切】 2014年9月19日(金) 【ポスター講演申込締切】 2014年10月3日(金) 【予稿原稿提出締切】 2014年10月3日(金) 【参加申込締切】 2014年10月24日(金) 【問合せ先】枝松圭一 (東北大学電気通信研究所) 三森康義 (東北大学電気通信研究所) 吉田真人 (東北大学電気通信研究所) Email: qit31(a)quantum.riec.tohoku.ac.jp 主催: 量子情報技術時限研究専門委員会 (委員長: 枝松圭一 (東北大学)) 共催: 応用物理学会量子エレクトロニクス研究会東北大学電気通信研究所 ----------------------------------------------------------

1 0

[CFP] 情報処理学会第101回プログラミング研究発表会発表募集
by Rei Odaira 01 Sep '14

01 Sep '14

Logic-mlの皆さま、 IBMの大平です。締切約10日前ということで再度送らせて頂きます。＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊情報処理学会第101回プログラミング研究発表会発表募集今回は第101回記念ということでプログラミング研究会の初期に活躍された方を招いてのパネルセッションも催す予定です．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3?4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です． 2014年11月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は9月12日金曜日(投稿締切は10月10日金曜日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．発表申込時で必要なのはタイトルと概要などとなっております．また，今回も和文として投稿された論文の英語化を支援する試みを実施します．和文原稿にて採録を判断し，(著者が希望する場合は) 採録決定後に英語化していただいてから掲載致します．この英語化に関する詳細については， http://www.ipsj.or.jp/sig/pro/english-paper-encouragement.html をご覧ください．第101回プログラミング研究会(PRO-2014-3)発表募集日程: 2014年11月10日(月)・11日(火) 会場: 東京大学創造情報学専攻 I-REF 棟 6階 Hilobby 東京都文京区弥生 1-1-1 　　交通案内: http://www.ci.i.u-tokyo.ac.jp/site/?access-j 発表申込締切:　　　　　　 2014年9月12日(金) 投稿論文原稿提出締切: 2014年10月10日(金) 申込先: 大平怜（日本アイ・ビー・エム東京基礎研究所） E-mail: odaira [at] jp.ibm.com 案内ページ: https://staff.aist.go.jp/reynald.affeldt/pro101/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/を参照してください．・著者のための手引き: http://www.ipsj.or.jp/sig/pro/trans-author.html ・申込みの際には整理のために，Subject欄に以下をご指定頂けると助かります．　「PRO2014-3発表申込み」(カッコ不要) ・できるだけE-mailでお願いします．・申込み後3日以内に返信がない場合はご連絡下さい．大平　怜 (Rei Odaira), Ph.D. IBM Research - Tokyo Phone: +81-3-5144-2847

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml September 2014