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

CFP: (締切延長)第84回プログラミング研究会発表募集
by Takahito Aoto 15 Apr '11

15 Apr '11

皆様， 6月に函館で開催予定の，情報処理学会第84回プログラミング研究会の発表申込締切が一週間ほど延長になりました．発表申込時点で必要なのはタイトルと概要などとなっております．また，投稿を伴なわない発表も受けつけております． http://www.ipsj.or.jp/sig/pro/trans-author.html 投稿・発表について今一度ご検討いただければ幸いです． --- 青戸等人東北大学電気通信研究所 http://www.nue.riec.tohoku.ac.jp/user/aoto/ ------------------------------------------------------------------ ＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊【発表申込締切が 4/22(金) に延長されました】この場を借りて2011年度第1回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2011年6月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切が4月22日に延長されましたので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第84回プログラミング研究会(PRO-2011-1)発表募集日程: 2011年6月14日(火)・15日(水) 会場: サン・リフレ函館〒040-0034 北海道函館市大森町2-14 JR函館駅より徒歩15分発表申込締切: 2011年4月22日(金)【延長されました】投稿論文原稿提出締切: 2011年5月14日(土) 申込先: 青戸等人 (東北大学電気通信研究所) E-mail: aoto [at] nue.riec.tohoku.ac.jp Tel: 022-217-5420 / Fax: 022-217-5426 (電気通信研究所) 案内ページ: http://www.nue.riec.tohoku.ac.jp/pro-2011-1/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい． ------------------------------------------------------------------

1 0

助教公募（北陸先端科学技術大学院大学情報科学研究科）
by Hajime Ishihara 15 Apr '11

15 Apr '11

皆様、北陸先端大の石原です。北陸先端科学技術大学院大学情報科学研究科では以下のように、助教の公募を行っております。専門の例示にとらわれず、数理論理学・数学基礎論関連分野から多数の応募をお待ちしております。関係の方々への周知のため、参加されているメーリングリストやお心当たりの方へ転送していいただければ幸いです。公募人員　　理論情報科学領域　助教（任期付）１名専門分野　　数理論理学・数学基礎論着任時期　　平成23年10月１日以降出来る限り早い時期任期　　　　　５年 (再任あり) 応募締切　　平成23年6月27日（月）必着詳しい公募要領は http://www.jaist.ac.jp/jimu/syomu/koubo/logic.html でご覧いただけます。北陸先端科学技術大学院大学情報科学研究科に関しては http://www.jaist.ac.jp/is/2008ja/index.html をご覧ください。どうぞよろしくお願いいたします。 -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

PhD Program: Call for applications
by Bertram Fronhöfer 09 Apr '11

09 Apr '11

Please pass on this CALL FOR APPLICATIONS to all people who might be interested in. ====================================================== European PhD Program in Computational Logic (EPCL) ====================================================== http://www.epcl-study.eu/ CALL FOR APPLICATIONS The European PhD Program in Computational Logic (EPCL) is run jointly by four of the leading European universities in the field: - Free University of Bozen-Bolzano (Italy), - Technische Universit�t Dresden (Germany), - Technische Universit�t Wien (Austria), and - Universidade Nova de Lisboa (Portugal). Further international universities, research organizations and enterprises which contribute to Computational Logic or apply results from it are involved as associated partners: The Simon Fraser University (Canada), the Universidad de Chile, the National ICT Australia Limited (NICTA), and several companies. The program involves three years of PhD study in at least two of the European partner universities. It leads to a joint doctoral degree of the partner universities at which the studies have been physically performed. The language of the program is English. Financial support is available in the form of positions and scholarships. Necessary requirements for participation in EPCL are a Master's degree in Computer Science or Mathematics, or an equivalent degree; the proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence and Declarative Programming. The program will start on 1 October 2011. Applications have to be electronically submitted on the Webpage http://www.epcl-study.eu/, before the ======================================= Application Deadline on 15 May 2011 ======================================= If you have enquiries, please do not hesitate to contact the coordinator of the program Prof. Steffen H�lldobler Technische Universit�t Dresden Fakult�t Informatik International Center for Computational Logic Email: sh(a)iccl.tu-dresden.de Phone: +49 (351) 463 38340 EPCL is supported by the German Federal Ministry of Education and Research (BMBF) within the German Academic Exchange Service (DAAD) program International Doctorates in Germany (IPID).

1 0

Call for Contribution and Participation: RIMS Workshop "ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics"
by Ichiro Hasuo 07 Apr '11

07 Apr '11

(English version below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学コンピュータ科学専攻の蓮尾です．京都大学数理解析研究所で行うワークショップ ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics RIMS Workshop, Mon 16 - Wed 18 May 2011 https://sites.google.com/site/acanws/ へのお誘いです．現在（3月から5月まで），アムステルダム大学 ILLC の Yde Venema さんが客員教授として京大数理研に滞在されています．Yde さんは様相論理の教科書 (Blackburn-de Rijke-Venema)などで高名な論理学者で，近年は特に余代数的様相論理 coalgebraic modal logic の分野で活躍なさっています． http://staff.science.uva.nl/~yde/ この機会に，Yde さんのご研究分野である様相論理をはじめとしたさまざまな非古典論理と，彼の最近のアプローチである代数・余代数・圏論的手法とをコアトピックとして，数理研での研究集会を企画しました．まず，講演者として以下のかたがたに参加いただきます： Yde Venema さん，Raul Leal さん (ILLC, University of Amsterdam) Jose Gil-Ferez さん， Milan Petrik さん (JAIST) 佐野勝彦さん，丸山善宏さん（京都大学大学院文学研究科）さらに，オーガナイザーによるチュートリアル Algebraic Approaches to Substructural Logics （照井） Coalgebra for Modal Logic(ians) （蓮尾）も企画しています．みなさま，ぜひご参加ください！ - ぜひ講演をご検討ください．非古典論理・代数・余代数の一つでもかすっていれば大歓迎です！ - 国内からの参加者の方には，旅費の補助があります．(予算が限られています．ごめんなさい) - ちょうど親鸞750回忌と重なって，京都市内のホテルが大混雑です．宿泊の予約はぜひお早めに．また，数理研の宿泊施設「北白川学舎」の予約も受け付けます(部屋数限りあり)．詳しい情報，参加登録，講演登録については，ウェブサイト https://sites.google.com/site/acanws/ をご覧になってください．京都でお会いするのを楽しみにしております．それでは！運営：照井一成，佐藤哲也，蓮尾一郎 ================================================= Dear all, This is Ichiro Hasuo at Dept. CS, Univ. Tokyo. This is an invitation to the workshop ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics Mon 16 - Wed 18 May 2011 RIMS, Kyoto University https://sites.google.com/site/acanws/ This workshop is organized on the occasion of the visit of Prof.Dr. Yde Venema, a modal logician from ILLC, University of Amsterdam, as a visiting professor at RIMS, Kyoto University. It will feature Yde's talk and talks by * Jose Gil-Ferez (JAIST) * Raul Leal (ILLC, University of Amsterdam) * Yoshihiro Maruyama (Grad. School of Letters, Kyoto University) * Milan Petrik (JAIST) * Katsuhiko Sano (Grad. School of Letters, Kyoto University) as well as tutorial talks by two organizers: * Kazushige Terui on algebraic approaches to substructural logics * Ichiro Hasuo on coalgebra for modal logic(ians) We solicit your participation (and your contributed talk if possible). Some organizational matters: - We will financially support your trip, if it is from inside Japan and within our budget - The hotel rooms in Kyoto will be tight due to a big Buddhism event. So book in advance! Some rooms at the RIMS accommodation are available, too. Visit the website https://sites.google.com/site/acanws/ for more info and registration. Looking forward to seeing you in Kyoto! Best regards, Organization Committee: Kazushige Terui Tetsuya Sato Ichiro Hasuo

1 1

(First Announcement) RIMS 研究集会 ( 集合論分野 ) について
by FUJITA Hiroshi 07 Apr '11

07 Apr '11

このメールは研究協力者をお引受けいただいた皆様に直接お送りするほか, 同じ文面で Logic-ML にも投稿いたします. ご了承くださいませ. 毎年秋に京都大学数理解析研究所で開催しております集合論分野のRIMS研究集会ですが、今年2011年はわたくし藤田博司が世話役を担当させていただきます。今年は、10月19日水曜日〜同21日金曜日の3日間にわたって記述集合論の展望 (Aspects of Descriptive Set Theory)」という研究題目のもとで研究集会を開催いたします。今年は, 海外からのゲストスピーカーとして Slaomir Solecki (Illinois大学, USA) Stephan Gescke (Bonn大学, ドイツ) Tamas Matrai (Rutgers大学, USA) の三方をお招きしており, SoleckiさんとGeschkeさんにはそれぞれ60分×3回のミニコース, Matraiさんには60分の招待講演をお願いしております. 広い意味で記述集合論に関連する諸分野 (実数の集合論, 内部モデル, 強制法, 巨大基数公理, 集合論的実解析学, など) の講演を募ります. お名前と所属と職名 (それぞれ英語表記を添えて) 講演タイトルを, 8月中を目処にわたくし藤田までお知らせください. なおこの研究集会のホームページを http://www.math.sci.ehime-u.ac.jp/~fujita/RIMS-settheory-2011.html に作ります. いろいろのお知らせを掲載していきますので時折開いてみてください. 旅費や宿泊などについての詳細を含むSecond Announcementを9月上旬に流します. -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

[開催案内] 情報処理学会第83回プログラミング研究発表会(4/25-26)
by Keisuke Nakano 07 Apr '11

07 Apr '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りまして，情報処理学会第83回プログラミング研究発表会開催のご案内をさせて頂きます．この研究発表会は3月16-17日に行われる予定でしたが，東日本大震災の影響により中止となったため，学会の通達に基づき日程と開催地を変更して開催させていただくことなりました．日程は4月25日-26日で，場所は京都大学楽友会館です．皆様のご参加をお待ちしております．最新情報は下記ページに掲示されますのでご確認ください． http://millsmess.cs.uec.ac.jp/pro/2010-5/ ---------------- 第83回プログラミング研究会 (PRO-2010-5) 日程：2011年 4月 25日(月)・26日(火) 場所：京都大学楽友会館 http://www.kyoto-u.ac.jp/ja/profile/intro/facilities/kyoshokuin/rakuyu/ 　　　〒606-8501　京都市左京区吉田二本松町市バス「近衛通（このえどおり）」下車徒歩すぐ ---------------- プログラムは発表予定者の都合に基づいて現在調整中です．元のプログラムは http://millsmess.cs.uec.ac.jp/pro/2010-5/old-program.html からご覧になれますが，都合により発表がキャンセルされる可能性があることを予めご了承ください．多くの方のご参加をお待ちしております．担当：中野圭介(電通大)，河内谷清久仁(日本IBM)

1 0

2nd CFP: 1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011)
by Koji Hasebe 06 Apr '11

06 Apr '11

（重複して受け取られた場合はご容赦下さい。） 6月にコペンハーゲンにて開催される"1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011)"のCFPをお送り致します。多数の投稿をお待ちしております。長谷部浩二筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 [Please accept our apologies if you receive multiple copies of this email] ================================================== INTRUSO 2011 1st INternational Workshop on TRUstworthy Service-Oriented Computing Affiliated with 5th IFIP International Conference on Trust Management (IFIPTM‚11) Copenhagen, June 27, 2011, Technical University of Denmark http://www.ifiptm.org/IFIPTM11/INTRUSO11 Service-Oriented Computing (SOC) is an emerging paradigm for distributed computing aiming at changing the way software applications are designed, delivered and consumed. SOC is triggering a radical shift to a vision of the Web as a computational fabric where loosely coupled services (such as Web services) interact publishing their interfaces inside dedicated repositories, where they can be searched by other services or software agents, retrieved and invoked, always abstracting from the actual implementation. The proliferation of such services is considered the second wave of evolution in the Internet age. In order to realize this vision and to bring SOC to its full potential, several security challenges must still be addressed. In particular, consensus is growing that this „service revolution‰ will not eventuate until we resolve trustworthiness?related issues. For instance, lack of consumer trust and Web service trustworthiness still represent two critical impediments to the success of Web service-oriented systems. Although software trustworthiness is a wide topic, far from being an issue only for SOC, the intrinsic openness of this vision makes it even more crucial. The SOC vision, indeed, faces with a large, open and dynamic service-oriented environment where anyone can publish his own (even malicious) services. In this scenario, a client (human or software agent) faces a dilemma in having to make a choice from a bunch of services offering the same functionalities. Thus, selecting the right service requires addressing at least two key issues: 1. Discovering the service on the basis of its functionality 2. Evaluating the trustworthiness of the service (how well the service will work) Although concrete applications coping with the first issue are far from being widely adopted, the significant effort spent on its investigation in the current literature is recognizable (OWL-S and the SOAP/WSDL/UDDI Web service framework to mention only some contributions). Instead, service trustworthiness is still in its infancy and represents a barrier for widening the application of service-oriented technologies. The open and dynamic nature of the SOC vision raises new challenges to traditional software trustworthiness. Indeed, in a traditional closed software system all of its components and their relationships are pre-decided before the software runs. Therefore, each component can be thoroughly tested as well as its interactions with other components before the system starts to run. This is not possible in the SOC vision due to its openness and dynamicity. For instance, in the Web service dynamic invocation model, it is likely that users may not even know which Web services they will use, much less their trustworthiness. Traditional dependability techniques, such as correctness proof, fault tolerant computing, testing, and evaluation and more in general „rigorous software development‰ might be used to improve the trustworthiness of Web services. However, again these techniques have to be redesigned to handle the dynamicity and openness of SOC. The 1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011) aims at bringing together researchers, engineers and practitioners interested in all the different aspects of Trustworthiness and Dependability in service-oriented environments. Since the overall goal of Trustworthy SOC includes the investigation of several cross-disciplinary issues such as a deep understanding of trust vs. trustworthiness in a service domain, trust-based approaches for service rating and selection (reputation systems, recommendation systems, referral networks∑), service dependability, service evaluation/monitoring/testing, etc∑, a synergy between different scientific communities and research disciplines is needed. For this reason, although the workshop seems naturally focused on SOC-specific issues, contributions from different disciplines such as philosophy, sociology, psychology, communication sciences, as well as from computer science specific sub-disciplines such as software engineering and dependability are welcomed and encouraged. The workshop is expected to stimulate discussions about the future development of appropriate models, methods, notations, languages and tools for building a variety of trustworthy service-oriented systems. Topics of interests include, but are not limited to: * Trust and trustworthiness in the Web service domain * Trust-based approaches for Web service rating and selection (reputation systems, recommendation systems, referral networks, ∑) * Trust negotiation for Web services * Service monitoring and testing * Service dependability * Fault-tolerant mechanisms for SOC * Security for SOC * Architectures for trustworthy SOC * Software engineering methodologies for trustworthy SOC (e.g., deployment life cycle for trustworthy services) * Policy assurance for trustworthy SOC * Formal methods and frameworks for trustworthy services * Quality of Service (QoS) for service discovering and trustworthiness * Case studies on trustworthy SOC * Industrial experiences in the adoption of trust-based approaches for SOC * Rigorous Software Development to ensure service trustworthiness Submitted full papers must not exceed 16 pages in length, including bibliography and well-marked appendices. Papers can be submitted using the following link on EasyChair: https://www.easychair.org/account/signin.cgi?conf=intruso2011 Please use the LNCS templates and style files available from: http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Submitted papers will be evaluated by the program committee and chosen for presentation based on their scientific contribution and relevance to the topics of the workshop. At least one author of each accepted paper must register to the workshop and participate presenting the paper. The collection of the accepted papers of all the IFIPTM workshops will be published in a technical report at Technical University of Denmark (DTU). We have already agreed with the editor of the international Journal of Internet Services and Information Security to have a special issue in November 2011 with extended versions of best papers selected from IFIPTM workshops. Important Dates * April 18, 2011: Submission of papers * May 16, 2011: Notification of acceptance * June 1, 2011: Camera-ready * June 27, 2011: INTRUSO Workshop Chairs * Nicola Dragoni, Denmark Technical University (DTU), Denmark - ndra(a)imm.dtu.dk * Nickolaos Kavantzas, Oracle, USA - nickolas.kavantzas(a)oracle.com * Fabio Massacci, University of Trento, Italy - massacci(a)disi.unitn.it * Manuel Mazzara Newcastle University, UK - manuel.mazzara(a)newcastle.ac.uk Program Committee * Mohamed Faical Abouzaid, Ecole Polytechnique de Montréal, Canada * Mario Bravetti, University of Bologna, Italy * Achim D. Brucker, SAP, Germany * Schahram Dustdar, Vienna University of Technology, Austria * Tim Hallwyl, Visma Sirius, Denmark * Koji Hasebe, University of Tsukuba, Japan * Peep Küngas, University of Tartu, Estonia * Ivan Lanese, University of Bologna/INRIA, Italy * Marcello La Rosa, Queensland University of Technology, Australia * Michele Mazzucco, University of Tartu, Estonia * Hernán Melgratti, University of Buenos Aires, Argentina * Paolo Missier, Newcastle University, UK * Christian W. Probst, Denmark Technical University (DTU), Denmark * Ayda Saidane, University of Luxembourg, Luxembourg * Mirko Viroli, University of Bologna, Italy * Prakash Yamuna, Oracle, USA

1 0

CFP: Non-classical Modal and Predicate Logics
by Yuping Shen 05 Apr '11

05 Apr '11

Call for papers *** Non-classical Modal and Predicate Logics *** Guangzhou (Canton), China, 5-9 December 2011 http://logic.sysu.edu.cn/ncmpl2011 Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedictated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields. Topics of interest: * The study of first- or higher-order variants of non-classical logics, including, but not limited to: - Predicate intuitionistic and superintuitionistic logics - Predicate modal logics - Predicate substructural logics - Predicate many-valued and partial logics - Predicate paraconsistent logics - Predicate non-monotonic logics, etc. * Non-classical theories of quantification over classical logics, such as: - Free logics - Branching quantifiers and IF-logic - Generalized quantifiers * Extensions by modalities of (propositional or predicate) non-classical logics, including: - Modal extensions of (super)intuitionistic, substructural, many-valued, paraconsistent, non-monotonic, etc., logics - Co-algebraic treatment of modalities We accept both purely theoretical works on the above logics coming from all branches of mathematical logic (proof-theory, model theory, game theory, computational complexity, etc.), as well as their application in the foundation of mathematics (non-classical mathematics), computer science, linguistics, philosophy, etc. Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, propositional quantification, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified). == Invited speakers == Gabriel Sandu Hiroakira Ono Mingsheng Ying Rob Goldblatt Valentin Shehtman Xuefeng Wen == Conference chairs == Shier Ju Petr Cintula == Program committee == Steve Awodey Libor Behounek Itala M.L. D'Ottaviano Rosalie Iemhoff Hu Liu Michael Rathjen Greg Restall Yde Venema == Organizing committee == Yuping Shen (chair) == Coference web page == http://logic.sysu.edu.cn/ncmpl2011 == Conference fee == Foreign participants: 150 EUR Chinese participants: 1000 RMB Chinese students: 200 RMB The conference fee covers accommodation and all meals during the conference, coffee breaks, social program, and conference materials. == Abstracts == Extended abstracts of 3-5 pages should be submitted via the EasyChair web interface, see http://logic.sysu.edu.cn/ncmpl2011 == Important dates == Deadline for abstracts: 1 September 2011 Notification of acceptance: 20 September 2011 Conference: 5-9 December 2011 Shier Ju and Petr Cintula Conference chairs

1 0

[TACL 2011] Third and last call for papers -- submission deadline approaching: 18/04/2011
by tacl2011＠lif.univ-mrs.fr 04 Apr '11

04 Apr '11

[Apologies for multiple copies] *Submission deadline approaching: 18/04/2011* =============================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) Third and final call for papers =============================================================================== July 26-30, 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Invited speakers ---------------- * Steve Awodey, Carnegie Mellon University * Lev Beklemishev, Steklov Mathematical Institute Moscow * David Gabelaia, Tbilisi Razmadze Mathematical Institute * Nikolaos Galatos, University of Denver * Pierre Gillibert, Charles University Prague * Jean Goubault-Larrecq, ENS Cachan, CNRS, INRIA * Rosalie Iemhoff, Utrecht University * Mamuka Jibladze, Tbilisi Razmadze Mathematical Institute * Vincenzo Marra, Università degli Studi di Milano * Thomas Streicher, Technical University Darmstadt Esakia session -------------- The Fifth International Conference on Topology, Algebra and Categories in Logic is dedicated to the memory of Leo Esakia (1934-2010). In Leo's honour there will be a special session during the conference; three of the invited speakers will be giving their talk in this session: Lev Beklemishev, David Gabelaia, and Mamuka Jibladze. In addition, a memorial talk on the life and work of Leo Esakia will delivered by the chair of this session, Guram Bezhanishvili. The program committee specially encourages submissions related to the work of Leo Esakia, and may select some of these submission for presentation at the special session. Submissions ----------- Contributed presentations will be of two types: * standard presentations of 20 minutes in parallel sessions, * featured, 30 minutes long, plenary presentations. The submission of an extended abstract in pdf format will be required to be selected for a contributed presentation of either kind. Concerning the standard presentations, while preference will be given to new work, results that have already been published or presented elsewhere will also be considered. Concerning the featured presentations: the program committee will choose a small number of submissions of which the authors will be invited to give a plenary presentation. The criteria for this selection will be: originality, significance and interest to the wider TACL community. There will be just one submission procedure, for contributed presentations of either kind: authors are requested to submit a short text of four pages, in English and in pdf format, through the easychair submission site: https://www.easychair.org/conferences/?conf=tacl2011 Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr ===============================================================================

1 0

CFP IEICE Transactions Special Issue (FORMAL APPROACH)
by Jacques Garrigue 28 Mar '11

28 Mar '11

名古屋大学の結縁先生に代わっての投稿です。電子情報通信学会英文誌フォーマルアプローチ特集の論文募集案内をお送り致します。皆様のご投稿をお待ちしています。７月中旬締切で１２月末までには最終判定が出る予定です。 ------------------------------------------------ CALL FOR PAPERS Special Section on Formal Approach The IEICE Transactions on Information and Systems announces a forthcoming special issue on Formal Approach to be published in May 2012. Formal methods and techniques play a key role in designing and developing highly reliable hardware and software. The last decades have seen various new techniques and profound theoretical results using formal methods in surprisingly many fields such as modeling, requirements analysis, specification, automatic generation of codes, test, verification, maintenance, and reuse. They are rapidly extending its application domains as a result of the recent growth of information and communication technologies. The Special Section on Formal Approach aims at stimulating research on formal approach to information systems, ranging from fundamental theory to case studies in practical systems. Our emphasis is put on the cross-fertilization of related research fields and encouragement of young researchers. Topics: The major topics are listed below, but we solicit submissions in all areas of formal approaches, i.e., first to formalize information systems and their environment, next to analyze their behavior and to derive their properties rigorously, and then to solve various problems in designing and managing the systems. Theory: Logic, Automata and Formal Languages, Formal Semantics, and Models of Computation Formal Specification: Petri Net, Process Algebra, Timed Automata, Statechart, UML，Z，VDM，B-method，Alloy, etc. Verification Method: Model Checking, Automatic and Semi-Automatic Theorem Proving, Test, and Formalization and Verification of Information Security. Formal Approaches to Various Systems such as Database Systems, Distributed Systems, and Embedded Systems, using above theories and techniques. Submission Instructions: The deadline for submission is July 18, 2011, 23:59 JST(GMT+9). Manuscripts should be carefully prepared according to the guideline in the ``Information for Authors'' (available at http://www.ieice.org/eng/shiori/mokuji_iss.html). The preferred length of the manuscript is 8 pages. Only electronic submission through the web page is accepted. 1. Submit a complete paper and electronic files (TeX/Word files, figures, authors' photos and biography) for publishing using the IEICE Web site https://review.ieice.org/regist_e.aspx Authors should choose ``[Special ED] Formal Approach'' as a ``Type of Section (Issue)/Transactions'' on the online screen. 2. Send signed and completed forms of ``Copyright Transfer and Page Charge Agreement'' and ``Confirmation Sheet of Manuscript Registration'' (which will be generated when you submit a paper) by e-mail (preferable) or postal mail to Prof. Shoji Yuen, the guest editor. Please mark ``[Special ED] Formal Approach'' on the envelope. Editorial Committee: Guest Editor-in-Chief: Shoji Yuen(Nagoya University) Guest Editors: Yoshinao Isobe (AIST) Kazuhiro Ogata (JAIST) Tatsuhiro Tsuchiya(Osaka University) Members: Ichiro Hasuo (Kyoto University) Nao Hirokawa (JAIST) Yasunori Ishihara (Osaka University) Koji Iwanuma (Yamanashi University) Yoshinobu Kawabe (Aichi Institute of Technology) Yasuhiko Minamide (University of Tsukuba) Kozo Okano (Osaka University) Hiroshi Sakamoto (Kyushu Institute of Technology) Tachio Terauchi(Tohoku University) Tomohiro Yoneda (National Institute of Informatics) Further information may be obtained from the web page at: http://www.agusa.i.is.nagoya-u.ac.jp/FA/ All inquiries should be sent to the guest editor: Shoji Yuen <fa-submit(a)agusa.i.is.nagoya-u.ac.jp> Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, Nagoya, 464-8601 Japan FAX: +81-52-789-3649 Important Dates: Submission Deadline: July 18, 2011 23:59JST(GMT+9) First Notification: September 14, 2011 Revised Version Deadline: November 13, 2011 Final Notification: December 22, 2011 Important Notice. (1) At least one of the authors must be an IEICE member when the manuscript is submitted for review. For the application of IEICE membership, visit http://www.ieice.org/eng/member/OM-appli.html. (2) If accepted for publication, authors are required to pay the page charges covering pat of the cost of publication. -- Shoji Yuen Graduate School of Information Science, Nagoya University

1 0

Kobe Colloquium (talk by Toshiyasu Arai)
by Makoto Kikuchi 26 Mar '11

26 Mar '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2011年3月30日（水）15:30 ～場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者：新井敏康（千葉大学）題目：Lifting up the proof theory to the countables アブストラクト： We describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound of definable countable ordinals in set theories. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

MOL 12 - VENUE CHANGE
by Makoto Kanazawa 25 Mar '11

25 Mar '11

*** NEW VENUE AND DATES *** FINAL CALL FOR PAPERS (new submission deadline: April 2, 2011) 12th Meeting on Mathematics of Language Nara, Japan, September 6–8, 2011 http://sites.google.com/site/mol12nara/ Invited Speakers • Kit Fine, New York University • Andreas Maletti, Universität Stuttgart Background MOL 12 is the 12th Meeting on the Mathematics of Language, to be held in Nara, Japan, from September 6 through 8, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. Previous meetings were held at Bielefeld University (2009), UCLA (2007), the University of Edinburgh (2005), and Indiana University (2003). Aims and Scope MOL (Mathematics of Language) is a biennial conference devoted to the mathematical study of languages and linguistics. Contributions to all areas of this field are welcome. The topics within the scope of the conference include, but are by no means limited to: • complexity and generative capacity of grammar formalisms • formal analysis of linguistic theories and frameworks • model-theoretic and proof-theoretic methods in linguistics • mathematical foundations of statistical and stochastic approaches to language analysis • formal models of language use and language change Submission Guideline We invite submission of original, unpublished papers suitable for 30-minute presentations. Papers should report original work which has not been presented at other conferences with published proceedings. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venues. Papers should not exceed 18 pages, including references and appendices (if any), and should be prepared in LaTeX using the Springer LNCS class files available atftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. Papers must be submitted electronically at http://www.easychair.org/conferences/?conf=mol12. Submissions will be reviewed anonymously by at least three reviewers. Proceedings The proceedings will be published by the time of the conference in the FoLLI LNAI subline of the Springer Lecture Notes in Computer Science. Important Dates • Deadline for submission: April 2, 2011 (extended from the original deadline of March 22, 2011) • Notification to authors: May 16, 2011 • Deadline for camera-ready copies for the proceedings: June 1, 2011 • Conference: September 6-8, 2011 (shifted one day later than the dates originally announced) Program Committee • Patrick Blackburn • Alexander Clark • Philippe de Groote • Aravind Joshi • Greg Kobele • Andras Kornai • Marcus Kracht (Chair) • Natasha Kurtonina • Michael Moortgat • Larry Moss • Gerald Penn • Sylvain Pogodalla • James Rogers • Sylvain Salvati • Hiroyuki Seki • Ed Stabler • Hans-Jörg Tiede Organizing Committee • Makoto Kanazawa (co-chair) • Hiroyuki Seki (co-chair) • Ryo Yoshinaka

1 0

PLS8: SUBMISSION DEADLINE EXTENDED
by Christos Nomikos 24 Mar '11

24 Mar '11

The deadline for paper submission to PLS8 has been exteded to April 2, 2011. ******************************************************************************* ******************************************************************************* *** *** *** T H E 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M *** *** J u l y 4 - 8 , 2 0 1 1 *** *** I o a n n i n a, G r e e c e *** *** *** *** www.cs.uoi.gr/~pls8/ *** *** *** ******************************************************************************* ******************************************************************************* FINAL CALL FOR PAPERS HISTORY OF THE SYMPOSIUM The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina. PROGRAM OF THE SYMPOSIUM The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress. INVITED TUTORIALS - Jeremy Avigad (Carnegie Mellon, USA) - Dale Miller (INRIA, France) - Simon Thomas (Rutgers, USA) INVITED SPEAKERS - George Barmpalias (University of Amsterdam, Netherlands) - Ozlem Beyarslan (Bogazici University, Turkey) - Michael Rathjen (University of Leeds, UK) - Nicole Schweikardt (Goethe University, Germany) - Athanassios Tzouvaras (University of Thessaloniki, Greece) CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 25 March 2011. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/coolnews.cgi) and submitted electronically, using the Easy Chair conference system, at http://www.easychair.org/conferences/?conf=pls8 If possible, each submitted paper should be classified in one of the following areas (in alphabetical order): - Algebraic and Categorical Methods in Logic - Computability Theory - History and Philosophy of Logic - Logic in Computer Science - Model Theory - Nonclassical and Modal Logics - Proof Theory - Set Theory All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. During the symposium, each accepted paper will be presented by one of its authors, with five extra minutes for questions. Authors of submitted papers will be notified of the decision by early May 2011. Camera-ready extended abstracts will be due by the end of May for inclusion in the symposium proceedings which will be distributed to all participants. STUDENT SESSIONS Graduate students are invited to submit short abstracts on work in progress but not yet ready for a regular contributed talk. Those accepted will have an opportunity to present their subject in a special student session, and to receive comments and suggestions from mentors including some of the invited speakers. Interested students should submit to http://www.easychair.org/conferences/?conf=pls8 by May 29, 2011, an abstract of no more than one page in .pdf form. IMPORTANT DATES: - Abstract Submission Deadline: April 2, 2011 - Student Abstract Submission Deadline: May 29, 2011 - Acceptance Notification: May 7, 2011 - Camera Ready Papers Deadline: May 31, 2011 - Acceptance Notification for Student Abstracts: June 10, 2011 - Conference Dates: July 4-8, 2011 SCIENTIFIC COMMITTEE - Ayse Berkman (Middle East Technical University) - Costas Dimitracopoulos (University of Athens) - Kostas Hatzikiriakou (University of Thessaly) - Antonis Kakas (University of Cyprus) - Panagis Karazeris (University of Patras) - Phokion Kolaitis (University of California, Santa Cruz and IBM Research-Almaden) - George Koletsos (National Technical University of Athens ) - Joan Moschovakis (Occidental College (retired), Chair of SC) - Christos Nomikos (University of Ioannina) - Itay Neeman (University of California, Los Angeles) - Thanases Pheidas (University of Crete) - Alexandra Soskova (Sofia University) - Constantine Tsinakis (Vanderbilt University) - Stathis Zachos (National Technical University of Athens ) ORGANIZING COMMITTEE - Manolis Gergatsoulis (Ionian University) - Spyros Kontogiannis (University of Ioannina) - Costas Koutras (University of Peloponnese) - Christos Nomikos (University of Ioannina, chair of the OC) - Panos Rondogiannis (University of Athens) SYMPOSIUM WEBPAGE www.cs.uoi.gr/~pls8/ CONTACT Joan Moschovakis (Chair of the Scientific Committee) e-mail: joan(a)math.ucla.edu Christos Nomikos (Chair of the Organizing Committee) address: University of Ioannina Department of Computer Science P.O. Box 1186 45110, Ioannina Greece tel: +30 26510 08815 fax: +30 26510 08895 e-mail: cnomikos(a)cs.uoi.gr pls8(a)zeus.cs.uoi.gr

1 0

MOL 12 Tokyo - Deadline extended
by Makoto Kanazawa 22 Mar '11

22 Mar '11

*** SUBMISSION DEADLINE EXTENDED *** FINAL CALL FOR PAPERS (new submission deadline: March 29, 2011) 12th Meeting on Mathematics of Language Tokyo, September 5–7, 2011 http://sites.google.com/site/mol12tokyo/ Invited Speakers • Kit Fine, New York University • Andreas Maletti, Universität Stuttgart Background MOL 12 is the 12th Meeting on the Mathematics of Language, to be held at the National Center of Sciences in Tokyo from September 5 through 7, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. Previous meetings were held at Bielefeld University (2009), UCLA (2007), the University of Edinburgh (2005), and Indiana University (2003). Aims and Scope MOL (Mathematics of Language) is a biennial conference devoted to the mathematical study of languages and linguistics. Contributions to all areas of this field are welcome. The topics within the scope of the conference include, but are by no means limited to: • complexity and generative capacity of grammar formalisms • formal analysis of linguistic theories and frameworks • model-theoretic and proof-theoretic methods in linguistics • mathematical foundations of statistical and stochastic approaches to language analysis • formal models of language use and language change Submission Guideline We invite submission of original, unpublished papers suitable for 30-minute presentations. Papers should report original work which has not been presented at other conferences with published proceedings. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venues. Papers should not exceed 18 pages, including references and appendices (if any), and should be prepared in LaTeX using the Springer LNCS class files available atftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. Papers must be submitted electronically at http://www.easychair.org/conferences/?conf=mol12. Submissions will be reviewed anonymously by at least three reviewers. Proceedings The proceedings will be published by the time of the conference in the FoLLI LNAI subline of the Springer Lecture Notes in Computer Science. Important Dates • Deadline for submission: March 29, 2011 (extended from March 22, 2011) • Notification to authors: May 16, 2011 • Deadline for camera-ready copies for the proceedings: June 1, 2011 • Conference: September 5-7, 2011 Program Committee • Patrick Blackburn • Alexander Clark • Philippe de Groote • Aravind Joshi • Greg Kobele • Andras Kornai • Marcus Kracht (Chair) • Natasha Kurtonina • Michael Moortgat • Larry Moss • Gerald Penn • Sylvain Pogodalla • James Rogers • Sylvain Salvati • Hiroyuki Seki • Ed Stabler • Hans-Jörg Tiede Organizing Committee • Makoto Kanazawa (Chair) • Ryo Yoshinaka

1 0

数学会中止
by KASHIMA Ryo 16 Mar '11

16 Mar '11

日本数学会数学基礎論および歴史分科会会員の皆様、昨日、以下のメールを kisoron-ml 宛に送りましたが、うまく届いていないようなので logic-ml にも含めて再送します。 ---------- 差出人: KASHIMA Ryo <kashima(a)is.titech.ac.jp> 日時: 2011年3月15日 15:03:19:JST 宛先: kisoron-ml(a)sato.kuis.kyoto-u.ac.jp Cc: KASHIMA Ryo <kashima(a)is.titech.ac.jp> 件名: 数学会中止日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。すでに新井敏康先生名で logic-ml に流れたのでご存知の方が多いと思いますが、早稲田大学で開催予定されていた数学会年会が中止になりました： http://mathsoc.jp/publicity/news20110314.html したがいまして、21日の昼に予定していた分科会総会も中止といたします。総会で予定していた報告事項等は，後日このメーリングリスト(kisoron- ml) に流します。分科会評議員・運営委員へのご意見がありましたら、総会の代わりにメールでお知らせください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

ICFP 2011 の締め切りについて
by Kenichi Asai 15 Mar '11

15 Mar '11

お茶大のあさいと申します。この秋に東京で開かれる ICFP 2011 ですが、地震の影響により論文の準備が難しくなっていることが考えられます。それに対応するため、ICFP 2011 では地震で影響を受けた方を対象に以下のような締め切りの延長を行っています。（地震で影響を受けた方のみです。） If you are affected by the earthquake in Japan, we will accept your title and abstract until Monday 4 April at 23:59, and your submission until Thursday 7 April at 23:59. 今の状況で論文を準備するのは、特に東北地方の方にはなかなか難しいようにも思いますが、この延長を利用して、多くの論文を投稿いただければ幸いです。なお、地震の影響を受けたかどうかの判断は性善説に基づいています。（外国からの投稿など、地震との関係がわからない場合は問い合わせが行くと思います。）判断に悩む場合は、プログラム委員長の Olivier Danvy 氏（あるいは私）までお問い合わせ頂ければと思います。よろしくお願いします。 -- お茶大・理・情報浅井健一 asai(a)is.ocha.ac.jp

1 0

Kobe Colloquium (talk by Toshiyasu Arai)
by Makoto Kikuchi 15 Mar '11

15 Mar '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロクウィウムを開催します。日時：2011年3月17日（木）10:30 〜場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループプレゼンテーション室）講演者：新井敏康（千葉大学）題目：Lifting up the proof theory to the countables アブストラクト： We describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound of definable countable ordinals in set theories. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 1

Asian Workshop on Philosophical Logic
by Hiroakira Ono 15 Mar '11

15 Mar '11

Asian Workshop on Philosophical Logic "Asian Workshop on Philosophical Logic" will be held at Research Center for Integrated Science (RCIS), Japan Advanced Institute of Science and Technology (JAIST) on 17th and 18th March, 2011. Our aim is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science During the Workshop, we will have a special session of discussions on future collaborations, in particular on research, education and exchange of researchers in our region. The workshop will start from 9:30 of 17th March and will end in the afternoon of 18th. The venue is at the RCIS seminar room of the 3rd floor of Multidisciplinary Research Center Bldg. of JAIST, which is indicated as No.28 in the map of JAIST: http://www.jaist.ac.jp/english/campus/index.html We welcome your participation in both talks and discussions from all areas and all levels. =============== Organizers Hiroakira Ono ono(a)jaist.ac.jp Norbert Preining preining(a)jaist.ac.jp Research Center for Integrated Science Japan Advanced Institute of Science and Technology Nomi, Ishikawa, 923-1292 Japan =============== Program March 17: 9:30 - 9:40 Opening 9:40 - 10:20 * Fenrong Liu (Tsinghua Univ., China) : Reasoning about Preference Dynamics 10:20 - 10:30 Break 10:30 - 11:50 * Ching-hui Su (Academia Sinica, Taiwan) : The Generalized Triviality Result * Katsuhiko Sano (Kyoto Univ., Japan) : Product of Hybrid Logics 11:50 -13:00 Lunch break 13:00 -15:00 * Chin-mu Yang (National Taiwan Univ., Taiwan) : Belief, Knowledge, and Assertion: From a Modal Perspective * Xin Li (JAIST, Japan) : Model Checking Pushdown Systems and Practical Applications * Takahiro Seki (Niigata Univ., Japan) : Recent Topics on Relevant Modal Logics 15:00 -15:30 Break 15:30 -16:50 * Hu Liu (Sun Yat-sen Univ., China) : Simulative Belief Logic * Jose Gil Ferez (JAIST, Japan) : A Glance through Abstract Algebraic Logic -------------------- March 18: 9:30 - 10:10 * Wen-fang Wang (National Yang Ming Univ., Taiwan) : On Priest's Solutions to the Sorites Paradox 10:10 - 10:30 Break 10:30 - 11:50 * Milan Petrik (JAIST, Japan) : Web-geometric View on Fuzzy Logic * Kaile Su (Griffith Univ., Australia/Beijing Univ., China) : Logic for Agents with Defective Observation 11:50 -13:00 Lunch break 13:00 - 15:00 Special Session 15:00 - 15:10 Closing

1 1

Fwd: 2011年度日本数学会年会の中止について（お知らせ）
by Makoto Kikuchi 14 Mar '11

14 Mar '11

みなさま数学会年会が中止されました http://mathsoc.jp/publicity/news20110314.html -- 新井敏康 ---------- 転送メッセージ ---------- From: chou ryou <msjchou(a)muse.ocn.ne.jp> 日付: 2011年3月14日16:22 件名: 2011年度日本数学会年会の中止について（お知らせ） To: msjchou(a)muse.ocn.ne.jp 関係者各位　殿日本数学会事務局の張と申します．日頃に日本数学会の運営にご協力いただきありがとうございます．さて，３月１１日に東北地方を中心に大地震が発生いたしました．地震の影響を考慮して，３月２０日から早稲田大学理工学術院で開催が予定されております２０１１年度年会を中止することと致しました．年会および秋季総合分科会は日本数学会で最も重要な事業ですので，今回の決定は当会にとって苦渋の判断です．皆様に，大変ご迷惑をかけて申し訳ございませんが，ご理解のほど宜しくお願い申し上げます．取り急ぎ，お知らせまで． ************************* 社団法人　日本数学会事務局　　張　良ＴＥＬ：03-3835-3483 FAX：03-3835-3485 E-mail:msjchou@muse.ocn.ne.jp *************************

1 0

東北大，田中・山崎グループの状況について
by YOKOYAMA Keita 14 Mar '11

14 Mar '11

皆様，東北大の横山です，皆様には多大なご心配をお掛けしていることと存じます．研究とは直接関係のないメールで恐縮です．本日14日午前までに，直接・間接様々な方法で，田中先生・山崎先生をはじめ，研究グループの修士以上全員の無事が確認できましたので，ここにご報告いたします．ご心配をいただきました皆様に，心より感謝申し上げます．なお，近隣を含め，ライフラインの復旧は未だ限定的で，大学のメールシステムの復旧までにはかなりの時間を要するかと思われます．田中・山崎グループのメンバーへの緊急の連絡がありましたら横山 azutab(a)gmail.com までご連絡ください．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 azutab(a)gmail.com

1 0

Talk by Yde Venema, Thursday this week (17 March)
by Ichiro Hasuo 13 Mar '11

13 Mar '11

Dear colleagues, This coming Thursday our guest Yde Venema from ILLC, University of Amsterdam is making a talk at RIMS, Kyoto University. No registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ PS. Our deepest sympathy for those suffering from the tragic earthquake. ======= Speaker: Yde Venema Institute for Logic, Language and Computation Universiteit van Amsterdam http://staff.science.uva.nl/~yde/ Title: Coalgebra automata (towards a universal theory of automata) Date: 11.00 - 12.00, Thu 17 Mar 2011 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Automata operating on infinite objects provide an invaluable tool for the spcification and verification of programs. Many of the infinite objects studied in this area, such as words/streams, trees, graphs or transition systems, represent ongoing behaviour in some way, and provide key specimens of coalgebras. Hence it make sense to develop a universal theory of coalgebra automata: automata operating on coalgebras. The motivation underlying the introduction of coalgebra automata is to gain a deeper understanding of this branch of automata theory by studying properties of automata in a uniform manner, parametric in the type of the recognized structures. Coalgebraic automata theory thus contributes to Universal Coalgebra as a mathematical theory of state-based evolving systems. In the talk we give a quick introduction to coalgebra, and we introduce the notion of a coalgebra automaton. We will see that in fact a large part of the theory of parity automata can be lifted to a coalgebraic level of generality, and thus indeed belongs to the theory of Universal Coalgebra. More specifically, coalgebra automata satisfy various closure properties: under some conditions on the coalgebraic type, the collection of recognizable languages are closed under taking union, intersection, complementation, and existential projections. We will discuss two kinds of coalgebra automata, corresponding to approaches in coalgebraic logic that are based on, respectively, relation lifting and predicate liftings. Our results have many applications in the theory of (coalgebraic fixpoint logics), but these will only be discussed tangentially. =======

1 0

MOL 12 Tokyo - Submission Open
by Makoto Kanazawa 06 Mar '11

06 Mar '11

*** ONLINE PAPER SUBMISSION OPEN *** Last Call for Papers (submission deadline: March 22, 2011) 12th Meeting on Mathematics of Language Tokyo, September 5–7, 2011 http://sites.google.com/site/mol12tokyo/ Invited Speakers • Kit Fine, New York University • Andreas Maletti, Universität Stuttgart Background MOL 12 is the 12th Meeting on the Mathematics of Language, to be held at the National Center of Sciences in Tokyo from September 5 through 7, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. Previous meetings were held at Bielefeld University (2009), UCLA (2007), the University of Edinburgh (2005), and Indiana University (2003). Aims and Scope MOL (Mathematics of Language) is a biennial conference devoted to the mathematical study of languages and linguistics. Contributions to all areas of this field are welcome. The topics within the scope of the conference include, but are by no means limited to: • complexity and generative capacity of grammar formalisms • formal analysis of linguistic theories and frameworks • model-theoretic and proof-theoretic methods in linguistics • mathematical foundations of statistical and stochastic approaches to language analysis • formal models of language use and language change Submission Guideline We invite submission of original, unpublished papers suitable for 30-minute presentations. Papers should report original work which has not been presented at other conferences with published proceedings. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venues. Papers should not exceed 18 pages, including references and appendices (if any), and should be prepared in LaTeX using the Springer LNCS class files available atftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. Papers must be submitted electronically at http://www.easychair.org/conferences/?conf=mol12. Submissions will be reviewed anonymously by at least three reviewers. Proceedings The proceedings will be published by the time of the conference in the FoLLI LNAI subline of the Springer Lecture Notes in Computer Science. Important Dates • Deadline for submission: March 22, 2011 • Notification to authors: May 16, 2011 • Deadline for camera-ready copies for the proceedings: June 1, 2011 • Conference: September 5-7, 2011 Program Committee • Patrick Blackburn • Alexander Clark • Philippe de Groote • Aravind Joshi • Greg Kobele • Andras Kornai • Marcus Kracht (Chair) • Natasha Kurtonina • Michael Moortgat • Larry Moss • Gerald Penn • Sylvain Pogodalla • James Rogers • Sylvain Salvati • Hiroyuki Seki • Ed Stabler • Hans-Jörg Tiede Organizing Committee • Makoto Kanazawa (Chair) • Ryo Yoshinaka

1 0

Talk by Yoshihiro Maruyama, Tuesday next week (8 Mar 2011)
by Ichiro Hasuo 03 Mar '11

03 Mar '11

Dear colleagues, Next week on Tuesday Yoshihiro Maruyama, a finishing master student at Department of Humanistic Informatics, Kyoto University is making a talk at RIMS, Kyoto University. No registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Yoshihiro Maruyama (Department of Humanistic Informatics, Kyoto University) http://researchmap.jp/ymaruyama/ Title: Duality in Logic, Algebraic Geometry, and Computer Science Date: 11.00 - 12.00, Tue 8 Mar 2011 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Categorical duality often arises between ontological and epistemological aspects of concepts.　Indeed, we can find a number of such dualities in diverse fields: duality between models and theories in logic; duality between computer systems and their properties in computer science; duality between states and observables in quantum physics; duality between varieties and rings in algebraic geometry. In this talk, we briefly attempt to clarify the relationships between these dualities (especially, dualities in logic and algebraic geometry in relation to logical completeness and Hilbert Nullstellensatz), and develop a moderately general theory of dualities between modal logics and coalgebras (representations of the above-mentioned duality in computer science), extending the theory of natural dualities (a general theory of Stone-type dualities based on universal algebra) via a new concept of modal power. For the latter part, a preprint "Natural Duality, Modality and Coalgebra" is available in: http://researchmap.jp/ymaruyama/

1 0

Fwd: NSA2011
by Tchizawa 02 Mar '11

02 Mar '11

関係各位様 2010年度超準解析シンポジウムの第4報です。今回は Guy Wallet, Imme van den Berg　教授が海外から参加されます。講演は日本語でOKですが、レジュメはできれば英語で作成されることを希望します。尚、3 月 29日（火）に懇親会を予定しています、こちらの参加の予定もお知らせください。２０１０年度超準解析シンポジウム日時：３月２8日（月）,２9日（火）,30日（水）, 2011　場所：東京都市大学　世田谷キャンパス 2号館1階　21C 　　（東急大井町線　尾山台駅　徒歩　約１５分） NSA 2011 Program ********************** 28th March Reception, 12:30-14:00 Session, 14:00-15:00 : H.Yamashita, "Brownian phase-space path integral" 15:30-17:30 : I.V.D.Berg, "External numbers and external points" ----------------------------------- 29th March 10:00-11:00 : K.Yokoyama "TBA" 11:30-12:30 : S.Sanders, "Nonstandard Analysis, the star of Reverse Mathematics" Lunch Time Session, 14:00-15:00 : S.Nagamachi, "Bosonization" 15:30-17:30 : G.Wallet, "Arithmetization and Harthong-Reeb line based on Omega-numbers" Banquet : Santo Spirito (Meguro) 19:00-21:30 -------------------------------------------- 30th March 10:00-11:00 : H.Miki, "4-dim duck solutions in a trading economic model" 11:30-12:30 : K.Tchizawa, "On a local model in a 4-dim slow-fast system" ------------------------------------- Kiyoyuki Tchizawa Directorate Ph.D Tokyo Nonlinear Analysis Research Center Institute of Administration Engineering, Ltd.

1 0

CFP: 1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011)
by Koji Hasebe 02 Mar '11

02 Mar '11

（重複して受け取られた場合はご容赦下さい。） 6月にコペンハーゲンにて開催される"1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011)"のCFPをお送り致します。多数の投稿をお待ちしております。長谷部浩二筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 ================================================== Call for papers INTRUSO 2011 1st INternational Workshop on TRUstworthy Service-Oriented Computing Affiliated with 5th IFIP International Conference on Trust Management (IFIPTM‚11) Copenhagen, June 27, 2011, Technical University of Denmark http://www.ifiptm.org/IFIPTM11/INTRUSO11 ================================================== Service-Oriented Computing (SOC) is an emerging paradigm for distributed computing aiming at changing the way software applications are designed, delivered and consumed. SOC is triggering a radical shift to a vision of the Web as a computational fabric where loosely coupled services (such as Web services) interact publishing their interfaces inside dedicated repositories, where they can be searched by other services or software agents, retrieved and invoked, always abstracting from the actual implementation. The proliferation of such services is considered the second wave of evolution in the Internet age. In order to realize this vision and to bring SOC to its full potential, several security challenges must still be addressed. In particular, consensus is growing that this „service revolution‰ will not eventuate until we resolve trustworthiness?related issues. For instance, lack of consumer trust and Web service trustworthiness still represent two critical impediments to the success of Web service-oriented systems. Although software trustworthiness is a wide topic, far from being an issue only for SOC, the intrinsic openness of this vision makes it even more crucial. The SOC vision, indeed, faces with a large, open and dynamic service-oriented environment where anyone can publish his own (even malicious) services. In this scenario, a client (human or software agent) faces a dilemma in having to make a choice from a bunch of services offering the same functionalities. Thus, selecting the right service requires addressing at least two key issues: 1. Discovering the service on the basis of its functionality 2. Evaluating the trustworthiness of the service (how well the service will work) Although concrete applications coping with the first issue are far from being widely adopted, the significant effort spent on its investigation in the current literature is recognizable (OWL-S and the SOAP/WSDL/UDDI Web service framework to mention only some contributions). Instead, service trustworthiness is still in its infancy and represents a barrier for widening the application of service-oriented technologies. The open and dynamic nature of the SOC vision raises new challenges to traditional software trustworthiness. Indeed, in a traditional closed software system all of its components and their relationships are pre-decided before the software runs. Therefore, each component can be thoroughly tested as well as its interactions with other components before the system starts to run. This is not possible in the SOC vision due to its openness and dynamicity. For instance, in the Web service dynamic invocation model, it is likely that users may not even know which Web services they will use, much less their trustworthiness. Traditional dependability techniques, such as correctness proof, fault tolerant computing, testing, and evaluation and more in general „rigorous software development‰ might be used to improve the trustworthiness of Web services. However, again these techniques have to be redesigned to handle the dynamicity and openness of SOC. The 1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011) aims at bringing together researchers, engineers and practitioners interested in all the different aspects of Trustworthiness and Dependability in service-oriented environments. Since the overall goal of Trustworthy SOC includes the investigation of several cross-disciplinary issues such as a deep understanding of trust vs. trustworthiness in a service domain, trust-based approaches for service rating and selection (reputation systems, recommendation systems, referral networks∑), service dependability, service evaluation/monitoring/testing, etc∑, a synergy between different scientific communities and research disciplines is needed. For this reason, although the workshop seems naturally focused on SOC-specific issues, contributions from different disciplines such as philosophy, sociology, psychology, communication sciences, as well as from computer science specific sub-disciplines such as software engineering and dependability are welcomed and encouraged. The workshop is expected to stimulate discussions about the future development of appropriate models, methods, notations, languages and tools for building a variety of trustworthy service-oriented systems. Topics of interests include, but are not limited to: * Trust and trustworthiness in the Web service domain * Trust-based approaches for Web service rating and selection (reputation systems, recommendation systems, referral networks, ∑) * Trust negotiation for Web services * Service monitoring and testing * Service dependability * Fault-tolerant mechanisms for SOC * Security for SOC * Architectures for trustworthy SOC * Software engineering methodologies for trustworthy SOC (e.g., deployment life cycle for trustworthy services) * Policy assurance for trustworthy SOC * Formal methods and frameworks for trustworthy services * Quality of Service (QoS) for service discovering and trustworthiness * Case studies on trustworthy SOC * Industrial experiences in the adoption of trust-based approaches for SOC * Rigorous Software Development to ensure service trustworthiness Submitted full papers must not exceed 16 pages in length, including bibliography and well-marked appendices. Papers can be submitted using the following link on EasyChair: https://www.easychair.org/account/signin.cgi?conf=intruso2011 Please use the LNCS templates and style files available from: http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Submitted papers will be evaluated by the program committee and chosen for presentation based on their scientific contribution and relevance to the topics of the workshop. At least one author of each accepted paper must register to the workshop and participate presenting the paper. The collection of the accepted papers of all the IFIPTM workshops will be published in a technical report at Technical University of Denmark (DTU). We already agreed with the editor of an international journal to have a special issue in November 2011 with extended versions of best papers selected from IFIPTM workshops. Important Dates * April 18, 2011: Submission of papers * May 16, 2011: Notification of acceptance * June 1, 2011: Camera-ready * June 27, 2011: INTRUSO Workshop Chairs * Nicola Dragoni, Denmark Technical University (DTU), Denmark - ndra(a)imm.dtu.dk * Nickolaos Kavantzas, Oracle, USA - nickolas.kavantzas(a)oracle.com * Fabio Massacci, University of Trento, Italy - massacci(a)disi.unitn.it * Manuel Mazzara Newcastle University, UK - manuel.mazzara(a)newcastle.ac.uk Program Committee * Mohamed Faical Abouzaid, Ecole Polytechnique de Montréal, Canada * Mario Bravetti, University of Bologna, Italy * Achim D. Brucker, SAP, Germany * Schahram Dustdar, Vienna University of Technology, Austria * Tim Hallwyl, Visma Sirius, Denmark * Koji Hasebe, University of Tsukuba, Japan * Peep Küngas, University of Tartu, Estonia * Ivan Lanese, University of Bologna/INRIA, Italy * Marcello La Rosa, Queensland University of Technology, Australia * Michele Mazzucco, University of Tartu, Estonia * Hernán Melgratti, University of Buenos Aires, Argentina * Paolo Missier, Newcastle University, UK * Christian W. Probst, Denmark Technical University (DTU), Denmark * Ayda Saidane, University of Luxembourg, Luxembourg * Mirko Viroli, University of Bologna, Italy * Prakash Yamuna, Oracle, USA

1 0

CFP: 1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011)
by Koji Hasebe 02 Mar '11

02 Mar '11

（重複して受け取られた場合はご容赦下さい。） 6月にコペンハーゲンにて開催される"1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011)"のCFPをお送り致します。多数の投稿をお待ちしております。長谷部浩二筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 ================================================== Call for papers INTRUSO 2011 1st INternational Workshop on TRUstworthy Service-Oriented Computing Affiliated with 5th IFIP International Conference on Trust Management (IFIPTM‚11) Copenhagen, June 27, 2011, Technical University of Denmark http://www.ifiptm.org/IFIPTM11/INTRUSO11 ================================================== Service-Oriented Computing (SOC) is an emerging paradigm for distributed computing aiming at changing the way software applications are designed, delivered and consumed. SOC is triggering a radical shift to a vision of the Web as a computational fabric where loosely coupled services (such as Web services) interact publishing their interfaces inside dedicated repositories, where they can be searched by other services or software agents, retrieved and invoked, always abstracting from the actual implementation. The proliferation of such services is considered the second wave of evolution in the Internet age. In order to realize this vision and to bring SOC to its full potential, several security challenges must still be addressed. In particular, consensus is growing that this „service revolution‰ will not eventuate until we resolve trustworthiness?related issues. For instance, lack of consumer trust and Web service trustworthiness still represent two critical impediments to the success of Web service-oriented systems. Although software trustworthiness is a wide topic, far from being an issue only for SOC, the intrinsic openness of this vision makes it even more crucial. The SOC vision, indeed, faces with a large, open and dynamic service-oriented environment where anyone can publish his own (even malicious) services. In this scenario, a client (human or software agent) faces a dilemma in having to make a choice from a bunch of services offering the same functionalities. Thus, selecting the right service requires addressing at least two key issues: 1. Discovering the service on the basis of its functionality 2. Evaluating the trustworthiness of the service (how well the service will work) Although concrete applications coping with the first issue are far from being widely adopted, the significant effort spent on its investigation in the current literature is recognizable (OWL-S and the SOAP/WSDL/UDDI Web service framework to mention only some contributions). Instead, service trustworthiness is still in its infancy and represents a barrier for widening the application of service-oriented technologies. The open and dynamic nature of the SOC vision raises new challenges to traditional software trustworthiness. Indeed, in a traditional closed software system all of its components and their relationships are pre-decided before the software runs. Therefore, each component can be thoroughly tested as well as its interactions with other components before the system starts to run. This is not possible in the SOC vision due to its openness and dynamicity. For instance, in the Web service dynamic invocation model, it is likely that users may not even know which Web services they will use, much less their trustworthiness. Traditional dependability techniques, such as correctness proof, fault tolerant computing, testing, and evaluation and more in general „rigorous software development‰ might be used to improve the trustworthiness of Web services. However, again these techniques have to be redesigned to handle the dynamicity and openness of SOC. The 1st INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011) aims at bringing together researchers, engineers and practitioners interested in all the different aspects of Trustworthiness and Dependability in service-oriented environments. Since the overall goal of Trustworthy SOC includes the investigation of several cross-disciplinary issues such as a deep understanding of trust vs. trustworthiness in a service domain, trust-based approaches for service rating and selection (reputation systems, recommendation systems, referral networks∑), service dependability, service evaluation/monitoring/testing, etc∑, a synergy between different scientific communities and research disciplines is needed. For this reason, although the workshop seems naturally focused on SOC-specific issues, contributions from different disciplines such as philosophy, sociology, psychology, communication sciences, as well as from computer science specific sub-disciplines such as software engineering and dependability are welcomed and encouraged. The workshop is expected to stimulate discussions about the future development of appropriate models, methods, notations, languages and tools for building a variety of trustworthy service-oriented systems. Topics of interests include, but are not limited to: * Trust and trustworthiness in the Web service domain * Trust-based approaches for Web service rating and selection (reputation systems, recommendation systems, referral networks, ∑) * Trust negotiation for Web services * Service monitoring and testing * Service dependability * Fault-tolerant mechanisms for SOC * Security for SOC * Architectures for trustworthy SOC * Software engineering methodologies for trustworthy SOC (e.g., deployment life cycle for trustworthy services) * Policy assurance for trustworthy SOC * Formal methods and frameworks for trustworthy services * Quality of Service (QoS) for service discovering and trustworthiness * Case studies on trustworthy SOC * Industrial experiences in the adoption of trust-based approaches for SOC * Rigorous Software Development to ensure service trustworthiness Submitted full papers must not exceed 16 pages in length, including bibliography and well-marked appendices. Papers can be submitted using the following link on EasyChair: https://www.easychair.org/account/signin.cgi?conf=intruso2011 Please use the LNCS templates and style files available from: http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Submitted papers will be evaluated by the program committee and chosen for presentation based on their scientific contribution and relevance to the topics of the workshop. At least one author of each accepted paper must register to the workshop and participate presenting the paper. The collection of the accepted papers of all the IFIPTM workshops will be published in a technical report at Technical University of Denmark (DTU). We already agreed with the editor of an international journal to have a special issue in November 2011 with extended versions of best papers selected from IFIPTM workshops. Important Dates * April 18, 2011: Submission of papers * May 16, 2011: Notification of acceptance * June 1, 2011: Camera-ready * June 27, 2011: INTRUSO Workshop Chairs * Nicola Dragoni, Denmark Technical University (DTU), Denmark - ndra(a)imm.dtu.dk * Nickolaos Kavantzas, Oracle, USA - nickolas.kavantzas(a)oracle.com * Fabio Massacci, University of Trento, Italy - massacci(a)disi.unitn.it * Manuel Mazzara Newcastle University, UK - manuel.mazzara(a)newcastle.ac.uk Program Committee * Mohamed Faical Abouzaid, Ecole Polytechnique de Montréal, Canada * Mario Bravetti, University of Bologna, Italy * Achim D. Brucker, SAP, Germany * Schahram Dustdar, Vienna University of Technology, Austria * Tim Hallwyl, Visma Sirius, Denmark * Koji Hasebe, University of Tsukuba, Japan * Peep Küngas, University of Tartu, Estonia * Ivan Lanese, University of Bologna/INRIA, Italy * Marcello La Rosa, Queensland University of Technology, Australia * Michele Mazzucco, University of Tartu, Estonia * Hernán Melgratti, University of Buenos Aires, Argentina * Paolo Missier, Newcastle University, UK * Christian W. Probst, Denmark Technical University (DTU), Denmark * Ayda Saidane, University of Luxembourg, Luxembourg * Mirko Viroli, University of Bologna, Italy * Prakash Yamuna, Oracle, USA

1 0

CFP: 第84回プログラミング研究会発表募集
by Takahito Aoto 28 Feb '11

28 Feb '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りて2011年度第1回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2011年6月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は4月14日(投稿締切は5月14日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第84回プログラミング研究会(PRO-2011-1)発表募集日程: 2011年6月14日(火)・15日(水) 会場: サン・リフレ函館〒040-0034 北海道函館市大森町2-14 JR函館駅より徒歩15分発表申込締切: 2011年4月14日(木) 投稿論文原稿提出締切: 2011年5月14日(土) 申込先: 青戸等人 (東北大学電気通信研究所) E-mail: aoto [at] nue.riec.tohoku.ac.jp Tel: 022-217-5420 / Fax: 022-217-5426 (電気通信研究所) 案内ページ: http://www.nue.riec.tohoku.ac.jp/pro-2011-1/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい． --- 青戸等人東北大学電気通信研究所 http://www.nue.riec.tohoku.ac.jp/user/aoto/

1 0

[開催案内] 情報処理学会第83回プログラミング研究発表会(3/16-17)
by Keisuke Nakano 27 Feb '11

27 Feb '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りまして，情報処理学会第83回プログラミング研究発表会開催のご案内をさせて頂きます．日程は3月16日-17日で，場所はIBM東京基礎研究所です．皆様のご参加をお待ちしております．なお，入館手続きをスムーズに行うため，参加予定の方は事前連絡をお願いします．（当日の飛び入り参加も可能ですが，入館に時間がかかる可能性があります．）また，3月16日の研究会終了後には懇親会を予定しております．参加希望者はあわせて出席予定をお知らせ下さい． -------- To: kawatiya <at> jp.ibm.com Subject: PRO83参加予定第83回PRO研究会に出席します． (↓どちらかを消して下さい) 3月16日の懇親会に参加します． 3月16日の懇親会に参加しません．御名前: 御所属: -------- 最新情報は下記ページに掲示されますのでご確認ください． http://millsmess.cs.uec.ac.jp/pro/2010-5/ 担当：中野圭介(電通大)，河内谷清久仁(日本IBM) ---------------- 第83回プログラミング研究会 (PRO-2010-5) 日程：2011年 3月 16日(水)・17日(木) 場所：日本アイ・ビー・エム（株）東京基礎研究所　　　〒242-8502 神奈川県大和市下鶴間1623-14 　　　東急田園都市線つきみ野駅から徒歩10分，または　　　小田急江ノ島線／東急田園都市線中央林間駅より徒歩12分　　　(交通ガイド http://www.trl.ibm.com/lab/trlmap.htm) ---------------- [プログラム] 2011/03/16 (水) 9:10 - 9:55 (1) Rubyの文字列処理の手軽な高速化 ○中川博貴 (東京大学) 笹田耕一 (東京大学) 9:55 - 10:40 (2) 大規模主記憶環境における GC 方式の性能評価 ○井出真広 (横浜国立大学) 養安元気 (横浜国立大学) 倉光君郎 (横浜国立大学) 10:40 - 11:25 (3) 要求駆動型部分無用コード除去 ○滝本宗宏 (東京理科大学) (昼食) 12:45 - 13:30 (4) 分散メモリアーキテクチャ向けFuceランタイムシステムとその上でのストリーム処理の評価 ○雨宮聡史 (九州大学) 雨宮真人 (大阪工業大学) 13:30 - 14:15 (5) メモ化表へのプリフェッチによるPackrat Parserの並列化 ○遠藤仁 (筑波大学) 前田敦司 (筑波大学) 山口喜教 (筑波大学) 14:15 - 15:00 (6) 正規表現マッチングの並列化とそのHadoopでの評価 ○松崎公紀 (高知工科大学) 江本健斗 (東京大学) 劉雨 (総合研究大学院大学) (休憩) 15:10 - 15:55 (7) CNFSATからHornSATへの変換手法について ○小林弘二 (フリー) 15:55 - 16:40 (8) 証明支援系Coqのプログラムに対する対話的修正機構の提案 ○森口草介 (東京工業大学) 渡部卓雄 (東京工業大学) 16:40 - 16:50 CS領域奨励賞授与式 18:30 - 21:00 懇親会 ---------------- 2011/03/17 (木) 9:10 - 9:55 (9) サーバ・クライアント処理の動的分割・再配置機能を備えた Webアプリケーション用言語 ○石橋崇 (電気通信大学) 小宮常康 (電気通信大学) 多田好克 (電気通信大学) 9:55 - 10:40 (10) Decidability of Reachability for Right-Shallow Context-Sensitive Term Rewriting Systems ○小島芳治 (名古屋大学) 酒井正彦 (名古屋大学) 西田直樹 (名古屋大学) 草刈圭一朗 (名古屋大学) 坂部俊樹 (名古屋大学) 10:40 - 11:25 (11) Determinization of Conditional Term Rewriting Systems for Program Generation ○長島正憲 (名古屋大学) 酒井正彦 (名古屋大学) 坂部俊樹 (名古屋大学) (昼食) 12:45 - 13:30 (12) Orchid: Webアプリケーションのための安全なコード生成機能を持つプログラミング言語 ○高橋宏文 (筑波大学) 亀山幸義 (筑波大学) 13:30 - 14:15 (13) グラフ書換え言語REGRELによるメタプログラミングの表現 ○東達軌 (東京理科大学) 武田正之 (東京理科大学) 14:15 - 15:00 (14) Practical Implementation of EPLAS: an Epistemic Programming Language for All Scientists ○方文琤 (埼玉大学) Isao Takahashi (埼玉大学) Yuichi Goto (埼玉大学) Jingde Cheng (埼玉大学) (休憩) 15:10 - 15:55 (15) 純粋関数型言語を用いた超コンパクト音声認識デコーダの開発 ○篠崎隆宏 (東京工業大学) 関嶋政和 (東京工業大学) 萩原茂樹 (東京工業大学) 古井貞煕 (東京工業大学) 15:55 - 16:40 (16) 日本語プログラミング言語における関数の多重定義解決の実装と評価 ○馬場祐人 (早稲田大学) 筧捷彦 (早稲田大学)

1 0

【2/25参加締切】 PPL2011 プログラム決定および参加最終案内
by Kiyokuni Kawachiya 23 Feb '11

23 Feb '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，3/9(水)〜3/11(金)に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) の参加最終案内をさせて頂きたく存じます．参加申込の期限が【2/25(金)】に迫っています．以下からお急ぎください． http://www.info.kochi-tech.ac.jp/ppl2011/registration.html また，プログラムが決定しましたので，お知らせいたします．論文発表が17件，既発表論文の紹介が10件，ポスター・デモ発表が54件です．招待講演として，以下のお二方にご講演いただきます．田中哲朗氏 (東京大学) 「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 「線形論理とラムダ計算の計算量」非常に充実した内容になっておりますので，ぜひご参加ください． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表が，カテゴリ別に幅広く行われます．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） -------------------------------------------------------------------------- プログラム発表時間: C1, C2: 質疑応答も含め25分 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1日目 (3月9日(水)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 13:45 - 13:55 オープニング 13:55 - 15:10 (75分) セッション1 (C1) Java における適切な同期機構の選択システム山田佑二, 鵜川始陽, 岩崎英哉 (電気通信大学) (C1) 生存区間を変数名とする中間表現の実装と, それに基づく最適化高橋和将, 森畑明昌, 上野雄大, 大堀淳 (東北大学) (C2) A Study of Java's Non-Java Memory (出典: 25th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), pp. 191-204, 2010) Kazunori Ogata, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, Tamiya Onodera (IBM Research) 15:10 - 15:30 休憩 15:30 - 16:30 セッション2 招待講演将棋プログラムの大規模並列実行田中哲朗 (東京大学情報基盤センター) 16:30 - 16:50 休憩 16:50 - 18:30 (100分) セッション3 (C1) 条件論理 Cb とそのタブローシステム尾崎有梨, 戸次大介 (お茶の水女子大学) (C1) 先読み付き正規表現の効率の良いマッチングアルゴリズム森畑明昌 (東北大学) (C1) メタラムダ計算の圏論的意味論増子萌, 戸次大介 (お茶の水女子大学) (C2) A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (出典: 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011), to appear) Naoki Kobayashi (Tohoku University) 18:30 - 20:30 夕食 20:30 - 22:00 セッション4 (ポスター・デモ1) (C3) ポスター型システムによる高階木変換器の逆像計算塚田武志, 松田一孝 (東北大学) (C3) デモ MoCHi: 高階関数型プログラム用モデル検査器佐藤亮介, 海野広志, 小林直樹 (東北大学) (C3) ポスターオブジェクトを移動させない，関数型言語に適したビットマップマーキングガベージコレクションの提案大友聡顕, 上野雄大, 大堀淳 (東北大学) (C3) ポスター・デモコンパイラ内部機能を利用したプログラム開発環境の構築齋藤啓太, 上野雄大, 大堀淳 (東北大学) (C3) ポスター正規表現マッチングのトランスデューサへの変換佐久間雄和*, 南出靖彦*, Andrei Voronkov** (*筑波大学, **マンチェスター大学) (C3) ポスターコントロールオペレータ control/prompt を用いた nested shift/reset のマクロ表現高島尚希 (筑波大学) (C3) ポスター証明支援系 Coq における対話的修正機構の提案森口草介, 渡部卓雄 (東京工業大学) (C3) ポスター総称型に対応した拡張型緩和織込機構の提案当山学*, 青谷知幸**, 増原英彦* (*東京大学, **北陸先端科学技術大学院大学) (C3) ポスター GPGPU プログラミングのための Ruby 言語処理系西口裕介 (東京大学) (C3) ポスター操作の一意性の推論形式からの自動判定中村宇佑 (東京大学) (C3) ポスタースキーマを持った実行可能なデータ形式大谷桂介 (東京工業大学) (C3) ポスタービジュアルプログラミング言語とプログラム変換吉永卓矢, 脇田建 (東京工業大学) (C3) ポスター構文マクロ定義を利用したプログラム整形システム甫水佳奈子 (東京工業大学) (C3) ポスター分散 JavaScript 言語による Web アプリケーションの効率的な開発加藤真人 (東京工業大学) (C3) ポスタープログラムの更新を可能とする Checkpoint/Restart 機構室井雅仁, 鵜川始陽, 岩崎英哉 (電気通信大学) (C3) ポスター仮想化支援技術を用いた純関数型言語による仮想マシンモニタの設計加藤瞬, 岩崎英哉 (電気通信大学) (C3) ポスター探索アルゴリズムのための非決定性オペレータの実装金子ちひろ, 浅井健一 (お茶の水女子大学) (C3) デモ Emacs における対話的な型デバッガの実装と改良対馬かなえ (お茶の水女子大学) (C3) ポスター部分方向性組み合わせ論理の計算論的性質尾崎博子, 戸次大介 (お茶の水女子大学) (C3) ポスター前提記述のための動的論理の証明論構築に向けて石下裕里, 戸次大介 (お茶の水女子大学) (C3) ポスター階層グラフ書換え言語 LMNtal における管理アトムの処理目黒学, 中川遼平, 上田和紀 (早稲田大学) (C3) ポスターハイブリッドシステムモデリング言語 HydLa の処理系による非決定性の扱い松本翔太*, 高田賢士郎*, 細部博史**, 上田和紀* (*早稲田大学, **国立情報学研究所) (C3) ポスター・デモ OCaml によるスマートフォン向け動的 Web ページの開発事例今井敬吾*, 今井宜洋*, 小笠原啓*, 結縁祥治** (*有限会社ITプランニング，**名古屋大学) (C3) ポスター形式手法を含む言語教育の成果と課題小川清, 斉藤直希 (名古屋市工業研究所) (C3) ポスター例外機構を持つ型付きラムダ計算におけるパラメトリシティ大里陽一, 五十嵐淳, 中澤巧爾 (京都大学) (C3) ポスター多相型と存在型に対する型検査問題の同値性加藤祐輝, 中澤巧爾 (京都大学) (C3) ポスター・デモ Safe アンビエントに基づく分散アプリケーション開発用 Lisp 環境林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一 (京都大学) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2日目 (3月10日(木)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 9:00 - 10:00 セッション5 招待講演線形論理とラムダ計算の計算量照井一成 (京都大学数理解析研究所) 10:00 - 10:20 休憩 10:20 - 12:00 (100分) セッション6 (C1) 基底項書き換え系の多項式時間合流性判定法の改良村井正勝, 青戸等人, 外山芳人 (東北大学) (C1) 多項式サイズ正規形を保証する項書き換えシステムの経路順序磯部耕己, 青戸等人, 外山芳人 (東北大学) (C2) Verification of Tree-Processing Programs via Higher-Order Model Checking (出典: 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), pp. 312-327, 2010) Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi (Tohoku University) (C2) General Bindings and Alpha-Equivalence in Nominal Isabelle (出典: 20th European Symposium on Programming (ESOP 2011), to appear) Christian Urban*, Cezary Kaliszyk** (*TU Munich, **University of Tsukuba) 12:00 - 13:30 昼食 13:30 - 14:45 (75分) セッション7 (C1) A Homomorphism-based Framework for Systematic Parallel Programming with MapReduce Yu Liu*, Zhenjiang Hu** (*The Graduate University for Advanced Studies, **National Institute of Informatics) (C1) 標準 Java 仮想機械上で動的にメンバーの追加を行う機構の提案早船総一郎, 千葉滋 (東京工業大学) (C2) Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (出典: 25th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), pp. 539-554, 2010) Shigeru Chiba*, Atsushi Igarashi**, Salikh Zakirov* (*Tokyo Institute of Technology, **Kyoto University) 14:45 - 15:10 休憩 15:10 - 16:50 (100分) セッション8 (C1) 模倣に基づくグラフスキーマを利用したビュー更新可能性判定中野圭介*, 日高宗一郎**, 胡振江**, 稲葉一浩**, 加藤弘之** (*電気通信大学, **国立情報学研究所) (C1) An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions Kento Emoto (University of Tokyo) (C2) Bidirectionalizing Graph Transformations (出典: 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), pp. 205-216, 2010) Soichiro Hidaka*, Zhenjiang Hu*, Kazuhiro Inaba*, Hiroyuki Kato*, Kazutaka Matsuda**, Keisuke Nakano*** (*National Institute of Informatics, **Tohoku University, ***The University of Electro-Communications) (C2) Calculating Tree Navigation with Symmetric Relational Zipper (出典: 20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM 2011), pp. 101-110, 2011) Yuta Ikeda, Susumu Nishimura (Kyoto University) 16:50 - 17:15 休憩 17:15 - 18:30 (75分) セッション9 (C1) Haskellによる拡張性の高いプレゼンテーション・システム今村悠, 岩崎英哉 (電気通信大学) (C1) 宣言的記述からの関数型言語によるゲームプログラムの導出松島勇介, 上野雄大, 森畑明昌, 大堀淳 (東北大学) (C2) MikiBeta : A General GUI Library for Visualizing Proof Trees --- System Description and Demonstration --- (出典: 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), LNCS, to appear) Kanako Sakurai, Kenichi Asai (Ochanomizu University) 18:30 - 20:30 夕食 20:30 - 22:00 セッション10 (ポスター・デモ2) (C3) ポスター Java 言語のための暗黙的に型定義される構造体大久保貴司, 千葉滋 (東京工業大学) (C3) ポスター IDE を活用した言語機構に頼らないコード再利用のためのモジュール化寺本裕基, 武山文信, 千葉滋 (東京工業大学) (C3) ポスター内部ドメイン専用言語支援のための型に連動した字句・構文ルールの変更機構市川和央, 千葉滋 (東京工業大学) (C3) ポスター機能モジュールの合成コードのより良いモジュール化に向けて武山文信, 千葉滋 (東京工業大学) (C3) ポスター細かい粒度でコードの再利用を可能とするメソッド内メソッドの Java 言語への導入平松俊樹 (東京工業大学) (C3) ポスタープログラム構造に強く依存しないポイントカットの提案伊尾木将之 (東京工業大学) (C3) ポスタープログラムの織り込み関係を可視化するアウトラインビューの提案と実装大谷晃司 (東京工業大学) (C3) ポスター量子プロトコルの形式的検証のための観測同値久保田貴大, 角谷良彦 (東京大学) (C3) ポスター Coq を用いた Hadoop MapReduce アプリケーションの仕様記述とプログラム抽出小野洸亮*, 田辺良則**, 谷幹也***, 中野雄介*, 野田夏子***, 萩谷昌己*, 平井洋一*, 細野繁***, 蒔原省吾* (*東京大学, **国立情報学研究所, ***日本電気株式会社) (C3) ポスター型に場所がついた計算体系木村大輔*, 角谷良彦** (*NII, **東京大学) (C3) ポスターコレクションデータのパターンマッチ江木聡志 (東京大学) (C3) ポスター対称λ計算と古典論理 Reloaded 上田やよい (お茶の水女子大学) (C3) ポスター・デモ AlGoL: プログラミング言語の基礎を学ぶアプリケーションの提案対馬かなえ, 増子萌 (お茶の水女子大学) (C3) ポスター Automatic Parallelization via Matrix Multiplication Shigeyuki Sato, Hideya Iwasaki (The University of Electro-Communications) (C3) ポスター Haskell で記述した仮想マシンモニタの評価大山恵弘, 岩崎英哉 (電気通信大学) (C3) デモ Haskell による拡張性の高いプレゼンテーション・システム今村悠, 岩崎英哉 (電気通信大学) (C3) ポスタースクリプト言語向けスタックベース GC と Lua への実装小室直, 阿部公輝 (電気通信大学) (C3) ポスター・デモ並行処理記述のための DynAlloy の拡張岩塚卓弥, 結縁祥治 (名古屋大学) (C3) ポスター・デモ CONPASU: 記号処理に基づく並行プロセスの状態数削減ツール磯部祥尚 (産業技術総合研究所) (C3) ポスター・デモ OCaml への GADT の導入 Jacques Garrigue, Jacques Le Normand (名古屋大学) (C3) ポスター・デモ制約付き項書換え系における木準同型写像を用いた等価性証明ツール高桑一也, 西田直樹, 大場康司, 酒井正彦, 坂部俊樹, 草刈圭一朗 (名古屋大学) (C3) ポスター・デモ難解言語 Malbolge におけるプログラミング環境の構築と改良長坂哲, 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (名古屋大学) (C3) ポスター・デモ難解言語 Malbolge における高級アセンブリ言語への加算命令の追加安藤聡, 長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (名古屋大学) (C3) ポスターモナド的意味論の比較問題について勝股審也 (京都大学) (C3) ポスター確率的オートマトンにおける決定的スケジューラのための非決定的確率的モナド佐藤哲也 (京都大学) (C3) ポスター分離論理を用いた，C 言語プログラムの機械的検証アフェルトレナルド*, 山田聖** (*産業技術総合研究所, **株式会社レピダム) (C3) ポスター Java 経験者を対象とした関数型プログラム学習支援環境の開発佐藤功二, 高田喜朗 (高知工科大学) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 3日目 (3月11日(金)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 9:00 - 10:15 (75分) セッション11 (C1) 暗に型付けられた関数型言語に対する変数名補完方式の提案後藤拓実, 篠埜功 (芝浦工業大学) (C1) Kide: 開発環境によるオブジェクト指向言語でのアスペクト指向開発の支援金澤圭, 堀江倫大, 千葉滋 (東京工業大学) (C2) EventCJ: A Context-Oriented Programming Language with Declarative Event-based Context Transition (出典: 10th Annual Aspect-Oriented Software Development Conference (AOSD 2011), to appear) Tetsuo Kamina*, Tomoyuki Aotani**, Hidehiko Masuhara* (*University of Tokyo, **Japan Advanced Institute of Science and Technology) 10:15 - 10:40 休憩 10:40 - 11:55 (75分) セッション12 (C1) 名前渡しプロセス計算における優先度ガード結縁祥治, 太田正悟 (名古屋大学) (C1) エフェクトを持つマルチステージ計算体系の型推論小鍛治雄一郎, 亀山幸義 (筑波大学) (C2) Polymorphic Contracts (出典: 20th European Symposium on Programming (ESOP 2011), to appear) Joao Filipe Belo*, Michael Greenberg*, Atsushi Igarashi**, Benjamin C. Pierce* (*University of Pennsylvania, **Kyoto University) 11:55 - 12:20 休憩 12:20 - 13:00 クロージング --------------------------------------------------------------------------

1 0

Registration open: 23rd European Summer School in Logic, Language and Information
by Esslli Ljubljana 22 Feb '11

22 Feb '11

Apologies if you receive multiple copies of this message. Please distribute it to colleagues and students. ****************************************************************************************** CALL FOR PARTICIPATION AT ESSLLI 2011 Meeting: 23rd European Summer School in Logic, Language and Information (ESSLLI) Date: 01-Aug-2011 - 12-Aug-2011 Location: Ljubljana, Slovenia Contact Email: esslli2011(a)gmail.com Meeting URL: http://esslli2011.ijs.si/ Early registration deadline: 31-05-2011 ****************************************************************************************** *Meeting Description* For the past 23 years, the European Summer School in Logic, Language and Information (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2011, ESSLLI will held in Ljubljana, Slovenia and will be organized by the Slovenian Language Technologies Society (SDJT), the Jožef Stefan Institute (IJS) and The Faculty of Mathematics and Physics (FMF) in Ljubljana, Slovenia. Chair of the Program Committee is Makoto Kanazawa (National Institute of Informatics, Japan), and Chair of the Organizing Committee is Darja Fišer (The University of Ljubljana, Slovenia). To contact the ESSLLI 2011 Organizing Committee, write to: esslli2011(a)gmail.com. *Summer School Programme* http://esslli2011.ijs.si/?page_id=897 *Online Registration Form* https://www.kompas-online.net/Pages/MeetingsConferences/Register/RegisterV2… *Programme Committee* Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area Specialists: Language and Computation: - Markus Egg (Humboldt-Universität zu Berlin) - Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: - Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) - Louise McNally (UPF, Barcelona) Logic and Computation: - Ralph Matthes (IRIT, CNRS and University of Toulouse) - Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg *Organizing Committee* Chair: Darja Fišer (University of Ljubljana) Committee Members: - Špela Vintar (University of Ljubljana) - Andrej Bauer (University of Ljubljana) - Monika Kropej (Jožef Stefan Institute) - Špela Sitar (Jožef Stefan Institute) - Boštjan Bajec (University of Ljubljana) - Senja Pollak (University of Ljubljana) - Mihael Arčan

1 0

CFP: Two Workshops on Continuations
by Yukiyoshi Kameyama 22 Feb '11

22 Feb '11

logic-ml および sonoteno 皆様、 (重複して受け取りの節は御容赦ください) Continuation (継続) に関する2つのワークショップが、5月末および9月下旬に開催されます。 1. RDP (RTA + TLCA) に併設 TPDC 2011: Theory and Practice of Delimited Continuations May 29, 2011, Novi Sad, Serbia http://www.pps.jussieu.fr/~saurin/tpdc2011/ 2. ICFP に併設 CW 2011: ACM SIGPLAN Continuation Workshop 2011 September 24, 2011, Tokyo, Japan http://logic.cs.tsukuba.ac.jp/cw2011/ どちらも、基礎理論(classical logic, type theory)から、プログラム言語の理論/実装、継続の様々な応用(web programming, linguistics etc.)までをカバーするワークショップです。「2」の方は、システムのデモンストレーションの発表も歓迎します。 RDP に行かれる方、あるいは、ICFP に行かれる方は、是非投稿をご検討ください。 CFP は添付ファイルにします。 -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam Call for Papers TPDC 2011 1st International Workshop on Theory and Practice of Delimited Continuations http://www.pps.jussieu.fr/~saurin/tpdc2011/ 29 May 2011, Novi Sad, Serbia An RDP 2011 workshop - Federated Conference on Rewriting, Deduction, and Programming SCOPE AND TOPIC: Since their introduction in the late 1980s, delimited control operators have triggered increasing interest among programmers and the programming language community, found unexpected applications in conceptual domains such as linguistics and constructive mathematics, and shown themselves to be the natural development of classical control operators. The first workshop on the Theory and Practice of Delimited Continuations aims to bring together people working with the many different (practical, theoretical, or foundational) aspects of delimited continuations, in the hope of fostering some unity and progress. Contributions on all topics related to delimited continuations are welcome, as either short abstracts or full papers (see SUBMISSION PROCEDURE below). INVITED SPEAKERS: To be announced IMPORTANT DATES: # Submission of full papers: 25 February 2011 # Submission of short abstracts: 18 March 2011 # Notification of acceptance: 25 March 2011 # Final version due: 8 April 2011 # Workshop: 29-30 May 2011 SUBMISSION PROCEDURE: We accept submissions of two kinds: * short abstracts (1 to 2 pages) * full papers up to 12 pages Short abstracts are proposals for talks within a wide rubric: reports on work-in-progress or recently published papers, surveys or short tutorials, system demonstrations, etc. Full papers must describe new work not under consideration for publication elsewhere. Accepted papers and abstracts will be presented at the workshop and included in the proceedings, published as a technical report. Papers and abstracts should be formatted using the easychair.cls LaTeX class (see http://easychair.org/coolnews.cgi), and may be submitted electronically as pdf files via the easychair website: https://www.easychair.org/login.cgi?conf=tpdc2011 PROGRAM COMMITTEE: Zena Ariola, University of Oregon, USA Dariusz Biernacki, University of Wroclaw, Poland Hugo Herbelin, INRIA, Paris, France Yukiyoshi Kameyama, University of Tsukuba, Japan Alexis Saurin, CNRS, Paris, France Hayo Thielecke, University of Birmingham, UK Noam Zeilberger, Université Paris Diderot, Paris, France WORKSHOP ORGANIZERS: Hugo Herbelin, INRIA, Paris, France Alexis Saurin, CNRS, Paris, France Noam Zeilberger, Université Paris Diderot, Paris, France For more information, please contact Alexis Saurin <saurin(a)pps.jussieu.fr> or Noam Zeilberger <noam(a)pps.jussieu.fr> CW 2011 ACM SIGPLAN Continuation Workshop 2011 http://logic.cs.tsukuba.ac.jp/cw2011/ co-located with ICFP 2011, Tokyo, Japan Saturday, September 24, 2011 Call for Contributions Continuations have been discovered many times, which highlights their many applications in programming language semantics and program analysis, linguistics, logic, parallel processing, compilation and web programming. Recently, there has been a surge of interest specifically in delimited continuations: new implementations (in Scala, Ruby, OCaml, Haskell), new applications (to probabilistic programming, event-driven distributed processing), substructural and constructive logics, natural language semantics. The goal of the Continuation Workshop is to make continuations more accessible and useful -- to practitioners and to researchers in various areas of computer science and outside computer science. We wish to promote communication among the implementors and users in many fields. We would like to publicize the applications of continuations in academic (logic, linguistics) and practical fields and various programming languages (OCaml, Haskell, Scala, Ruby, Scheme, etc). Continuation Workshop 2011 will be informal. We aim at accessible presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. The workshop will have no published proceedings; submissions of short abstracts are preferred. We intend to organize a tutorial session on delimited continuations and their main applications, in the evening before the workshop, on Friday, September 23, 2011. Invited speakers ---------------- TBD Important dates --------------- Submission: June 25, 2011 Notification: August 8, 2011 Tutorials: September 23, 2011 Workshop: September 24, 2011 Format ------ The workshop will consist of presentations by the participants, selected from submitted abstracts. Participants are invited to submit working drafts, source code, and/or extended abstracts for distribution on the workshop homepage and to the attendees, but as the workshop will have no formal proceedings, any contributions may be submitted for publication to other venues. (See the SIGPLAN republication policy for more details.) Scope ----- We seek several types of presentations on topics related to continuations. We especially encourage presentations that describe work in progress, outline a future research agenda, or encourage lively discussion. Research presentations on: - implementations of continuations - semantics - type systems and logics - meta-theory and its mechanization - code generation with continuations or effects - distributed programming - systems programming and security - pearls Research presentations must be broadly accessible and should describe new ideas, experimental results, significant advances in the theory or application of continuations, or informed positions regarding new control operators. Application presentations, or status reports These broadly accessible presentations should describe interesting applications of continuations in research, industry or open source. We encourage presentations of applications from areas outside of programming language research -- such as linguistics, logics, AI, computer graphics, operating systems, etc. These presentations need not present original research, but should deliver information that is new or that is unfamiliar to the general ICFP audience. (A broadly accessible version of research presented elsewhere, with the most recent results and more discussion of future work may be acceptable as a CW 2011 status report.) The abstract submission should justify, to a general reader, why an application is interesting. Demos and work-in-progress reports Live demonstrations or presentations of preliminary results are intended to show new developments, interesting prototypes, or work in progress. In the abstract submission (which need only be about half a page), describe the demo and its technical content, and be sure to include the demo's title, authors, collaborators, references, and acknowledgments. A demonstration should take 10-15 minutes, and a work-in-progress report should take about 5 minutes. The exact time per demo will be decided based on the number of accepted submissions. (Presenters will have to bring all the software and hardware for their demonstration; the workshop organizers are only able to provide a projector.) Submission Guidelines and Instructions -------------------------------------- Unlike the previous Continuation Workshops, we do not require the submission of complete research papers. We will select presentations based on submitted abstracts, up to 2 (A4 or US letter) pages long in the PDF format (with the optional supplementary material, up to 8 PDF pages). Persons for whom this poses a hardship should contact the program chair. Submissions longer than a half a page should include a paragraph synopsis suitable for inclusion in the workshop program. Email submissions to cw2011-submit(a)logic.cs.tsukuba.ac.jp Organizers ---------- Yukiyoshi Kameyama, University of Tsukuba http://logic.cs.tsukuba.ac.jp/~kam/ Chung-chieh Shan, Rutgers University http://www.cs.rutgers.edu/~ccshan/ Oleg Kiselyov http://okmij.org/ftp/ Program Committee ----------------- Kenichi Asai, Ochanomizu University, Japan http://pllab.is.ocha.ac.jp/~asai/ Malgorzata Biernacka, University of Wroclaw, Poland http://www.ii.uni.wroc.pl/~mabi/ Hugo Herbelin, PPS - pi.r2, INRIA, France http://pauillac.inria.fr/~herbelin/index-eng.html Oleg Kiselyov http://okmij.org/ftp/ Julia Lawall, University of Copenhagen, Denmark http://www.diku.dk/~julia Tiark Rompf, EPFL, Switzerland Chung-chieh Shan, Rutgers University (Chair) http://www.cs.rutgers.edu/~ccshan/ Hayo Thielecke, University of Birmingham, UK http://www.cs.bham.ac.uk/~hxt Previous Workshops ------------------ ACM SIGPLAN Continuation Workshop (CW'04) http://www.cs.bham.ac.uk/~hxt/cw04/index.html ACM SIGPLAN Workshop on Continuations (CW'01) http://www.cs.indiana.edu/~sabry/cw01/ ACM SIGPLAN Workshop on Continuations (CW'97) http://www.brics.dk/~cw97/ Continuation Fest 2008 http://logic.cs.tsukuba.ac.jp/~kam/Continuation2008/

1 0

Talk by Ryu Hasegawa at RIMS, Kyoto U. (2/24)
by Kazushige TERUI 21 Feb '11

21 Feb '11

みなさま今週木曜日に催されるセミナーのご案内をさせていただきます。どうぞお気軽にお越しください。照井 --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: 長谷川立 (東京大学) Title: Combinatorial enumeration model を用いた Church-Rosser 性の証明 Date: 11.00 - 12.00, Februrary 24th (Thu) Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Combinatorial enumeration model は, Joyal-Girard による解析関手を用いたラムダ計算のモデルのことであり, ここではそれを線形論理のモデルに改変したものを指している. ある意味で数え上げの個数を与えており, その事実を用いたシンプルな解析を可能にしている。ここでは, linear category 上に構成された計算体系 LC の Church-Rosser 性の証明に, このモデルを応用する技術を紹介する。 ------------------------------------------ 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

「証明論の展開とその哲学」シンポジウム
by Mitsuhiro Okada 18 Feb '11

18 Feb '11

次の会合の案内をこのメールリストに投稿させていただきます。　慶応大哲学　岡田光弘 ================================================================= PROOF THEORY AND PHILOSOPHY 「証明論の展開とその哲学」シンポジウム Feb 26th, 2011, Tokyo, Keio University, Mita Campus 2011年2月26日(土) 慶應義塾大学三田キャンパス ================================================================== 本研究会の目的：現代論理、特に証明論に源泉を持ち、Hilbert, Gödel, Friedman, Girardらによって議論されたテーマのいくつかについて、その技術的概観とともに哲学的観点を検討する。 The purpose of this Meeting is to discuss issues presented in various new fields derived from proof theory, initiated by Hilbert, Gëdel, Friedman, Girard and others, from the philosophical point of view as well as from the technical point of view. 日時：　22011年月26日(土)　午後１３時ー１８時Ｄａｔｅ&Ｔｉｍｅ:: Feb 26th, 2011, 13:00pm-18:00pm 場所: 慶應義塾大学三田キャンパス東館6階 G-Sec Lab Place: G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio University (5 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi) 参加自由、無料です。 URL: http://abelard.flet.keio.ac.jp/ptp11/ （abstracts情報はここを参照ください） =========================================================================- なお、この集会の直前の２月２４－２５日にFormal Ontology Meetingが開催されます。 http://abelard.flet.keio.ac.jp/seminar/oam11.html　（事前電子登録推奨） ========================================================================== "Proof Theory and Philosophy" Program 1. 13:00-14:00 Richard Zach (University of Calgary, Department of Philosophy) “Gëdel’s First Incompleteness Theorem and Mathematical Instrumentalism” (14:00-14:15 coffee) 2. 14:15-15:15 Ryo Takemura (Keio University) “Proof theory for reasoning with Euler diagrams” (15:15-15:30 coffee) 3. 15:30-16:30 Sam Sanders (Tohoku University) “Reverse Mathematics & Non-Standard Analysis: WHY SOME THEOREMS ARE MORE EQUAL THAN OTHERS” (16:30-16:45 coffee) 4. 16:45-17:45 Michele Basaldella (Kyoto University) “A gentle introduction to ludics” 17:45-18:00 Concluding discussion 18:00 End of the Meeting ----- 本集会は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンターとグローバルＣＯＥ「論理と感性の先端的教育研究拠点」の共催集会です。 Organizing Committee Ryoto Akiyoshi Mitsu Okada (responsible) Yutaro Sugimoto 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所: 東京都港区三田2-15-45 TEL: 03-3453-4511 (内線23847) E-Mail: interontology[AT]abelard.flet.keio.ac.jp 最新情報は URL: http://abelard.flet.keio.ac.jp/ptp11/ をご参照ください。 -----------------------------------------------------------------------------------------------

1 0

[TACL 2011] Second call for papers
by tacl2011＠lif.univ-mrs.fr 17 Feb '11

17 Feb '11

[Apologies for multiple copies] =============================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) II call for papers =============================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theoryfile:///home/lsantoca/public_html/tacl2011/IIcallforpapers.txt * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic List of speakers ---------------- * Steve Awodey, Carnegie Mellon University * Lev Beklemishev, Steklov Mathematical Institute Moscow * David Gabelaia, Tbilisi Razmadze Mathematical Institute * Nikolaos Galatos, University of Denver * Pierre Gillibert, Charles University Prague * Jean Goubault-Larrecq, ENS Cachan, CNRS, INRIA * Rosalie Iemhoff, Utrecht University * Mamuka Jibladze, Tbilisi Razmadze Mathematical Institute * Vincenzo Marra, Università degli Studi di Milano * Thomas Streicher, Technical University Darmstadt Esakia session -------------- The Fifth International Conference on Topology, Algebra and Categories in Logic is dedicated to the memory of Leo Esakia (1934-2010). In Leo's honour there will be a special session during the conference; three of the invited speakers will be giving their talk in this session: Lev Beklemishev, David Gabelaia, and Mamuka Jibladze. In addition, a memorial talk on the life and work of Leo Esakia will delivered by the chair of this session, Guram Bezhanishvili. The program committee specially encourages submissions related to the work of Leo Esakia, and may select some of these submission for presentation at the special session. Submissions ----------- Contributed presentations will be of two types: * standard presentations of 20 minutes in parallel sessions, * featured, 30 minutes long, plenary presentations. The submission of an extended abstract in pdf format will be required to be selected for a contributed presentation of either kind. Concerning the standard presentations, while preference will be given to new work, results that have already been published or presented elsewhere will also be considered. Concerning the featured presentations: the program committee will choose a small number of submissions of which the authors will be invited to give a plenary presentation. The criteria for this selection will be: originality, significance and interest to the wider TACL community. There will be just one submission procedure, for contributed presentations of either kind: authors are requested to submit a short text of four pages, in English and in pdf format, through the easychair submission site: https://www.easychair.org/conferences/?conf=tacl2011 Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr ===============================================================================

1 0

オントロジー会議(Ontology Meeting)２月２４−２５日(Feb 24-25th), Keio University, Tokyo
by Mitsuhiro Okada 15 Feb '11

15 Feb '11

論理、計算科学、数学のオントロジーの講演を含む学際集会です。本メーリングリストに投稿させていただきます。　慶応大哲学　岡田光弘 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ONTOLOGY Meeting, Feb 24th-25th, 2011, Tokyo, Keio University, Mita Campus オントロジー研究集会 2011年2月24-25日慶應義塾大学三田キャンパス主催：慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター Roberto Casati教授 (影のオントロジー)，Barry Smith教授 (痛みのオントロジー，文書のオントロジー) らの講演をはじめとして，analytic metaphysics，ontologyの基礎的諸問題や論理的側面などを議論します．論理学，計算機科学，数学などの観点を含むオントロジーの討論も予定されています．(プログラムは以下に掲載) 参加自由，無料です．　 The purpose of this Meeting is to discuss some fundamental issues on ontology from various points of views including analytic metaphysics, logic, phenomenology, computing science and mathematics. ------------------------------------------------------------------------ *日時 / Date:* 2011年2月24日 -- 25日 / Feb 24th -- Feb 25th, 2011 *場所 / Place:* 6th Floor (G-SEC Lab), East Building, the Mita Campus, Keio University / 慶應義塾大学三田キャンパス東館6F G-SEC Lab *公式ページURL / Official Page URL:* http://abelard.flet.keio.ac.jp/oam11/ ------------------------------------------------------------------------ (この他に今月(2月)の研究会として，2月10-11日に「数学の哲学の現在」研究会 <http://abelard.flet.keio.ac.jp/pom11/>が予定されております．) ------------------------------------------------------------------------ 参加自由です．ただし，会場の設定や予稿集(無料)の準備のため，できる限り下記の登録ページで電子登録をお願いしております． Free for participation. Please register here in order to ensure receiving your copy of the proceedings volume upon your arrival at the Meeting site: https://abelard.flet.keio.ac.jp/oam11/registration.html ------------------------------------------------------------------------ The PROGRAM: 2月24日 (Feb 24th) *13:00* Smith (Department of Philosophy, State University of new York at Buffalo, and National Center for Ontological Research) “The Ontology of Documents” *14:00* Break *14:30* Daisuke Kachi (Philosopy, Saitama University) “The Power of Holes” *15:30* Takashi Iida (Philosophy Department, Nihon University) “On the Contingency of Some Abstract Objects” *16:10* Break *16:30* Roberto Casati (Institut Jean Nicod Ecole Normale Superieure, Paris) “Shadow lessons: competition between ontologies for dependent entities” *18:10* Reception Party at Chuugoku Hanten (中国飯店 : Restaurant near the Mita Campus) (Free for participation 参加自由無料です) 2月25日 (Feb 25th) *10:00* Barry Smith (Department of Philosophy, State University of new York at Buffalo, and National Center for Ontological Research) “The Ontology of Pains” *11:00* Break *11:20* Takeshi Akiba (Keio University) “On the ontological basis of predication” *12:00* Lunch Break *13:30* Sungho Choi (Philosophy at Kyung Hee University, Seoul, Korea) “Is fragility an intrinsic disposition?” *14:30* Tora Koyama (Osaka University) “Modal Realism and Metaontology” *15:10* Break *15:30* Sam Sanders (Tohoku University) “Reverse mathematics and non-standard analysis; a treasure trove for the philosophy of science” *16:30* Hiroyuki Miyoshi (Department of Mathematics, Kyoto Sangyo University) “Ontology and Epistemology from Computational Phenomena” *17:30* Concluding discussions *18:00* End of the Meeting 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所: 東京都港区三田2-15-45 TEL: 03-3453-4511 (内線23847) E-Mail: interontology[AT]abelard.flet.keio.ac.jp なお，セミナーの最新の情報は以下の公式ページに掲示する予定です． http://abelard.flet.keio.ac.jp/oam11/ ------------------------------------------------------------------------ /This document was translated from L^A T_E X by //H//^E //V//^E //A/ <http://hevea.inria.fr/index.html>/./

1 0

Fw: PLS8 - SECOND CALL FOR PAPERS
by Suzuki, Nobu-Yuki 14 Feb '11

14 Feb '11

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕を賜りますようお願いいたします。 -----------------------転送元のメール----------------------- From: Christos Nomikos <cnomikos(a)cs.uoi.gr> To: pls8(a)cs.uoi.gr Cc: cnomikos(a)cs.uoi.gr Subject: PLS8 - SECOND CALL FOR PAPERS Date: Tue, 15 Feb 2011 08:46:41 +0900 ******************************************************************************* ******************************************************************************* *** *** *** T H E 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M *** *** J u l y 4 - 8 , 2 0 1 1 *** *** I o a n n i n a, G r e e c e *** *** *** *** www.cs.uoi.gr/~pls8/ *** *** *** ******************************************************************************* ******************************************************************************* CALL FOR PAPERS HISTORY OF THE SYMPOSIUM The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina. PROGRAM OF THE SYMPOSIUM The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress. INVITED TUTORIALS - Jeremy Avigad (Carnegie Mellon, USA) - Dale Miller (INRIA, France) - Simon Thomas (Rutgers, USA) INVITED SPEAKERS - George Barmpalias (University of Amsterdam, Netherlands) - Ozlem Beyarslan (Bogazici University, Turkey) - Michael Rathjen (University of Leeds, UK) - Nicole Schweikardt (Goethe University, Germany) - Athanassios Tzouvaras (University of Thessaloniki, Greece) CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 25 March 2011. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/coolnews.cgi) and submitted electronically, using the Easy Chair conference system, at http://www.easychair.org/conferences/?conf=pls8 If possible, each submitted paper should be classified in one of the following areas (in alphabetical order): - Algebraic and Categorical Methods in Logic - Computability Theory - History and Philosophy of Logic - Logic in Computer Science - Model Theory - Nonclassical and Modal Logics - Proof Theory - Set Theory All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. During the symposium, each accepted paper will be presented by one of its authors, with five extra minutes for questions. Authors of submitted papers will be notified of the decision by early May 2011. Camera-ready extended abstracts will be due by the end of May for inclusion in the symposium proceedings which will be distributed to all participants. IMPORTANT DATES: - Abstract Submission Deadline: March 25, 2011 - Acceptance Notification: May 7, 2011 - Camera Ready Papers Deadline: May 31, 2011 - Conference Dates: July 4-8, 2011 SCIENTIFIC COMMITTEE - Ayse Berkman (Middle East Technical University) - Costas Dimitracopoulos (University of Athens) - Kostas Hatzikiriakou (University of Thessaly) - Antonis Kakas (University of Cyprus) - Panagis Karazeris (University of Patras) - Phokion Kolaitis (University of California, Santa Cruz and IBM Research-Almaden) - George Koletsos (National Technical University of Athens ) - Joan Moschovakis (Occidental College (retired), Chair of SC) - Christos Nomikos (University of Ioannina) - Itay Neeman (University of California, Los Angeles) - Thanases Pheidas (University of Crete) - Alexandra Soskova (Sofia University) - Constantine Tsinakis (Vanderbilt University) - Stathis Zachos (National Technical University of Athens ) ORGANIZING COMMITTEE - Manolis Gergatsoulis (Ionian University) - Spyros Kontogiannis (University of Ioannina) - Costas Koutras (University of Peloponnese) - Christos Nomikos (University of Ioannina, chair of the OC) - Panos Rondogiannis (University of Athens) SYMPOSIUM WEBPAGE www.cs.uoi.gr/~pls8/ CONTACT Joan Moschovakis (Chair of the Scientific Committee) e-mail: joan(a)math.ucla.edu Christos Nomikos (Chair of the Organizing Committee) address: University of Ioannina Department of Computer Science P.O. Box 1186 45110, Ioannina Greece tel: +30 26510 08815 fax: +30 26510 08895 e-mail: cnomikos(a)cs.uoi.gr pls8(a)zeus.cs.uoi.gr

1 0

Fw: Second International Conference on Order, Algebra, and Logics (3rd announcement)
by Suzuki, Nobu-Yuki 13 Feb '11

13 Feb '11

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕をお願いいたします。 -----------------------転送元のメール----------------------- From: Order Algebra Logic <Order.Algebra.Logic(a)tcs.uj.edu.pl> To: smnsuzu(a)ipc.shizuoka.ac.jp Subject: Second International Conference on Order, Algebra, and Logics (3rd announcement) Date: Mon, 14 Feb 2011 08:15:01 +0900 ==================================================================== THIRD ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski on the occasion of their 70th Birthdays) June 6-10, 2011, Krakow, POLAND ==================================================================== The organizers of the 2nd OAL conference in Cracow kindly inform the following: The conference website http://2oal.tcs.uj.edu.pl contains up to date information about the conference, including how - to register: http://2oal.tcs.uj.edu.pl/register.html and - to submit an abstract of a proposed talk: http://2oal.tcs.uj.edu.pl/submissions.html With kind regards, Marcin Kozik /on behalf of the organizers/

1 0

Second International Conference on Order, Algebra, and Logics (3rd announcement)
by Order Algebra Logic 11 Feb '11

11 Feb '11

==================================================================== THIRD ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski on the occasion of their 70th Birthdays) June 6-10, 2011, Krakow, POLAND ==================================================================== The organizers of the 2nd OAL conference in Cracow kindly inform the following: The conference website http://2oal.tcs.uj.edu.pl contains up to date information about the conference, including how - to register: http://2oal.tcs.uj.edu.pl/register.html and - to submit an abstract of a proposed talk: http://2oal.tcs.uj.edu.pl/submissions.html With kind regards, Marcin Kozik /on behalf of the organizers/

1 0

第24回量子情報技術研究会（QIT24）のご案内
by Harumichi Nishimura 10 Feb '11

10 Feb '11

logic-mlの皆様，第24回量子情報技術研究会（QIT24）の案内について，世話人からの依頼投稿をさせていただきます．なお，重複してお受け取りの節はご容赦ください．大阪府立大学理学系研究科西村治道 http://www.mi.s.osakafu-u.ac.jp/~hnishimura/ ============================================================== 各位この場をお借りしまして，第24回量子情報技術研究会（QIT24）についてご案内させていただきます．周囲の方々にご周知いただければ幸いです．なお，口頭発表申込締切は 2011年 3月3日（木）となっております．何かご不明な点などございましたら，QIT24世話人 (qit24(a)ngc.is.ritsumei.ac.jp) までお尋ねください． QIT24世話人細谷暁夫（東京工業大学理工学研究科基礎物理学専攻）山下茂（立命館大学情報理工学部情報システム学科）河内亮周（東京工業大学情報理工学研究科数理・計算科学専攻） ============================================================== 第24回量子情報技術研究会のご案内研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と，そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第24回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．期日　2011年 5月12日（木）, 13日（金）会場　東京工業大学西９号館ディジタル多目的ホール（〒152-0033 東京都目黒区大岡山東京工業大学大岡山キャンパス内）発表募集内容発表募集分野（申込状況によっては査読可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，およびその関連分野招待講演： Aephraim M. Steinberg氏 (CQIQC) 佐藤文隆氏 (甲南大学) 蔡兆申氏 (理研/NEC) 定員　200名程度参加費　事前振込み　一般5,000円, 学生1,000円 (当日会場払いは一般6,000円, 学生2,000円) (懇親会は別途）研究会参加申込要領講演(口頭・ポスター)申込，聴講申込は下記URLにて受付を行います http://staff.aist.go.jp/s-kawabata/qit/ 【講演申込締切】 2011年 3月 3日（木）口頭 2011年 4月 1日（金）ポスター【参加申込締切】 2011年 4月15日（金）【世話人】細谷暁夫（東京工業大学理工学研究科基礎物理学専攻）山下茂（立命館大学情報理工学部情報システム学科）河内亮周（東京工業大学情報理工学研究科数理・計算科学専攻） e-mail: qit24(a)ngc.is.ritsumei.ac.jp 主催　量子情報技術時限研究専門委員会 (委員長　北川勝浩(大阪大学)) 共催　応用物理学会量子エレクトロニクス研究会

1 0

BLAST 2011
by No-Reply 09 Feb '11

09 Feb '11

BLAST 2011 June 1-5, 2011 Lawrence, Kansas http://www.math.ku.edu/conferences/blast2011/ BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first three BLAST conferences were at the University of Denver, New Mexico State University, and the University of Colorado in Boulder. Go to the BLAST 2011 website for complete details. Invited Talks * Themba Dube (University of South Africa) * Todd Eisworth (Ohio University) * Christian Herrmann (Technische Universitat Darmstadt) * Albin Jones (National Security Agency) * Milos Kurilic (University of Novi Sad) * Keye Martin (Naval Research Laboratory) * Jorge Martinez (University of Florida) * Paul Szeptycki (York University) Tutorials * Magdalena Grzech (Cracow University of Technology) * Pieter Hofstra (University of Ottawa) * Marion Scheepers (Boise State University) * Stevo Todorcevic (University of Toronto) A limited amount of financial support is available for graduate students and recent Ph.D.'s. To apply for support, send an email of request to the conference organizers. The conference organizers can be contacted at blast2011(a)math.ku.edu. A printable version of this flyer is available for download here: http://www.math.ku.edu/conferences/blast2011/announcement-flyer.pdf

1 0

[PPDP'11] Call for Papers
by Kazunori UEDA 08 Feb '11

08 Feb '11

メーリングリストをお借りして、PPDP'10 の論文募集をお送りします。論文締切は３月１５日（アブストラクトは８日）です。上田和紀＠早稲田大学 ====================================================================== CALL FOR PAPERS PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www-ps.informatik.uni-kiel.de/ppdp11/ July 20-22, 2011, Odense, Denmark (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011) ====================================================================== PPDP 2011 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will held in cooperation with ACM SIGPLAN and take place in July 2011 in Odense, Denmark, co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011). TOPICS: - Logic, Constraint, and Functional Programming - Database, AI and Knowledge Representation Languages - Visual Programming - Executable Specification Languages - Applications of Declarative Programming - Methodologies: Program Design and Development - Declarative Aspects of Object-Oriented Programming - Concurrent Extensions to Declarative Languages - Declarative Mobile Computing - Integration of Paradigms - Proof Theoretic and Semantic Foundations - Type and Module Systems - Program Analysis and Verification - Program Transformation - Abstract Machines and Compilation - Programming Environments This list is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. IMPORTANT DATES: Abstract submission: March 8, 2011 Paper submission: March 15, 2011 Notification: April 19, 2011 Camera-ready version: May 12, 2011 Symposium: July 20-22, 2011 SUBMISSION GUIDELINES: Papers should be submitted via the submission website for PPDP 2011: http://www.easychair.org/conferences/?conf=ppdp11 Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. PROCEEDINGS: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. PROGRAM COMMITTEE: Peter Achten Radboud University Nijmegen, The Netherlands Sergio Antoy Portland State University, USA Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene Kirchner INRIA, France Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Salvador Lucas Universidad Politecnica de Valencia, Spain Simon Peyton Jones Microsoft Research, Cambridge, UK Kostis Sagonas Uppsala University, Sweden Peter Schneider-Kamp University of Southern Denmark, Denmark Doaitse Swierstra Utrecht University, The Netherlands Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy Catholic University of Louvain, Belgium For more information, contact the chairs: Program Chair: Michael Hanus University of Kiel, Germany Email: mh(a)informatik.uni-kiel.de Symposium Chair: Peter Schneider-Kamp University of Southern Denmark Email: petersk(a)imada.sdu.dk ----------------------------------------------------------------------

1 0

CALCO 2011: Last Call for Papers
by Ichiro Hasuo 02 Feb '11

02 Feb '11

みなさま，国際会議 CALCO のご案内です．プロセス代数，代数的仕様，余代数，項書換え，様相論理など幅広いトピックが対象です．ぜひ投稿をご検討ください．招待講演者も豪華です！！蓮尾一郎京都大学数理解析研究所 ========================================================================= !! LAST CALL FOR PAPERS: CALCO 2011 !! 4th International Conference on Algebra and Coalgebra in Computer Science August 29 - September 2, 2011 Winchester, UK http://calco2011.ecs.soton.ac.uk/ ========================================================================= Abstract submission: February 6, 2011 Paper submission: February 13, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. This 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) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (England), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England. -- INVITED SPEAKERS -- Vincent Danos (UK) Javier Esparza (Germany) Philippa Gardner (UK) Gopal Gupta (USA) -- 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 -- 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. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. -- IMPORTANT DATES -- Abstract submission: February 6, 2011 Paper submission: February 13, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 -- PROGRAMME COMMITTEE -- Jiri Adamek (Technical University of Braunschweig, Germany) Lars Birkedal (IT University of Copenhagen, Denmark) Filippo Bonchi (INRIA Saclay, France) Corina Cirstea (University of Southampton, UK) Andrea Corradini (co-chair, University of Pisa, Italy) Maribel Fernandez (King's College London, UK) Jose Fiadeiro (University of Leicester, UK) H. Peter Gumm (Philipps University Marburg, UK) Ichiro Hasuo (Kyoto University, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Bartek Klin (co-chair, University of Warsaw, Poland) Barbara Koenig (University of Duisburg-Essen, Germany) Alexander Kurz (University of Leicester, UK) Marina Lenisa (University of Udine, Italy) Jose Meseguer (University of Illinois, Urbana-Champaign, USA) Ugo Montanari (University of Pisa, Italy) Larry Moss (Indiana University, Bloomington, USA) Till Mossakowski (DFKI Lab Bremen and University of Bremen, Germany) Catuscia Palamidessi (INRIA Saclay, France) Dusko Pavlovic (Kestrel Institute, USA) John Power (University of Bath, UK) Jan Rutten (CWI and Radboud University Nijmegen, The Netherlands) Sam Staton (University of Cambridge, UK) Lutz Schroeder (DFKI Lab Bremen and University of Bremen, Germany) Andrzej Tarlecki (Warsaw University, Poland) Yde Venema (University of Amsterdam, The Netherlands) Martin Wirsing (Ludwig-Maximilians-University Munich, Germany) -- ORGANISING COMMITTEE -- Corina Cirstea (University of Southampton, UK) Dirk Pattinson (Imperial College London, UK) Toby Wilkinson (University of Southampton, UK) -- LOCATION -- Winchester is a beautiful historic city in southern England, known for its 11th-century cathedral and 12th-century castle. It is located just under an hour by rail from London Waterloo, and 15 minutes by road or rail from Southampton Airport. London Heathrow is 50 miles away and London Gatwick 72 miles away. -- SATELLITE WORKSHOPS -- CALCO 2011 will be preceded by the CALCO Young Researchers Workshop, CALCO-Jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO-Tools, will be held on the same dates as the main CALCO conference. There are separate submission procedures for CALCO-Jnr and CALCO-Tools. -- CALCO-Jnr Overview -- The CALCO Young Researchers Workshop invites submissions on the same topics as the CALCO conference. CALCO-Jnr presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page abstracts. After the workshop, the author(s) of each presentation will be invited to submit a full 10-15 page paper on the same topic. Following additional reviewing, selected papers will be published as a technical report. http://calco2011.ecs.soton.ac.uk/workshops/calco-jnr.html -- CALCO-Jnr Dates -- Abstract submission: May 8, 2011 Author notification: May 30, 2011 Final version due: June 30, 2011 -- CALCO-Jnr Programme Committee -- Corina Cirstea (University of Southampton, UK) Magne Haveraaen (University of Bergen, Norway) John Power (University of Bath, UK) Monika Seisenberger (chair, Swansea University, UK) Toby Wilkinson (University of Southampton, UK) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems/prototypes/tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. http://calco2011.ecs.soton.ac.uk/workshops/calco-tools.html -- CALCO-Tools Dates -- Paper submission: March 23, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 -- CALCO-Tools Programme Committee -- Paolo Baldan (University of Padova, Italy) Luis Barbosa (University of Minho, Portugal) Dorel Lucanu (chair, Al. I. Cuza University of Iasi, Romania) Milad Niqui (CWI, Amsterdam, The Netherlands) Peter Olveczky (University of Oslo, Norway) Dirk Pattinson (Imperial College London, UK) -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant PC chairs. Queries related to the organisation should be emailed to calco2011(a)ecs.soton.ac.uk .

1 0

PPL2011（3月＠北海道），ポスター・デモ発表募集および参加登録開始のお知らせ
by Kiyokuni Kawachiya 31 Jan '11

31 Jan '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，来年３月に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) のご案内を再度させて頂きたく存じます．参加登録ページがオープンしました． http://www.info.kochi-tech.ac.jp/ppl2011/registration.html 参加ご希望の方は説明をお読みの上，2/25(金)までに登録をお願いいたします．また，カテゴリ３（ポスター・デモ発表）の申込締切が，一週間後の2/7(月)に迫っております．こちらにも奮ってご応募ください． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ 今回はショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- （投稿受付は終了しました）カテゴリ３（ポスター・デモ発表） -------------------------------- ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．なお，PPL2011ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 以下の２件の招待講演が予定されています．田中哲朗氏 (東京大学) 講演タイトル(予定)「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 講演タイトル(予定)「Linear logic and implicit computational complexity」 ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．なお，PPL2011では，発表者の希望により発表の様子をインターネットでストリーミング放映することを検討しております．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- （投稿受付は終了しました）カテゴリ３（ポスター・デモ発表） ------------------------------------------ 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年2月7日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月14日(月) 問い合わせ先：organizers-ppl2011(a)pllab.is.ocha.ac.jp ====================================================================== プログラム委員会浅井健一 (お茶の水女子大学) 磯部祥尚 (産業技術総合研究所) 稲葉一浩 (国立情報学研究所) 今井宜洋 (ITプランニング) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 亀山幸義 (筑波大学) 河内谷清久仁 (日本IBM東京基礎研究所) 久野靖 (筑波大学) 中田景子 (Institute of Cybernetics) 中田秀基 (産業技術総合研究所) 蓮尾一郎 (京都大学・JSTさきがけ) 長谷川立 (東京大学) 番原睦則 (神戸大学) 廣川直 (北陸先端科学技術大学院大学) 森畑明昌 (東北大学) 横山大作 (東京大学) 実行委員会浅井健一 (お茶の水女子大学) [プログラム共同委員長] 河内谷清久仁 (日本IBM東京基礎研究所) [プログラム共同委員長] 松崎公紀 (高知工科大学) [実行委員長] --------------------------------------------------------------------------

1 0

Second Call for Papers: MOL 12 Tokyo
by Makoto Kanazawa 31 Jan '11

31 Jan '11

--------------------- PLEASE POST --------------------- Second Call for Papers 12th Meeting on Mathematics of Language Tokyo, September 5–7, 2011 http://sites.google.com/site/mol12tokyo/ Invited Speakers • Kit Fine, New York University • Andreas Maletti, Universität Stuttgart Background MOL 12 is the 12th Meeting on the Mathematics of Language, to be held at the National Center of Sciences in Tokyo from September 5 through 7, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. Previous meetings were held at Bielefeld University (2009), UCLA (2007), the University of Edinburgh (2005), and Indiana University (2003). Aims and Scope MOL (Mathematics of Language) is a biennial conference devoted to the mathematical study of languages and linguistics. Contributions to all areas of this field are welcome. The topics within the scope of the conference include, but are by no means limited to: • complexity and generative capacity of grammar formalisms • formal analysis of linguistic theories and frameworks • model-theoretic and proof-theoretic methods in linguistics • mathematical foundations of statistical and stochastic approaches to language analysis • formal models of language use and language change Submission Guideline We invite submission of original, unpublished papers suitable for 30-minute presentations. Papers should report original work which has not been presented at other conferences with published proceedings. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venues. Papers should not exceed 18 pages, including references and appendices (if any), and should be prepared in LaTeX using the Springer LNCS class files available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. Papers must be submitted electronically at http://www.easychair.org/conferences/?conf=mol12. Submissions will be reviewed anonymously by at least three reviewers. Proceedings The proceedings will be published by the time of the conference in the FoLLI LNAI subline of the Springer Lecture Notes in Computer Science. Important Dates • Deadline for submission: March 22, 2011 • Notification to authors: May 16, 2011 • Deadline for camera-ready copies for the proceedings: June 1, 2011 • Conference: September 5-7, 2011 Program Committee • Patrick Blackburn • Alexander Clark • Philippe de Groote • Aravind Joshi • Greg Kobele • Andras Kornai • Marcus Kracht (Chair) • Natasha Kurtonina • Michael Moortgat • Larry Moss • Gerald Penn • Sylvain Pogodalla • James Rogers • Sylvain Salvati • Hiroyuki Seki • Ed Stabler • Hans-Jörg Tiede Organizing Committee • Makoto Kanazawa (Chair) • Ryo Yoshinaka

1 0

「数学の哲学」研究集会２月１０日ー１１日のお知らせ
by Mitsuhiro Okada 28 Jan '11

28 Jan '11

PHILOSOPHY OF MATHEMATICS Feb 10th-11th, 2011 (Preliminary Announcement) 「数学の哲学の現在」シンポジウム 2011年2月10日―11日主催：慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター計算機科学，論理学，分析哲学，現象学，意識科学などの異なるフィールドで数学の哲学を研究しておられる研究者が集まり，次のような公開研究集会の開催を予定しています． The purpose of this meeting is to bring together researchers from different fields to discuss the resent state of philosophy of mathematics. （また、２月２４日ー２５日にFormal Ontologyの哲学と論理に関する研究会を、また２６日に数学基礎論の哲学に関する研究会を同一会場で予定しております。追ってご案内させていただきます。We also plan to have a Formal Ontology meeting on 24-25th and a Philosophy of the foundations of Mathematics meeting on 26th; to be announced shortly.) *日時:* 2011年2月10日午後1時 -- 11日午後5時 *Date:* Feb 10, 2011 (13pm) -- Feb 11 (17pm) *場所:* 慶應義塾大学三田キャンパス東館6階 G-Sec Lab *Place:* G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio University http://abelard.flet.keio.ac.jp/pom11/ 参加自由ですが会場設定や座席の優先確保などのためにできるだけ事前電子登録をお願いいたします．登録先はこちらです． https://abelard.flet.keio.ac.jp/pom11/registration.html 招待講演者は次の方を含みます． The main foreign guest speakers include: *講演者:* Henk Barendregt (オランダニーメゲン Radboud University, Foundations of Mathematics and Computer Science 講座長) *タイトル:* “Philosophy of mathematics, computer mathematics and lambda calculus” *講演者* Mirja Hartimo (フィンランド，ヘルシンキ大学) *タイトル* Husserl’s Philosophy of Mathematics *講演者* Mathieu Marion (カナダ，ケベック大学モントリオール校) *タイトル* Wittgenstein and Philosophy of Mathematics *講演者* Mark van Atten (フランス，パリ科学史科学哲学研究所) *タイトル* Intuitionism as phenomenology: a critique of Rota また国内ゲストはつぎの方たちを含みます．Other guest speakers include: 佐藤雅彦先生 (京都大学) “Formalization of mathematics” 矢田部俊介先生 (産業総合研究所) “Truth theories and co-induction” また，第一日目のプログラム終了時に懇親会 (参加自由) を予定しています． The (tentative) PROGRAM: 2月10日 (Feb 10th. The first Day) *13:00* Henk Barendregt “Philosophy of mathematics, computer mathematics and lambda calculus” *13:30* Discussion and short break *14:30* Mirja Hatimo “Husserl’s Philosophy of mathematics” *15:30* Discussion and short break *16:00* Mathieu Marion “Wittgenstein and Philosophy of Mathematics (tentative)” *17:00* Discussion and short break *18:00* Reception Party at Chuugoku Hanten Restaurant near (a few minutes walk distance from) the conference site/EAST GATE of the Mita Campus (Free for participation) 懇親会 (於中国飯店 <http://www.chuugokuhanten.com/>) 参加自由無料です． 2月11日 (Feb 11th. The second Day) *10:00* Masahiko Sato (Kyoto University) “Formalization of mathematics” *11:00* Discussion and short break *11:30* Lunch Break *13:00* Mark Van Atten “Intuitionism as phenomenology: a critique of Rota” *14:00* Discussion and short break *14:30* Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology, Collaborate Research Team for Verification) “Truth theories and co-induction (tentative)” *15:30* Discussion and short break *16:00* Mitsuhiro Okada (Keio University) “Some Remarks on Equational theories in the early foundational studies of Hilbert and Husserl and Concluding discussions” And Concluding Discussion *17:00* End of the Meeting 参加自由ですが，会場設定や座席の優先確保などのためにできるだけ事前電子登録をお願いいたします。登録先はこちらです。 https://abelard.flet.keio.ac.jp/pom11/registration.html この会議は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンターの主催で行われます． Organized by the Open Research Centre for Logic and Formal Ontology, Keio University. ------------------------------------------------------------------------ Organizing Committee: Mitsuhiro Okada (Keio University) Ryo Takemura (Keio University) Yutaro Sugimoto (Keio University) ------------------------------------------------------------------------ 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所:東京都港区三田2-15-45 TEL:03-3453-4511 (内線23847) E-Mail: logic[AT]abelard.flet.keio.ac.jp なお，セミナーの最新の情報は以下のページに掲示する予定です． http://abelard.flet.keio.ac.jp/pom11/ ------------------------------------------------------------------------ /This document was translated from L^A T_E X by //H//^E //V//^E //A/ <http://hevea.inria.fr/index.html>/./

1 0

$B=u65$N8xJg$N$*CN$i$;(B
by Hasegawa Masahito 27 Jan '11

27 Jan '11

$B3'MM(B $B!J=EJ#$7$F$*<u$1<h$j$N@a$O$4MF<O2<$5$$!K(B $B5~ETBg3X?tM}2r@O8&5f=j$G$O!"8=:_!"=u65<c43L>$N8xJg$r9T$J$C$F$*$j$^$9!#(B $B7W;;5!2J3X$d?tM}O@M}3X$r4^$a$??tM}2J3X4XO"J,Ln$+$i$N1~Jg$r4?7^CW$7$^$9!#(B $B8xJg$N>\:Y$K$D$$$F$O!"8&5f=j%Z!<%8(B http://www.kurims.kyoto-u.ac.jp/ja/index.html $B$h$j$4Mw2<$5$$!#(B $B$^$?!"?tM}2r@O8&5f=j$N7W;;5!2J3XJ,Ln$N9=@.0w$H8&5f3hF0FbMFEy$K$D$$$F$O(B http://www.kurims.kyoto-u.ac.jp/~cs/ $B$r$4Mw2<$5$$!#$I$&$>$h$m$7$/$*4j$$CW$7$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B Email: hassei at kurims.kyoto-u.ac.jp URL: http://www.kurims.kyoto-u.ac.jp/~hassei/index-j.html

1 0

1st CFP- THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III)
by Yuping Shen 26 Jan '11

26 Jan '11

*************************************************************************** CALL FOR PAPERS THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III) Guangzhou, China, October 10-13, 2011 URL: http://www.golori.org/lori2011/ *************************************************************************** LORI-III THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION October 10 - 13, 2011 Guangzhou, China CALL FOR PAPERS We invite submissions of contributed paper bearing on any of the broad themes of the LORI workshop series, including knowledge acquisition, use, and management, information exchange, rational action, and rational interaction. Specific topics of interest include but are not limited to: * semantic models for knowledge, for belief, and for uncertainty * dynamic logics of knowledge, information flow, and action * logical analysis of the structure of games * belief revision, belief merging * logics and preferences, compact preference representation * logics of intentions, plans, and goals * logics of probability and uncertainty * logical approaches to decision making and planning * argument systems and their role in interaction * norms, normative interaction, and normative multiagent systems * logical and computational approaches to social choice Papers can be submitted on the Easychair site for the conference and should be no longer than 4,000 words (approximately 12 double spaced pages). PUBLICATION INFORMATION A LNCS Proceedings Volume containing all accepted papers will be available at the workshop. *************************************************************************** Tentative dates Submission Deadline: June 1, 2011 Notification: July 1, 2011 Final version due: August 10, 2011 Conference: October 10 - 13, 2011 ***************************************************************************

1 0

第11回関西集合論セミナ：1月28日（金）大阪府立大学
by Masaru KADA 21 Jan '11

21 Jan '11

logic-ml のみなさま：大阪府立大学嘉田です．下記のとおり，集合論のセミナーを行いますので，ご案内申し上げます． ======== 第11回関西集合論セミナ 2011年1月28日（金）11:00--15:50 大阪府立大学中百舌鳥キャンパス A2棟2階226講義室 11:00--11:40 嘉田勝（大阪府立大学） Remarks on Scheepers' theorem on the cardinality of Lindelof spaces 13:10--14:40 酒井拓史（神戸大学） reflection principles and tree property (joint work with Boban Veclickovic) 15:10--15:50 大須賀昇（神戸大学） Separation of the covering numbers of J_g ======== 講演順，講演時間は変更の可能性あり．最新のスケジュール，講演アブストラクト，会場案内，関連情報は関西集合論セミナのウェブサイトでご覧いただけます． http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Workshop on Logic and Computation: 2月8,9日金沢市能楽美術館
by hirokawa＠jaist.ac.jp 21 Jan '11

21 Jan '11

logic-ml の皆様 JAISTの廣川と申します。2月に金沢市で行われます論理と計算に関するワークショップのご案内を申し上げます。 -------------------------------------------------------------------------------------- Workshop on Logic and Computation February 8–9, Kanazawa http://www.jaist.ac.jp/is/labs/ogawa-lab/wlc11.html -------------------------------------------------------------------------------------- The workshop aims at promoting interactions among logicians from proof theory, computability, and rewriting. Several internationally renowned scientists will participate and contribute talks on recent developments. We welcome participants from all areas and all levels, but due to space restrictions in the venue, the Kanazawa Noh Museum, we kindly ask to contact the organizers at preining(a)jaist.ac.jp beforehand. The tentative program is as follows: February 8: 10:00-11:00 Ulrich Berger (Swansea, UK) Extraction of verified algorithms in exact real arithmetic 11:00-11:20 Break 11:20-12:00 Monika Seisenberger (Swansea, UK) Program Extraction from Constructive and Classical Proofs: Higman's Lemma 12:00-13:50 Lunch break 13:50-14:30 Guillaume Bonfante (Nancy, France) Comparing implicit characterization by program transformations 14:30-15:10 Masahiko Sato (Kyoto, Japan) Formalization of Mathematics 15:10-15:30 Break 15:30-16:10 Christian Fermüller (Vienna, Austria) Parallel Dialogue Games and Hypersequents for Intermediate Logics 16:10-16:50 Nao Hirokawa (Nomi, Japan) Rewriting Techniques in Complexity Analysis February 9: 10:00-11:00 Constantine Tsinakis (Nashville, USA) The Finite Embeddability Property for Algebras of Logic 11:00-11:20 Break 11:20-12:00 Dominik Klein (Nomi, Japan) Maximal Completion 12:00-13:50 Lunch break 13:50-14:30 Matthias Baaz (Vienna, Austria) Epsilon-calculus for non-classical logics 14:30-15:10 Agata Ciabattoni (Vienna, Austria) Power and limits of analytic calculi: towards a systematic proof theory for nonclassical logics 15:10-15:30 Break 15:30-16:10 Norbert Preining (Nomi, Japan) Satsifiability in Gödel Logics 16:10-16:50 Kazushige Terui (Kyoto, Japan) Church => Scott = Ptime: an application of resource sensitive realizability Closing -- 廣川　直　（北陸先端科学技術大学院大学）

1 0

第11回関西集合論セミナ：1月28日（金）大阪府立大学
by Masaru Kada 21 Jan '11

21 Jan '11

logic-ml のみなさま：大阪府立大学嘉田です．下記のとおり，集合論のセミナーを行いますので，ご案内申し上げます． ======== 第11回関西集合論セミナ 2011年1月28日（金）11:00--15:50 大阪府立大学中百舌鳥キャンパス A2棟2階226講義室 11:00--11:40 嘉田勝（大阪府立大学） Remarks on Scheepers' theorem on the cardinality of Lindelof spaces 13:10--14:40 酒井拓史（神戸大学） reflection principles and tree property (joint work with Boban Veclickovic) 15:10--15:50 大須賀昇（神戸大学） Separation of the covering numbers of J_g ======== 講演順，講演時間は変更の可能性あり．最新のスケジュール，講演アブストラクト，会場案内，関連情報は関西集合論セミナのウェブサイトでご覧いただけます． http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

研究集会：証明論と計算論の数理科学への展開
by YOKOYAMA Keita 20 Jan '11

20 Jan '11

皆様，この度以下のように、東北大学と北陸先端科学技術大学院大学の共催で研究集会を開催することとなりました。奮ってご参加ください．研究集会名：　証明論と計算論の数理科学への展開日時：　平成23年2月21日（月）〜2月24日（木） 20日（日）　チェックイン・受付 21日（月）　午前 problem session 1 21日（月）　午後〜23日（水）　午前 main sessions 23日（水）　午後 student session 24日（木）　午前 problem session 2 場所：　秋保温泉　岩沼屋（仙台市） http://www.iwanumaya.co.jp/ Organizers:　田中一之、石原　哉 Local organizers:　山崎武、Sam Sanders、江口直日、横山啓太研究集会の詳細につきましては以下のホームページを御覧ください． (随時更新されます．) http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ 会場の大きさの関係上，参加される方は事前に以下のフォームにて申し込みを御願いいたします．短い期間で恐縮ですが，1月31日を締め切りとさせていただきます．岩沼屋への宿泊をご希望の方は併せてお申し込みください． ---------------------------------------------- 申込フォーム氏名：所属：所属機関住所：〒電話番号：メールアドレス：参加希望宿泊なしの場合：21日/22日/23日/24日 ※宿泊なしの参加の場合，1日につき1000円程度の参加費(会場使用料)をお願いいたします．宿泊を希望する場合：　日から　日まで　泊　日．(20日から24日の期間のうち) ※宿泊の際の料金は以下の通りです．学生部屋(和室大部屋)：8000円/1泊2食，相部屋(和室)：10000円/1泊2食，個室(洋室シングル)：12000円/1泊2食 (いずれも予定，人数により変更の可能性があります．また，室数の関係からご希望に添えない場合がございます，あらかじめご了承ください．) 上記料金は，1泊につき夕・朝食に加え期間中の会場使用料を含みます．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita(a)math.tohoku.ac.jp

1 0

PPL2011（2011年3月＠北海道），カテゴリ２および３の締切が間近です
by Kiyokuni Kawachiya 18 Jan '11

18 Jan '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，来年３月に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) のご案内を再度させて頂きたく存じます．カテゴリ２とカテゴリ３はまだ申し込みが可能ですので，奮ってご応募ください．カテゴリ２（国外既発表論文）発表申込締切：1月24日(月) ※ 例年より早いのでご注意ください．カテゴリ３（ポスター・デモ発表）発表申込締切：2月 7日(月) なお，ワークショップへの参加申込は，1/21ごろから受付を開始する予定です． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ 今回はショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが，国内では未発表な研究の紹介をする場です．採録決定済みの研究も含みます．PPLへの関連をもとに採録を判定いたします．カテゴリ３（ポスター・デモ発表） -------------------------------- ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．なお，PPL2011ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 以下の２件の招待講演が予定されています．田中哲朗氏 (東京大学) 講演タイトル(予定)「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 講演タイトル(予定)「Linear logic and implicit computational complexity」 ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．なお，PPL2011では，発表者の希望により発表の様子をインターネットでストリーミング放映することを検討しております．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年1月24日(月) 　※ カテゴリ２の申込締切が例年より早くなっていますのでご注意ください．原論文（ページ数不問，PostScriptもしくはPDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せて上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月1日(火) 最終原稿提出締切：2011年2月14日(月) (注) カテゴリ２の申込締切が例年より早くなっています．２月初旬に採否が決定する国際会議については，あらかじめ別途，下記問い合わせ先までご相談ください． (注) Abstractは申込時点ではテキスト形式でお送りください．採択された場合の最終版はWebページに掲載の推奨スタイルファイルを使ったPDFがのぞましいです．カテゴリ３（ポスター・デモ発表） ------------------------------------------ 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年2月7日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月14日(月) 問い合わせ先：organizers-ppl2011(a)pllab.is.ocha.ac.jp ====================================================================== プログラム委員会浅井健一 (お茶の水女子大学) 磯部祥尚 (産業技術総合研究所) 稲葉一浩 (国立情報学研究所) 今井宜洋 (ITプランニング) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 亀山幸義 (筑波大学) 河内谷清久仁 (日本IBM東京基礎研究所) 久野靖 (筑波大学) 中田景子 (Institute of Cybernetics) 中田秀基 (産業技術総合研究所) 蓮尾一郎 (京都大学・JSTさきがけ) 長谷川立 (東京大学) 番原睦則 (神戸大学) 廣川直 (北陸先端科学技術大学院大学) 森畑明昌 (東北大学) 横山大作 (東京大学) 実行委員会浅井健一 (お茶の水女子大学) [プログラム共同委員長] 河内谷清久仁 (日本IBM東京基礎研究所) [プログラム共同委員長] 松崎公紀 (高知工科大学) [実行委員長] --------------------------------------------------------------------------

1 0

お詫びと訂正
by BEKKI Daisuke 16 Jan '11

16 Jan '11

　MLの皆様、　お茶の水女子大学の戸次です。先ほどメーリングリストに、すでに終了した研究会のご案内を誤って送付してしまいました。お詫び申し上げます。 _/ 戸次大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学理学部情報科学科 _/_/ bekki(a)is.ocha.ac.jp _/ http://www.is.ocha.ac.jp/‾bekki/

1 0

形式意味論研究会のご案内
by BEKKI Daisuke 16 Jan '11

16 Jan '11

（重複して受け取られた場合はご容赦ください）　以下の研究会を予定しています。参加費や事前登録等は不要ですので、興味をお持ちの方は、是非ご参加ください。講演者 Kristina Liefke氏 (Tilberg University) 日時 2011/1/13(木) 16:00-18:00 タイトル A Single-Type Semantics for Natural Language 概要 In this talk, I develop a single-type semantics for natural language along the lines explored by Partee (2006). Such a theory of meaning takes different semantic domains (e.g. individuals, propositions, worlds) to be constructed from a single basic type. I formalize Partee's hypothesis in a one-sort variant of Church's Simple Theory of Types (1940) and show that it models a standard fragment of English. I finish by assessing the semantics' relative merits and limitations. More than providing a fine-grained alternative to Montague's Intensional Logic that elucidates the relationship between different types of objects, the proposed theory constitutes a further step towards the unification of mathematical and empirical perspectives on meaning. Keywords: Single-type hypothesis, Data semantics, Montague grammar , Partial logic, Type theory. 参考文献 Church, Alonzo. 1940. "A Formulation of the Simple Theory of Types ", Journal of Symbolic Logic 5/2, 56-68. Montague, Richard. 1973. "The Proper Treatment of Quantification in Ordinary English", Formal Philosophy (Richmond Thomason, ed.), Yale UP, New Haven and London, 1976. Partee, Barbara. 2006. "Do We Need Two Basic Types?", Snippets: Special Issue in Honor of Manfred Krifka (Sigrid Beck and Hans- Martin Gaertner, eds.), Vol. 20, Berlin, 2009. 場所お茶の水女子大学理学部3号館209（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線茗荷谷駅徒歩7分、または有楽町線護国寺駅徒歩7分）備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。 _/ 戸次大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学理学部情報科学科 _/_/ bekki(a)is.ocha.ac.jp _/ http://www.is.ocha.ac.jp/‾bekki/

1 0

Talk by Susumu Nishimura, Thursday next week (20 Jan)
by Ichiro Hasuo 14 Jan '11

14 Jan '11

Dear colleagues, Next week Thu 20 Jan, from 11.00am, our colleague Susumu Nishimura from Dept. Math., Kyoto Univ. is making a talk on his recent work. No registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Susumu Nishimura (Dept. Math., Kyoto Univ.) Title: Calculating Tree Navigation with Symmetric Relational Zipper Date: 11.00 - 12.00, Thursday 20 January 2011 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language that locates particular nodes in a given document structure. In this talk, a calculational method for deriving certain equalities of XPath expressions is presented. Tree navigation operations in XPath expressions, making the symmetries of those operations explicit. By exploiting the symmetry, certain equalities that are useful for optimizing XPath evaluation are derided by simple calculation. The point-free, algebraic reasoning on relations not only leads to a concise justification of some known results but also establishes equations over XPath expressions with negative predicates and those beyond XPath expressibility. This is joint work with Yuta Ikeda.

1 0

東北大学ロジックセミナー
by YOKOYAMA Keita 13 Jan '11

13 Jan '11

皆様，東北大学の横山です．以下の日程でロジックセミナーを行いますので，ご興味のある方は是非ご参加ください．日時：10月29日(金) 場所：東北大学北青葉山キャンパス理学総合棟1201号室１４：４５〜１５：１５木原貴行（東北大学理学研究科）タイトル：Effectiveness for planar dendrites and dendroids １５：３０〜池上大祐（ヘルシンキ大学）タイトル：Infinite games with imperfect information セミナーの詳細につきましては， http://www.math.tohoku.ac.jp/~y-keita/friday-seminar/friday-seminar.html をご参照ください．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita(a)math.tohoku.ac.jp

1 4

「計算による数理科学の展開 2011」のお知らせ
by SAKAI Hiroshi 05 Jan '11

05 Jan '11

皆様：神戸大学の酒井拓史と申します．神戸大学で開催される研究集会「計算による数理科学の展開 2011」のお知らせをさせていただきます：計算による数理科学の展開 2011 日時：１月７日(金)〜８日(土) 場所：神戸大学理学部 B428 教室 Web page： http://www.math.kobe-u.ac.jp/cm/koen/2011-01-07.html この研究集会は，"計算の理論と実践", "計算による発見と検証" をキーワードに, 招待講演者の講演を中心として年に一度開催されます．今年は，京都大学の佐藤雅彦先生が招待講演者の一人になっておられ，７日(金)の午後2時40分から "Formalization of Mathematics" と題してご講演をされます．ご興味をお持ちの方は是非お越しください． ----------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -----------------------------------

1 0

Kobe Colloquium (talk by Sam Sanders)
by Makoto Kikuchi 29 Dec '10

29 Dec '10

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロクウィウムを開催します。日時：2011年1月20日（木）15:30 〜場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループプレゼンテーション室）講演者：Sam Sanders（東北大学）題目：A copy of several Reverse Mathematics アブストラクト： Reverse Mathematics (RM) is a program in the foundations of mathematics initiated by Friedman ([1, 2]) and developed extensively by Simpson ([4]). The aim of RM is to determine which minimal axioms prove theorems of ordinary mathematics. The main theme of RM is that a theorem of ordinary mathematics is either provable in RCA_0, or the theorem is equivalent to either WKL_0, ACA_0, ATR_0 or Π^1_1-CA_0. This equivalence is proved in RCA_0, the ‘base theory’ of RM. Moreover, each of these systems corresponds to a well-known foundational program in mathematics. Nonstandard Analysis has played an important role in RM ([3, 5]). We are interested in RM where equality is replaced by the relation ≈, i.e. equality up to infinitesimals. We obtain a ‘copy’ of the RM of WKL_0 and ACA_0 in a weak system of Nonstandard Analysis. Surprisingly, the same system is also a ‘copy’ of Constructive Reverse Mathematics. Our results have applications in Physics, Theoretical Computer Science, and the Philosophy of Science. References [1] Harvey Friedman, Some systems of second order arithmetic and their use, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), vol. 1, Canad. Math. Congress, 1975, pp. 235–242. [2] Harvey Friedman, Systems of second order arithmetic with restricted induction I & II, Journal of Symbolic Logic, vol. 41 (1976), pp. 557–559. [3] H. Jerome Keisler, Nonstandard arithmetic and reverse mathematics, Bulletin of Symbolic Logic, vol. 12 (2006), no. 1, pp. 100–125. [4] Stephen G. Simpson, Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer–Verlag, Berlin, 1999. [5] Kazuyuki Tanaka, The self-embedding theorem of WKL_0 and a non- standard method, Annals of Pure and Applied Logic, vol. 84 (1997), pp. 41–49. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

The 45th MLG Meeting: Program
by Takahiro Seki 26 Dec '10

26 Dec '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　講演・宿泊の申し込みは締め切りましたが，参加することは可能です。なお，その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　日時: 2011 年 1 月 6 日(木) 14:00 ～ 1 月 8 日(土) 12:20 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　MLG45ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ 　講演プログラム： 1月6日（木） 14:00～14:10　開会・事務連絡 14:10～14:50　関　隆宏（新潟大学）　On Halldén-completeness of relevant modal logics 14:50～15:30　角谷良彦（東京大学）　Curry-Howard correspondence with modalities based on Kripke semantics 15:50～16:30　岩波　克（東京工業大学）　直観主義二階命題論理の性質について 16:30～17:10　金子　守（筑波大学）　A measure of inference in classical and intuitionistic logics (with N.-Y. Suzuki) 1月7日（金） 9:00～ 9:40　竹村　亮（慶應義塾大学）　オイラー図推論の証明論的分析：自然演繹への翻訳と正規形証明 9:40～10:20　照井一成（京都大学）　　未　定 10:30～11:10　倉橋太志（神戸大学）　一階述語証明可能性論理における２つの意味論について 11:10～11:50　佐々木克巳（南山大学）　様相論理Grzにおける標準形の論理式とexactモデル 13:00～13:40　丸山善宏（京都大学）　Duality, monad, and topological category: Concrete-categorical investigation into algebraic-logical structures 13:40～14:20　横山啓太（東北大学）　Reverse mathematics in several frameworks 14:30～15:10　髙野道夫（新潟大学）　真理値が集合である２値論理 15:20～16:00　古森雄一（千葉大学）　変数を区別しないときの述語論理の正規化定理 16:00～16:40　小野寛晰（北陸先端科学技術大学院大学）　　未　定 1月8日（土） 9:20～10:00　松尾亮太（名古屋大学）　繰り返しゲームにおける複雑な戦略 10:00～10:40　鈴木信行（静岡大学）　ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論 10:50～11:30　鹿島　亮（東京工業大学）　Canonical models for some modal logics 11:30～12:10　志村立矢（日本大学）　Some cut-free multi-modal logics 12:10～12:20　事務連絡・閉会 --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

[TACL 2011] First call for papers
by tacl2011＠lif.univ-mrs.fr 23 Dec '10

23 Dec '10

Dear colleague, please, find below the TACL 2011 first call for papers. We strongly hope to meet you in Marseilles during next July. Best regards, Luigi Santocanale, Yves Lafont, Nicola Olivetti, TACL 2011 local organisers =============================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) =============================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ The Fifth International Conference on Topology, Algebra and Categories in Logic is dedicated to the memory of Leo Esakia (1934-2010). Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------- Contributed presentations will be of two types: o 20 minutes long presentations in parallel sessions and o featured, 30 minutes long, plenary presentations. The submission of an abstract will be required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure will be made available soon. Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr ===============================================================================

1 0

[TACL 2011] First call for papers
by Hiroakira Ono 21 Dec '10

21 Dec '10

= = = = = = = ======================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) = = = = = = = ======================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------- Contributed presentations will be of two types: 20 minutes long presentations in parallel sessions and featured, 30 minutes long, plenary presentations. The submission of an abstract of 1-4 pages is required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure is available on the conference website. Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr Luigi Santocanale, Yves Lafont, Nicola Olivetti, TACL 2011 local organisers ============================================================

1 0

New book
by Torben Brauner 20 Dec '10

20 Dec '10

BOOK ANNOUNCEMENT Hybrid Logic and its Proof-Theory by Torben Braüner Applied Logic Series, Vol. 37 Springer, 2011 ISBN 978-94-007-0001-7 * This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. * There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic). * All these proof systems can be motivated independently, but the fact that the systems can be given in a uniform way shows that hybrid logic and hybrid-logical proof-theory is a natural enterprise. * Further information can be found at http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/97…

1 0

Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 13 Dec '10

13 Dec '10

*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． Adventures of Categories: Applied Category Theory Colloquium というプロジェクトの一環として，10月から12月にかけて6回，京大数理研で講演会を行っています．今週の金曜日の講演は中岡宏行氏鹿児島大学理学部数理情報科学科による， An Introduction to Triangulated Categories です．ホモロジー代数で用いられる三角圏の概念が立ち現れる様子を，予備知識を仮定せずお話いただきます．講演会の詳細については以下を，またプロジェクトの詳細については http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html をご覧ください．みなさまのお越しを歓迎します．それでは！ "Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，中岡宏行，長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 /////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 17 Dec, 2010 Place: Room 111, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html Speaker: Hiroyuki Nakaoka (Kagoshima University) Title: An Introduction to Triangulated Categories Abstract: Homological Algebra is seemingly the most standard area of category theory used in Mathematics. Though classically the platform for homological algebra was an abelian category, recent advanced results involve its 'cousin', a triangulated category. In this talk, we will see briefly how the notions of an abelian and a triangulated category appears, and open the gate to the homological algebra. //////////////////////////////////////////////////////////////////////// =============== "Adventures of Categories" プロジェクトについて http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html 数学における異分野協働の実験場として，数学の中でもそのわかりにくさにおいて定評のある圏論 category theory をコアに据えて， - 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも参加いただきます) の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から， - いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し，アピールすることができるか？というような問に対して，何らかの答えが浮かび上がるのを期待しています．興味のおありの方，ご来聴を歓迎いたします！ Adventures of Categories というタイトルは，本プロジェクト参加者の西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．次回以降，代数学・幾何学における圏論や数理物理学における圏論，さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待ください．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/

1 0

Second International Conference on Order, Algebra and Logics (2nd announcement)
by Order Algebra Logic 10 Dec '10

10 Dec '10

==================================================================== SECOND ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono and Andrzej Wronski on the occasion of their 70th Birthdays) http://2oal.tcs.uj.edu.pl June 6-10, 2011, Krakow, POLAND ==================================================================== This meeting shares the goals of the conference with the same title, held Nashville in June 2007, and continues the tradition of related conferences in Prague, Novi Sad and Szeged. Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics as well as in investigations related to the constraint satisfaction problem. The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research. FEATURED AREAS The featured areas include, but are not limited to, the following (in alphabetical order): - Algebraic logic - Algorithmic problems in algebra - Applications of universal algebra to logics - Applications of universal algebra to the constraint satisfaction problem - Complexity and other algorithmic problems - Duality theory for algebraic structures - Lattice theory - Modal logics - Non-classical logics - Ordered algebraic structures - Ordered sets - Proof theory - Residuated structures and substructural logics - Tame congruence theory and applications - Topological methods in algebra and logic The scientific program consists of 50-minute plenary lectures, and 20-minute contributed talks. INVITED SPEAKERS - Libor Barto (Prague/Hamilton) - Nikolaos Galatos (Denver) - Mai Gehrke (Nijmegen) - Keith Kearnes (Boulder) - Tomasz Kowalski (Lisbon) - Tadeusz Litak (Leicester) - Petar Markovic (Novi Sad) - Miklos Maroti (Szeged) - Vicenzo Marra (Milan) - George McNulty (Columbia) - George Metcalfe (Bern) - Daniele Mundici (Florence) - Kazushige Terui (Kyoto) - Matthew Valeriote (Hamilton) - Ross Willard (Waterloo) ORGANIZERS - Wieslaw Dziobiak, University of Puerto Rico, Mayaguez - Pawel Idziak, Jagiellonian University - Marcin Kozik, Jagiellonian University - Constantine Tsinakis, Vanderbilt University PAPER SUBMISSION Researchers wishing to present a 20-30 minute contributed talk at the conference are invited to submit a short version of their paper via the EasyChair conference management system. (Please refer to the conference web site for detailed instructions.) These short papers must be submitted as .pdf files, have a length of two to three pages, and clearly describe the topic and contribution of the proposed talk. The first page should include title, names of authors, the affiliation, address, and email of the corresponding author. The submission procedure will also require the authors to provide some keywords describing the topic of the paper; and a plain text abstract (200 words maximum). Hence, keywords and abstract should not be included in the paper proper. The paper and the abstract must be submitted by 23:59 CET February 14th, 2011. The authors of accepted papers will be notified by March 28th, 2011. REGISTRATION FEE The conference fee will be 500 PLN prior to April 29th, 2011, and 750 PLN thereafter. The fee will cover costs related to conference activities, including coffee breaks and the banquet, but it will not cover the hotel and meal expenses of the conference participants. The banquet fee for each accompanying person is 150 PLN. Fees can be paid in advance by money transfer, or by cash at the conference site. NO CREDIT CARDS WILL BE ACCEPTED. (Further details regarding registration and payment procedures will be provided at the beginning of 2011.) LODGING Lodging information will be posted in the conference website early at the beginning of January 2011 IMPORTANT DATES - Submission of paper and abstract: February 14, 2011 - Acceptance notification: March 28, 2011 - Deadline to register with a registration fee of 500 PLN: April 29, 2011 (The registration fee after this date is 750 PLN - Conference: June 6-10, 2011 FURTHER INFORMATION Information about the conference can be found at the conference web site at "http://2oal.tcs.uj.edu.pl/index.html" (without the quotes). E-mail inquiries should be directed "2oal(a)tcs.uj.edu.pl".

1 0

Kobe Colloquium (talk by Dmitri Shakhmatov)
by Joerg Brendle 09 Dec '10

09 Dec '10

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロクウィウムを開催します。日時：2010年12月16日（木）15:10 〜場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループプレゼンテーション室）講演者：Dmitri Shakhmatov（愛媛大学）題目：A Kronecker-Weyl theorem for subsets of abelian groups アブストラクト： Let N be the set of non-negative integer numbers, T the circle group and c the cardinality of the continuum. Given an abelian group G of size at most 2^c and a countable family F of infinite subsets of G, we construct ``Baire many'' monomorphisms pi: G to T ^c such that pi(E) is dense in { y in T^c : ny=0 } whenever n in N , E in F, nE = {0} and { x in E : mx=g } is finite for all g in G and m such that n = mk for some k in N \ {1} . We apply this result to obtain an algebraic description of countable potentially dense subsets of abelian groups, thereby making a significant progress towards a solution of a problem of Markov going back to 1944. A particular case of our result yields a positive answer to a problem of Tkachenko and Yaschenko (2002). Applications to group actions and discrete flows on T^cont, diophantine approximation, Bohr topologies and Bohr compactifications are also provided. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

Prof. Olivier Danvy Lecture at NII Logic Seminar
by Makoto Tatsuta 08 Dec '10

08 Dec '10

Prof. Olivier Danvy Lecture at NII Logic Seminar Date: December 16, 2010, 14:00--16:00 Place: National Institute of Informatics, Room 2005 (20th floor) 場所: 国立情報学研究所 20階 2005室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Olivier Danvy (University of Aarhus) Title: Small-step and Big-step Aspects of Computation (A Walk in the Semantic Park) Abstract: On the one hand, there are the De Morgan laws: it is clear how to repeatedly apply them to put a proposition in, say, negational normal form, with many small computational steps. On the other hand, such a normal form can be obtained with one big computational step by recursive descent. On the second hand, there is the lambda-calculus: it is clear how to repeatedly apply its contraction rules to put a lambda-term in, say, weak-head normal form, if one exists, with many small computational steps. On the other hand, such a normal form can be obtained with one big computational step by recursive descent. On the third hand, there are also abstract machines: state transition systems that will obligingly yields normal forms as well, if they exist. There is no fourth hand in this talk: our goal is not to monkey with computation, but to demonstrate a profound structural unity in the various styles of semantic artifacts that have been proposed to specify computation: as a calculus with a reduction strategy, as a small-step system of proof rules, as a small-step system of reductions in contexts, as a small-step abstract machine, as a big-step abstract machine, as a continuation-passing big-step evaluation function, and as a direct-style big-step evaluation function. In the course of this talk, we will materialize this unity by using off-the-shelf program transformations to constructively inter-derive semantic artifacts for deterministic sequential programming languages, or, to be precise, their representation as functional programs. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

12月14日（火）三田ロジックセミナーのお知らせ
by Mitsuhiro Okada 08 Dec '10

08 Dec '10

三田ロジックセミナーのお知らせ筑波大学金子守先生をお迎えして次のようなセミナーを開催いたします。日時: 2011年12月14日（火） 16:30ｐｍ-18:00ｐｍ場所: 慶應義塾大学三田キャンパス第３号館３２５Ａ教室スピーカー：　金子守　先生（筑波大学） A Measure of Inference in Classical and Intuitionistic Logics By Mamoru Kaneko and Nobu-Yuki Suzuki 要約　　本論文において推論・証明の複雑性を議論する。計算の複雑性は、問題の可算集合に適用するアルゴリズムがその実行にようする時間の大きさとして定義される。しかし、これは、特定のひとつの問題（シークエント）に必要な推論・証明の大きさを論じることを目的としていない。特定のひとつの問題（シークエント）に必要な推論・証明の大きさを評価する試みは、論理学だけでなく、ゲーム理論・経済学（特に限定合理性の問題）などからも重要である。本論文では、古典論論理と直観主義論理のシークエント計算の体系で、与えられたひとつのシークエントが必要とする最小の証明の大きさ（証明の幅の意味で）を定義する。そして、具体的にその値を求める方法を与え、様々なシークエントに適用し、最小の証明についての考察を行う。また、ゲーム理論的問題への応用、矛盾命題への応用を議論する。参加は自由です． ---- 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター主催お問い合わせ先: 慶應義塾大学文学部哲学専攻岡田光弘

1 0

The 45th MLG Meeting: Deadline Extension
by Takahiro Seki 08 Dec '10

08 Dec '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　参加・講演申込締め切りを12月22日（水）まで延長しました。　多くの方のご講演・ご参加をお待ちしております。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 1 月 6 日(木)〜 1 月 8 日(土) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2010 年 12 月 22 日（水）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・1月7日（金）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，1月7日（金）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,000円をいただきます。・講演・宿泊を希望される方は，12月22日(水)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG45 とご記載ください。 ----------------------------------- 第45回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　6日(午後) / 7日(午前/午後) / 8日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　6日(夕食/宿泊) / 7日(朝食/昼食/夕食/宿泊) / 8日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

Re: [logic-ml] Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 07 Dec '10

07 Dec '10

みなさま，こんにちは！京大数理研の蓮尾と申します．以下のようにお知らせした先週金曜日の Piet Hut 教授の講演，スライドとビデオを web で公開しました． http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Talk_2010.12.03.html のいちばん下をご覧ください．「学際研究」という枠にとどまらず，数学の中にあって異なる背景を持つ研究者同士が議論する際にも応用できる，示唆に富む内容だと思います．それでは！蓮尾一郎 2010/11/30 Ichiro Hasuo <ichiro(a)kurims.kyoto-u.ac.jp>: > *** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** > > みなさま， > > こんにちは！京都大学数理解析研究所の蓮尾と申します． > > Adventures of Categories: Applied Category Theory Colloquium > > というプロジェクトの一環として，10月から12月にかけて6回， > 京大数理研で講演会を行っています．今週の金曜日の講演は > > Piet Hut 氏 > http://www.sns.ias.edu/%7Epiet/ > プリンストン高等研究所教授 (天文物理学・学際研究担当) > > による，学際研究に関する1時間 > > "A Game of Arrows: Widely Interdisciplinary Research" > > です．圏論は直接は出てこないかも > しれませんが，「数学内部の異分野協働の，（圏論をネタにした） > 実験場」としての本プロジェクトの一つのヤマ場です． > > > 講演会の詳細については以下を，またプロジェクトの詳細については > http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html > をご覧ください． > > また，今回は講演を USTREAM で生中継し，後日その模様を YouTube で > ごらんいただける予定です（技術的理由により，USTREAM は未確定ですが） > 詳細が決定次第またお知らせします． > > みなさまのお越しを歓迎します．それでは！ > > "Adventures of Categories" 参加者有志： > Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，中岡宏行， > 長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 > > > > /////////////////////////////////////////////////////////////////////////////////////////// > Date, Time: > 14:00-15:00, Friday 3 Dec, 2010 > > Place: > Room 110, RIMS, Kyoto University > http://www.kurims.kyoto-u.ac.jp/en/access-01.html > 京都大学数理解析研究所 1階 110号室 > http://www.kurims.kyoto-u.ac.jp/ja/access-01.html > > Speaker: > Piet Hut > Professor of Astrophysics, and Head of the Program in Interdisciplinary Studies > Institute for Advanced Study, Princeton, NJ, USA > http://www.sns.ias.edu/%7Epiet/ > > Title: > A Game of Arrows: Widely Interdisciplinary Research > > Abstract: > Many of the most interesting problems in current scientific > research require interdisciplinary collaborations, spanning a > large number of disciplines. From cognitive science and systems > biology to environmental studies and challenges like critical > evaluations of alternative medicine, we need teams of specialists > to talk and work together. However, differences in culture and > methodology provide significant barriers for broadly > interdisciplinary collaborations. Each discipline has its own > approach to knowledge, but because this knowledge is shared > within the discipline, most researchers are not aware of the > hidden assumptions involved. It is a kind of tacit knowledge, > something you learn as a student, without any specific discussion > or critical analysis. What is needed for broadly > interdisciplinary studies is not only an increase in knowlege, > but rather a focus on knowlege of knowledge. What do we know > about the limits of how we know? This is the central question > that will be addressed in this lecture. > > //////////////////////////////////////////////////////////////////////// > > > > =============== > "Adventures of Categories" プロジェクトについて > http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html > > 数学における異分野協働の実験場として，数学の中でもそのわかりに > くさにおいて定評のある圏論 category theory をコアに据えて， > > - 純粋数学における圏論ユーザー > - 応用数学における圏論ユーザー > - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー > (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも > 参加いただきます) > > の3者の交流の機会とすべく今回のプロジェクトを企画しました． > 6回の講演会の中から， > > - いろいろな数学の分野でどのように圏論が使われているのか？ > - 各分野間の知識移転によって，どのような成果が得られるか？ > - 圏論的手法が有効な他の応用分野は？ > - テクニカルに素人の方に対して，圏論をどのように説明し， > アピールすることができるか？ > > というような問に対して，何らかの答えが浮かび上がるのを期待しています． > 興味のおありの方，ご来聴を歓迎いたします！ > > Adventures of Categories というタイトルは，本プロジェクト参加者の > 西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas > にかかっています． > > 次回以降，代数学・幾何学における圏論や数理物理学における圏論， > さらに Hut 教授による講演 "How to motivate non-mathematicians to explore > category theory"など，企画しております．こちらもどうかご期待くださ > い．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． > > # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 > # を受けています． http://math.jst.go.jp/ >

1 0

Live on USTREAM: Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 02 Dec '10

02 Dec '10

（New! USTREAM 配信，確定しました． http://www.ustream.tv/channel/adventures-of-categories-applied-category-the… 高画質版は後日 YouTube に掲載します） *** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． Adventures of Categories: Applied Category Theory Colloquium というプロジェクトの一環として，10月から12月にかけて6回，京大数理研で講演会を行っています．今週の金曜日の講演は Piet Hut 氏 http://www.sns.ias.edu/%7Epiet/ プリンストン高等研究所教授 (天文物理学・学際研究担当) による，学際研究に関する1時間 "A Game of Arrows: Widely Interdisciplinary Research" です．圏論は直接は出てこないかもしれませんが，「数学内部の異分野協働の，（圏論をネタにした）実験場」としての本プロジェクトの一つのヤマ場です．講演会の詳細については以下を，またプロジェクトの詳細については http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html をご覧ください．また，今回は講演を USTREAM で生中継し，後日その模様を YouTube でごらんいただける予定です（技術的理由により，USTREAM は未確定ですが）詳細が決定次第またお知らせします．みなさまのお越しを歓迎します．それでは！ "Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，中岡宏行，長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 /////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 3 Dec, 2010 Place: Room 110, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 110号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html Speaker: Piet Hut Professor of Astrophysics, and Head of the Program in Interdisciplinary Studies Institute for Advanced Study, Princeton, NJ, USA http://www.sns.ias.edu/%7Epiet/ Title: A Game of Arrows: Widely Interdisciplinary Research Abstract: Many of the most interesting problems in current scientific research require interdisciplinary collaborations, spanning a large number of disciplines. From cognitive science and systems biology to environmental studies and challenges like critical evaluations of alternative medicine, we need teams of specialists to talk and work together. However, differences in culture and methodology provide significant barriers for broadly interdisciplinary collaborations. Each discipline has its own approach to knowledge, but because this knowledge is shared within the discipline, most researchers are not aware of the hidden assumptions involved. It is a kind of tacit knowledge, something you learn as a student, without any specific discussion or critical analysis. What is needed for broadly interdisciplinary studies is not only an increase in knowlege, but rather a focus on knowlege of knowledge. What do we know about the limits of how we know? This is the central question that will be addressed in this lecture. //////////////////////////////////////////////////////////////////////// =============== "Adventures of Categories" プロジェクトについて http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html 数学における異分野協働の実験場として，数学の中でもそのわかりにくさにおいて定評のある圏論 category theory をコアに据えて， - 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも参加いただきます) の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から， - いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し，アピールすることができるか？というような問に対して，何らかの答えが浮かび上がるのを期待しています．興味のおありの方，ご来聴を歓迎いたします！ Adventures of Categories というタイトルは，本プロジェクト参加者の西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．次回以降，代数学・幾何学における圏論や数理物理学における圏論，さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待ください．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/

1 0

「範疇文法と証明論」シンポジウムのご案内
by BEKKI Daisuke 01 Dec '10

01 Dec '10

（重複して受け取られた場合はご容赦ください）　お茶の水女子大学の戸次です。12/23(木)に東京で開催される「範疇文法と証明論」シンポジウムの案内をお送り致します。　「範疇文法と証明論」シンポジウムは、範疇文法(Categorial Grammar) を中心テーマとした、理論言語学、数理論理学、自然言語処理の学際シンポジウムです。言語学者、論理学者、自然言語処理研究者が、それぞれの立場から研究発表を行います。招待講演には、北陸先端科学技術大学院大学の小野寛晰先生をお迎えします。　多数の皆様のご参加をお待ちしています。参加登録等は特に必要ありません。「範疇文法と証明論」シンポジウム ================================ ウェブサイト ------------ http://www.is.ocha.ac.jp/‾bekki/catproof/ 日時 ---- 2010/12/23(木・祝) 10:00-17:00 場所 ---- お茶の水女子大学理学部3号館209（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線茗荷谷駅徒歩7分、または有楽町線護国寺駅徒歩7分）備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。使用言語 -------- 日本語（質疑は英語可）プログラム ---------- 10:00-10:30 窪田悠介（東京大学・The University of Chicago・JSPS）「言語理論としての範疇文法の可能性」 10:30-11:00 上垣渉（MIT)・窪田悠介（東京大学・The University of Chicago・JSPS）「音韻・意味標識付き推論による日本語の主部内在関係節と疑似独立文の分析」 11:00-11:30 戸次大介（お茶の水女子大学）「組合せ範疇文法(CCG)と部分構造論理」 11:30-13:00 昼食休憩 13:00-13:30 矢田部修一（東京大学）「範疇文法にとって問題となりうる諸現象」 13:30-14:00 宮尾祐介（国立情報学研究所）「自然言語処理から観たCCGとHPSGの比較」 14:00-14:30 花岡洋輝・増田勝也・美馬秀樹（東京大学知の構造化センター）「日本語CCGパーザの構築と知の構造化への応用」 14:30-14:45 休憩 14:45-15:15 峯島宏次（慶應義塾大学・JSPS） (TBA) 15:15-15:45 矢田部俊介（産業技術総合研究所）「範疇文法・カリーハワード対応・Agda」 15:45-16:00 休憩 16:00-17:00 招待講演：小野寛晰（北陸先端科学技術大学院大学）「Lambek計算と部分構造論理 − 言語、論理、代数の一つの接点」企画委員 -------- 戸次大介矢田部俊介窪田悠介上垣渉

1 0

雑誌（Logica universalis）の宣伝 from Prof. Beziau
by Ichiro Hasuo 29 Nov '10

29 Nov '10

logic-ml のみなさま，上出哲広さんのご依頼により，以下のメッセージを転送します．よろしくお願いいたします．蓮尾一郎 ------------------------------------------------------------ Dear colleagues, the following message is from Prof. Jean-Yves Beziau ("Universal Logic" <universal.logic(a)ufc.br>). --------------------------------------------------------------- Free access to all papers published in Logica Universalis is avalaible up to November 30: http://www.springer.com/birkhauser/mathematics/journal/11787 Last issue of the journal is on the topic "is logic universal?" In the next future there will be special issues of the journal on the following topics: - Logic diagrams - Multimodal logics - Categorical logics - Hexagon of opposition Subscription to the print version (hard copy) of the journal is avalaible at a very good price for individuals (38 euros per year including postage and handling). Among many interesting papers published since the start of the journal - freely downloadable up to November 30 - you can find: Human Rationality Challenges Universal Logic Brian R. Gaines http://www.springerlink.com/content/y7400543luq15pr8/fulltext.pdf Logic and Natural Selection Jaroslav Peregrin http://www.springerlink.com/content/4673765064677577/fulltext.pdf Birkhoff Completeness in Institutions Mihai Codescu and Daniel Gaina http://www.springerlink.com/content/mwjq228g57886234/fulltext.pdf Strong Normalizability of Typed Lambda-Calculi for Substructural Logics Motohiko Mouri and Norihiro Kamide http://www.springerlink.com/content/05vg1q23042737qt/fulltext.pdf Some General Results About Proof Normalization Marc Aiguier and Delphine Longuet http://www.springerlink.com/content/633qp17q6h23u446/fulltext.pdf Many-Place Sequent Calculi for Finitely-Valued Logics Alexej P. Pynko http://www.springerlink.com/content/j74u60v53263gv40/fulltext.pdf Generalized Definitional Reflection and the Inversion Principle Peter Schroeder-Heister http://www.springerlink.com/content/e543v66615054247/fulltext.pdf Structuralist Logic: Implications, Inferences, and Consequences Arnold Koslow http://www.springerlink.com/content/b7115xg144h521g1/fulltext.pdf >From Fibring to Cryptofibring. A Solution to the Collapsing Problem Carlos Caleiro and Jaime Ramos http://www.springerlink.com/content/a46238u2202112k1/fulltext.pdf A New Modal Lindstrom Theorem Johan van Benthem http://www.springerlink.com/content/t26u1781q78508x2/fulltext.pdf Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics Arnon Avron, Jonathan Ben-Naim and Beata Konikowska http://www.springerlink.com/content/22k5lqggp0641v42/fulltext.pdf Distributive-Lattice Semantics of Sequent Calculi with Structural Rules Alexej P. Pynko http://www.springerlink.com/content/7r5252m4360142w3/fulltext.pdf >------------------ Jean-Yves Beziau Editor-in-Chief Logica Universalis http://www.logica-universalis.org ---------------------------------------------------------------

1 0

Talk by Prof. Sy-David Friedman on Nov.29
by fuchino＠fuchino.ddo.jp 26 Nov '10

26 Nov '10

神戸大学システム情報学研究科の渕野昌です． 2010年12月29日（月）に， Kobe Colloquium on Logic, Statistics and Informatics の第4回の講演会として，神戸を通過される Sy-David Friedman 先生の講演を以下のように，予定しております．講演者： Professor Dr. Sy-David Firedman (Kurt Goedel Research Center, 　　　　　University of Vienna) 講演日時： 2010年12月29日（月）17:10 〜講演場所：神戸大学自然科学総合研究棟３号館４階４２１号室　　　　　 (渕野グループプレゼンテーション室) 講演題目： Cardinal Characteristics and Definability Abstract: In this talk I'll discuss ways of mixing coding techniques with both countable and finite support iteration methods to obtain results about cardinal characteristics and maximal almost disjoint families in the presence of a projective wellorder. This is joint work with Fischer and Zdomskyy. Then I'll apply these methods in a large cardinal setting to obtain a definable failure of the Singular Cardinal Hypothesis (joint work with Honzik). -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

Talk by Prof. Sy-David Friedman on Nov.29
by fuchino＠diamond.kobe-u.ac.jp 26 Nov '10

26 Nov '10

神戸大学システム情報学研究科の渕野昌です． 2010年12月29日（月）に， Kobe Colloquium on Logic, Statistics and Informatics の第4回の講演会として，神戸を通過される Sy-David Friedman 先生の講演を以下のように，予定しております．講演者： Professor Dr. Sy-David Firedman (Kurt Goedel Research Center, 　　　　　University of Vienna) 講演日時： 2010年12月29日（月）17:10 〜講演場所：神戸大学自然科学総合研究棟３号館４階４２１号室　　　　　 (渕野グループプレゼンテーション室) 講演題目： Cardinal Characteristics and Definability Abstract: In this talk I'll discuss ways of mixing coding techniques with both countable and finite support iteration methods to obtain results about cardinal characteristics and maximal almost disjoint families in the presence of a projective wellorder. This is joint work with Fischer and Zdomskyy. Then I'll apply these methods in a large cardinal setting to obtain a definable failure of the Singular Cardinal Hypothesis (joint work with Honzik). -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

Talk by Kohei Suenaga, Thursday next week (2010.12.2)
by Ichiro Hasuo 25 Nov '10

25 Nov '10

Dear colleagues, Next week on Thursday our guest Kohei Suenaga (U. Lisbon, ex. Tohoku U) is making a talk at RIMS, Kyoto University. No registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Kohei Suenaga (Universidade de Lisboa, Portugal) Title: Fractional Ownerships for Safe Memory Deallocation Date: 11.00 - 12.00, Thu 2 Dec 2010 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The main idea is to augment pointer types with fractional ownerships, which express both capabilities and obligations to access or deallocate memory cells. By assigning an ownership to each pointer type constructor (rather than to a variable), our type system can properly reason about list/tree- manipulating programs. Furthermore, thanks to the use of fractions as ownerships, the type system admits a polynomial-time type inference algorithm, which serves as an algorithm for automatic verification of lack of memory-related errors. A prototype verifier has been implemented and tested for C programs. This is joint work with Naoki Kobayashi.

1 0

大阪府立大学情報数理談話会（12月10日金曜日/立木秀樹先生）
by Masaru Kada 22 Nov '10

22 Nov '10

logic-ml のみなさま：大阪府立大学嘉田です．下記の通り，大阪府立大学理学部情報数理科学科にて，立木秀樹先生（京都大学）を講師にお招きして談話会を実施いたしますので，ご案内申し上げます．学外からのご参加も歓迎です．お近くの方はどうぞお越しください． ======== 第35回大阪府立大学情報数理談話会講演題目：ボトム入り文字列を用いた、位相空間上の計算講師：立木秀樹（京都大学大学院人間・環境学研究科）日時：2010年12月10日（金） 17：00〜18：00 （16:45 から会場で茶菓を用意しています）場所：大阪府立大学中百舌鳥キャンパス A13棟323教室講演概要：実数空間などの1以上の位相次元をもつ可分距離空間は、０１の無限列空間（カントール空間）に埋め込むことはできません。しかし、０，１に加えて ⊥を含んだ無限列空間を考えたら、そこに埋め込むことができます。この埋め込みと、０１⊥無限列を入出力するマシンの概念（あるいは、そのような入出力が可能なプログラミング言語）を用いて、実数空間などの上の計算概念を導入しましょう。 ======== 情報数理談話会ウェブページ http://www.mi.s.osakafu-u.ac.jp/lec-meeting/ 交通案内・キャンパスマップ http://www.osakafu-u.ac.jp/access/index.html お問い合わせ：嘉田勝（大阪府立大学理学部情報数理科学科） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Fwd: Leo Esakia
by Hiroakira Ono 21 Nov '10

21 Nov '10

> Dear friends, > > Please feel free to forward the letter to any appropriate mailing > lists. > > Thank, Guram > > --------------------------- > > Dear Colleagues, > > It is with great sadness that we announce the passing of Leo Esakia > on November 17, 2010. This is a big loss for all of Leo's friends, > colleagues, and students, but also for the logic community as a whole. > > Leo was the founder and the anchor of the logic school in Georgia. > He was a constant source of wisdom, inspiration, and encouragement > to all of his colleagues and students. Leo made numerous important > contributions to the study of algebraic and topological semantics of > intuitionistic and modal logics. Several landmark theorems in the > field bear his name. He also contributed immensely to establishing a > strong research community working on algebraic, topological, and > categorical methods in logic. > > Leo Esakia was not only a brilliant mathematician, but also an > extraordinary human being. He will stay in our memory as a > wonderful, charming, refined, and attentive person who was always > there to give his support, encouragement, and guidance. He will be > sorely missed. We believe his scientific legacy will be long > remembered, and his ideas will carry forward. > > Our thoughts are with Leo's family at these difficult times. > > Guram Bezhanishvili > Nick Bezhanishvili > David Gabelaia > Mamuka Jibladze > Dimitri Pataraia >

1 0

Talk by Kazushige Terui, next Thursday
by Ichiro Hasuo 20 Nov '10

20 Nov '10

Dear colleagues, Next Thursday our colleague Kazushige Terui is speaking on his recent work about implicit complexity. You're all welcome; no registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Kazushige Terui (RIMS, Kyoto U.) Title: Church => Scott = Ptime: an application of resource sensitive realizability Date: 11.00 - 12.00, Thu 25 Nov 2010 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: We introduce a variant of linear logic with second order quantifiers and type fixpoints, both restricted to purely linear formulas. The Church encodings of binary words are typed by a standard non-linear type `Church,' while the Scott encodings (purely linear representations of words) are by a linear type `Scott.' We then give a characterization of polynomial time functions, which is derived from (Leivant and Marion 93): a function is computable in polynomial time if and only if it can be represented by a term of type Church => Scott. To prove soundness, we employ a resource sensitive realizability technique developed by Hofmann and Dal Lago. This is a joint work with Alois Brunel.

1 0

Kobe Colloquium on Logic, Statistics and Informatics のお知らせ
by SAKAI Hiroshi 17 Nov '10

17 Nov '10

皆様：神戸大学の酒井拓史と申します．以下の要領で Kobe Colloquium on Logic, Statistics and Informatics を開催します．直前のアナウンスで申し訳ありませんが，ご興味のある方は是非ご参加下さい：講演者：藤田博司氏 (愛媛大学) タイトル：不連続関数の微分可能点について日時：１１月１８日(木) 13:30 〜 15:00 場所：神戸大学自然科学総合研究棟３号館４階４２１号室 (渕野グループプレゼンテーション室) http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm よろしくお願いいたします． -------------------------------- 酒井拓史神戸大学大学院システム情報学研究科 Tel： 078-803-6242 e-mail： hsakai(a)people.kobe-u.ac.jp --------------------------------

1 0

数学基礎論若手の会2010 プログラム
by leibniz 15 Nov '10

15 Nov '10

logic-mlの皆様， 2010年度数学基礎論若手の会の幹事をしております愛知学院大学の山下と申します．大変遅れて申し訳ありませんが、本年度の若手の会（11月19日−21日）の講演プログラムができましたので、ご案内申し上げます．詳細は数学基礎論若手の会2010ホームページ http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html をご覧ください。なお，宿泊を伴う参加者は締め切りましたが，宿泊を伴わない参加者はまだ受け付けますので，ご検討いただければ幸いです． ----------- 11/19 （第３研修室） 13:30-14:00 朝比奈佑樹 (名古屋大学) Kripke models とScott-Montague semanticsについて 14:00-14:40 井澤昇平 (東北大学理学研究科数学専攻) 高階算術における抽象論 14:40-15:10 岩波克 (東京工業大学数理計算科学専攻) 未定 15:40-16:10 嘉田勝 (大阪府立大学大学院理学系研究科) 未定 16:10-16:40 上條良介 (早稲田大学　基幹理工学部) homeomorphisms on generalized planes 16:40-17:40 木原貴行 (東北大学大学院理学研究科) 未定 11/20 （第１研修室） 09:20-10:20 倉橋太志 (神戸大学) First-order provability logic 10:30-11:10 小島健介 (京都大学情報学研究科) 未定 11:10-11:50 竹内耕太 (筑波大学数理物質科学研究科) 未定 13:30-14:10 田中　勇一 (神戸大学大学院) モデル論における独立性について 14:10-14:40 中村　順 (早稲田大学　基幹理工学研究科) Uncountable Specker phenomenon and n-slender groups 14:50-15:30 石田和 (京都大学数理解析研究所) 未定 15:30-16:10 樋口幸治郎 (東北大学大学院理学研究科) 未定 16:20-17:20 藤原誠 (東北大学理学研究科) Satisfiability problem and resolution principle 11/21 （第１研修室） 09:30-10:30 渕野昌 (神戸大学大学院システム情報学研究科) Mystery train 10:40-11:40 松尾亮太 (名古屋大学情報科学研究科) ロジックのゲーム理論への応用 =========================================== 愛知学院大学教養部山下秀康 email: yamasita(a)dpc.aichi-gakuin.ac.jp leibniz7(a)gmail.com

1 0

The 45th MLG Meeting
by Takahiro Seki 15 Nov '10

15 Nov '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　多くの方のご講演・ご参加をお待ちしております。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 1 月 6 日(木)〜 1 月 8 日(土) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2010 年 12 月 15 日（水）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・1月7日（金）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，1月7日（金）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,000円をいただきます。・講演・宿泊を希望される方は，12月15日(水)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG45 とご記載ください。 ----------------------------------- 第45回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　6日(午後) / 7日(午前/午後) / 8日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　6日(夕食/宿泊) / 7日(朝食/昼食/夕食/宿泊) / 8日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

Call for Papers: Infinity in Mathematics and Philosophy
by Makoto Kikuchi 12 Nov '10

12 Nov '10

Annals of the Japan Association for Philosophy of Science Call for Papers: Infinity in Mathematics and Philosophy On the occasion of the annual meeting of the Japan Association for Philosophy of Science 2010, 12.-13. June, 2010 on Ikuta Campus of Senshu University, Kawasaki, Japan, a symposium on "Infinity in Mathematics and Philosophy" was held with keynote lectures by Professors Juliet Floyd (Boston Univ.) and Akihiro Kanamori (Boston Univ.) and a panel discussion with a panel of speakers Professors Kanamori and Floyd as well as Professors Kazuhisa Todayama (Nagoya Univ.) and Yasuyuki Kawahigashi (Tokyo Univ.) facilitated by Sakaé Fuchino (Kobe Univ.) In connection with this symposium, a special section in an issue of Annals of the Japan Association for Philosophy of Science is planned with the invited papers including those by the keynote speakers and other participants of the panel discussion, as well as contributed papers. Potential authors of the contributed papers for this special section are encouraged to submit articles which should deal with the "infinity in mathematics and philosophy'' in a broad sense either from philosophical, mathematical, mathematically logical, historical or sociological point of view, or else from a view point consisting of any combination of these. The submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. The authors are kindly asked to prepare the manuscripts according to the guide lines of the journal (see "notes to contributors"http://phsc.jp/en/). The deadline of the submission is by March 31, 2011. A copy in the form of a pdf file and/or a file in any other common format should be sent to the association (kisoron(a)sasappa.co.jp) or directly to the guest editor of the special section: Sakaé Fuchino (fuchino(a)diamond.kobe-u.ac.jp).

1 0

Workshop (Mon 2010.11.08) in Kyoto
by Ichiro Hasuo 04 Nov '10

04 Nov '10

*** 重複ご容赦ください．ご興味がありそうな方に，ご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． 11/8(月)に京都大学で開催するワークショップ "Mathematical Theory of Processes and Operations: Concurrent, Quantum, and More" http://www.kurims.kyoto-u.ac.jp/~cs/mtpo の宣伝をさせてください．このワークショップは，Leicester 大学の Irek Ulidowski さん ( http://www.cs.le.ac.uk/people/iu3/ ) の来日にあわせて企画しました．Irek さんは以前京都大学に在籍されたコンピュータ・サイエンティストで，並列システム (concurrency)，特に reversible process calculi や mathematical model of true concurrency の分野で精力的に活躍されています．今回はさらに立命館大学の山下茂さんをお招きし，量子計算に関するご講演をお願いしました．(並列) process や (量子) operation のさまざまな数学的な定式化の中から，新たな統一的視点が浮かび上がってくるのを期待しています．みなさまのご参加をお待ちしております．それでは！オーガナイザー：結縁祥治(名古屋大学)，蓮尾一郎(京都大学) http://www.kurims.kyoto-u.ac.jp/~cs/mtpo ===================================== - 日時： 2010/11/8 (月)，10:00-16:45 - 場所：京都大学数理解析研究所 1階111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html http://www.kurims.kyoto-u.ac.jp/en/access-01.html - 参加費：無料 - 講演は英語です． - 参加申し込みは必要ありませんが，夕食会に参加される方は以下のフォームからお知らせください． https://spreadsheets.google.com/viewform?formkey=dHNTTjlQeDhWdEpPUmtxZmE3Z0… - お問い合わせは，蓮尾 (ichiro[at]kurims.kyoto-u.ac.jp) までお気軽にお願いします． ==================================== プログラム（詳細は http://www.kurims.kyoto-u.ac.jp/~cs/mtpo） 10.00-11.00 Shigeru Yamashita (Ritsumeikan U.) Verification of Quantum Circuits 11.15-12.15 Irek Ulidowski (U. Leicester, UK) Bisimulations and Logics for Reversibility 14.00-14.45 Shoji Yuen (Nagoya U.) Priority in the pi-calculus 15.00-15.45 Masahito Hasegawa (RIMS, Kyoto U.) A quantum double construction in the non-deterministic setting 16.00-16.45 Ichiro Hasuo (RIMS, Kyoto U.) Probabilistic Simulations Revisited from the Coalgebraic Point of View

1 0

TPP10 (Theorem Proving and Provers Meeting) Program
by Jacques Garrigue 01 Nov '10

01 Nov '10

名古屋大学で開催されるTPP10の案内をお送りします。 TPP10 幹事 Jacques Garrigue ========================================================================= Call for participation for TPP 2010 in Nagoya 第6回 TPPミーティングを 11月 25日(木)-26日(金) に名古屋大学にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．日時：11月25日(木) 13:00頃〜 11月26日(金) 15:00頃　場所：名古屋大学多元数理科学研究科理学部A館 A428号室 URL: http://www.math.nagoya-u.ac.jp/~garrigue/tpp10/ プログラムを同封しましたので、参加されたい方はご連絡を下さい．申込み・問い合わせ先：tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue) ========================================================================= The 6th Theorem Proving and Provers meeting will be held on November 25(Thu) - 26(Fri), 2010 at Nagoya University. Time: 11/25 around 1pm to 11/26 around 3pm Place: Nagoya Univ. Grad. School of Mathematics, Bld. Sci. A, Room A428 URL: http://www.math.nagoya-u.ac.jp/~garrigue/tpp10/ The program is enclosed. If you would like to attend, please drop me a mail. Submission/questions to: tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue) ========================================================================= TPP'10 Program Thursday, November 25 13:00-14:20 Balance Condition on Weight-Balanced Trees Youichi Hirai (University of Tokyo), Kazuhiko Yamamoto (IIJ Innovation Institute) Maximal Completion Dominik Klein (JAIST) 14:40-16:00 Formal Scientific Reasoning Rene Vestergard (JAIST) 16:20-17:40 Representing Polymorphic Higher-Order Abstract Syntax in Agda and Presheaves Makoto Hamana (Gunma University) Simpoulet: an attempt at proving behavioural bisimulations in Coq Jacques Garrigue (Nagoya University) and Pierre-Marie Pedrot (ENS Lyon) 18:30-20:30 Party Friday, November 26 9:00-10:20 IsaFoR/CeTA - Automatic Certification of Termination Proofs Christian Sternagel (University of Innsbruck) Complexity Analysis by Rewriting for Exponential Time Naohi Eguchi (JAIST) 10:40-12:00 証明支援器Coqのシステム開発実務への適用 (Applying Coq to practial software development) Yoshihiro Imai (IT Planning) Instrumenting Error-correcting codes with SSReflect (work in progress) Reynald Affeldt (AIST) 13:20-14:00 Formalizing Regular Expression Matching in Isabelle/HOL Yasuhiko Minamide (Tsukuba University) 14:00-15:00 Solutions to TPPmark10 (The problem can be found at the above URL)

1 0

Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 01 Nov '10

01 Nov '10

*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． Adventures of Categories: Applied Category Theory Colloquium というプロジェクトの一環として，10月から12月にかけて6回，京大数理研で講演会を行っています．今週の金曜日の講演は小嶋泉氏 (京都大学数理解析研究所) による，数理物理学における「ミクロ・マクロ双対性」についての1時間です．講演会の詳細については以下を，プロジェクトの詳細についてはさらに下をご覧ください．みなさまのお越しを歓迎します．それでは！ "Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 /////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 22 Oct, 2010 Place: Room 111, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html Speaker: Izumi Ojima (RIMS, Kyoto U.) http://www.kurims.kyoto-u.ac.jp/en/list/OJIMA,%20Izumi.html Title: "Micro-Macro duality" in physics as matching adjunctions between what to be described and what to describe Abstract: After explaining the basic scheme for describing the relations between "Micro" and "Macro" aspects (or levels) in nature, the duality, or more precisely, adjunction relations between them will be discussed from algebraic and categorical viewpoints, according to "Micro-Macro duality". //////////////////////////////////////////////////////////////////////// =============== "Adventures of Categories" プロジェクトについて数学における異分野協働の実験場として，数学の中でもそのわかりにくさにおいて定評のある圏論 category theory をコアに据えて， - 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも参加いただきます) の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から， - いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し，アピールすることができるか？というような問に対して，何らかの答えが浮かび上がるのを期待しています．興味のおありの方，ご来聴を歓迎いたします！ Adventures of Categories というタイトルは，本プロジェクト参加者の西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．次回以降，代数学・幾何学における圏論や数理物理学における圏論，さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待ください．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/

1 1

SLACS 2010 開催のご案内
by Yoshihito Toyama 29 Oct '10

29 Oct '10

以下の日程で SLACS 2010 - 記号論理と情報科学研究集会を開催いたします。ご興味のある方はご参加ください．開催日：2010年11月1日(月)午後〜 11月2日(火)午後場所：東北大学（片平キャンパス電気通信研究所 2号館 4階大会議室) 懇親会：11月1日夜に懇親会を予定しています．参加費，参加申込はともに不要です．詳細につきましては， http://www.nue.riec.tohoku.ac.jp/slacs2010/ をご参照ください．問い合わせ先菊池健太郎（東北大学電気通信研究所） kxe-slacs2010(a)memoad.jp ------------------------------------------------------ SLACS 2010 - プログラム 11月1日（月） 13:50-14:00 オープニング＋連絡など 14:00-15:00 　　蓮尾一郎（京都大学・JSTさきがけ）「Theory of Coalgebra: Towards Mathematics of Systems」梗概 (60分) 15:00-15:20 休憩 15:20-16:50 　　星野直彦（京都大学）「A modified GoI interpretation for a linear functional programming language」 (45分) 　　石田和（京都大学）「線形論理における非可換モデル」 (45分) 16:50-17:10 休憩 17:10-17:30 　　山西康世（奈良女子大学）「MUAでの分類予測学習機能の実装」 (20分) 18:30- 懇親会 11月2日（火） 10:00-11:15 　　中澤巧爾（京都大学）「Monadic translation of classical sequent calculus」 (30分) 　　鴨浩靖（奈良女子大学）「Malfattiの三角形の大きさを数式処理で計算する」梗概 (45分) 11:15-11:30 休憩 11:30-12:15 　　宮部賢志（京都大学）「Frequency and belief are probability」梗概 (45分) 12:15-13:30 昼食・休憩 13:30-14:10 　　小島健介（京都大学）「Neighborhood Semantics for Intuitionistic Monotone Modal Logic」 (40分) 14:10-14:30 休憩 14:30-16:00 　　佐々木克巳（南山大学）「S4を含む正規様相論理における、標準形の論理式とexactモデル」梗概 (60分) 　　佐々木克巳（南山大学）「様相論理S4.1とS4.2」梗概 (30分)

1 0

Kobe Colloquium in Logic (Lajos Soukup)
by Joerg Brendle 28 Oct '10

28 Oct '10

Kobe Colloquium in Logic 以下の要領でコロクウィウムを開催します．日時：2010年11月1日（月）17:00 〜場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：Lajos Soukup（はんがりーかがくあかd）題目：On splitting infinite-fold covers アブストラクト： Let X be a set, kappa be a cardinal number and let H be a family of subsets of X which covers each x in X at least kappa times. What assumptions can ensure that H can be decomposed into kappa many disjoint subcovers? We examine this problem under various assumptions on the set X and on the cover H: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of the Euclidean space R^n by polyhedra and by arbitrary convex sets. We focus on these problems mainly for infinite kappa. Besides numerous positive and negative results, many questions turn out to be independent of the usual axioms of set theory. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

Kobe Colloquium in Logic (Christoph Weiss)
by Joerg Brendle 28 Oct '10

28 Oct '10

Kobe Colloquium in Logic 以下の要領でコロクウィウムを開催します．日時：2010年11月1日（月）17:00 〜場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：Christoph Weiss（ミュンヘン大学）題目：The principles ITP and ISP and their related theorems アブストラクト： We define combinatorial principles ITP and ISP that do for supercompactness what the tree property does for weak compactness. We will then present the proof that these principles follow from the Proper Forcing Axiom and give some applications of them. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

総合研究大学院大学情報学専攻入試説明会についてご案内
by Makoto Kanazawa 27 Oct '10

27 Oct '10

メーリングリストのみなさま大学院の入試説明会に関する宣伝です。関心のありそうな学生さんに知らせて頂けると幸いです。国立情報学研究所／総合研究大学院大学金沢　誠 ---------------------- 総合研究大学院大学　複合科学研究科　情報学専攻は，以下のとおり入試説明会を開催いたします。本専攻は，わが国唯一の情報学の学術総合研究所である，国立情報学研究所に設置されています。都心に位置した好立地条件のもとで，社会人の方も仕事をしながら学び，研究することができます。今回の入試説明会は，主に2011年2月に実施される入試の受験希望者を対象としたものですが，それ以外でも，本専攻の研究・教育にご興味のある皆さまのご参加を歓迎いたします。ぜひ積極的なご参加とご周知を頂ければ幸いです。 ●入試説明会日　時：11月10日（水）17:00-19:00 会　場：12階会議室対　象：5年一貫制博士課程（学部卒業者及び卒見込者）／　　　　博士後期課程（修士課程修了者及び修了見込者）内　容（予定）： 17：00～18：30　出願について、学生生活紹介、所内見学 18：30～19：00　個別相談会 ※詳細はＨＰをご覧ください。　http://www.nii.ac.jp/graduate/guidance/ ○情報学専攻入学試験概要についてはこちら　http://www.nii.ac.jp/graduate/applications/index.html ○情報学専攻アクセス支援制度　入学を希望される方が、事前相談等で本専攻を訪問される際に　交通費を支給する制度があります。本説明会も対象です。　詳しくはこちら　http://www.nii.ac.jp/graduate/aid/access-aid.html ○情報学専攻についてのお問い合わせや募集要項等の資料請求はこちら　http://www.nii.ac.jp/graduate/contact/index.php ○総合研究大学院大学複合科学研究科情報学専攻HP http://www.nii.ac.jp/graduate/index.html ○国立情報学研究所HP http://www.nii.ac.jp/

1 0

CFP: LENLS 7 (Logic and Engineering of Natural Language Semantics 7)
by BEKKI Daisuke 27 Oct '10

27 Oct '10

（重複して受け取られた場合はご容赦ください）　11/18-19に開催される LENLS 7 国際ワークショップのプログラムのご案内をお送りします。事前登録は11/12(金)が〆切です。　また、11/20(土)には、お茶の水女子大学において、Alexandru Baltag 氏（オックスフォード大）と、Sonja Smets氏（グローニンゲン大）によるQuantum logicをテーマとしたチュートリアルも予定しています。　多数の方々のご参加をお待ちしています。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 7 (LENLS7) Workshop Site : Campus Innovation Center Tokyo, Minato-ku, Tokyo Dates : November 18-20, 2010 Workshop URL : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: * Eric McCready (Aoyama Gakuin University) Invited Speakers: * Alexandru Baltag (Oxford University) * Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology (AIST)) LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI2010, sponsored by The Japan Society for Artificial Intelligence (JSAI). (http://ai-gakkai.or.jp/jsai-isai/2010/) On the 20th, there will also be a special tutorial lecture at Ochanomizu University by A. Baltag (Oxford Univ, UK) and S. Smets (University of Groningen, The Netherlands). 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 12th November 2010. http://www.ai-gakkai.or.jp/jsai-isai/2010/index.html#registration Program ======= November 18th (Thu), 2010 ------------------------- Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) 10:00-10:15 Coffee Break 10:15-10:20 Opening Remarks 10:20-11:50 Session 1: General Semantics 1 * Joo Chung "Uncommon common grounds and the Korean reportative evidential -tay" * Myoung Hyoun Song, Chungmin Lee "CF-reduplication: Dynamic Prototype and Contrasting Alternatives" * Arndt Riester "Restriction triggers alternative presuppositions" 11:50-13:30 Lunch 13:30-15:00 Session 2: Formal Pragmatics * J.-R. Hayashishita "On the focus sensitivity of so-called focus-sensitive particles" * Anton Benz "Optimal Completion and Implicatures of Complex Sentences --- A Game Theoretic Approach" * Nicholas Asher, Sylvain Pogodalla "SDRT and continuation semantics" 15:00-15:20 Coffee Break 15:20-16:50 Sesson 3: Formal Grammar * BEKKI Daisuke "Combinatory Categorial Grammar as a Substructural Logic --- Preliminary Remarks ---" * Nakamura Hiroaki "Biding of Relational Nouns and the Variable-free Semantics" * Alastair Butler, Kei Yoshimoto "Interpreting Japanese Dependency Structure" 16:50-17:50 Invited Talk 1 * Alexandru Baltag (TBA) November 19th (Fri), 2010 ------------------------- Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info] 10:00-10:20 Coffee Break 10:20-11:50 Sesson 4: General Semantics 2 * Fabienne Martin "Relative stupidity and past tenses" * Stephanie Solt " Varieties of /Most/" * Richard Zuber "Factives and intensionality" 11:50-13:30 Lunch 13:30-15:00 Sesson 5: NPI * Csipak, Eva "how to be literally minimal" * Yasutada Sudo "The Small Reading of the Scalar Particle Mo in Japanese and Negative Polarity" * Tomohide KINUHATA "The Scope of Pronounced and Unpronounced Negation: A Case of Japanese Sika-nai and its Correlates" 15:00-15:20 Coffee Break 15:20-16:50 Sesson 6: Vagueness * Satoru SUZUKI "Prolegomena to Salient-Similarity-Based Vague Predicate Logic" * David Etlin "Vague Desire: The Sorites and the Money Pump" * Michael Franke, Gerhard Jaeger, Robert van Rooij "Signaling, stochastic choice, and vagueness" 16:00-17:50 Invited Talk 2 * Shunsuke Yatabe "Yablosque paradoxes and co-induction" November 20th (Sat), 2010 ------------------------- "Tutorial Session on Quantum Logic" Lecturer: Alexandru Baltag (Oxford Univ, UK) Sonja Smets (University of Groningen, The Netherlands). Title: (TBA) Location: Ochanomizu University, Faculty of Science, Building 3, 2F, room 209 IMPORTANT: You'll have to show your ID card and a hard copy of this webpage to get into the campus on Saturday. Schedule -------- 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-17:00 Session 2 Organizing Committee ==================== Eric McCready (Chair) Daisuke Bekki Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Kei Yoshimoto

2 1

Set Theory Seminar in Kobe
by Joerg Brendle 19 Oct '10

19 Oct '10

Set Theory Seminar in Kobe 以下の要領でセミナーを開催します．日時：2010年10月21日（木）15:00-17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：池上大祐（ヘルシンキ大学）題目：Wadge reducibility for the real line アブストラクト： In 1968, Wadge introduced Wadge reducibility for the Baire space, that is an analogue of many-one reducibility in recursion theory. For two subsets A, B of Baire space, we say A is Wadge reducible to B if there is a continuous function from the Baire space to itself such that A = f^{-1} (B). We can introduce Wadge degrees in the same way as many-one degrees. In the 1970s and 1980s, set theorists in California developed a beautiful theory of Wadge degree structure under ZF+AD+DC. On the other hand, we can easily introduce Wadge reducibility on any topological space as above. In 1998, Woodin claimed that Wadge reducibility on the real line is totally different from that on the Baire space. In this talk, we compare them and claim how different they are. This is joint work with Hisao Tanaka and Philipp Schlicht. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

数学基礎論若手の会2010・締切延長
by leibniz 18 Oct '10

18 Oct '10

logic-mlの皆様，数学基礎論若手の会の幹事の山下です。昨日10月18日（月）に募集を締め切ったのですが，講演枠，宿泊・食事にまだ余裕があるため締め切りをあと1週間延長し、10/26 （火）とします。いずれも先着順とし，枠が埋まり次第終了とします． ------- 日時：　11月19日（金）午後〜21日（日）午前場所：　愛知県青年の家（愛知県岡崎市, http://aichi-yh.jp/) 参加費用：フル参加でも1万円以内に収まると思います（多分8000円くらい）締め切り：10月18日（月）申し込みは下記情報を今年度幹事の山下 (leibniz7(a)gmail.com) までお知らせください．確認のメールを差し上げます．氏名性別メールアドレス所属身分宿泊・食事（全参加の場合は2泊5食となります）講演のご希望詳しくは2010年数学基礎論若手の会のページをごらんください： http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html =========================================== 愛知学院大学教養部山下秀康 email: yamasita(a)dpc.aichi-gakuin.ac.jp, leibniz7(a)gmail.com

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml