Logic-ml March 2011

11 participants
17 discussions

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 23 Mar '11

23 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:[email protected] *************************

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2011