Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp

7 participants
1772 discussions

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 15 Jan '14

15 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 小野寛晰 13 Jan '14

13 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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml