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

APLAS 2014: Call for papers
by Jacques Garrigue 21 Feb '14

21 Feb '14

11月にシンガポールで開催されるAPLASの論文募集案内をお送りします。投稿締め切りは5月26日で、例年より早いですが、ご検討をよろしくお願いいたします。 Jacques Garrigue =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

Deadline tomorrow: Call for participation (PPL 2014)
by Kohei SUENAGA 17 Feb '14

17 Feb '14

（複数受け取られた場合はご容赦ください．）参加登録締切が明日になりましたので、 PPL 2014 の参加登録案内をもう一度お届けいたします。たくさんのご参加をお待ち申し上げております。 PPL 2014 実行委員長末永幸平 -- 3月5日(水)から3月7日(金)に阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) の参加登録案内をお届けいたします．今回は中田育夫様幡山五郎様のお二人に招待講演を頂きます．多くの方々のご参加をお待ちしております．参加登録ページは http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html です．参加登録の締め切りは2月18日(火)です．どうぞお早めのご登録をお願い致します．また，ポスター・デモの発表も 2014年2月7日 (金) 17:00 (JST) まで受け付けております．こちらも http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/index.html をご参照の上，投稿をご検討ください． PPL 2014 実行委員長末永幸平 ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)〜3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 参加登録ならびに宿泊予約を2月18日(火)まで日本旅行のWebサービスにて受け付けております． http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html をご参照いただき，ご登録ください． ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

EASLLC 2014
by 小野寛晰 17 Feb '14

17 Feb '14

Call For Papers The Student Session of the Third East-Asian School on Logic, Language and Computation (EASLLC 2014) The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop “Current Trends in Logic” on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience. In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions. We invite submissions of abstracts of original, unpublished papers from students in the area of logic, language and computation. Submissions will be reviewed by several experts in the field. Authors of accepted papers will be invited to present in the student session, and a selected number of them will be provided with free reasonable accommodation. Instruction for Authors: Students are invited to submit an abstract of maximum 5 pages on any topic in logic, language and computation. The abstract should be written in properly readable English, and must be in PDF format that is to be submitted using our EasyChair website. Important Dates: April 1, 2014 - deadline for short abstracts of papers (at most 5 pages) April 20, 2014 - notification date of acceptance/rejection of the papers SCHOOL COURSES 6 different courses will be offered, covering logic, philosophy, computer science, and linguistics, with an emphasis on the interaction between those fields. Course title, reading materials, and the final schedule will come soon. § Logic and Quantum Information: Samson Abramsky (Oxford University), § Logic and Computation: Phokion Kolaitis (UC Santa Cruz) § Logic and Language: Larry Moss (Indiana University) § Formal Philosophy: Wesley Holliday (UC Berkeley) § Philosophical Logic: Alexandru Baltag and Sonja Smets (The University of Amsterdam) § Mathematical Logic: Jouko Väänänen (The University of Helsinki and University of Amsterdam) Program Committee Chairs: Samson Abramsky (Oxford University) Andrew Yao (Tsinghua University) Committee § Johan van Benthem (University of Amsterdam) § Yijia Chen (Shanghai Jiaotong University) § Xinyu Feng (University of Science and Technology of China, Hefei) § Xiangdong He (South west University, Chongqing) § Huaxin Huang (Zhejiang University, Hangzhou) § Yi Jiang (Beijing Normal University) § Shier Ju (Sun Yat-sen University, Guangzhou) § Jeremy Seligman (Auckland University) § Xiaoming Ren (Nankai University, Tianjin) § Kaile Su (Griffith University) § Cong Tian (Xidian University, Xi'an) § Lu Wang (Tsinghua University, Beijing) § Wujin Yang (Renmin University, Beijing) § Naijun Zhan (The Chinese Academy of Science, Beijing) § Jianjun Zhang (Nanjing University, Nanjing) § Beihai Zhou (Peking University, Beijing) § Chongli Zou (Chinese Academy of Social Sciences, Beijing) Organizing Committee § Fenrong Liu (Chair, Tsinghua University) § Jiahong Guo (Beijing Normal University) § Fengkui Ju (Beijing Normal University) § Pingzhong Tang (Tsinghua University) § Yanjing Wang (Peking University) Student Program Organizers § Chairs: Junhua Yu (The Graduate Center, CUNY) Chanjuan Liu (Peking University) Organizing Institutions § Tsinghua University § Beijing Normal University § Association for Logicians in Beijing § The University of Amsterdam School website is being constructed, will be available soon. For any questions, please contact easllc2014(a)gmail.com --

1 0

QPL 2014: Call for Papers
by Ichiro Hasuo 16 Feb '14

16 Feb '14

(Apologies for multiple copies) CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito "Hassei" Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 STUDENT TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also be able to provide limited financial support to students for travel and accommodations. Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford & CQT Singapore) Mingsheng Ying (UTS Sydney & Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)

1 0

Reminder: Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)
by Katsuhiko Sano 13 Feb '14

13 Feb '14

皆様、重複して受け取られた場合はどうぞご容赦ください。北陸先端科学技術大学院大学の佐野勝彦です。 Computability Theory and Foundations ofMathematics 2014 の直後の 2/21, 2/22 に金沢で開催する Epistemic Logic に関する国際ワークショップについて、開催が迫りましたので、再度ご案内を致します。 =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints. Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University) -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series (20th Feb. 2014)
by Katsuhiko Sano 13 Feb '14

13 Feb '14

皆様、千葉大学の新井敏康先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学研究科 e-mail: v-sano(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 20th February 2014, 15:00-16:30 Place: Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Toshiyasu ARAI (Chiba University) Title: Proof search in intuitionistic logics Abstract: Following G. Mints, we present a complete proof search in multi-succedent sequent calculi for intuitionistic propositional and pure predicate logic in the spirit of Schuette's schema.

1 0

数学と論理の哲学国際集会のお知らせ（２月２６日、２７日慶応大学三田キャンパス）
by Mitsu OKADA 07 Feb '14

07 Feb '14

貴会会員/メールリスト登録者の皆様に関係する話題であると思いますので、投稿させて頂きます。メールリストでの配布のご検討をお願い申し上げます。　慶応義塾大学文学部哲学専攻　岡田光弘 ―――――――――――――――――――――――――――――――――――――――――――――― 数学と論理の哲学国際集会　"Philosophy of Mathematics and Logic" Meeting Philosophy of Mathematics　and Logic Meeting 2014年2月26(水)-27日(木) 於慶應大学三田キャンパス数学と論理の哲学に関する研究集会を開催します。 1日目はHusserlian Philosophy of Mathematics 及び Hilbert Schools, Gödel などとの関連についての議論をし、2日目はLogical Pluralism, Logical Structuralism, Quine などを議論をする予定です。 - 2/26 (Feb 26) : Husserl's Philosophy of Mathematics and related issues (including Hilbert) - 2/27 (Feb 27) : Current State of Philosophy of Mathematics and Logic (* プログラムは http://ctj.keio.ac.jp/news/18 で随時アップデートいたします。*) ――――――――――――――――――――――――――――――――――――――――――――――― 日時：2014年2月26(水)-27日(木) Date: February 26th / 27th, 2014 場所：慶應義塾大学三田キャンパス東館6階G-Sec Lab Place: G-Sec Lab., 6th Floor of East Research Building, Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html ――――――――――――――――――――――――――――――――――――――――――――――― ゲスト講演者： Invited speakers include: - Mirja Haltimo (University of Helsinki, Finland) - Jariro da Silva (Sãn Paulo University, Brazil) - Vincent Gerard (University of Poitier, France) - Stefania Centrone (University of Oldenburg, Germany) - Toshihiro Suzuki (Sophia University, Japan) - Chen Bo (Beijing University, China) - Walter Dean (University of Warwick, UK) - Salvatore Florio (Kansas Sate University, USA) - Hidenori Kurokawa (Kobe University, Japan) - Richard Tieszen (UC San Jose, USA) (not confirmed) other speakers: - Mitsuhiro Okada (Keio University) and others Guest commentators： - Sam Sanders (Gehnt University, Belgium) - Ryota Akiyoshi (Kyoto University) and others 参加方法：参加自由・参加費無料。ただし会場準備のため氏名、所属を明記して「Philosophy of Mathematics Meeting参加希望」と件名を記したメールを事務局宛( think-judge(a)abelard.flet.keio.ac.jp )にお送りください。お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 05 Feb '14

05 Feb '14

皆様、参加登録の締め切りが2月7日に迫って参りましたので、再び案内をさせていただきます。 2月17日(月)～2月20日(木)に東京工業大学 Computability Theory and Foundations of Mathematics 2014 を開催致します。研究集会のプログラムが http://www.jaist.ac.jp/CTFM/CTFM2014/timetable.html にてご覧いただけます。宜しく参加をご検討ください。横山 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) Conference webpage http://www.jaist.ac.jp/CTFM/CTFM2014/index.html Registration deadline: February 7. Invited Speakers Chong Chi Tat (National University of Singapore) Damir Dzhafarov (University of Connecticut) Cameron Freer (Massachusetts Institute of Technology and Analog Devices Lyric Labs) Hajime Ishihara (JAIST) Akinori Kawachi (Tokyo Institute of Technology) Akitoshi Kawamura (University of Tokyo) Takayuki Kihara (JAIST) Antonio Montalbán (University of California, Berkeley) Ng Keng Meng (Nanyang Technological University) Jan Reimann (Pennsylvania State University) Paul Shafer (Ghent University) Stephen G. Simpson (Pennsylvania State University) Henry Towsner (University of Pennsylvania) Wang Wei (Sun Yat-sen University) Wu Guohua (Nanyang Technological University) Organising Committee Hajime Ishihara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State University) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) Programme Committee Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) ============================================================ どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Talk by Shohei Izawa (13 Feb, 11:00-)
by Shinya Katsumata 05 Feb '14

05 Feb '14

京都大学数理解析研究所の勝股です。 2月13日11:00から、東北大学の井澤昇平氏に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 13 Feb, 2014 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Shohei Izawa (Tohoku University) Title: べき等縮約を通じて見る代数系の圏 Abstract: 代数系のべき等演算による像には、もとの代数系のtermから得られる演算を導入することで自然に構造（べき等縮約）を入れることができる。より小さな代数系を得るその操作は自然に関手に拡張されること、および有限代数系の場合にはもとの代数系が復元できるようなべき等縮約の族の中には最小のものが存在することから、そのような族を通じて代数系の圏を調べることができると期待される。本発表では上記の枠組みの概要と関連する結果を紹介する。

1 0

第３０回量子情報技術研究会（QIT30）のご案内
by NISHIMURA Harumichi 31 Jan '14

31 Jan '14

logic-mlの皆様，第３０回量子情報技術研究会（QIT30）の世話人を仰せつかっています名古屋大学の西村です．以下の通り，QIT30のご案内をさせていただきます．発表や聴講などご検討いただければ幸いです．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ---------------------------------------------------------- 第30回量子情報技術研究会(QIT30) 研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第30回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．日時: 2014年5月12日(月)〜13日(火) 会場: 名古屋大学豊田講堂シンポジオン (〒464-8601 名古屋市千種区不老町名古屋大学内) 発表募集分野 (申し込み状況によっては査読の可能性あり) 量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員: 200名参加費: 事前振込み一般5,000円，学生1,000円 (当日会場払いは一般6,000円，学生2,000円) (懇親会は別途一般4,500円、学生3,000円) 研究会参加申込要領参加申込は下記 Web にて受付けます： http://staff.aist.go.jp/s-kawabata/qit/qit30/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用する予定．【口頭講演申込締切】 2014年3月28日(金) 【ポスター講演申込締切】 2014年4月11日(金) 【予稿原稿提出締切】 2014年4月11日(金) 【参加申込締切】 2014年4月18日(金) 【問合せ先】西村治道 (名古屋大学情報科学研究科) 鶴丸豊広 (三菱電機(株) 情報技術総合研究所) 林正人 (名古屋大学多元数理科学研究科) Email: qit30(a)math.cm.is.nagoya-u.ac.jp 主催: 量子情報技術時限研究専門委員会 (委員長: 枝松圭一 (東北大学)) 共催: 応用物理学会量子エレクトロニクス研究会名古屋大学多元数理科学研究科名古屋大学情報科学研究科 ----------------------------------------------------------

1 0

Vienna Summer of Logic
by Norbert Preining 30 Jan '14

30 Jan '14

logic-mlの皆様，今年の論理学の大学会「Vienna Summer of Logic」のご案内をさせていただきます。是非ご参加下さい。プライニング・ノルベルト北陸先端科学技術大学院大学 Kurt Gödel Society (KGS) **Vienna Summer of Logic Announcement** In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014 (see website for more details: http://vsl2014.at) *Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session. *Logic in Computer Science / Federated Logic Conference (FLoC)* - 26th International Conference on Computer Aided Verification (CAV) - 27th IEEE Computer Security Foundations Symposium (CSF) - 30th International Conference on Logic Programming (ICLP) - 7th International Joint Conference on Automated Reasoning (IJCAR) - 5th Conference on Interactive Theorem Proving (ITP) - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) - 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) - 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) - FLoC Workshops - FLoC Olympic Games (System Competitions) *Mathematical Logic* - Logic Colloquium 2014 - Logic, Algebra and Truth Degrees 2014 - The Infinity Workshop - Kurt Goedel Fellowship Competition *Logic in Artificial Intelligence* - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) - 27th International Workshop on Description Logics (DL) - 15th International Workshop on Non-Monotonic Reasoning (NMR) - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Kurt Goedel Research Prize Fellowship Competition* At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." *FLoC Olympic Games - Citius, Maius, Potentius* The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies. ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

Talk by Mingsheng Ying, Friday next week (Feb 7)
by Ichiro Hasuo 29 Jan '14

29 Jan '14

Dear colleagues, Next week on Friday we have a talk by Prof. Mingsheng Ying (UT Sydney & Tsinghua). He visits us on the occasion of the PhD defense of Takahiro Kubota (http://hagi.is.s.u-tokyo.ac.jp/~tk/) which is on the same date, 13:00-15:00 in the same room. Feel free to join us. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Fri 7 February 2014, 16:30-18:00 Mingsheng Ying <http://quantum-lab.org/mingsheng/> (University of Technology Sydney & Tsinghua University) Reachability Analysis of Quantum Markov Chains 理学部7号館2階 214教室 Room 214, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) The talk will be based on our Concur'12 and Concur'13 papers, which study verification of quantum systems, including quantum programs, modelled by quantum Markov chains (qMCs). We consider three kinds of long-term behaviour, namely reachability, repeated reachability and persistence, of qMCs. As a stepping-stone, we introduce the notion of bottom strongly connected component (BSCC) of a qMC and develop an algorithm for finding BSCC decompositions of the state space of a qMC. As the major contribution, several (classical) algorithms for computing the reachability, repeated reachability and persistence probabilities of a qMC are presented, and their complexities are analysed.

1 0

PPL 2014 参加登録開始のご案内：第16回プログラミングおよびプログラミング言語ワークショップ
by Kohei SUENAGA 29 Jan '14

29 Jan '14

（複数受け取られた場合はご容赦ください．） 3月5日(水)から3月7日(金)に阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) の参加登録案内をお届けいたします．今回は中田育夫様幡山五郎様のお二人に招待講演を頂きます．多くの方々のご参加をお待ちしております．参加登録ページは http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html です．参加登録の締め切りは2月18日(火)です．どうぞお早めのご登録をお願い致します．また，ポスター・デモの発表も 2014年2月7日 (金) 17:00 (JST) まで受け付けております．こちらも http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/index.html をご参照の上，投稿をご検討ください． PPL 2014 実行委員長末永幸平 ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)〜3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 参加登録ならびに宿泊予約を2月18日(火)まで日本旅行のWebサービスにて受け付けております． http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html をご参照いただき，ご登録ください． ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

Sendai Logic School 2014 at Tokyo Tech
by Takeshi Yamazaki 28 Jan '14

28 Jan '14

皆様， 2月21日，東京工業大学においてウィンタースクール，Sendai Logic School 2014 at Tokyo Techを開催いたします．ウィンタースクールでは，逆数学及び関連分野で活躍する研究者によって，主に大学院生を対象にそれぞれの研究について講義をしていただきます．より詳細な情報を以下に記載いたしますので，ご参加をご検討ただければと存じます． Sendai Logic School 2014 at Tokyo Tech 日時：2月21日場所：東京工業大学テーマ：主に大学院生を対象とし，逆数学および関連分野で活躍する研究者に自身の研究について講演してもらいます．講演者（全4名, 順不同, 敬称略）：Stephen G. Simpson（Penn State Univ.）, Keng Meng Ng (Nanyang Tech. Univ.), Wei Wang (Sun Yat-sen Univ.), Paul Shafer (Ghent Univ.) 講演時間：一人一時間講義形式の講演が終了後，ややインフォーマルな研究者同士のフリーディスカッションや，プロブレムセッションを予定しております．事前登録は不要です．詳細は以下のHPに随時更新していく予定です： http://sendailogic.com/SLS2014/index.html ------------------------------ 山崎　武東北大学大学院理学研究科数学専攻 980-8578 仙台市青葉区荒巻字青葉６番３号 tel: 022-795-7704 e-mail: yamazaki(a)math.tohoku.ac.jp

1 0

CALL for Workshop Proposals: JSAI-isAI 2014 in Yokohama, Japan
by Ken Satoh 23 Jan '14

23 Jan '14

The Sixth JSAI International Symposia on AI (JSAI-isAI 2014) November 23 - 25, 2014 Sponsored by: The Japanese Society for Artificial Intelligence (JSAI) Venue: Raiousha Building, Keio University, Kanagawa http://www.ai-gakkai.or.jp/isai/ Call for Workshop Proposals Submission deadline: March 23, 2014 Submit a proposal to "JSAI-isAI [at] ai-gakkai.or.jp" by e-mail The sixth JSAI International Symposia on AI (JSAI-isAI) will take place at Keio University, Kanagawa on November 23rd - 25th, 2014. JSAI-isAI is an event that hosts several international workshops at the same location. This is in succession to the international workshops co-located with JSAI annual conferences since 2001. JSAI invites proposals for the sixth JSAI-isAI. JSAI-isAI brings together a set of workshops at a common site, providing a unique and intimate forum for colleagues in a given discipline. JSAI-isAI also provides an important opportunity for AI researchers to get together and share their knowledge. In previous symposia, selected papers were published from Springer LNAI series (http://www.springer.com/series/1244). Prospective workshop organizers should send a proposal (maximum three pages) with the following sections to the JSAI-isAI 2014 Committee (JSAI-isAI [at] ai-gakkai.or.jp). - Title of the workshop - Objectives, and scope - Names and contacts of key organizers and a tentative list of the program committee members. - Expected number of papers, attendees, and preliminary workshop format. Proposals will be reviewed by the JSAI-isAI 2014 Committee. The form for workshop proposals is shown below. ------------------------------------------------------------ <Workshop Proposal Form> Workshop title: Abstract (within 400 words): #Describe objective, scope Expected number of papers: Expected number of attendees: Preliminary workshop format: #Describe whether the workshop will include panels, posters, and etc. Past experiences in JSAI-isAI (if any): #Describe whether you have organized workshops in JSAI-isAI and how #many participants you have got in the past Information of Workshop leader (1) Name: Affiliation: Postal address: Telephone: Fax e-mail: Experiences with conference/workshop (if any): Information of Workshop co-leader (2) (if any) Name: Affiliation: Postal address: Telephone: Fax e-mail: Experiences with conference/workshop (if any): The tentative list of members in the program committee (3): ------------------------------------------------------------ Important Dates Workshop Proposal Due : 23 March 2014 Workshop Notification : 9 April 2014 Release of Workshop Call for Paper : April 2014 Workshop Submission Deadline : August 2014 Workshop Author Notification : September 2014 Workshop Camera-ready : October 2014 Workshop Date : 23-25, November 2014 Notes The organizers and chairs of the workshop shall have full control on the call for papers, forming of program committees, review and selection of papers as well as planning the workshop program. Furthermore, the organizers and chairs of the workshop should specify in the web page that the workshop is `with a support of The Japanese Society for Artificial Intelligence' and `in association with forth JSAI International Symposia on AI (JSAI-isAI 2014).' The organizers and chairs of the workshop are also responsible for preparing a short review of the workshop, to be printed in the journal of JSAI. ---------

1 0

TQC2014のご案内
by NISHIMURA Harumichi 23 Jan '14

23 Jan '14

logic-mlの皆様，国際会議TQC2014のご案内を投稿させていただきます．投稿締め切りは２月１５日になります．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ---- Dear colleagues, The 9th Conference on the Theory of Quantum Computation, Communication and Cryptography, will be held at the National University of Singapore on 21-23 May 2014. http://tqc.quantumlah.org/ Submissions are welcome for talks or posters on, well, the theory of quantum computation, communication and/or cryptography. For more information on the scope of the conference, here are last year's proceedings: http://drops.dagstuhl.de/portals/extern/index.php?semnr=13014 Relevant dates are: Submission deadline: February 15, 2014 (23:59hr in any time zone) Notification of acceptance/rejection: March 20, 2014 Early registration deadline: April 30, 2014 Short abstracts submission: May 5, 2014 Registration deadline: May 16, 2014 Proceedings submission (final version of accepted papers): July 03, 2014 This conference continues its open-access tradition with accepted talk and selected poster abstracts being published electronically in the LIPIcs series, but with authors retaining rights to their work (and in particular, the right to publish elsewhere). Additionally, parts of the PC discussion will be posted online for accepted talks. These policies and other details of the submission process are described here: http://tqc.quantumlah.org/submissions.php Please forward this message to any person or group who may be interested. For more information, please contact tqc2014(a)quantumlah.org <mailto:tqc2014@quantumlah.org <tqc2014(a)quantumlah.org>>.

1 0

『山陰基礎論・解析学セミナー 2014』（2月1日）のご案内
by higurashi3873＠yahoo.co.jp 23 Jan '14

23 Jan '14

皆様米子高専の堀畑です．お世話になっております．２月１日（土）に米子高専（鳥取県）にて研究集会『山陰基礎論・解析学セミナー 2014』を開催いたします．分野を超えた，基礎論，関数解析学，一般位相幾何学，グラフ理論に関する研究会となっております．聴講を希望する方は，1月27日（月）までに堀畑（horihata(a)yonago-k.ac.xn--jp)-u63ba8a7d1as2d5g1jljn549g815btp1a. 議論のしやすいざっくばらんな会議にしたいと考えています．奮ってご参加いただき，山陰の味覚と共に楽しんでいただけたら幸いです．研究会の詳細は下記ホームページもご覧ください． https://sites.google.com/site/yonagonctmath/home/SaninLogicAnalysisSeminar 【プログラム】 2月1日 9:25～17:40 [1] 薄葉季路（神戸大学）「非可算無限グラフの彩色について」 [2] 横山啓太（JAIST）「巨大な有限集合と証明不可能性」 [3] 樋口幸治郎（千葉大学）「Turing 次数構造の順序次元」 [4] 木原貴行（JAIST）「ボレル可測関数の連続関数への分解に関するルージンの予想の周辺」・昼食 [5] 谷口哲至（松江高専）「ホフマングラフとグラフの階層構造」 [6] 山内貴光（島根大学）「漸近次元について」 [7] 瀬戸道生（島根大学）「数学基礎論に関係すると思われる函数解析学の中の話題」 [8] 高木啓行（信州大学），古清水大直（米子高専）「保存問題における関数空間上の等距離写像について」 [9] 倉橋太志（神戸大学）「不完全性定理以降のRosser 可証性述語」 [10] 佐藤隆（東北大学）「逆数学とイデアル分解定理」 [11] 吉居啓輔（東北大学）「2 階算術におけるゲームの決定性と今後の発展について」 19:00∼ 懇親会（米子駅周辺にて）以上です．よろしくお願いい申し上げます．堀畑　佳宏 -- 米子工業高等専門学校　教養教育科・数学〒683-8502 鳥取県米子市彦名町4448 E-mail: horihata(a)yonago-k.ac.jp

1 0

【公募】産総研セキュアシステム研究部門（尼崎支所）ポスドク・プログラマ（１名）
by Takashi KITAMURA 21 Jan '14

21 Jan '14

# 重複して受信された場合はどうぞご容赦ください。みなさま、（独）産業技術総合研究所の北村です。本MLをお借りし、産業技術総合研究所セキュアシステム研究部門のポスドク（もしくは、プログラマ）の公募案内をさせていただきます。本業務ではソフトウェア工学特に、ソフトウェアテスト・検証技術の研究開発に従事していただきます。特にツール開発のためのプログラムコードの開発が主な仕事内容となります。詳しくは以下のページの「1. 産総研特別研究員（産総研第１号契約職員）」をご覧ください。 https://www.risec.aist.go.jp/offering/index-ja.html 尚、上記ページでは募集要項が産総研特別研究員（ポスドク）の内容となっておりますが、テクニカルスタッフ（プログラマ）としての採用も可能です。募集は採用者決定次第締め切りとさせていただきます。ご興味・ご不明点がございましたらお早めに／お気軽にお問い合わせください。またお近くの方へ本公募のご紹介をいただけますと幸いです。何卒よろしくお願いいたします。 -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073 Internal Tel: *33-274-71902

1 0

ラムダ計算と論理の早春セミナー (3/6--3/10)
by Fujita Kenetsu 19 Jan '14

19 Jan '14

(* Apologies for any cross-postings. *) 皆様，『ラムダ計算と論理の早春セミナー 2014』のご案内日程：2014年3月6日(木) 午後5時から3月10日(月) 正午まで場所：国立大学草津セミナーハウス他　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2014.03LLSinKusatsu.htm 興味をお持ちのみなさまのご参加をお待ちしております．参加・宿泊に関する連絡は藤田（群馬大学）までお気軽にお願いします． ----------- 群馬大学　藤田憲悦

1 0

Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)
by Katsuhiko Sano 17 Jan '14

17 Jan '14

皆様、重複して受け取られた場合はどうぞご容赦ください。北陸先端科学技術大学院大学の佐野勝彦です。Computability Theory and Foundations of Mathematics 2014 の直後の 2/21, 2/22 に金沢で開催する Epistemic Logic に関する国際ワークショップについてご案内を致します。詳細については改めてご案内いたしますが、どうぞ参加をご検討ください。 =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints. Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University) -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 16 Jan '14

16 Jan '14

皆様、 2月17日(月)〜2月20日(木)に東京工業大学で開催致します、 Computability Theory and Foundations of Mathematics 2014 の講演募集の締め切りの1月15日が迫って参りましたので、再度案内をさせていただきます。横山 ============================================================ 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします．研究集会の詳細は下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2014/index.html 講演の募集は1月15日が締め切りです。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

「プロセスとしての証明に関するワークショップ」について
by Norbert Preining 15 Jan '14

15 Jan '14

各位北陸先端科学技術大学院大学プライニング・ノルベルトです。「プロセスとしての証明に関するワークショップ」　開催のご案内この度、１月２０日（月）～２１日（火）に、金沢市石川四高記念文化交流館において、「プロセスとしての証明に関するワークショップ」（Workshop on Proofs as Processes) を開催する運びになりました。 URL: http://www.jaist.ac.jp/~preining/wpp/ 参加を希望される方はプライニングへご連絡下さい。プライニング　ノルベルト ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

Fwd: MFPS XXX
by Ichiro Hasuo 14 Jan '14

14 Jan '14

みなさま，プログラム意味論についての国際会議 MFPS XXX の CFP をお送りします．ぜひ投稿をご検討ください！蓮尾一郎東京大学大学院情報理工学系研究科コンピュータ科学専攻 www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ =========== This is the First Call for Papers for MFPS XXX. Details of the meeting are given below. MFPS XXX http://www.cs.cornell.edu/Conferences/MFPS30/ Thirtieth Conference on the Mathematical Foundations of Programming Semantics Cornell University Ithaca, NY USA 12 - 15 June 2014 The Thirtieth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the Cornell University, Ithaca, NY USA from June 12 through June 15, 2014. MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighboring areas. TOPICS include, but are not limited to, the following: biocomputation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. INVITED SPEAKERS: Nick Benton, Microsoft Research, Cambridge, UK Andy Gordon, Microsoft Research, Cambridge, UK Elham Kashefi, University of Edinburgh, UK Prakash Panangaden, McGill University, Canada Alexandra Silva, Radboud University, Nijmegen, The Netherlands SPECIAL SESSIONS: There will be two special sessions at the meeting, each associated with one of the plenary talks: * Probabilistic computing, organized by Andy Gordon * Quantum Computing, organized by Elham Kashefi Additional special sessions also may be organized. There also will be a series of TUTORIAL LECTURES during the meeting - the topic and list of speakers are still being arranged. PROGRAM COMMITTEE: The Program Committee for MFPS XXX is being co-chaired by Bart Jacobs, Alexandra Silva and Sam Staton (Radboud University). The other members of the PC are: Steve Awodey, CMU, USA Andrej Bauer, Ljubljana, Slovenia Steve Brookes, CMU, USA Pierre Clairambault, ENS Lyon, FR Martin Escardo, Birmingham UK Fabio Gadducci, Pisa IT Ichiro Hasuo, Tokyo JP Martin Hofmann, LMU Muenchen DE Achim Jung, Birmingham UK Shin-Ya Katsumata, Kyoto JP Naoki Kobayashi, Tokyo JP Dexter Kozen, Cornell USA Conor McBride, Strathclyde UK Guy McCusker, Bath UK Annabelle McIver, Macquarie AU Catherine Meadows, NRL USA Stefan Milius, Erlangen-Nuernberg DE Michael Mislove, Tulane USA Rasmus Ejlers Møgelberg, ITU Copenhagen DK Joel Ouaknine, Oxford UK Prakash Panangaden, McGill CA Daniela Petrisan, Leicester UK Alex Simpson, Edinburgh UK Jamie Vicary, Oxford UK Nobuko Yoshida, Imperial College UK IMPORTANT DATES: - 11 April 2014 Paper submission deadline - 9 May 2014 Notification to authors - 19 May 2014 Preliminary proceedings version due SUBMISSIONS should be prepared using ENTCS Macros, available from http://www.entcs.org Submissions should be in the form of a PDF file not exceeding 15 pages in length. Submissions are open on the EasyChair website: http://www.easychair.org/conferences/?conf=mfps30 PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. The Organizers of the MFPS series are Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Oxford) and Prakash Panangaden (McGill). The local arrangements for MFPS XXX are being overseen by Dexter Kozen (Cornell).

1 0

Call for Papers: 2nd AWPL （再送）
by 小野寛晰 14 Jan '14

14 Jan '14

The Second Asian Workshop on Philosophical Logic 12-13 April, 2014 Institute for Logic and Cognition Sun Yat-Sen University Guangzhou, China All researchers working on various aspects of philosophical logic are cordially invited to submit their papers by the submission deadline of January 20th, 2014. Authors should submit an (extended) abstract at least two pages but no more than ten pages. Papers must be submitted as PDF files and sent to liuhu2(a)mail.sysu.edu.cn . Each submission will be refereed. The workshop is open to everyone, and practical info will be available soon on the website. DESCRIPTION OF THE CONFERENCE: The Second Asian Workshop on Philosophical Logic will be held at Guangzhou, China, and is organized by the Institute of Logic and Cognition, Sun Yat-sen University from 12th to 13th April, 2014. The aim of the Workshop 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. IMPORTANT DATES: Abstract submission deadline: January 20, 2014 Notification of authors: February 15, 2014 Conference: April 12-13, 2014 POST-CONFERENCE PUBLICATION: All authors of papers presented at the conference will be encouraged to submit a full version to a post-conference volume published by Springer at the book series "Logic in Asia". See http://www.springer.com/series/13080 . All papers submitted to the post-conference proceedings will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The details of the post-conference proceedings will be announced later COMMITTEE: Chairs: Shier Ju （Sun Yat-sen University, China） Hiroakira Ono （JAIST, Japan） Program Committee: Wojciech Buszkowski （Adam Mickiewicz University, Poland） Mihir Chakraborty (Jadavpur University, India) Phan Minh Dung (Asian Institute of Technology, Thailand) Fenrong Liu (Tsinghua University, China) Jeremy Seligman (The University of Auckland, New Zealand) Wen-fang Wang (National Yang Ming University, Taiwan, China) Chin-mu Yang (National Taiwan University, Taiwan，China) Xishun Zhao (Sun Yat-sen University, China) Furthur information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/

1 0

Wittgenstein国際集会ー論理、意味、心の哲学 Jan.18-19th,　慶応大 Keio U.
by Mitsu Okada 04 Jan '14

04 Jan '14

論理および論理の哲学に関係する話題であると思いますので、投稿させて頂きます。メールリストでの配布のご検討をお願い申し上げます。　慶応義塾大学文学部哲学専攻　岡田光弘 ――――――――――――――――――――――――――――――――――――――――――――――― WITTGENSTEIN MEETING, Jan 18th(Sat)-19(Sun), 2014 ウィトゲンシュタインの論理、意味、心の哲学 (慶応大三田キャンパス、 KeioUniversity) ――――――――――――――――――――――――――――――――――――――――――――――― 開催日時・場所: 日時：2014年1月18日（土）13:00*〜17:30 / 19日(日) 10:30*〜17:00 Date: January 18th (13:00-17:30) /19th (10:30-17:00), 2014 場所：慶應義塾大学三田キャンパス東館6階G-Sec Lab (18日) / 東館8階ホール(19日) Place: G-Sec Lab, 6th Floor of East Research Building (Jan. 18) / Conference Hall, 8th Floor of East Research Building (Jan. 19), Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html (* 開始時間変更の可能性あり．プログラムは http://ctj.keio.ac.jp/news/14 でアップデートいたします。) ――――――――――――――――――――――――――――――――――――――――――――――― Wittgenstein の論理、意味、心の哲学を中心テーマとする国際集会を開催i致します。ゲスト講演者： - Timothy William Child (Oxford University) “Wittgenstein’s philosophy of mind”(tentative title) - Pasquale Frascolla (Università della Basilicata Napoli) “Realism, Anti-realism, Quietism: Wittgenstein's stance” - João Vergílio Gallerani Cuter (Dept. of Philosophy, University of São Paulo) “Truth functions in Tractatus”(tentative title) Jinho Kang , Depertment of Philosophy, Seoul National University "Early Wittgenstein and Philosophy of Language" (tentative title) - Mathew Marion (Department of philosophy, Université du Québec à Montréal ) “TBA” - Masaharu Mizumoto (JAIST) “TBA” - その他（ゲスト講演者リストやプログラム情報はイベントページ http://ctj.keio.ac.jp/news/14 にてアップデートされます．） - Mitsuhiro Okada (Department of Philosophy, Keio University) “Philosophy of mathematical “proofs” in Wittgenstein” ＊発表言語は英語参加方法：事前登録不要・参加費無料。ただし会場準備のため氏名、所属を明記して「Wittgenstein集会参加希望」と件名を記したメールを事務局 think-judge(a)abelard.flet.keio.ac.jp 宛に 1/15 までにお送りください。 (※18日セッション終了後のレセプションも参加自由です。) お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml