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

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

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 20 Nov '12

20 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 19 Nov '12

19 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

Call for Participation: LENLS9 (Logic and Engineering of Natural Language Semantics 9)
by BEKKI Daisuke 12 Nov '12

12 Nov '12

（重複して受け取られた場合はご容赦ください）今年の１１〜１２月に宮崎で開催される LENLS 9 国際ワークショップのプログラムをお送り致します。皆様のご参加をお待ちしております。戸次大介（お茶の水女子大学／国立情報学研究所） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 9 (LENLS 9) Workshop Site : "Amusement Zone Miyazaki (The JA-AZM Hall)" Kirishima 1-1-1, Miyazaki, Japan. http://www.jaazm.jp/access/english.html Dates : November 30 - December 2, 2012 Contact Person: Alastair Butler (PRESTO JST/Tohoku University) Contact Email : lenls9[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (PRESTO JST/Tohoku University) Co-chair: Daisuke Bekki (Ochanomizu University /National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Hans Kamp (University of Stuttgart) - Kazuhiko Fukushima (Kansai Gaidai University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics, focusing on the following topics. It will be held as one of the workshops of the forth JSAI International Symposia on AI (isAI2012) (http://www.ai-gakkai.or.jp/jsai-isai/2012/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Selected Papers: ================ We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Important dates: ================ Deadline for onsite registration: November 24, 2012 LENLS 9: November 30-December 01, 2012 Tutorial Lecture (by Hans Kamp): December 02, 2012 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until 24th November 2012. http://www.ai-gakkai.or.jp/jsai-isai/2012/index.html#registration Program: ======== November 30th (Fri), 2012 ------------------------- 09:00-10:00:Reception and Coffee Break 10:00-10:10:Opening Remarks 10:10-11:40:Session 1 * Aleksandra Kislak-Malinowska and Claudia Casadio "Tupled Pregroups: A Study of Italian Clitic Patterns" * Kata Balogh "Hungarian pre-verbal focus and exhaustivity" * Chungmin Lee "Psych Predicates, the First Person, and Evidentiality " 11:40-13:30:Lunch 13:30-15:00:Session 2 * Liesbeth Martens and Giuseppe Primiero "A Formal Approach to Vague Indexicals" * Sai Qian and Maxime Amblard "Accessibility for Plurals in Continuation Semantics" * Takuya Matsuzaki "Toward Wide-Coverage Natural Language Mathematical Problem Solving" 15:00-15:30:Coffee break 15:30-17:00:Session 3 * Pascal Amsili, Emilia Ellsiepen and Gr'egoire Winterstein "Parameters on the obligatoriness of `too'" * Eric Mccready and Nicholas Asher "Winning Strategies in Politeness" * Daisuke Bekki and Nicholas Asher "Subtyping for Logical Polysemy and Copredication" 17:00-17:30:Coffee break 17:30-18:30:Invited Talk 1 * Hans Kamp "Speaking about the Present and Temporal Perspective Shift" Alternates ---------- * Satoru Suzuki "Measurement-Theoretic Foundations of Multidimensional- Predicate-Comparison Logic" December 01st (Sat), 2012 ------------------------- 09:30-10:30:Reception and Coffee break 10:30-11:30:Session 4 * Richard Zuber "Reciprocals as higher order functions" * Decock Lieven, Richard Dietz and Douven Igor "Modelling Comparative Concepts in Conceptual Spaces" 11:30-13:30:Lunch 13:30-15:00:Session 5 * Hanti Lin "When `Or' Meets `Might': A Compositional Assertability Semantics for Classical Logic and Epistemic Modals" * Kohei Kishida "Public Announcements under Sheaves" * Shunsuke Yatabe "Yablo's paradox, a coinductive language and its semantics" 15:00-15:30:Coffee break 15:30-17:00:Session 6 * David Yoshikazu Oshima "On the functions of the Japanese discourse particle `ne': A study with special reference to intonation" * J.-R. Hayashishita and Daisuke Bekki "On the semantic relation between noun phrases and quantity expressions in Japanese" * Alastair Butler, Ruriko Otomo, Zhen Zhou and Kei Yoshimoto "Treebank annotation for formal semantics research" 17:00-17:30:Coffee break 17:30-18:30:Invited Talk 2 * Kazuhiko Fukushima "Negation with a Bound Morpheme and Direct Compositionality" Tutorial Lecture: ================= On December 2nd (Sun), there will also be a tutorial lecture at the workshop venue. Lecturer: Hans Kamp (University of Stuttgart) Venue: Amusement Zone Miyazaki (The JA-AZM Hall) (Kirishima 1-1-1, Miyazaki, Japan) Time Table: 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-16:00 Session 2 Title: Referring in Verbal Communication: The role and function of names and other noun phrases as referential devices Abstract -------- The point of saying something is (normally) to communicate a message to someone else. So we try to choose our words in such a way that those we address will be able to decode the message we want them to get. Part of this is that the words we choose must enable our addressees to determine who or what we are talking about. Languages have a repertoire of expressions that serve this `referring' function, most prominently nominal phrases. For instance, English has names, definite descriptions, pronouns and demonstratives. This means that when an English speaker wants to refer to someone or something, she has a choice between phrases of these different kinds. And her choice will be guided by which phrase will enable her addressees to identify the referent she intends. But the different types of referring phrases come with different ` decoding rules', which the recipient must apply in order to identify the referent. But whether an addressee will succeed in identifying the referent when he applies these rules, will usually depend on what information he already has and that he can apply the rules to. Therefore, when choosing a phrase to refer to a given person or thing, a speaker will be guided by what she assumes is already known to her audience. A proper understanding of how different referring phrases function can only be gained by paying close attention to the communication- theoretic aspects of referring: We must study the interpretation and production of referring phrases in tandem, as part of a formally precise general theory of verbal communication which describes how thoughts are verbally encoded by the speaker and then decoded by the recipients of her utterance. I will outline such a general framework for the study of verbal communication, and we will use that framework to look into the conditions for successful use of different types of referring phrases, focussing in particular on proper names. A crucial component of the general framework is the representation of complex mental states, composed out of propositional attitudes and entity representations. It is parts of such states that speakers convert into words when they produce an utterance and it is also parts of such states that help interpreters to turn those utterances back into mental representations (which they then incorporate into their mental states). The basis for this component is Discourse Representation Theory (DRT), and, more specifically, the DRT-based theory of propositional attitudes sketched in the last part of (Kamp, Van Genabith and Reyle, 2011). H. Kamp, J. Van Genabith and U. Reyle, `An Updated Survey of DRT'. In: D. Gabbay (ed.) Handbook of Philosophical Logic, Volume 15, 125-394, Elsevier, 2011 Workshop Organizers/Program Committee: ====================================== - Alastair Butler (PRESTO JST/Tohoku University) - Daisuke Bekki (Ochanomizu University /National Institute of Informatics) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio 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 (National Institute of Advanced Industrial Science and Technology) - Kei Yoshimoto (Tohoku University)

1 0

情報処理学会_2012年度第4回プログラミング研究会(2013/01)_発表募集
by suzuki 08 Nov '12

08 Nov '12

みなさま：複数受け取られた場合はご容赦ください。島根大学の鈴木です．この場を借りて2012年度第4回情報処理学会プログラミング研究発表会の発表募集の再度ご案内をさせて頂きたく存じます．下記の通り，発表申込み締切が１１月１２日に迫っております．よろしくご検討頂けると幸いに存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3-4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です． 2013年1月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は11月12日月曜日(投稿締切は12月14日金曜日)です．よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．また，今回も和文として投稿された論文の英語化を支援する試みを実施します．和文原稿にて採録を判断し，(著者が希望する場合は) 採録決定後に英語化していただいてから掲載致します．この英語化に関する詳細については， http://millsmess.cs.uec.ac.jp/pro/2011-5/english-paper-encouragement.html をご覧ください． 2012年第4回プログラミング研究会(PRO92)発表募集日程: 2013年1月15日(火)・16日(水) 会場: AiAiひろば（鹿児島県奄美市）　　　〒894-0027 鹿児島県奄美市名瀬末広町14-10 発表申込締切: 2012年11月12日(月) 投稿論文原稿提出締切: 2012年12月14日(金) 申込先：鈴木貢 (島根大) 　　　　E-mail: suzuki [at] cis.shimane-u.ac.jp 案内ページ: http://glab.cis.shimane-u.ac.jp/ipsj-pro/pro2012-4/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ をご参照ください．・申込みの際には整理のために，Subject欄に以下をご指定頂けると助かります．「PRO2012-4_発表申込み」（カッコ不要）・できるだけE-mailでお願いします．・申込み後3日以内に返信がない場合はご連絡下さい．・11月4日に島根大が停電を予定していますので，その日を避けてご連絡を頂けますようお願いいたします．

1 0

Fwd: 男女共同参画のアンケートについて
by Masahiro Kumabe 06 Nov '12

06 Nov '12

皆様こんにちは。数学基礎論及び歴史分科会の連絡評議委員の隈部です。日本数学会から以下のメールが来ましたので、皆様にもお知らせします。もうすでにご存知の方も多いと思いますが、アンケート調査へのご返事をよろしくお願いいたします。隈部 ---------- 転送メッセージ ---------- From: President of MSJ <president(a)mathsoc.jp> 日付: 2012年11月5日 10:42 件名: 男女共同参画のアンケートについて To: President of MSJ <president(a)mathsoc.jp> 分科会評議員各位以下は「数学通信」**１１月号にも同様のお願いを掲載しておりますが、**各分野のメーリングリストなどで広報くださいますようお願い申し上げます．日本数学会理事長宮岡洋一日本数学会会員の皆様日本数学会では男女共同参画社会推進委員会を中心に女性研究者・**技術者の抱える問題に真摯に向かい合う活動を行っています．このメールは，**そのために実施されるアンケートへの協力のお願いのためにお送りしています．本会の男女共同参画社会推進委員会が参加しています男女共同参画**学協会連絡会は，自然科学系の学協会により2002年に設立され，**今年で10年を迎えます．連絡会では，自然科学系の研究者・技術者を取り巻く現状を把握するために，**これまで2003年，2007年の2回にわたり加盟学協会ならびにオブザーバー学協会を対象として大規模**アンケート調査を行い，それぞれ約2万人の回答を得ました．**それらの調査結果は女性研究者・技術者が直面する様々な問題点を議論する上での統計的根拠として，**現在も様々な場面で引用されております．また，それに基づいて作成した提言は，国の政策決定に反映されており，**実際に男女共同参画に関する様々な支援策が講じられてまいりました．このたび連絡会では，第3回大規模アンケートを実施する運びとなりました．そこで平成24年 11月に開始いたしますこのアンケート調査への日本数学会会員の**皆様（男女を問わず）のご協力をお願い申し上げる次第です．アンケート回答は11月1日から30日の間に連絡会が準備します**ページににアクセスの上，ウェブ入力により行って頂くことになっております．**多くの皆様のご回答をお待ちしております．アンケート回答のためのページおよび関連文書は，**男女共同参画社会推進委員会のウェブページ http://mathsoc.jp/comm/danjo-**sankaku/<http://mathsoc.jp/comm/danjo-sankaku/> からリンクしています．またこの機会に，日本数学会では保育室アンケートも実施いたします．こちらも同様に、男女共同参画社会推進委員会のウェブページ http://mathsoc.jp/comm/danjo-**sankaku/<http://mathsoc.jp/comm/danjo-sankaku/> からリンクしていますのでご回答下さいますよう，**よろしくお願い申し上げます．日本数学会理事長宮岡洋一

1 0

APLAS and CPP 2012: Call for Participation
by Jacques Garrigue 04 Nov '12

04 Nov '12

Logicの皆様、 12月に京都で開催される APLAS と CPP という国際会議の参加募集案内を送らせて頂きます。＊＊早期割引の締め切りは11月10日です＊＊ Jacques Garrigue & 五十嵐淳 ====================================================================== CALL FOR PARTICIPATION The 10th Asian Symposium on Programming Languages and Systems (APLAS2012) and The Second International Conference on Certified Programs and Proofs (CPP2012) Kyoto, Japan December 11-15, 2012 http://aplas12.kuis.kyoto-u.ac.jp/ (APLAS) http://cpp12.kuis.kyoto-u.ac.jp/ (CPP) APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics and education, that consider certification as a essential paradigm for their work. The 10th APLAS and 2nd CPP will be held together in Kyoto, Japan from December 11 to 15, 2012. The five-day event includes, five invited talks, and two conferences. The common registration site for both conferences is now open at: https://v3.apollon.nta.co.jp/aplas12_cpp12/ Early Registration (until November 10, 2012) Regular | Student -----------------------+----------- APLAS+CPP: JPY 54000 | JPY 36000 APLAS only: JPY 31000 | JPY 22000 CPP only: JPY 31000 | JPY 22000 Venue APLAS and CPP will take place at the Kyoto International Community House, nearby the touristic area of Okazaki, inside Kyoto. Kyoto International Community House 2-1 Torii-cho, Awataguchi, Sakyo-ku, Kyoto 606-8536 Invited Speakers o Jan Vitek (Purdue University) "Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection" o Greg Morrisett (Harvard University) “Scalable Formal Machine Models” o Xavier Leroy (INRIA) “Mechanized Semantics for Compiler Verification” o Gilles Barthe (IMDEA) "Automation in computer-aided cryptography: proofs, attacks and designs" o Naoki Kobayashi (University of Tokyo) "Program Certification by Higher-Order Model Checking" For detailed conference programs, see - http://aplas12.kuis.kyoto-u.ac.jp/program.html - http://cpp12.kuis.kyoto-u.ac.jp/program.html

1 0

講演のお知らせ
by minami＠kurt.cla.kobe-u.ac.jp 04 Nov '12

04 Nov '12

皆様，重複してお受け取りの際はご容赦ください。名古屋大学の南裕明と申します．以下の要領で名古屋数学基礎論/集合論セミナーを開催します．興味のある方は是非参加を検討ください．日時：11月9日（金）15：00〜場所：名古屋大学情報科学（研究科）棟1階第2講義室(122) 講演者：根元　多佳子 (北陸先端科学技術大学大学院情報科学研究科）タイトル： The proof theoretic strength of between \Sigma^0_1 and \Delta^0_2. アブストラクト：弱い決定性の逆数学的研究の進展により、決定性のなす細階層について明らかになりつつあるが、今回は \Sigma^0_1 と \Delta^0_2 の間の difference hierarchy のなす決定性の階層についての証明論的結果及び、そこから得られる記述集合論的結果について紹介する。アクセス：地下鉄名城線名古屋大学駅から徒歩5〜10分． http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/index.html http://www.is.nagoya-u.ac.jp/intro/contact.html この講演に関する情報は以下のHPでもご覧になれます． http://researchmap.jp/cardinal_invariants/research-blog/ それではよろしくお願いします. 南裕明名古屋大学情報科学研究科共同研究員

1 0

数学さきがけ研究成果報告会
by Ichiro Hasuo 01 Nov '12

01 Nov '12

みなさま，こんにちは！東京大学の蓮尾です． JST のさきがけ数学領域が今年度で最終年度となり， 11/27 に成果報告会が行われます．ご案内をお送りしますね．どうかよろしくお願いいたします．それでは！蓮尾一郎 ■＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝■ □　第4回領域シンポジウム「越境する数学」 ■　「数学と諸分野の協働によるブレークスルーの探索」研究領域 □　さきがけ第３期生　研究成果報告会 ■□■━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ●開催趣旨さきがけ/CREST数学領域では、現代社会の諸問題を数学の観点で見直すことにより、数学と諸分野双方のブレークスルーを探索しています。今回のさきがけ第３期生報告会では、H21年度採択課題12件の研究成果を紹介します。また、１〜３期生によるポスター展示も開催いたします。さきがけの最終報告会に相応しく、多くの興味深いテーマがありますので、ぜひとも皆様にご参加いただきますよう、心よりお待ち申し上げております。 ●開催日時　　2012年11月27日(火) 10時00分〜18時00分 ●開催場所　　東京大学　弥生講堂・一条ホール ●リンク先　　【シンポジウムホームページ】　　　　　　　http://www.math.jst.go.jp/event/4th_sympo.html ●問い合わせ先　　数学領域事務所　　　　　　　Tel & Fax：022-714-3070 　　　　　　　e-mail： mathsympo(a)math.jst.go.jp ■□■━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

1 0

数学基礎論若手の会２０１２・追加募集（１１月２３−２５日・奈良）
by Kazushige TERUI 31 Oct '12

31 Oct '12

皆様今年度の数学基礎論若手の会についてですが、まだ人数に若干の余裕があります。今からでも参加希望の方がいらっしゃいましたら、今週中にご連絡ください。とくにご講演いただける方は大歓迎です！照井 ---------------------------------------- Original Message ---------------------------------------- Subject: 数学基礎論若手の会２０１２（１１月２３−２５日・奈良） From: "Kazushige TERUI" <terui(a)kurims.kyoto-u.ac.jp> Date: Mon, October 1, 2012 23:11 To: logic-ml(a)sato.kuis.kyoto-u.ac.jp kisoron-ml(a)sato.kuis.kyoto-u.ac.jp -------------------------------------------------------------------------------------------------- 皆様：京都大学の照井一成と申します．締切が近づいてきましたので再度、今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の照井までお気軽にご連絡ください．日程： 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日(金)と24日(土)の2晩，食事は23日(金)の夕食から 25日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 3,250円 (相部屋) 食事：朝食 700円，昼食 800円，夕食 900円 ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． ※ 宿泊や食事を伴わない参加も歓迎します。 [参加申し込み] 参加を希望される方は，幹事の照井にメールにてお申し込みください． <申込締切> 10月25日(木) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 23日(金)の夜 … ○ or × 24日(土)の夜 … ○ or × 食事： 23日(金)夕食 … ○ or × 24日(土)朝食 … ○ or × 24日(土)昼食 … ○ or × 24日(土)夕食 … ○ or × 25日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． ------------------------------------------ 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/ ------------------------------------------ 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

Talks by Ana Sokolova (U. Salzburg) & Jan Rutten (CWI Amsterdam & Radboud Univ. Nijmegen)
by Tetsuri Moriya 29 Oct '12

29 Oct '12

みなさま，東京大学の蓮尾研究室M1の森谷です．蓮尾研究室では明日30日（直前で申し訳ないのですが）に Salzburg 大学の Ana Sokolova さん， 11月9日に Jan Rutten さんをお迎えしてご講演いただきます．事前の登録等不要です．ご興味のある方はぜひお越しください！ ========================================================== Tue 30 October 2012, 16:40-18:10 Ana Sokolova (U. Salzburg), Quantitative relaxations of concurrent data structures 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 This talk is about our recent work on relaxing the semantics of concurrent data structures, in a quantitative way, so that they allow better-performing implementations. By their nature, data structures are bottlenecks in the presence of concurrency, e.g. the top pointer of a stack is a point of contention for which all threads compete. As a consequence, implementations of concurrent data structures often show negative scalability. Recent trends in concurrency show that relaxing the semantics may be the way to better performance. In this work we provide a framework for quantitative relaxations of concurrent data structures, where the allowed``error" from the perfect semantics is quantified by a distance. During the talk, we will use a stack as a running example. Also we present new concurrent implementation of a quantitatively relaxed stack that performs well and shows positive scalability. (joint work with Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, and Ali Sezgin) ========================================================== Fri 9 November 2012, 10:30-12:00 Jan Rutten (CWI Amsterdam & Radboud Univ. Nijmegen), The method of coalgebra--an overview 理学部7号館地下１階 007教室 Room 007 (on the underground floor), School of Science Bldg. No. 7 Since the early nineties, coalgebra has become an active area of research in which one tries to understand all kinds of infinite data types, automata, transition systems and dynamical systems from a unifying perspective. The focus of coalgebra is on observable behaviour and one uses coinduction as a central methodology, both for behavioural specifications and to prove behavioural equivalences. These days, one uses coalgebraic techniques in a wide variety of areas, ranging from automata theory to software engineering to ecology. In this talk, we shall illustrate the coalgebraic approach by discussing a number examples, including streams, automata and circuits.

1 0

講演のお知らせ（名古屋数学基礎論/集合論セミナー）
by minami＠kurt.cla.kobe-u.ac.jp 28 Oct '12

28 Oct '12

皆様，重複してお受け取りの際はご容赦ください。名古屋大学の南裕明と申します．以下の要領で名古屋数学基礎論/集合論セミナーを開催します．興味のある方は是非参加を検討ください．日時：11月2日（金）15：00〜場所：名古屋大学情報科学(研究科)棟1階第2講義室(122) 講演者：横山啓太（東京工業大学　大学院情報理工学研究科）タイトル：組み合わせ論と逆数学の広がりアブストラクト： 1970年代にH. Friedmanによって提唱されS. Simpsonらによって推し進められてきた逆数学研究では，解析・代数・幾何学の基礎を始めとした多くの定理の強さが調べられてきた．逆数学による定理の分類を行うと，多くの場合で数学の定理の強さが"big five"と呼ばれる2階算術の部分体系のいずれかと同値になることが知られている．しかし，特に2000年以降の研究では組み合わせ命題等を中心に，"big five"に分類されない数多くの「例外」が知られるようになり，最近ではむしろ"big five"を広げた2階算術の「地図」が逆数学の手法により幅広く調べられている．この講演では，こうした組み合わせ命題に関連する逆数学の話題をいくつか紹介する．アクセス：地下鉄名城線名古屋大学駅から徒歩5〜10分． http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/index.html http://www.is.nagoya-u.ac.jp/intro/contact.html この講演に関する情報は以下のHPでもご覧になれます． http://researchmap.jp/cardinal_invariants/research-blog/ 南裕明名古屋大学情報科学研究科共同研究員

1 0

ゲーム論的確率論に関する研究集会のご案内および参加募集 11/12~11/14
by Kenshi Miyabe 26 Oct '12

26 Oct '12

ゲーム論的確率論と関連する話題に関する以下のような国際研究集会を開催いたします: http://kenshi.miyabe.name/gtp2012/ 集会名: Fourth Workshop on Game-Theoretic Probability and Related Topics (GTP2012) 日時: 2012年11月12日(月)〜14日(水) 場所: 東京大学本郷工学部6号館セミナー室A,D 招待講演者: Laurent Bienvenu, Gert de Cooman, Bjorn Kjos-Hanssen, Alexander Outkin, Glenn Shafer, Kazuyuki Tanaka, Vladimir Vovk, Vladimir V'yugin 集会の狙い: ゲーム論的確率論を一つの接点として，ランダムネス，(測度論的)確率論，数理統計などの幅広い分野の基礎を統一的に議論する．今回は特にランダムネスに関する最近の研究成果も紹介します．プログラムおよびアブストラクトが以下で見ることができます． http://kenshi.miyabe.name/gtp2012/programme.php 皆様のご参加お待ちしております。なお，本集会は FIRST 合原最先端数理モデルプロジェクト及び科学研究費基盤(A) 22240029 の支援を受けております．東京大学情報理工学系研究科竹村彰通 takemura(a)stat.t.u-tokyo.ac.jp 京都大学数理解析研究所宮部賢志 kmiyabe(a)kurims.kyoto-u.ac.jp -- Kenshi Miyabe email: kmiyabe(a)kurims.kyoto-u.ac.jp Researcher Research Institute for Mathematical Sciences, Kyoto University Kyoto 606-8502 Japan Tel: +81-75-753-7202 / Fax: +81-75-753-7272

1 0

情報処理学会_2012年度第4回プログラミング研究会(2013/01)_発表募集
by suzuki 25 Oct '12

25 Oct '12

logic-mlのみなさま：複数受け取られた場合はご容赦ください。島根大学の鈴木です．この場を借りて2012年度第4回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3-4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です． 2013年1月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は11月12日月曜日(投稿締切は12月14日金曜日)です．よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．また，今回も和文として投稿された論文の英語化を支援する試みを実施します．和文原稿にて採録を判断し，(著者が希望する場合は) 採録決定後に英語化していただいてから掲載致します．この英語化に関する詳細については， http://millsmess.cs.uec.ac.jp/pro/2011-5/english-paper-encouragement.html をご覧ください． 2012年第4回プログラミング研究会(PRO92)発表募集日程: 2013年1月15日(火)・16日(水) 会場: AiAiひろば（鹿児島県奄美市）　　　〒894-0027 鹿児島県奄美市名瀬末広町14-10 発表申込締切: 2012年11月12日(月) 投稿論文原稿提出締切: 2012年12月14日(金) 申込先：鈴木貢 (島根大) 　　　　E-mail: suzuki [at] cis.shimane-u.ac.jp 案内ページ: http://glab.cis.shimane-u.ac.jp/ipsj-pro/pro2012-4/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ をご参照ください．・申込みの際には整理のために，Subject欄に以下をご指定頂けると助かります．「PRO2012-4_発表申込み」（カッコ不要）・できるだけE-mailでお願いします．・申込み後3日以内に返信がない場合はご連絡下さい．・11月4日に島根大が停電を予定していますので，その日を避けてご連絡を頂けますようお願いいたします．

1 0

Dr. Sylvain Salvati Lecture at NII Logic Seminar
by Makoto Tatsuta 24 Oct '12

24 Oct '12

Dr. Sylvain Salvati Lecture at NII Logic Seminar Date: October 31, 2012, 13:30--15:30 Place: National Institute of Informatics, Lecture Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Dr. Sylvain Salvati (INRIA Bordeaux Sud-Ouest) Title: Myhill-Nerode, Loader, Urzyczyn and logical relations Abstract: When trying to define a notion of recognizability on languages over a particular class of structures, it is customary to prove an equivalence between a class of machines and congruences of finite index on those structures. Such equivalences can be coined as "Myhill-Nerode theorems". This talk is going to be centered on such an equivalence concerning languages of simply typed lambda-terms. Here machines are type-checkers based on "uniform intersection types" and finite index congruences are "extensional finite models" of the lambda-calculus. The use of logical relations give a nice way of proving that uniform intersection types and extensional finite models allow to define exactly the same sets of lambda-terms. This result relates two important results of the literature on lambda-calculus: the undecidability of lambda-definability in finite standard models by Loader (2001) and the undecidability of the inhabitation problem for intersection types by Urzyczyn (1999). It shows in particular that these two problems are turing-equivalent, and provides a refinement of Urzyczyn's result. (Joint work with Giulio Mazonetto, Mai Gehrke and Henk Barendregt) 問合せ先: 金沢誠 (国立情報学研究所) e-mail: kanazawa(a)nii.ac.jp

1 0

東北大学ロジックセミナーのご案内(9月2日)
by Naohi Eguchi 23 Oct '12

23 Oct '12

Logic-ml の皆様，東北大学の江口と申します．以下の要領で東北大学ロジックセミナー(田中・山崎研究室) を開催いたします．ご興味のある方は是非参加をご検討ください．日時　平成24年9月2日(金)16時から．場所　東北大学北青葉山キャンパス理学総合棟1201号室．講演者　新井敏康　(千葉大学大学院理学研究科) タイトル　Proof theory of indescribable cardinals アブストラクト I will explain how to lift up the ordinal analyses to set theories of indescribable cardinals. This yields a proof-theoretic reduction of the existence of a $\Pi^{1}_{n+1}$-indescribable cardinal to iterations of $\Pi^{1}_{n}$-indescribabilities over ZF+V=L. 東北大学ロジックセミナーの情報は東北大学ロジックグループのホームページからもご覧いただけます． https://sites.google.com/site/sendailogichomepage/ 江口直日 -- 江口直日東北大学大学院理学研究科数学専攻産学官連携研究員 980-8578 宮城県仙台市青葉区荒巻字青葉6ー3 E-mail: eguchi(a)math.tohoku.ac.jp

1 1

JAIST 多次元セミナー（１１月）
by Hiroakira Ono 16 Oct '12

16 Oct '12

　　　　　JAIST 多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。 (I)　1. 日　　時　平成24年11月9日 (金) 15:15〜16:45 　　2. 場　　所　JAIST 知識科学研究科講義棟1階　 K-1,2 　　3. 講演者　Sebastiaan A. Terwijn 　　　 Department of Mathematics, Radboud University Nijmegen 　　4. 講演題目 Information distance ============= (II)　1. 日　　時　平成24年11月13日（火） 13:15〜15:00 　　2. 場　　所　JAIST 知識科学研究科講義棟2階　 K-3,4 　　3. 講演者　Rosalie Iemhoff 　　　 Department of Philosophy, Utrecht University 　　4. 講演題目 Substitutions and rules ============== なおすでにお知らせしましたように、つぎの講演が１日にあります。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室　　3. 講演者　Melvin Fitting 　　　 Department of Mathematics and Computer Science Lehman College, City University of New York 　　4. 講演題目　Tableau/Sequent Duality ============== これらの講演のアブストラクトは以下をご覧下さい　　http://www.jaist.ac.jp/rcis/seminars また講演会場については以下をご覧下さい　　　http://www.jaist.ac.jp/general_info/access/index.html 　　　北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰、ノルベルト　プライニング　　 http://www.jaist.ac.jp/rcis/en _______________________________________________ Logic-ml mailing list Logic-ml(a)fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

RTA 2013: First Call for Papers
by Nao Hirokawa 15 Oct '12

15 Oct '12

皆様 RTA 2013 の論文募集をご案内致します。今回の RTA はオランダ Eindhoven で行われ、TLCA 2013 との共催となっています。ぜひ投稿をご検討下さい。廣川　直 (JAIST) ************************************************************************* RTA 2013: FIRST CALL FOR PAPERS 24th International Conference on Rewriting Techniques and Applications June 24 - 26, 2013 Eindhoven, The Netherlands collocated with TLCA 2013 as part of RDP 2013 http://www.win.tue.nl/rdp2013/ ************************************************************************* abstract submission February 1 2013 paper submission February 5 2013 rebuttal period March 18-21 2013 notification April 4 2013 final version April 26 2013 ************************************************************************* The 24th International Conference on Rewriting Techniques and Applications (RTA 2013) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013), and several workshops. RDP 2013 will be held at the Eindhoven University of Technology in the Netherlands. *** TOPICS OF INTEREST *** RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; SMT solving; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; XML queries and transformations; systems biology; homotopy theory; implicit computational complexity; Foundations: equational logic; universal algebra; rewriting logic; rewriting models of programs; matching and unification; narrowing; completion techniques; strategies; rewriting calculi; constraint solving; tree automata; termination; complexity; modularity; Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; stochastic rewriting; net rewriting; binding techniques; Petri nets; higher-dimensional rewriting; Implementation: implementation techniques; parallel execution; rewrite and completion tools; certification of rewriting properties; abstract machines; explicit substitutions; automated (non)termination and confluence provers; automated complexity analysis. *** PUBLICATION *** The proceedings of RTA 2013 will be published by LIPIcs (Leibniz International Proceedings in Informatics). LIPIcs is open access, meaning that publications will be available online and free of charge, and authors keep the copyright for their papers. LIPIcs publications are indexed in DBLP. For more information about LIPIcs please consult: <http://www.dagstuhl.de/en/publications/lipics> *** SUBMISSION GUIDELINES *** Submissions must be - original and not submitted for publication elsewhere, - written in English, - a research paper, or a problem set, or a system description, - in pdf prepared with pdflatex using the LIPIcs stylefile: <http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz>, - at most 10 pages for system description, at most 15 pages for the other two types of submissions - submitted electronically through the EasyChair system at: <https://www.easychair.org/conferences/?conf=rta2013>. The page limit and the deadline for submission are strict. Additional material for instance proof details, may be given in an appendix which is not subject to the page limit. However, submissions must be self-contained within the respective page limit; reading the appendix should not be necessary to assess the merits of a submission. *** PROGRAMME COMMITTEE CHAIR *** Femke van Raamsdonk (VU University Amsterdam, The Netherlands) *** PROGRAMME COMMITTEE *** Eduardo Bonelli, National University of Quilmes Byron Cook, Microsoft Research Cambridge Stephanie Delaune, ENS Cachan Gilles Dowek, Inria Paris-Rocquencourt Maribel Fernandez, King's College London Nao Hirokawa, JAIST Ishikawa Delia Kesner, University Paris-Diderot Helene Kirchner, Inria Paris-Rocquencourt Barbara Koenig, University Duisburg Essen Temur Kutsia, Johannes Kepler University Linz Aart Middeldorp, University of Innsbruck Vincent van Oostrom, Utrecht University Femke van Raamsdonk, VU University Amsterdam Kristoffer Rose, IBM Research New York Manfred Schmidt-Schauss, Goethe University Frankfurt Peter Selinger, Dalhousie University Paula Severi, University of Leicester Aaron Stump, The University of Iowa Tarmo Uustalu, Institute of Cybernetics Tallinn Roel de Vrijer, VU University Amsterdam Johannes Waldmann, HTWK Leipzig Hans Zantema, Eindhoven University of Technology *** CONFERENCE CHAIR *** Hans Zantema (Eindhoven University of Technology, The Netherlands) *** STEERING COMMITTEE *** Mauricio Ayala-Rincon, Brasilia University Frederic Blanqui, INRIA Tsinghua University Beijing Salvador Lucas, Technical University of Valencia Georg Moser, University of Innsbruck Masahiko Sakai, Nagoya University Sophie Tison, University of Lille *** FURTHER INFORMATION *** Questions related to submission, reviewing, and programme should be sent to the programme committee chair Femke van Raamsdonk, email femke at few.vu.nl.

1 0

Call for Participation: APLAS and CPP 2012
by Atsushi Igarashi 15 Oct '12

15 Oct '12

logic-ml の皆様， 12月に京都で開催される APLAS と CPP という国際会議の参加募集案内を送らせて頂きます。沢山のご参加をお待ちしております。五十嵐淳 & Jacques Garrigue ====================================================================== CALL FOR PARTICIPATION The 10th Asian Symposium on Programming Languages and Systems (APLAS2012) and The 2nd International Conference on Certified Programs and Proofs (CPP2012) Kyoto, Japan December 11-15, 2012 http://aplas12.kuis.kyoto-u.ac.jp/ (APLAS) http://cpp12.kuis.kyoto-u.ac.jp/ (CPP) APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics and education, that consider certification as a essential paradigm for their work. The 10th APLAS and 2nd CPP will be held together in Kyoto, Japan from December 11 to 15, 2012. The five-day event includes, five invited talks, and two conferences. The common registration site for both conferences is now open at: https://v3.apollon.nta.co.jp/aplas12_cpp12/ Early Registration (until November 10, 2012) Regular | Student -----------------------+----------- APLAS+CPP: JPY 54000 | JPY 36000 APLAS only: JPY 31000 | JPY 22000 CPP only: JPY 31000 | JPY 22000 Venue APLAS and CPP will take place at the Kyoto International Community House, nearby the touristic area of Okazaki, inside Kyoto. Kyoto International Community House 2-1 Torii-cho, Awataguchi, Sakyo-ku, Kyoto 606-8536 Invited Speakers o Jan Vitek (Purdue University) "Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection" o Greg Morrisett (Harvard University) “Scalable Formal Machine Models” o Xavier Leroy (INRIA) “Mechanized Semantics for Compiler Verification” o Gilles Barthe (IMDEA) "Automation in computer-aided cryptography: proofs, attacks and designs" o Naoki Kobayashi (University of Tokyo) "Program Certification by Higher-Order Model Checking" For detailed conference programs, see - http://aplas12.kuis.kyoto-u.ac.jp/program.html - http://cpp12.kuis.kyoto-u.ac.jp/program.html

1 0

セミナー案内
by KASHIMA Ryo 12 Oct '12

12 Oct '12

数理論理学セミナーのご案内日時：12月22日(木)17時から場所：東京工業大学大岡山西８号館W棟11階 W1101セミナー室会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html 話者：藤原誠（東北大学）題目：結婚定理の逆数学概要： 1972年にManasterとRosensteinは可算版結婚定理を再帰理論的に分析し、通常の可算版結婚定理は計算可能には成立しないことを示した。一方、1983年にKiersteadは拡張Hall条件を導入し、計算可能に成立する結婚定理を得た。本発表では、拡張Hall条件を用いて考え得るあらゆる結婚定理の複雑さを逆数学的に分析する。また、Kiersteadとは別の観点から、計算可能に成立する結婚定理について考察する。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃＃＃＃詳細はお問い合わせください＃＃＃

1 1

国際会議TQC2013のご案内
by NISHIMURA Harumichi 12 Oct '12

12 Oct '12

logic-mlの皆様，名古屋大学の西村と申します．東京大学の村尾先生のご依頼により，量子情報科学の国際会議TQC2013の告知を投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 --以下告知-- ------- Dear Friends, The 8th Conference on the Theory of Quantum Computation, Communication and Cryptography will be held at the University of Guelph, 21st--23rd May 2013. http://www.uoguelph.ca/quigs/tqc2013/index.html There are some interesting news about TQC! The proceedings consisting of accepted papers and a selection of posters will be published electronically in the LIPIcs (Leibniz International Proceedings in Informatics) series. The LIPIcs series guarantees perennial, free and easy electronic access, while the authors will retain the rights over their work (Attribution 3.0 Unported (CC BY 3.0)). Notice that abstract material can be published elsewhere after TQC. For further information please visit http://www.uoguelph.ca/quigs/tqc2013/en/submissions.html Here are the important dates: Submission deadline: *** February 05, 2013 (23:59h in any time zone) *** Notification of acceptance/rejection: March 15, 2013 Registration deadline: April 20, 2013 Short abstracts submission: May 5, 2013 Conference: May 21-23, 2013 Proceedings submission (final version of accepted papers): July 03, 2013 It would be great if you could forward this email to your students/colleagues at your home institution. Please accept our apologies if you receive multiple copies of this message. Best wishes, The TQC2013 Committees tqc2013(a)gmail.com

1 0

教員公募（JAIST 情報科学研究科）
by Nao Hirokawa 11 Oct '12

11 Oct '12

皆様 JAIST 情報科学研究科の教員公募のご案内を致します。案内は以下の PDF からも入手可能です: http://www.jaist.ac.jp/jimu/syomu/koubo/pdf/is_20121005.pdf 廣川直 (JAIST) - - - - 北陸先端科学技術大学院大学情報科学研究科ソフトウェア科学領域募集人員　　助教１名専門分野及び関連する主な業務・研究：ソフトウェア検証分野に関する研究・教育：検証論分野担当教員と協力して、博士前期・　後期課程学生を指導。情報科学研究科の導入講義の　一部を担当。応募資格　採用時に博士の学位を有する方。学生の指導に熱意　を有し、数理論理や形式言語等の基礎理論のソフト　ウェア検証への（ツール実装を含む）応用に意欲を　もって研究を推進する方。国際的な共同研究の推進　に意欲を持つ方。英語を使ってのグローバルコミュ　ニケーション能力のある方（日本語能力は必須とし　ない）。本学では、教員の選考に際して機会均等、　多様性が重要と考え、女性や外国人の採用を積極的　に進めています。着任時期　　平成25年4月1日提出書類１．履歴書(写真添付)および学位証明書の写し、２．研究業績リスト（国際論文誌、査読付国際会議、　　国内論文誌、研究会・国内シンポジウム等の発表　　論文、著書、特許、その他に区別し、新しいもの　　から順番に列記）、３．主要論文の別刷りまたはコピー（3編）、４．主たる研究概要（2000字程度)、５．研究、教育に関連するその他の活動（学術雑誌の　　編集委員、国際会議のプログラム委員等学術的貢　　献や標準化等の社会貢献など、また、受賞、研究　　費調達状況など選考の参考になる事項、過去に担　　当した講義等）、６．今後5年間の研究計画 (2000字程度)、７．教育に対する抱負 (2000字程度)、８．応募者本人の連絡先（郵便宛先と電子メールアド　　レス）、９．推薦書2通、または意見を伺える方2名の氏名・所　　属と連絡先（e-mail）応募締切　　平成24年11月30日当日消印可送付先　　　〒923-1292 石川県能美市旭台1-1 　　　　　　北陸先端科学技術大学院大学　　　　　　情報科学研究科長　浅野　哲夫 ※「教員応募書類在中（ソフトウェア科学領域・助教）」　と朱書して、簡易書留にて郵送のこと。 ※ Eメールにより提出された書類は受け付けません。照会先　情報科学研究科　（共通事務管理課共通事務第二係研究科長秘書）　Tel: 0761-51-1155 　Fax: 0761-51-1149 　e-mail: is-dean(a)jaist.ac.jp その他　本学に関する情報については、 http://www.jaist.ac.jp/index-jp.html をご覧ください。

1 0

CALCO 2013: First Call for Papers
by Ichiro Hasuo 08 Oct '12

08 Oct '12

みなさま，こんにちは！東京大学の蓮尾です．国際会議 CALCO 2013 の案内をお送りします．トピックは代数・余代数・形式検証の理論一般，開催地はポーランド・ワルシャワ，締切は来年2月です．どうか投稿をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/ ---------- Forwarded message ---------- [Apologies for multiple copies] ========================================================================= FIRST CALL FOR PAPERS: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. -- INVITED SPEAKERS -- N.N. -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- NEW TOPICS -- This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged. * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. -- BEST PAPER AND BEST PRESENTATION AWARDS -- For the first time, this edition of CALCO will feature two kinds of awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Jiri Adamek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Université Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara König - University of Duisburg-Essen, D José Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - TU Braunschweig, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Imperial College London, UK Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schröder (Friedrich Alexander Universität Erlangen-Nürnberg). Papers of this workshop will be included in the CALCO proceedings. -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant conference or workshop chairs. Queries related to the organisation should be emailed to calco2013(a)mimuw.edu.pl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

JAIST 多次元セミナー (11月１日）
by Hiroakira Ono 06 Oct '12

06 Oct '12

　　　　JAIST 第43回多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室 http://www.jaist.ac.jp/general_info/access/index.html 　　3. 講演者　Prof. Melvin Fitting 　　　 Department of Mathematics and Computer Science Lehman College, City University of New York 　　4. 講演題目「Tableau/Sequent Duality」講演のアブストラクトは以下をご覧下さい　　 http://www.jaist.ac.jp/rcis/seminar/multi-dimension/43 北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰　　 http://www.jaist.ac.jp/rcis/en

1 0

The 47th MLG Meeting
by Takahiro Seki 03 Oct '12

03 Oct '12

第47回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催いたします。　多くの方のご講演・ご参加をお待ちしております。 ========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　期間: 2012 年 11 月 16 日(金) 〜 11 月 18 日(日) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2012 年 11 月 2 日（金）　世話人：関　隆宏（新潟大学），佐野勝彦（北陸先端科学技術大学院大学）　連絡先E-mail : mlg.logic.japan(a)gmail.com 　ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・11月17日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，11月17日（土）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。・講演・宿泊を希望される方は，11月2日(金)までに下記の形式で電子メールにて　mlg.logic.japan(a)gmail.com　まで申し込んでください。 ----------------------------------- 第47回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　16日(午後) / 17日(午前/午後) / 18日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　16日(夕食/宿泊) / 17日(朝食/昼食/夕食/宿泊) / 18日(朝食) 領収書について：　発行する / 発行しないその他：（講演時間の変更や講演日時の希望等） -----------------------------------

1 0

PLPV 2013 Last Call For Papers
by Makoto Takeyama 02 Oct '12

02 Oct '12

皆様、（重複してお受け取りになられた場合はご容赦ください）産業技術総合研究所の武山と申します。この場をお借りしまして来年1月22日にPOPL 2013に併設して開催される国際ワークショップ PLPV 2013 の Last Call for Papers をご案内させていただきます。プログラミング言語とプログラム検証に跨る話題について、幅広く多くの研究コミュニティーからの論文投稿をお待ちしております。 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge Francois Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Makoto Takeyama <makoto.takeyama(a)aist.go.jp> AIST/RISEC (National Institute of Advanced Industrial Science and Technology / Research Institute for Secure Systems) tel: +81-6-6494-8045

1 0

数学基礎論若手の会２０１２（１１月２３−２５日・奈良）
by Kazushige TERUI 01 Oct '12

01 Oct '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日(金)と24日(土)の2晩，食事は23日(金)の夕食から 25日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 3,250円 (相部屋) 食事：朝食 700円，昼食 800円，夕食 900円 ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． ※ 宿泊や食事を伴わない参加も歓迎します。 [参加申し込み] 参加を希望される方は，幹事の照井にメールにてお申し込みください． <申込締切> 10月25日(木) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 23日(金)の夜 … ○ or × 24日(土)の夜 … ○ or × 食事： 23日(金)夕食 … ○ or × 24日(土)朝食 … ○ or × 24日(土)昼食 … ○ or × 24日(土)夕食 … ○ or × 25日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． ------------------------------------------ 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

LICS 2013 - Call for Papers
by Kazushige TERUI 01 Oct '12

01 Oct '12

CALL FOR PAPERS Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2013) June 25-28, 2013, New Orleans, USA http://www2.informatik.hu-berlin.de/lics/lics13/ LICS 2013 will be hosted by Tulane University, in New Orleans, LA USA, from June 25th to 28th, 2013. LICS 2013 will be co-located with MFPS13 (23-25 June) and CSF13 (28-30 June). The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification. Important Dates: Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 7, 2013 Extended Abstracts Due : January 14, 2013 Author Notification (approximate) : March 22, 2013 Final Versions Due for Proceedings: April 26, 2013 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via http://easychair.org/conferences/?conf=lics2013. Submission Instructions: Every extended abstract must be submitted in the IEEE Proceedings 2-column 10pt format and may not be longer than 10 pages, including references. LaTeX style files will be available on the conference website. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work must be included. (If necessary, detailed proofs of technical results may be included in a clearly-labeled appendix, to be consulted at the discretion of program committee members.) Extended abstracts not conforming to the above requirements will be rejected without further consideration. Papers selection will be merit-based, with no a priori limit on the number of accepted papers. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The program chair must be informed, in advance of submission, of any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present it at the conference. Short Presentations: A session of short presentations, intended for descriptions of student research, works in progress, and other brief communications, is planned. These abstracts will not be published. Dates and guidelines will be posted on the LICS website. Kleene Award for Best Student Paper: An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. Special Issues: Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing and by ACM SIGACT, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. Program Chair: Orna Kupferman, Hebrew University Program Committee: Parosh A. Abdulla, Uppsala University Amal Ahmed, Northeastern Universtiy Sergei Artemov, City University of New York Andrei Bulatov, Simon Fraser University Yijia Chen, Shanghai Jiao Tong University Veronique Cortier, CNRS, Loria Mariangiola Dezani-Ciancaglini, Univ. di Torino Thomas Ehrhard, CNRS, Universite Paris Diderot Javier Esparza, Technische Universitaet Muenchen Kousha Etessami, University of Edinburgh Maribel Fernandez, King’s College London Santiago Figueira, University of Buenos Aires Simon Gay, University of Glasgow Martin Grohe, Humboldt-Universitaet zu Berlin Martin Hofmann, LMU Munich Petr Jancar, Technical University Ostrava Barbara Jobstmann, CNRS, Verimag and Jasper DA Patricia Johann, University of Strathclyde Bakhadyr Khoussainov, The University of Auckland Antonina Kolokolova, University of Newfoundland Victor Marek, University of Kentucky Angelo Morzenti, Politecnico di Milano Lawrence Moss, Indiana University Madhavan Mukund, Chennai Math. Institute Anca Muscholl, Universite Bordeaux Mogens Nielsen, Aarhus University Catuscia Palamidessi, INRIA, Ecole Polytechnique Luc Segoufin, INRIA, ENS Cachan Natarajan Shankar, SRI International Alexandra Silva, Radboud University Nijmegen Balder ten Cate, UC Santa Cruz Kazushige Terui, Kyoto University Ron van der Meyden, Univ. of New South Wales Jeannette M. Wing, Carnegie Mellon University Nobuko Yoshida, Imperial College London Conference Chair: Mike Mislove, Tulane University Workshop Chair: Patricia Bouyer-Decitre, CNRS, ENS Cachan Publicity Chair: Andrzej Murawski, Univ. of Leicester General Chair: Luke Ong, University of Oxford Organizing Committee: Martin Abadi, Luca Aceto, Rajeev Alur, Franz Baader, Paul Beame, Patricia Bouyer-Decitre, Adriana Compagnoni, Anuj Dawar, Nachum Dershowitz, Martin Escardo, Maribel Fernandez, Martin Grohe, Orna Grumberg, Jean-Pierre Jouannaud, Phokion Kolaitis, Orna Kupferman, Benoit Larose, Vlatko Lipovac, Michael Mislove, Georg Moser, Andrzej Murawski, Luke Ong (chair), Andre Scedrov, Philip Scott, David Shmoys, Matt Valeriote Advisory Board: Martin Abadi, Samson Abramsky, Rajeev Alur, Bob Constable, Thierry Coquand, Thomas Henzinger, Phokion Kolaitis, Dexter Kozen, Dale Miller, John Mitchell, Prakash Panangaden, Andrew Pitts, Gordon Plotkin, Moshe Vardi, Glynn Winskel ------------------------------------------ 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

TLCA 2013 Call for Papers
by Hasegawa Masahito 28 Sep '12

28 Sep '12

$B3'MM!"(B $B5~Bg$ND9C+@n$H?=$7$^$9!#(B $BMhG/#67n$K%*%i%s%@$G3+:E$5$l$k9q:]2q5D!V(BTyped Lambda Calculi and Applications$B!W$NO@J8Jg=80FFb$r$*Aw$j$7$^$9!#M}O@!&1~MQ$rLd$o$:!"(B $B%i%`%@7W;;$d7?M}O@$K4XO"$7$?O@J8$NEj9F$r4?7^$$$?$7$^$9!#(B $B4XO"=tJ,Ln$N3'MM!"@'HsEj9F$r$48!F$$/$@$5$$!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ================================================================ TLCA 2013 First Call for Papers 11th International Conference on Typed Lambda Calculi and Applications Eindhoven, 23-28 June 2013 co-located with RTA 2013 as part of RDP 2013 RDP 2013 webpage: http://www.win.tue.nl/rdp2013/ ================================================================ The 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are: * Proof-theory: natural deduction, sequent calculi, cut elimination and normalization, propositions as types, linear logic and proof nets, type-theoretic aspects of computational complexity * Semantics: denotational semantics, game semantics, realisability, domain theory, categorical models * Types: subtypes, dependent types, polymorphism, intersection types and related approaches, type inference and type checking, types in program analysis and verification, types in proof assistants * Programming: foundational aspects of functional programming, object-oriented programming and other programming paradigms, flow analysis of higher-type computation, program equivalence, program transformation and optimization IMPORTANT DATES * Paper Registration (titles & short abstracts): 25 January 2013 * Full Paper Submission: 1 February 2013 * Author Notification: 22 March 2013 * Camera-Ready Paper for the Proceedings: 12 April 2013 SUBMISSION GUIDELINES We solicit submissions of research papers, which must: * be in English and not exceed 15 pages (including figures and bibliography). Additional material intended for the reviewers but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers will be told that they may choose to ignore the appendix. * present original research which is unpublished and not submitted elsewhere (conferences, journals, books, etc.) * use the Springer-Verlag LNCS style. * be submitted electronically in PDF via the EasyChair TLCA 2013 Submission Webpage (will open nearer the deadline) https://www.easychair.org/conferences/?conf=tlca2013 . Submissions deviating from these instructions may be rejected without review. A condition of submission is that, if accepted, one of the authors must attend the conference to give the presentation. The proceedings will be published as a volume in the ARCoSS subline series of Springer-Verlag Lecture Notes in Computer Science. Final papers will be in the format specified by Springer-Verlag. Any questions regarding the submission guidelines should be directed to the Programme Committee Chair (Masahito Hasegawa <tlca2013(a)easychair.org>) prior to submitting. COLOCATED EVENTS TLCA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Rewriting Techniques and Applications (RTA 2013) and several related events. Details on workshops affiliated with RDP 2013 will be available at the web site in due course. CONFERENCE CHAIR Herman Geuvers (Radboud University Nijmegen, Netherlands) PROGRAMME COMMITTEE CHAIR Masahito Hasegawa (Kyoto University, Japan) PROGRAMME COMMITTEE Andreas Abel (LMU Munchen, Germany) Patrick Baillot (CNRS and ENS Lyon, France) Nick Benton (Microsoft Cambridge, UK) Lars Birkedal (IT University of Copenhagen, Denmark) Herman Geuvers (Radboud University Nijmegen, Netherlands) Masahito Hasegawa (Kyoto University, Japan) (PC chair) Naoki Kobayashi (University of Tokyo, Japan) Paul-Andre Mellies (CNRS and Universite Paris Diderot, France) Thomas Streicher (TU Darmstadt, Germany) Lorenzo Tortora de Falco (Universita Roma Tre, Italy) Stephanie Weirich (University of Pennsylvania, US) TLCA STEERING COMMITTEE Samson Abramsky (University of Oxford, UK) Henk Barendregt (Radboud University Nijmegen, Netherlands) Pierre-Louis Curien (CNRS and Universite Paris Diderot, France) Mariangiola Dezani-Ciancaglini (Universita di Torino, Italy) Martin Hofmann (LMU Munchen, Germany) Luke Ong (University of Oxford, UK) Simona Ronchi Della Rocca (Universita di Torino, Italy) Pawel Urzyczyn (University of Warsaw, Poland) TLCA HONORARY ADVISOR Roger Hindley (Swansea University) TLCA PUBLICITY CHAIR Luca Paolini (Universita di Torino, Italy) ================================================================

1 0

(no subject)
by keis.konno＠gmail.com 28 Sep '12

28 Sep '12

BlackBerry from DOCOMO

1 0

APLAS 2012: Final Call for Posters and Demos
by Kohei SUENAGA 27 Sep '12

27 Sep '12

# 複数受け取られた場合はご容赦ください。京都大学の末永幸平と申します。 12月11〜13日に京都で開催される APLAS 2012 のポスター・デモ募集のお知らせをお送りします。申し込みの締め切りまで一週間となりました。どうぞ発表をご検討ください。末永幸平京都大学白眉センター ksuenaga(a)fos.kuis.kyoto-u.ac.jp -- 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) December 11-13, 2012, Kyoto, Japan (Co-located with CPP 2012) http://aplas12.kuis.kyoto-u.ac.jp/ Call for Poster and Demos APLAS 2012 will include a poster and demo session during the conference. The poster session aims to give students and professionals an opportunity to present technical materials to the research community, and to get responses from other researchers in the field. This year, accepted posters will be presented in the main hall so that presenters have much opportunity of discussion during breaks. Standing by the poster on each break is not mandatory, though. * Scope Poster and demo contributions are sought in all areas of programming languages and systems, including the following topics: - semantics, logics, foundational theory; - design of languages and foundational calculi; - type systems; - compilers, interpreters, abstract machines; - program derivation and transformation; - program analysis, verification, model-checking, software security; - concurrency, constraints, domain-specific languages; - tools for programming, verification, implementation. * Format of Posters A space of A1 paper size (594 mm wide and 841 mm high) will be provided for each presentation. AC Power outlet of 100V will be also provided during the poster & demo session. If you need more space and facilities, contact the poster chair (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp). * Submission Each presenter should e-mail a 1-2 page abstract in PDF to the poster chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by October 5th 2012. The abstract should include the title, author(s), affiliation(s) and summary of the work. The program of the poster session will be announced by October 29th, 2012. We hope to accommodate every poster, but may restrict presentations (based on relevance and interest to the community) due to space constraints. * Important Dates Submission deadline: October 5th, 2012 Notification: October 29th, 2012 * Contact Poster chair: Kohei Suenaga (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) -- Kohei Suenaga ksuenaga AT fos.kuis.kyoto-u.ac.jp

1 0

第７回JAIST先端レクチャー・シリーズ
by Hiroakira Ono 19 Sep '12

19 Sep '12

　第７回JAIST先端レクチャー・シリーズの開催について下記のとおり講演会を開催します。ホットなトピックスについての分かりやすい講演ですので、多数の皆様に参加いただきたく、ご案内いたします。　　　　　　　　　　　　　記　　1.日　　時　平成24年10月2日（火） 15:10〜16:30 　　2.場　　所　JAIST 知識科学研究科講義棟2階　 K3・K4 　　3.講演者　 Johan van Benthem 客員教授（アムステルダム大学教授，スタンフォード大学教授）　　4.講演題目「COMPUTATION AS AGENCY」　　アブストラクト　 http://www.jaist.ac.jp/rcis/en/ seminar/advanced/7 JAIST 先端融合領域研究院　　小野寛晰 http://www.jaist.ac.jp/rcis/activities

1 0

ゲーム論的確率論に関する研究集会のご案内および講演募集 11/12~11/14
by Kenshi Miyabe 17 Sep '12

17 Sep '12

数理解析研究所の宮部です．ゲーム論的確率論の国際研究集会の案内を転送します．今回はランダムネスの発表も多くなる予定で，招待講演者としてLaurent Bienvenu, Bjorn Kjos-Hanssenが来る予定です．宮部 ----- ゲーム論的確率論と関連する話題に関する以下のような国際研究集会を開催いたします: http://kenshi.miyabe.name/gtp2012/ 集会名: Fourth Workshop on Game-Theoretic Probability and Related Topics (GTP2012) 日時: 2012年11月12日(月)〜14日(水) 場所: 東京大学本郷工学部6号館セミナー室A,D 招待講演者: Laurent Bienvenu, Gert de Cooman, Bjorn Kjos-Hanssen, Alexander Outkin, Glenn Shafer, Kazuyuki Tanaka, Vladimir Vovk, Vladimir V'yugin 集会の狙い: ゲーム論的確率論を一つの接点として，ランダムネス，(測度論的)確率論，数理統計などの幅広い分野の基礎を統一的に議論する．今回は特にランダムネスに関する最近の研究成果も紹介します．つきましては，国内より講演を募集いたします．期限: 10月6日(土) までに，講演タイトルと要旨をそえて，竹村あるいは宮部までメールでお申し込みください．旅費については，予算の範囲で講演者を中心に配分いたします．なお，本集会は FIRST 合原最先端数理モデルプロジェクト及び科学研究費基盤(A) 22240029 の支援を受けております．東京大学情報理工学系研究科竹村彰通 takemura(a)stat.t.u-tokyo.ac.jp 京都大学数理解析研究所宮部賢志 kmiyabe(a)kurims.kyoto-u.ac.jp -- Kenshi Miyabe email: kmiyabe(a)kurims.kyoto-u.ac.jp Researcher Research Institute for Mathematical Sciences, Kyoto University Kyoto 606-8502 Japan Tel: +81-75-753-7202 / Fax: +81-75-753-7272

1 0

Fwd: CAPEロジック・ワークショップ：講演追加のお知らせ
by 矢田部俊介 12 Sep '12

12 Sep '12

# 複数受け取られた場合はご容赦ください。 2012年9月18日（火）に京都大学文学研究科附属応用哲学・倫理学教育研究センター（CAPE）の主催にて開催されるCAPEロジック・ワークショップに、以下の講演が追加されます。 17:15-18:15 Greg Restall "Logical Constants and Focusing Disagreements" ご案内として以下をご転送いたします。皆様のご参加をお待ち申し上げます。矢田部俊介 ---------- Forwarded message ---------- From: Toshihiko TAKENAKA <t-take(a)rj8.so-net.ne.jp> Date: 2012/9/12 Subject: CAPEロジック・ワークショップ：講演追加のお知らせ To: CAPE(a)bun.kyoto-u.ac.jp 皆様 2012年9月18日（火）に京都大学文学研究科附属応用哲学・倫理学教育研究センター（CAPE）の主催にて開催されるCAPEロジック・ワークショップですが、以下の講演が追加されました。 17:15-18:15 Greg Restall "Logical Constants and Focusing Disagreements" 皆様のご参加をお待ち申し上げます。京都大学大学院文学研究科附属応用哲学・倫理学教育研究センター http://www.bun.kyoto-u.ac.jp/cape/cape-top_page/ 事務補佐　　竹中利彦〒606-0085 京都市左京区吉田本町　京都大学文学部内 CAPE(a)bun.kyoto-u.ac.jp --- 記 --- CAPEロジック・ワークショップ日時：2012年9月18日（火） 10時30分〜18時15分場所：京都大学文学部校舎二階第六講義室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm （8番の建物です）講演者・題目： 10:30-12:00 大西琢郎　 "Usefulness of deduction and Proof-Theoretic Semantics" 13:30-15:00 Shawn Standefer: "Truth and conditionals" 15:30-17:00 丸山善宏 "Categorical Harmony and Degrees of Paradoxity" 17:15-18:15 Greg Restall "Logical Constants and Focusing Disagreements" **************************************************************************** ********** CAPE Logic workshop Date : September 18 (Tuesday) Place:　 The 6th lecture room, 2nd floor, Faculty of letters, Kyoto University (building no.6 of the following map) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm *Schedule: 10:30-12:00 Takuro Onishi: "Usefulness of deduction and Proof-Theoretic Semantics" 13:30-15:00 Shawn Standefer: "Truth and conditionals" 15:30-17:00 Yoshihiro Maruyama: "Categorical Harmony and Degrees of Paradoxity" 17:15-18:15 Greg Restall "Logical Constants and Focusing Disagreements" *Abstracts (1)Speaker: Takuro Onishi Title: Usefulness of deduction and Proof-Theoretic Semantics Abstract: Michael Dummett’s anti-realist theory of meaning is considered to provide a philosophical basis of proof-theoretic semantics, which is an inferentialis approach to logical validity. Unfortunately, in the debate of proof-theoretic semantics, due attention has not been paid to his fundamental consideration on the nature of deductive inference, in which he emphasizes its usefulness or fruitfulness as well as its validity. That is, deduction is a special kind of activity of extending our knowledge. Dummett represents it as involving a certain tension between validity and usefulness, and tries to reconcile it against the background of his own meaning theory. In this talk I present Dummett’s view on deduction, and compare it with G.Restall’s bilateralist explication of logical consequence which would justify classical logic. (2)Speaker: Shawn Standefer Title: Truth and conditionals Abstract: Some recent approaches to truth have adopted the strategy of enriching the underlying logic with a new conditional. I will provide some background on these approaches and distinguish different roles that such conditionals play in the theory. I will show how this distinction plays out in an extension of the revision theory of truth and use the distinction to offer a philosophical defense of that theory. (3)Speaker: Yoshihiro Maruyama Title: Categorical Harmony and Degrees of Paradoxity Abstract: Prior's weird connective "tonk" compelled logicians to articulate the concept of a logical constant, eventually giving rise to developments of proof-theoretic semantics in the spirit of inferentialism, and to the notion of proof-theoretic harmony in particular, which works as a criterion to judge if a connective is a proper logical constant or not. Different concepts of harmony have been proposed and discussed by Belnap, Dummett, and many others. Building upon Lawvere's understanding of logic via category theory, I formulate a categorical concept of harmony relativised to primitive vocabulary, and compare it with other notions of harmony. The categorical conception of harmony leads us to a novel analysis of the nature of tonk: namely, the problem of tonk is the problem of equivocation in terms of adjoint functors. It finally turns out that there are different degrees of paradoxity of logical constants from a categorical perspective. (4)Speaker: Greg Restall Title: Logical Constants and Focusing Disagreements Abstract: For expressivists about logic (such as Robert Brandom and Jaroslav Peregrin), logical vocabulary gives us means to do more than we could without it. With concepts such as negation, conjunction, conditionality, and the quantifiers, we can express contents which would otherwise be out of reach to us. However, in another sense, logical vocabulary seems to be neutral with regard to content. It does not seem to add any new subject matter to our thoughts or conversations. I will attempt to explain why a certain class of logical expressions (including the standard propositional connectives, first order quantifiers, and perhaps some modal operators) give us means to extend our expressive resources without adding new subject matter, by attending to the role special that logical vocabulary can play in articulating disagreements.

1 0

Final CFP: JURISIN2012
by Makoto Nakamura 11 Sep '12

11 Sep '12

（重複して受け取られた場合はご容赦ください）名古屋大学の中村と申します。法情報学に関する国際ワークショップ JURISIN2012 の Final CFP をお送りします。今年の１１月３０日から１２月１日にかけて宮崎で開催されます。投稿締め切りが９月２４日まで延長されましたので、多数のご投稿をお待ちしております。 [Apologies for multiple copies] --------------------------------------------------- Final Call for Papers (Deadline extended to Sep 24, 2012): Sixth International Workshop on Juris-informatics (JURISIN 2012) Nov.30 - Dec. 1, 2012 http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ Amusement Zone Miyazaki (The JA-AZM Hall) Kirishima 1-1-1, Miyazaki, Japan with a support of The Japanese Society for Artificial Intelligence in association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012) **** Submission Deadline: September 24, 2012 (extended) **** **** 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 **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2012 (The 25th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2012 is as follows: 1. Papers being submitted both to JURISIN2012 and JURIX2012 must note this on the title page. 2. A paper to be presented at JURISIN2012 must be withdrawn from JURIX2012 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2012. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** 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) **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2012 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2012 post-proceedings as a volume of LNAI. If it is the case, 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. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009), LNAI6797(JURISIN2010) and LNAI7258(JURISIN2011), respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2012. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (mnakamur ((at)) law.nagoya-u.ac.jp) for details. **** Important Dates **** Submission Deadline: September 24, 2012 (extended) Notification: October 22, 2012 (extended) Camera Ready Copy due: November 5, 2012 (extended) JURISIN 2012: November 30 - December 1, 2012 **** Workshop Chair **** Makoto Nakamura, Nagoya University, Japan Katsuhiko Toyama, Nagoya University, Japan **** Organizing Committee Members **** Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan **** 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, The 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, 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, The 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/ **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html JURISIN2011 http://research.nii.ac.jp/~ksatoh/jurisin2011.html For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp".

1 0

SLACS2012参加案内およびプログラム（9/9 ver. 再送）
by Hiroyuki Miyoshi 09 Sep '12

09 Sep '12

（メールが一部上手く届かないようなので再送致します。重複された方は申し訳ありません。） SLACS2012講演者の方々および参加者を考慮されている皆様， 9/15-16に開催されるSLACS2012の参加案内およびプログラムの 9/9 ver.をお送りします。前回との変更点は以下の通りです。 * 司会のことを考慮して9/16の蓮尾一郎さん，丸山善宏さん， Michele Basaldellaさんの順序を変更しました。もしご都合が悪ければご連絡をよろしくお願いいたします。 * 蓮尾一郎さん，小林聡さん，佐藤雅大の講演時間短縮をなくしました。既に研究会直前ですので前回のアナウンス通りに 15分以上短縮されても昼食や終了が前倒しになるだけで大丈夫なようにしてあります。講演予定に合わせてお決め下さい。 * 懇親会の時間を30分繰り上げました。なお，ウェブページを作成いたしましたので今後の変更はそちらに反映していきます。 http://www.cc.kyoto-su.ac.jp/~hxm/slacs2012.html ---------------------------------------------------------- SLACS2012研究会への参加案内第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わる講演が広く行われます。開催要項開催日：2011年9月15日（土）13:00 〜 9月16日（日）18:20 場所：京都産業大学むすびわざ館〒600-8533 京都市下京区中堂寺命婦町1-10 Tel.075-277-1600　Fax.075-277-1699 （京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス：最寄り駅はJR丹波口駅および阪急大宮駅 http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 研究会参加について申し込みも費用も不要です（懇親会については後述）。皆様ふるってご参加よろしくお願いいたします。懇親会は9月15日18:00-20:00に予定しています．かごの屋五条七本松店 075-326-1165 http://www.kinrei.com/shop/spec/?shop_id=42 http://r.gnavi.co.jp/k539974/ （ぐるなび）懇親会の参加・不参加については事前に三好（hxm(a)cc.kyoto-su.ac.jp) まで連絡して頂けると助かります。（9/15の15:00頃に人数を確定して私が店に連絡致します。予算3-4千円程度）。梗概については本研究会のウェブページ http://www.cc.kyoto-su.ac.jp/~hxm/slacs2012.html を御覧下さい。現在まだ，題目・梗概が未定の方は連絡をよろしくお願い致します。 ---- 世話人：京都産業大が理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------------------------------------------------------- SLACS2012 プログラム 9/15（土曜日） 13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部） 13:35-14:05 オラクルの圏論的記述―終対象の一般化として― 吉村和人（JAIST） 14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科） 14:40-15:00 休憩20分 15:00-15:30 論理CDの補完定理について河野友亮（東京工業大学情報理工学研究科） 15:35-16:05 様相Lukasiewicz論理の公理化について岩波克（東京工業大学情報理工学研究科） 14:40-15:00 休憩20分 16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所） 16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型龍田真（国立情報学研究所） 17:15-17:30 ビジネスミーティング（次回開催について） 18:00-20:00 懇親会 9/16（日曜日） 10:00-11:00 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University） 11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科） 12:10-13:30 昼食 13:30-14:15 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST) 14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST) 15:05-15:35 ゲーム論的確率論入門宮部賢志（京都大学数理解析研究所） 15:35-15:55 休憩20分 15:55-16:40 戦略的論理式松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻） 16:45-17:30 未定小林聡（京都産業大学コンピュータ理工学部） 17:35-18:35 未定（Coqによる数学について）佐藤雅大（名古屋大学多元数理科学研究科） 18:35-18:40 次回予定アナウンスおよび挨拶 ----

1 0

SLACS2012プログラムおよび梗概(9/9 ver.)
by Hiroyuki Miyoshi 09 Sep '12

09 Sep '12

SLACS2012講演者および参加を考慮されている皆様，プログラムおよび梗概をお送り致します。京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------------------------------------------------------- 9/15（土曜日） 13:00-13:30 鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部）題目：三角形に関する平面ユークリッド幾何への数式処理の応用梗概：未定 13:35-14:05 吉村和人（JAIST）題目：オラクルの圏論的記述―終対象の一般化として―TTE (Type-2 Theory of Effectivity) は計算可能解析学の枠組みの一つである．TTEでの初等的な事実の一つとして，(計算可能性概念の導入された) ある種の位相空間の間の写像に対してはオラクル計算可能性と位相的連続性が一致するというものがある．本発表では左記事実の圏論的特徴づけについて現状得られている結果の紹介を行う．具体的には，factorization systemを伴う圏のうち適当な性質を満たすものの上で: オラクルの概念の再現; オラクル計算可能性と位相的連続性の一致に相当する命題の特徴づけ: 左記2点を吟味する． 14:10-14:40 江口直日（東北大学理学研究科）題目：Rewriting Apploaches to Computational Complexity and Complexity Analysiss by Rewriting 梗概：関数型言語により定義できる関数の多くは停止性を持つ項書き換えシステムとして表現することができる．現在まで多項式解釈，行列解釈，リダクション順序など項書き換えシステムの停止性を証明する方法が知られている．こうした停止性の証明により，しばしば停止性だけでなく時間計算量と深く関係する書き換え回数の上限を求めることができる．本講演では経路順序と呼ばれるリダクション順序による計算量解析法についてM. Avanzini, G. Moser (共に University of Innsbruck)との共同研究の成果を報告する．さらに新しく導入する経路順序は多項式時間計算量に対して完全となることを説明する． 14:40-15:00 休憩20分 15:00-15:30 河野友亮題目：論理CDの補完定理について梗概：中間論理のひとつであるCD において、クレイグの補間定理が成り立たないことが[1]によって証明された。そのおおまかな内容の解説に加え、CDを少し変えた論理でもクレイグの補間定理が成り立たないことが[1]と同様の手法で証明できることを示す。 [1] Failure of interpolation in the intuitionistic logic of constant domains, Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart 15:35-16:05 岩波克（東京工業大学情報理工学研究科）題目：様相Lukasiewicz論理の公理化について梗概：Lukasiewicz論理の様相論理化にはいくつかの流儀が知られているが、最も自然と思われる、Kripke modelを用いて様相論理化したものの公理について考える。 14:40-15:00 休憩20分 16:10-16:40 龍田真（国立情報学研究所）題目：Non-Commutative First-Order Sequent Calculus 梗概：非可換一階シーケント計算NCLKについて講演する。まず、非可換 positive fragment を普通の一階シーケント計算で前件にグループがあり右交換規則のない論理体系LK-に拡張する。次のことを示す。 (1) NCLK は LJ に同等、(2) NCLKに交換規則を追加するとLKに同等になる、(3) LK-はLJに同等、(4) LK-とNCLKの間の翻訳。 16:45-17:15 龍田真（国立情報学研究所）題目：TLCA未解決問題20番: 遺伝的置換子の型梗概：TLCA未解決問題20番とは遺伝的置換子を特徴付ける型システムを見つけよという問題である．本講演はこれに答える．まず，遺伝的置換子全体が枚挙不可能であることを示すことにより，そのような型システムが存在しないことを証明する．次に，最善解として，可算無限個の型を与え，項がそのすべての型をもつこととその項が遺伝的置換子であることが同等であることを証明する．本講演はLICS2008と同じ内容である。 17:15-17:30 ビジネスミーティング（次回開催について） 18:00-20:00 懇親会 9/16（日曜日） 10:00-11:00 丸山善宏（Oxford University）題目：Duality, Quantum Symmetry and Categorical Logic 梗概：After an introduction to duality theory, this talk is two-fold while duality works as a unifying theme. In the first part, we aim at articulating Chu Duality hidden in Categorical Quantum Mechanics (i.e., dagger-compact categories), thereby giving coalgebraic and logical characterizations of quantum symmetries. In the second part, we develop the framework of Categorical Universal Logic building upon Lawvere's idea of hyperdoctrine, in which duality theory can be exploited to find various models of logic and set theory. From this perspective, we discuss the following issues: Lawvere-Tierney topology; the tripos-topos construction; and categorical quantum logic. 11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科）題目：Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications 梗概： *Hybrid systems* are those which exhibit both discrete "jump" and continuous "flow" dynamics. Their importance---as components of *cyber-physical systems*---is paramount now that more and more physical systems (cars, airplanes, etc.) are controlled with computers. There are naturally two directions towards the study of hybrid systems: *control theory* (typically continuous) and *formal verification* (typically discrete). For us from the formal verification community, therefore, the big challenge is how to incorporate continuous "flow" dynamics. Many existing techniques---such as hybrid automaton or Platzer’s differential dynamic logic---include differential equations explicitly. This incurs a difficult (and very interesting) question of how to handle differential equations. In our project we take a different path of *turning flow into jump*---more precisely into infinitely many jumps each of which is infinitesimal (i.e. infinitely small). This makes everything discrete jump dynamics, to which all the discrete techniques accumulated in the community of formal verification readily apply. This venture is mathematically supported by *nonstandard analysis*, where we can rigorously speak about infinites and infinitesimals. In the talk I will lay out: 1) our framework of a while-language and a Hoare-style program logic, augmented with an infinitesimal constant, for modeling and verification of hybrid systems; 2) how discrete verification techniques can be *transferred*, as they are, to hybrid applications, via the celebrated *transfer principle* in nonstandard analysis; and 3) the overview of our prototype automatic prover. The talk is based on the joint work with Kohei Suenaga, Kyoto University. References: [1] Kohei Suenaga and Ichiro Hasuo. Programming with Infinitesimals: A While-Language for Hybrid System Modeling. Proc. ICALP 2011, Track B. LNCS 6756, p. 392-403. Springer-Verlag. [2] Ichiro Hasuo and Kohei Suenaga. Exercises in Nonstandard Static Analysis of Hybrid Systems. To appear in Proc. CAV 2012. 12:10-13:30 昼食 13:30-14:15 Michele Basaldella (JAIST) （この講演は英語で行われます）演題：An interactive semantics for classical arithmetic 梗概：In this talk, we introduce a sequent calculus which is a variant of some well-known proof-systems introduced by Novikoff, Tait, Coquand, and Herbelin. A common - and perhaps the most interesting - aspect of these kinds of calculi is that they can be used to provide a simple and elegant formulation of syntactical derivability for first order classical arithmetic... at a reasonable price: we have to consider infinitary formulas and infinitary derivations, rather than the usual finitary ones. In more detail, we will talk about a calculus which has the following features: * we derive sequents (finite multisets) of infinitary propositional formulas, * some inference rules may have an infinite number of premises, * derivations are infinitary trees made of sequents. We also require that both formulas and derivations are (infinitary) well-founded objects, which means that both formulas and derivations can be defined inductively. The main purpose of this talk is to define an interactive semantics for derivations strongly inspired by Girard's ludics. The target of this analysis is not the derivability predicate 'the formula A is derivable' as traditionally in logic, but the more subtle - and deeper - statement 'p is a proof of the formula A'. Specifically, we define a notion of untyped derivation and a procedure of interaction (a kind of cut-elimination procedure) between these untyped objects. Next, we we define two relations 'PROVES' and 'INTERACTIVELY' between untyped derivations 'p' and formulas 'A' such that * 'p PROVES A' is defined inductively, it corresponds to 'p is a proof of the formula A' in the sequent calculus. * 'p INTERACTIVELY A' holds whenever the interaction between 'p' and all the tests for 'A' (special derivations associated to 'A' ) terminates. We finally show a soundeness-and-completeness theorem: 'p PROVES A' if and only if 'p INTERACTIVELY A'. 14:15-15:00 木原貴行(JAIST) 題目：On some variants of the Jayne-Rogers THeorem via the Posner-Robinson Join THeorem 梗概：位相空間上の関数 F が (m,n)-可測であるとは，ボレル階層の第 m 段階に属す集合の F による逆像が常にボレル階層の第 n 段階に属すことである．20世紀初頭，ルージンは任意のボレル可測関数は可算個の連続関数に分解可能か，すなわち可算的連続かどうか尋ねた．ルージン問題は1930年代に否定的解決が与えられ，現在では，m が n 未満ならば，可算的連続でない (m,n)-可測関数が存在することが知られている．その一方，Jayne-Rogers (1984) は， (2,2)-可測性と区分的連続性が同値であることを示した． Jayne-Rogers の定理の(n,n)-可測性への拡張，乃至，ボレル可測関数の階層における可算的連続性の境界の発見は，現代の実解析学における重要な問題の一つである．本発表では，連続的(n,n)-可測性の概念を定義し，チューリング次数の代数的構造に関する Posner-Robinson Join Theorem (1981) を介して，次の 5条件の同値性を与える：「連続的 (n+1,n+1)-可測」「連続的(2,n+1)-可測かつ可算的連続」「離散ベール第 n 類」「 n 世代神託学習によって同定可能」「第 n 階区分的連続」 15:05-15:35 宮部賢志（京都大学数理解析研究所）題目：ゲーム論的確率論入門梗概：ゲーム論的確率論では測度を使わずに確率の理論を展開する．その手法はランダムネスの理論に強く影響を受けており，証明では多くの場面でアルゴリズムを作ることが要求される．そこで何らかの形でコンピュータ科学にも参考になることを期待して，ゲーム論的確率論の基本的な考え方を解説する． 15:35-15:55 休憩20分 15:55-16:40 松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻）題目：戦略的論理式梗概：戦略の定義を、Strategic formulaによって表現されるような写像のことと改めることによって、自然な戦略の理論の構築を目指す。R_G,n という命題論理の言語を定め、ここの論理式の内で戦略を表現するようなものをStarategic formula と呼ぶ。この枠組みによって、人が事実上用いることができる戦略の定義や、戦略の複雑さの妥当な定義が可能となる。我々の方法の応用として、ゲーム理論における最も有名な定理の一つであり、哲学的な問題点も併せ持った、The perfect folk theorem の解析を試みる。 16:45-17:30 小林聡（京都産業大学コンピュータ理工学部）題目：未定梗概：未定 17:35-18:35 佐藤雅大（名古屋大学多元数理科学研究科）題目：未定（Coqによる数学について）梗概：今回は私がCoqを用いて直観主義的集合論に基づいた数学の理論を構築したことについて発表する。Coqで集合論を展開するという試みはたくさん存在するが、今回は「Coqで集合論を展開した」ということより「Coqで展開できた集合論の上でどのように数学が展開できたか」という点に焦点を置いて発表したい。 18:35-18:40 次回予定アナウンスおよび挨拶

1 0

SLACS2012参加案内およびプログラム（9/9 ver.）
by Hiroyuki Miyoshi 09 Sep '12

09 Sep '12

SLACS2012講演者の方々および参加者を考慮されている皆様， 9/15-16に開催されるSLACS2012の参加案内およびプログラムの 9/9 ver.をお送りします。前回との変更点は以下の通りです。 * 司会のことを考慮して9/16の蓮尾一郎さん，丸山善宏さん， Michele Basaldellaさんの順序を変更しました。もしご都合が悪ければご連絡をよろしくお願いいたします。 * 蓮尾一郎さん，小林聡さん，佐藤雅大の講演時間短縮をなくしました。既に研究会直前ですので前回のアナウンス通りに 15分以上短縮されても昼食や終了が前倒しになるだけで大丈夫なようにしてあります。講演予定に合わせてお決め下さい。 * 懇親会の時間を30分繰り上げました。 ---------------------------------------------------------- SLACS2012研究会への参加案内第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く行われます。開催要項開催日：2011年9月15日（土）13:00 〜 9月16日（日）18:20 場所：京都産業大学むすびわざ館〒600-8533 京都市下京区中堂寺命婦町1-10 Tel.075-277-1600　Fax.075-277-1699 （京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス：最寄り駅はJR丹波口駅および阪急大宮駅 http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 研究会参加について申し込みも費用も不要です（懇親会については後述）。皆様ふるってご参加よろしくお願いいたします。懇親会は9月15日18:00-20:00に予定しています．かごの屋五条七本松店 075-326-1165 http://www.kinrei.com/shop/spec/?shop_id=42 http://r.gnavi.co.jp/k539974/ （ぐるなび）懇親会の参加・不参加についても事前に連絡して頂けると助かります。（9/15の15:00頃に人数を確定して私が店に連絡致します。予算3-4千円程度）。梗概については長くなりますので別のメールでお送り致します。現在まだ，題目・梗概が未定の方は連絡をよろしくお願い致します。 ---- 京都産業大が理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------------------------------------------------------- SLACS2012 プログラム 9/15（土曜日） 13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部） 13:35-14:05 オラクルの圏論的記述―終対象の一般化として― 吉村和人（JAIST） 14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科） 14:40-15:00 休憩20分 15:00-15:30 論理CDの補完定理について河野友亮（東京工業大学情報理工学研究科） 15:35-16:05 様相Lukasiewicz論理の公理化について岩波克（東京工業大学情報理工学研究科） 14:40-15:00 休憩20分 16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所） 16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型龍田真（国立情報学研究所） 17:15-17:30 ビジネスミーティング（次回開催について） 18:00-20:00 懇親会 9/16（日曜日） 10:00-11:00 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University） 11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科） 12:10-13:30 昼食 13:30-14:15 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST) 14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST) 15:05-15:35 ゲーム論的確率論入門宮部賢志（京都大学数理解析研究所） 15:35-15:55 休憩20分 15:55-16:40 戦略的論理式松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻） 16:45-17:30 未定小林聡（京都産業大学コンピュータ理工学部） 17:35-18:35 未定（Coqによる数学について）佐藤雅大（名古屋大学多元数理科学研究科） 18:35-18:40 次回予定アナウンスおよび挨拶 ----

1 0

CAPEロジック・ワークショップのお知らせ
by 矢田部俊介 07 Sep '12

07 Sep '12

# 複数受け取られた場合はご容赦ください。今月9月18日（火）の 10時30分〜17時に、京都大学文学部校舎二階第六講義室において、CAPEロジック・ワークショップのご案内をご転送いたします。皆様のご参加をお待ち申し上げます。矢田部俊介 --------- 皆様京都大学文学研究科附属応用哲学・倫理学教育研究センター（CAPE）の主催にて、 CAPEロジック・ワークショップが下記のように開催されます。皆様のご参加をお待ち申し上げます。京都大学大学院文学研究科附属応用哲学・倫理学教育研究センター http://www.bun.kyoto-u.ac.jp/cape/cape-top_page/ 事務補佐　　竹中利彦〒606-0085 京都市左京区吉田本町　京都大学文学部内 CAPE(a)bun.kyoto-u.ac.jp --- 記 --- CAPEロジック・ワークショップ日時：2012年9月18日（火） 10時30分〜17時場所：文学部校舎二階第六講義室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm （8番の建物です）講演者・題目： 10:30-12:00 大西琢朗　 "Usefulness of deduction and Proof-Theoretic Semantics" 13:30-15:00 Shawn Standefer: "Truth and conditionals" 15:30-17:00 丸山善宏 "Categorical Harmony and Degrees of Paradoxity" **************************************************************************** ********** CAPE Logic workshop Date : September 18 (Tuesday) Place:　 The 6th lecture room, 2nd floor, Faculty of letters, Kyoto University (building no.6 of the following map) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm *Schedule: 10:30-12:00 Takuro Onishi: "Usefulness of deduction and Proof-Theoretic Semantics" 13:30-15:00 Shawn Standefer: "Truth and conditionals" 15:30-17:00 Yoshihiro Maruyama: "Categorical Harmony and Degrees of Paradoxity" *Abstracts (1)Speaker: Takuro Onishi Title: Usefulness of deduction and Proof-Theoretic Semantics Abstract: Michael Dummett’s anti-realist theory of meaning is considered to provide a philosophical basis of proof-theoretic semantics, which is an inferentialis approach to logical validity. Unfortunately, in the debate of proof-theoretic semantics, due attention has not been paid to his fundamental consideration on the nature of deductive inference, in which he emphasizes its usefulness or fruitfulness as well as its validity. That is, deduction is a special kind of activity of extending our knowledge. Dummett represents it as involving a certain tension between validity and usefulness, and tries to reconcile it against the background of his own meaning theory. In this talk I present Dummett’s view on deduction, and compare it with G.Restall’s bilateralist explication of logical consequence which would justify classical logic. (2)Speaker: Shawn Standefer Title: Truth and conditionals Abstract: Some recent approaches to truth have adopted the strategy of enriching the underlying logic with a new conditional. I will provide some background on these approaches and distinguish different roles that such conditionals play in the theory. I will show how this distinction plays out in an extension of the revision theory of truth and use the distinction to offer a philosophical defense of that theory. (3)Speaker: Yoshihiro Maruyama Title: Categorical Harmony and Degrees of Paradoxity Abstract: Prior's weird connective "tonk" compelled logicians to articulate the concept of a logical constant, eventually giving rise to developments of proof-theoretic semantics in the spirit of inferentialism, and to the notion of proof-theoretic harmony in particular, which works as a criterion to judge if a connective is a proper logical constant or not. Different concepts of harmony have been proposed and discussed by Belnap, Dummett, and many others. Building upon Lawvere's understanding of logic via category theory, I formulate a categorical concept of harmony relativised to primitive vocabulary, and compare it with other notions of harmony. The categorical conception of harmony leads us to a novel analysis of the nature of tonk: namely, the problem of tonk is the problem of equivocation in terms of adjoint functors. It finally turns out that there are different degrees of paradoxity of logical constants from a categorical perspective. All slot consist of 60 minutes talk and 30 minutes discussion.

1 0

研究集会案内：証明論と複雑性
by Suzuki Toshio 07 Sep '12

07 Sep '12

　研究集会案内（複数お受け取りの場合はご容赦ください）首都大学東京の鈴木登志雄です。以下の研究集会に多数の講演・参加申込みをありがとうございます。参加申込みをされていない方の当日参加も歓迎しますので、お気軽にお越しください。 ------------------------------------------------------------------ ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」期間　２０１２年９月１２日（水）午後から１４日（金）午後場所　京都大学数理解析研究所４２０号室 http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html ------------------------------------------------------------------ 講演プログラムは上記サイトに掲載してあります。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki [atmark] tmu.ac.jp

1 0

第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ご案内
by Yoshinori Tanabe 07 Sep '12

07 Sep '12

(重複の場合はご容赦ください．メール送信は田辺@NIIが行っています．) 東京工業大学の権藤と京都大学の勝股と申します．来年3月に福島県会津若松東山温泉で開催される第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) のご案内です．詳細な投稿方法などは決定次第，下記ワークショップwebページにてお知らせしますので，ご投稿，ご参加をご検討ください． -------------------------------------------------------------------------- 第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013） http://www.pllab.riec.tohoku.ac.jp/ppl2013/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2013年3月4日(月)〜3月6日(水) 会場: 福島県会津若松東山温泉「御宿東鳳」http://www.onyado-toho.co.jp/ PPL2013は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2013参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ１で発表された研究のうち，PPL2013プログラム委員会として優れていると認めるものは，PPL2013終了後（2013年4月下旬予定），「コンピュータソフトウェア」誌PPL2013推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ２（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが，国内では未発表な研究の紹介をする場です．採録決定済みの研究も含みます．PPLへの関連をもとに採録を判定いたします．カテゴリ３（ポスター・デモ発表） ------------------------------------------ ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申込多数の場合は抽選によって採否を決定する可能性があります．なお，PPL2013 ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません． ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．カテゴリ１（国内外未発表論文） ------------------------------ 投稿手続きは二段階です．発表申込を行った上で論文提出を行って下さい．発表申込先： EasyChair による申し込みを予定しています．発表申込締切：2012年12月21日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度もしくは英語200 words程度）を提出してください．論文提出締切：2013年1月11日(金) 17:00 (JST) 10ページ程度（最大15ページ）の論文（英語もしくは日本語，PDF形式）を提出して下さい．採否通知：2013年2月4日(月) 最終原稿提出締切：2013年2月15日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ１への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記して下さい．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ２（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議または学術雑誌等の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込先： submit-ppl2013 [at] kurims.kyoto-u.ac.jp （[at]を@に置き換えて下さい）発表申込締切：2013年1月23日(水) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せて上記申込先宛にお送り下さい．採否通知：2013年2月4日(月) 最終原稿提出締切：2013年2月15日(金) 17:00 (JST) カテゴリ３（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行なわずに募集いたします．デモを行なう場合は，発表概要においてその旨をご説明ください．発表申込先： submit-ppl2013 [at] kurims.kyoto-u.ac.jp （[at]を@に置き換えて下さい）発表申込締切：2013年2月6日(水) 17:00 (JST) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．採否通知：2013年2月15日(金) 問い合わせ先：oc-ppl2013 [at] kurims.kyoto-u.ac.jp （[at]を@に置き換えて下さい） ====================================================================== プログラム委員会青木利晃 (北陸先端科学技術大学院大学) 青谷知幸 (北陸先端科学技術大学院大学) 天野俊一 (IBM東京基礎研究所) 磯部祥尚 (産業技術総合研究所) 岩見宗弘 (島根大学) 角谷良彦 (東京大学) 勝股審也 (京都大学) [プログラム共同委員長] 小宮常康 (電気通信大学) 権藤克彦 (東京工業大学) [プログラム共同委員長] 田浦健次朗 (東京大学) 高田喜朗 (高知工科大学) 田辺良則 (国立情報学研究所) 中田景子 (Institute of Cybernetics at Tallinn University of Technology) 中野圭介 (電気通信大学) 長谷部浩二 (筑波大学) 番原睦則 (神戸大学) 松崎公紀 (高知工科大学) 実行委員会上野雄大 (東北大学電気通信研究所) [実行委員長] 鵜川始陽 (電気通信大学) [実行副委員長] 勝股審也 (京都大学) [プログラム共同委員長] 権藤克彦 (東京工業大学) [プログラム共同委員長] -------------------------------------------------------------------------- 田辺良則国立情報学研究所 GRACEセンター y-tanabe(a)nii.ac.jp

1 0

APLAS 2012: Call for Posters and Demos
by Kohei SUENAGA 07 Sep '12

07 Sep '12

# 複数受け取られた場合はご容赦ください。京都大学の末永幸平と申します。 12月11〜13日に京都で開催される APLAS 2012 のポスター・デモ募集のお知らせをお送りします。今年の APLAS はせっかくの国内開催ですので、多数のご発表をお待ち申し上げております。末永幸平京都大学白眉センター ksuenaga(a)fos.kuis.kyoto-u.ac.jp -- 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) Call for Poster and Demos APLAS 2012 will include a poster and demo session during the conference. The poster session aims to give students and professionals an opportunity to present technical materials to the research community, and to get responses from other researchers in the field. This year, accepted posters will be presented in the main hall so that presenters have much opportunity of discussion during breaks. Standing by the poster on each break is not mandatory, though. * Scope Poster and demo contributions are sought in all areas of programming languages and systems, including the following topics: - semantics, logics, foundational theory; - design of languages and foundational calculi; - type systems; - compilers, interpreters, abstract machines; - program derivation and transformation; - program analysis, verification, model-checking, software security; - concurrency, constraints, domain-specific languages; - tools for programming, verification, implementation. * Format of Posters A space of A1 paper size (594 mm wide and 841 mm high) will be provided for each presentation. AC Power outlet of 100V will be also provided during the poster & demo session. If you need more space and facilities, contact the poster chair (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp). * Submission Each presenter should e-mail a 1-2 page abstract in PDF to the poster chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by October 5th 2012. The abstract should include the title, author(s), affiliation(s) and summary of the work. The program of the poster session will be announced by October 29th, 2012. We hope to accommodate every poster, but may restrict presentations (based on relevance and interest to the community) due to space constraints. * Important Dates Submission deadline: October 5th, 2012 Notification: October 29th, 2012 * Contact Poster chair: Kohei Suenaga (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml