Logic-ml November 2012

16 participants
21 discussions

セミナーのご案内(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 09 Nov '12

09 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 05 Nov '12

05 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml November 2012