Logic-ml

9 participants
1781 discussions

2012年数学基礎論若手の会・プログラム
by Kazushige TERUI 22 Nov '12

22 Nov '12

みなさま明日から行われる数学基礎論若手の会のプログラムをご案内させていただきます。宿泊・食事は締め切りましたが、聴講や懇親会のみの参加は今からでも歓迎です。どうぞよろしくお願いします。照井日程： 11月23日(金)午後〜 25日(日)午前場所：奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/ 幹事：照井一成 (京都大学) terui(a)kurims.kyoto-u.ac.jp ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html プログラム 11月23日（金） 14:15 - 14:30 開会 14:30 - 15:30 宮部賢志（京都大学）独立性定理とRadon-Nikodym微分 15:45 - 16:45 松田直祐（千葉大学）　　　　　　　古典論理と直観主義論理の汎用性 17:00 - 17:15 静馬荘司（関西大学）奇数の完全数について 18:00 - 夕食・風呂 19:30 - 21:00 懇親会 11月24日（土） 07:45 - 朝食 09:00 - 10:00 依岡輝幸（静岡大学）巨大基数公理と連続体濃度 - 巨大基数を使わない解説 10:15 - 11:15 井澤昇平（東北大学）代数系の圏入門 11:30 - 12:30 滝坂透（京都大学） The word problem on Grigorchuk groups 12:30 - 昼食 14:00 - 15:00 木原貴行（北陸先端科学技術大学院大学）次数の理論の実解析学への応用 15:15 - 16:15 柳川信（筑波大学） Galois group and its application to Kueker conjecture 16:30 - 17:30 縫田光司（産業技術総合研究所）暗号分野では証明不可能性をどのように証明するか 18:00 - 夕食・風呂 19:30 - 21:00 懇親会 11月25日（日） 07:45 - 朝食 09:00 - 10:00 田中勇一（筑波大学）アルゴリズム的ランダムネスによるモンテカルロ・メソッドについて 10:15 - 11:15 松尾亮太（名古屋大学）戦略的論理式でのゲーム理論の研究 11:30 - 12:30 酒井拓史（神戸大学） TBA 12:30 - 12:45 閉会 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

「NII湘南会議」の企画募集のご案内
by Soichiro Hidaka 21 Nov '12

21 Nov '12

logic-mlの皆様、国立情報学研究所のと申します。本メーリングリストをお借りして、国立情報学研究所の主催で、アジアにおける最初のダグスツールスタイル・セミナーとなる「NII湘南会議」の企画募集をご案内させて頂きたいと思います。 NII湘南会議は、情報学の分野で世界的にトップレベルの研究者が一堂に会し、叡智を分け合う場を提供します。会議は、毎月開催し、成田国際空港からもアクセスのよい湘南国際村センターにて行われます。富士山をバックに、湘南海岸を眼下に見下ろす景観が楽しめます。詳しくは、リーフレット http://www.nii.ac.jp/shonan/wp-content/uploads/2010/08/smtg_low.pdf もしくは本メールの後半の英文企画募集のほか、下記webサイトをご参照下さい。 http://www.nii.ac.jp/shonan/ (英文) http://www.nii.ac.jp/about/international/shonanmtg/ (和文概要) 企画は随時受付けておりますが、年に3回締切りがあり、次の締切りは 12月15日となっております。是非ご検討いただければ幸いです。 ---- NII SHONAN MEETINGS: CALL FOR PROPOSAL (1) Objective NII Shonan Meetings, following the well-known Dagstuhl Seminars, aim to promote informatics and informatics research at an international level, by providing yet another world's premier venue for world-class scientists, promising young researchers, and practitioners to come together in Asia to exchange their knowledge, discuss their research findings, and explore a cutting-edge informatics topics. The meetings are held in Shonan Village Center (near Tokyo), which offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. The friendly and open atmosphere is to promote a culture of communication and exchange among the meeting participants. The NII International Meetings are managed by National Institute of Informatics (NII) in Japan. (2) Scope and Style NII Shonan Meetings follow the style of the Dagstuhl Seminars. A meeting usually lasts for four days (Monday to Thursday) or shorter. It is initiated by at most three organizers (one from Asia), established leaders in their field, representing the different communities invited to the Seminar, preferably from different institutions. NII invites on their behalf about 25 to 35 researchers of international standing from academia and industry. Like Dagstuhl Seminars, an NII Shonan Meeting typically does not come with a fixed program. Instead, the pace and the program are guided by topics and presentations that evolve through discussions. In particular, NII does not require participants to submit a paper for presentation, or to give a presentation at all. On the contrary, NII encourages to present new ideas and work in progress. All administrate work of a meeting will be supported by the NII team in the preparation phase and during the seminars themselves, so that the organizers can focus on choosing research topics and selecting active researchers for the meeting. (3) Proposal Submissions NII invites international standing scientists to submit proposals for international meetings (with about 25-35 participants) on any topics of informatics. The proposal should clearly motivate the topic of your seminar and include the following items: - Meeting Title - Organizers (at most three, 1-page CV for each) - Proposed Dates for the Meeting - Description of the Meeting (1-2 pages, in English) - Invitation list (Position/First Name/Middle Name/Last Name/Affiliation/Email/Gender/URL/research list) The proposal should be submitted via the following EasyChair page: http://www.easychair.org/conferences/?conf=nim1 The proposal will be reviewed by the Academic Committee. Once the proposal is approved, our staff will help to organize the seminar. We welcome proposal submission anytime through a whole year, although submission is closed in June 15th, September 15th and December 15th. Notification of acceptance is only made after about 40 days of each closing day. (4) Locations and Expenses The meetings are held in Shonan Village Center (near Tokyo), whose nearest train station can be accessed by a direct train from Narita International Airport, and offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. http://www.shonan-village.co.jp/svc/ The following rates cover overnight accommodation (single room) and full board (breakfast, lunch, and dinner) per day: - Meeting organizers: free - Participants from academia: 8,000 Yen/day - Participants from industry: 15,000 Yen/day - Accompanied persons to participants: 7,500 Yen/day (Meal charge is not included.) (5) Organization Organization Committee: Yoh'ichi Tohkura (NII): Chair Zhenjiang Hu (NII) Akiko Aizawa (NII) Hiroshi Hosobe (NII) Hiroyuki Kato (NII) Soichiro Hidaka (NII) Academic Committee: Zhenjiang Hu (NII): Chair Akiko Aizawa (NII) Ken'ichi Kawarabayashi (NII) Masaru Kitsuregawa (Univ. of Tokyo) Jeff Kramer (Imperial College London) Katsumi Inoue (NII) Kae Nemoto(NII) Bashar Nuesibeh (Lero/Open Univ.) Yoichi Sato (Univ. of Tokyo) Shin'ichi Satoh (NII) Satoshi Sekine (New York Univ./Rakuten Inst. of Tech.) Akihiko Takano (NII) (6) Inquiry Should you have any questions, please feel free to contact us by sending an email to shonan(a)nii.ac.jp More information about NII Shonan Meetings is available at the following website: http://www.nii.ac.jp/shonan/ 国立情報学研究所アーキテクチャ科学研究系助教日高宗一郎総合研究大学院大学複合科学研究科情報学専攻併任博士(工学) hidaka(a)nii.ac.jp http://research.nii.ac.jp/~hidaka 〒101-8430 東京都千代田区一ツ橋2-1-2 学術総合センタービル内 TEL:03-4212-2586(直)/03-4212-2000(代) 内線2586 FAX:03-4212-2120

1 0

QIT27のご案内
by NISHIMURA Harumichi 21 Nov '12

21 Nov '12

logic-mlの皆様，名古屋大学の西村と申します．QIT27のご案内を世話人に代わって投稿させていただきます．私のミスですでに締切を過ぎてしまってからのご案内で大変申し訳ございません．当日参加は可能ですのでもし興味を持たれましたらご参加いただければ幸いです．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ====================================================== 第27回量子情報技術研究会 (QIT27) 日時：2012年11月27日(火)〜28日(水) 会場：慶應義塾大学日吉キャンパス来往舎シンポジウムスペース（〒223-8521 神奈川県横浜市港北区日吉 4-1-1） ====================================================== 情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と、そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。現在この分野で活躍する研究者は勿論、自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など、広く関連する分野の研究者・技術者からの発表、聴講を募集致します。奮ってご参加ください。主催：電子情報通信学会量子情報技術時限研究専門委員会（委員長北川勝浩大阪大）共催：応用物理学会量子エレクトロニクス研究会, 慶應義塾先導研スピントロニクス研究センター定員：150名招待講演： John J. L. Morton 氏（University of Oxford） Kurt Jacobs 氏（University of Massachusetts Boston）発表募集分野（申込状況によっては査読可能性あり）：量子情報、量子計算、量子暗号など広く量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、およびその他関連分野 11月27日（火）に懇親会を開催いたします。参加費：一般5,000円、学生1,000円（2012年11月13日（火）迄の銀行振込。) 当日会場支払いは一般6,000円、学生2,000円学生限定の当日受付聴講料金：1,000円（予稿集は含まれません。事前手続きは不要です。）懇親会費：一般4,500円、学生3,000円（2012年11月13日（火）迄の銀行振込。）当日会場支払いは一般5,000円、学生3,500円締め切り【口頭講演申込】 2012年10月12日（金）【ポスター講演申込】 2012年10月26日（金）【PDF原稿提出】 2012年11月5日（月）【参加登録】web 経由 2012年11月9日（金）講演を申し込まれた方も参加登録をお願いします。【参加費懇親会費銀行振り込み】2012年11月13日（火）世話人山本直樹（慶應義塾大学理工学部）古池達彦（慶應義塾大学理工学部）伊藤公平（慶應義塾大学理工学部） Rodney Van Meter （慶應義塾大学環境情報学部）問い合わせ先：qit27(a)appi.keio.ac.jp

1 0

Kobe Colloquium on Logic, Statistics and Informatics, Nov. 22 and 26, 2012 (minicourse)
by Joerg Brendle 20 Nov '12

20 Nov '12

Kobe Colloquium on Logic, Statistics and Informatics (minicourse) 以下の要領でコロキウム（ミニコース）を開催します。日時：2012年11月22日（木）15:10-16:40 と2012年11月26日（月）13:20-14:50 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：Boban Velickovic (Universite de Paris 7, Paris, France) ======================================================================== 題目：Iteration of semiproper forcing revisited アブストラクト：Recently Neeman introduced a new technique of iterating proper forcing by using finite chains of elementary submodels as side conditions. We present an extension and refinement of this method which can be used to iterate a larger class of forcing notions. We also discuss some possible generalizations and open problems. ======================================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

Computability Theory and Foundations of Mathematics (CTFM)
by Naohi Eguchi 19 Nov '12

19 Nov '12

研究会のご案内以下の要領で計算可能性，逆数学等に関する研究会 Computability Theory and Foundations of Mathematics (CTFM) (2013年2月18日(月)〜2月20日(水)，東京工業大学大岡山キャンパス) を開催いたします．幅広い分野から多くの方々の参加をお待ちいたします． CTFM プログラム委員一同 CTFM(a)math.tohoku.ac.jp ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 18 - 20, 2013) http://sendailogic.math.tohoku.ac.jp/CTFM/ ============================================================ 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, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. This is a successor workshop to Workshop on Proof Theory and Computability Theory 2012 - Philosophical Frontiers in Reverse Mathematics (February 20 - 23, 2012, Tokyo, Japan). -------------------------------------------- Deadline of Submission for Presentations: December 18, 2013 -------------------------------------------- Invited Speakers: Chi Tat Chong (National University of Singapore) Erik Palmgren (Stockholm University) Michael Rathjen (University of Leeds) Helmut Schwichtenberg (LMU Munich) Stephen G. Simpson (Pennsylvania State University) Yang Yue (National University of Singapore) Wu Guohua (Nanyang Technological University) -------------------------------------------- Programme Committee: Toshiyasu Arai (Chiba) Naohi Eguchi (Tohoku) Hajime Ishihara (JAIST) Ryo Kashima (Tokyo Institute of Technology) Sam Sanders (Ghent) Kazuyuki Tanaka (Tohoku, Co-chair) Andreas Weiermann (Ghent, Co-chair) Takeshi Yamazaki (Tohoku) Keita Yokoyama (Tokyo Institute of Technology) --------------------------------------------

1 0

セミナーのご案内(2012年11月23日(金)東北大学)
by Naohi Eguchi 19 Nov '12

19 Nov '12

Logic-ml の皆様，東北大学の江口と申します．以下の要領で講演会を行います．当日は祝日のため建物の玄関が施錠されます．参加ご希望の方は江口までお知らせください．江口直日：eguchi(a)math.tohoku.ac.jp ========================================= 日時　2012年11月23日(金) 場所　東北大学北青葉山キャンパス理学総合A棟1201号室 14:00 - 16:00 横山啓太　(東京工業大学大学院情報理工学研究科) Combinatorial principles and Reverse Mathematics Abstract: Determining the first-order/proof-theoretic strength of Ramsey's theorem for pairs is a long-term open question in reverse mathematics. In this talk, I will explain this question and related topics. After that, I would like to have a discussion on several different approaches for this question. 16:00 - 18:00 菊池健太郎　(東北大学電気通信研究所) On Terms Representing Sequent Calculus Proofs Abstract: In this talk, we introduce a term notation to represent proofs in a standard intuitionistic sequent calculus. We identify a subset of the terms that correspond to simply typed lambda-terms, and then discuss the relation between beta-reduction and a cut-elimination procedure which is represented by reduction rules on the terms. -- 江口直日東北大学大学院理学研究科数学専攻産学官連携研究員 980-8578 宮城県仙台市青葉区荒巻字青葉6ー3 E-mail: eguchi(a)math.tohoku.ac.jp

1 0

HAS 2013 (ETAPS Workshop) Call for Papers
by Ichiro Hasuo 18 Nov '12

18 Nov '12

みなさま， ETAPS 併設のワークショップ HAS 2013 のご案内です．特にハイブリッドシステム関連のみなさま，ぜひ投稿をご検討ください．それでは！蓮尾一郎東京大学大学院情報理工学系研究科 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ******************************************************************************** ************************************* FIRST CALL FOR PAPERS Third Workshop on Hybrid Autonomous Systems (HAS 2013) A satellite event of European Joint Conferences on Theory and Practice of Software, ETAPS 2013 March 17, 2013, Rome, Italy http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/has2013/ ******************************************************************************** ************************************* SCOPE: The interest on autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able to compensate for significant system failures without external intervention. The hybrid discrete-continuous models constitute appropriate models of autonomous systems . Hybrid systems have behaviours characterised by the interaction between continuous and discrete dynamics and research in the area is driven by several school of thoughts. One approach is mainly focussed on applications to automation systems and the models and methods are centred on the concept of hybrid automaton (deterministic or probabilistic). A distinct school of thought interprets hybrid systems as control systems with regime change. Such systems are highly adaptive and suitable for modelling autonomic behaviours. The most prominent models of this approach are the stochastic hybrid systems and the mixed logical and dynamical systems. There is a clear research opportunity to combine these approaches for developing models, methods, techniques, methodologies, tools and environments for autonomous systems engineering. This workshop brings together researchers interested in all aspects of autonomy and resilience of hybrid systems. TOPICS: Topics include (but are not limited to): Ø new modelling paradigms for autonomous systems; Ø verification and safety certification techniques; Ø modelling, analysis and control of hybrid systems; Ø uncertainty and stochastic modelling; Ø multi-agent systems; Ø algebraic and categorical methods; Ø interaction between hybrid modelling and complexity science; Ø reports on case studies and practical experiments; Ø autonomous systems in natural science (e.g. from biology, ecology, climate). INVITED SPEAKERS: * Maria Domenica di Benedetto, L'Aquila University, IT * Radu Grosu, Vienna University of Technology, AU * Rafael Wisniewski, Aalborg University, DEN SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits the submission of regular papers, which must contain original work, and must not have been previously published, nor be under consideration for publication elsewhere. The accepted submissions should clearly indicate the membership to one of the following categories: - technical contributions; - tutorials on a topic of importance; - surveys on large extent cross-disciplinary research (e.g., project outcomes);wor - reports on early stage or ongoing work. For each category of submission the novelty of the submission has to be clearly stated and the page limit should vary between 6 and 15 pages. All submissions must be in PDF format and use the EPTCS latex style, see http://style.eptcs.org/. Submissions can be made on the following website: https://www.easychair.org/conferences/login_as_yes.cgi?a=3413468 The workshop PC will review all regular paper submissions to select appropriate ones, ones for acceptance in each category, based on their relevance, merit, originality, and technical content. The authors of accepted submissions are expected to present and discuss their work at the workshop. Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). A special issue in a journal is under consideration. IMPORTANT DATES: Submission (regular paper): January 3, 2013 Notification: January 24, 2013 Final version (ETAPS proceedings): February 14, 2013 Workshop: March 17, 2013 Final version (EPTCS post proceedings): TBA ORGANIZATION: PC Chairs: * Luca Bortolussi, University of Trieste, IT * Manuela Bujorianu, University of Warwick, UK * Giordano Pola, University of L’Aquila, IT Program Committee: * Ezio Bartocci, TU Wien, AU * Maria Domenica di Benedetto, L'Aquila University, IT * Luca Bortolussi, University of Trieste, IT (co-Chair) * Manuela Bujorianu, University of Warwick, UK (co-Chair) * Alberto Casagrande, Univeristy of Trieste, IT * Thao Dang, Verimag, FR * Louise Dennis, University of Liverpool, UK * Clare Dixon, University of Liverpool, UK * Alexandre Donzé, UC Berkeley, US * Martin Fränzle, Carl von Ossietzky Universität, DE * Ichiro Hasuo, University of Tokio, JP * Agung Julius, Rensselaer Polytechnic Institute, US * Toshimitsu Ushio, Osaka University, JP * Giordano Pola, L'Aquila University, IT (co-Chair) * Rom Langerak, University of Twente, NL * David Parker, University of Birmingham, UK * Guido Sanguinetti, University of Edinburgh, UK * Olaf Stursberg, University of Kassel, DE

1 0

CALL FOR PARTICIPATION: JURISIN2012
by Makoto Nakamura 12 Nov '12

12 Nov '12

（重複して受け取られた場合はご容赦ください）名古屋大学の中村と申します。法情報学に関する国際ワークショップ JURISIN2012 のプログラムをお送りします。今年の１１月３０日から１２月１日にかけて宮崎で開催されますので皆様のご参加をお待ちしております。 [Apologies for multiple copies] -------------------------------------------------------- CALL FOR PARTICIPATION Sixth International Workshop on Juris-informatics (JURISIN 2012) WEB: http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ Date: Nov.30 - Dec. 1, 2012 Venue: Amusement Zone Miyazaki (The JA-AZM Hall) Kirishima 1-1-1, Miyazaki, Japan Chairs: Makoto Nakamura and Katsuhiko Toyama Invited Speakers: 1. Kazuhisa Todayama (Professor, Graduate School of Information Science, Nagoya University, Japan) 2. Philip T H Chung (Executive Director, Australasian Legal Information Institute, Australia) and Graham Greenleaf (Professor, Faculty of Law, University of New South Wales, Australia) Special Commentator: Robert Kowalski (Professor Emeritus and Senior Research Fellow, Department of Computing, Imperial College London) -------------------------------------------------------- with a support of The Japanese Society for Artificial Intelligence in association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012) **** 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 for juris-informatics 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: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * 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 **** Post Proceedings**** Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2011 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. **** Important Dates **** Deadline for onsite registration: November 24, 2012 JURISIN 2012: November 30 - December 1, 2012 **** Registration **** Please refer to the website of JSAI-isAI: http://ai-gakkai.or.jp/jsai-isai/2012/index.html#registration **** JURISIN 2012 Program **** Nov. 30, 2012 10:00-10:10 Opening Remark 10:10-11:10 Invited Talk I * What Toulmin really wanted to do by "the Toulmin Model" Kazuhisa Todayama (Nagoya University) 11:10-11:40 Coffee Break 11:40-12:40 General Session I * Behavioural and Context Analysis in an Online Dispute Resolution Environment Paulo Novais, Davide Carneiro, Marco Gomes and Jose Neves * Privacy and Data Protection in Elderly Healthcare: Threats and Legal Warranties Ângelo Costa, Francisco Andrade and Paulo Novais 12:40-14:00 Lunch Time 14:00-15:30 General Session II * Summarization of Legal Texts with High Cohesion and Automatic Compression Rate Mi-Young Kim, Ying Xu and Randy Goebel * Syntactic Document Structure of Legal Documents Hirokazu Igari and Akira Shimazu * Discussion Analysis Using Temporal Data Crystallization Takahiro Ueda, Masaki Sugimoto, Shogo Okada, Yukio Ohsawa, Yoshiharu Maeno and Katsumi Nitta 15:30-16:00 Coffee Break 16:00-18:00 Special Session: Logic Programming Special Commentator: Robert Kowalski (Imperial College London) * Detecting Conflicts in Legal Systems Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget * Modelling Legitimate Expectations Marina De Vos, Tina Balke and Ken Satoh *Misconception in Legal Cases From Dynamic Logical Viewpoints Katsuhiko Sano, Ryo Hatano and Satoshi Tojo * On Generality of PROLEG Knowledge Representation Ken Satoh, Takamune Kogawa, Nao Okada, Kentaro Omori, Shunsuke Omura and Kazuki Tsuchiya 19:00- Informal Workshop Dinner Dec. 1, 2012 10:00-11:00 Invited Talk II * Policies and Technologies in Development of Free Access to Legal Information: AustLII's Experience, 1992-2012 Philip T. H. Chung and Graham Greenleaf (Australasian Legal Information Institute) 11:00-11:30 Coffee Break 11:30-12:30 General Session III * On Law Enforcement in Norm-Governed Learning Agents Regis Riveret, Giuseppe Contissa, Antonino Rotolo and Jeremy V Pitt * Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches Fuyuki Ishikawa, Rihoko Kawai Inoue and Shinichi Honiden 12:30-12:35 Closing Remark **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Marina De Vos, University of Bath, UK Phan Minh Dung, AIT, Thailand Tom Gordon, Franfoher FOKUS, Germany Guido Governatori, University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Takehiko Kasahara, Toin University of Yokohama, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Jeremy Pitt, Imperial College London, UK Henry Prakken, University of Utrecht & Groningen, the Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, University of Amsterdam, the Netherlands Shin-ichi, Yoro, Osaka University, Japan John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2012 **** http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp".

1 0

The 47th MLG Meeting: Program
by Takahiro Seki 12 Nov '12

12 Nov '12

第47回 MLG 数理論理学研究集会のご案内（重複してお受け取りの際はご容赦ください。）　新潟大学の関です。　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催します。　講演・宿泊の申し込みは締め切りましたが，参加することは可能です。その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。 ========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　日時: 2012 年 11 月 16 日(金) 13:30 〜 11 月 18 日(日) 12:10 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　MLG47ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/ 　講演プログラム： ○　11月16日（金）　13:30〜13:40　開会・事務連絡　13:40〜14:20　関　隆宏（新潟大学）　　A Genzenization of some involutive non-associative substructural 　 logics 　14:20〜15:00　山川郁加（千葉大学）　　The system of CLλ and a method to calculate β-normal forms 　　without β-reductions 　15:10〜15:50　河野友亮（東京工業大学）　　中間論理CDの補間定理について　15:50〜16:30　プライニング・ノルベルト（北陸先端科学技術大学院大学）　　A decidable subclass of monadic Goedel logics for medical reasoning ○　11月17日（土）　 9:05〜 9:10　事務連絡　 9:10〜 9:50　Minghui Ma（Southwest University）　　Bull's logics in NExt(S4) revisited 　9:50〜10:30　佐野勝彦（北陸先端科学技術大学院大学）　　Actuality in coalgebraic modal logic 　10:40〜11:20　本浦庄太（京都大学）　　On the semantic meaning of reduction axioms in public announcement 　　logic 　11:20〜12:00　佐々木克巳（南山大学）　　シークエントによる実証明の分析　13:00〜13:40　金子　守（筑波大学）　　Infinite regress from prediction-decision making in games: Playability - decidability/undecidability 　13:40〜14:20　松尾亮太（名古屋大学）　　与えられた論理式が戦略的かを決定するアルゴリズムの計算量　14:30〜15:10　照井一成（京都大学）　　Herbrand's theorem via hypercanonical extensions 　15:10〜15:50　Conrad Asmus（北陸先端科学技術大学院大学）　　Henkin dependence logic 　15:50〜16:30　佐藤雅彦（京都大学）　　Essence of de Bruijn index ○　11月18日（日）　 9:05〜 9:10　事務連絡　 9:10〜 9:50　Michele Basaldella（北陸先端科学技術大学院大学）　　An interactive semantics for classical arithmetic 　 9:50〜10:30　横山啓太（東京工業大学）　　Reverse mathematics and second-order categoricity 　10:40〜11:20　松田直祐（千葉大学）　　古典論理と直観主義論理の汎用性　11:20〜12:00　鈴木信行（静岡大学）　　Ono's problem N52 　12:00〜12:10　事務連絡・閉会 --- MLG47世話人　関　隆宏（新潟大学）　佐野勝彦（北陸先端科学技術大学院大学） E-mail : mlg.logic.japan(a)gmail.com

1 0

CFP : 2nd International Workshop on Engineering Safety and Security Systems (ESSS)
by 山形賴之 12 Nov '12

12 Nov '12

皆様、下記のような論文募集が出ております。締め切りまで時間がありませんが、多数の投稿をお待ちしております。 ================================================== 2nd International Workshop on Engineering Safety and Security Systems March 18, 2013, Luxembourg Co-located with ICST 2013 in Luxembourg, March 18-22, 2013 More information: http://www.comp.nus.edu.sg/~pat/esss2013/ =================================================== Important dates ----------------- * December 21st 2012: Submission deadline * January 28th 2013: Notification of acceptance/rejection * March 18th 2013: Workshop Introduction of the Workshop ----------------- The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop ----------------- The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines ----------------- Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2013. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html ). Papers should not exceed 6 pages for full papers and 2 pages for short papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All workshop papers will be published in the IEEE Digital Library in the form of a post-proceedings. A pre-workshop version of the papers will be available on the workshop website prior. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair ----------------- Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs ----------------- Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee ----------------- Etienne Andre, Universite Paris 13, France Cyrille Artho, AIST, Japan Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan -- 山形頼之独立行政法人産業技術総合研究所研究員 E-mail: yoriyuki.yamagata(a)aist.go.jp http://staff.aist.go.jp/yoriyuki.yamagata/

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml