Kisoron-ml

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

599 discussions

2011LLS
by Toshihiko Kurata 06 Jul '11

06 Jul '11

kisoron-ml，logic-mlの皆様，夏休み期間に「ラムダと論理の研究会」が計画されています．詳しい情報は http://www.i.hosei.ac.jp/~kurata/2011LLS/ にありますので気軽に参加を検討いただけますと幸いです．過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関して，成果発表の場というよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個人やグループで柔軟に計画してもらうようになっています．（こうした形式のセミナーは主に海外で行われているらしく，それを取り入れた古森先生の研究室の下で継続的に実施されています．）特に今年の夏は節電の影響で大学では仕事がはかどりそうにないという方も多いと思われます．草津のセミナーで仕事を進め節電にも貢献する計画などされては如何でしょうか？ ---- Toshihiko Kurata, Hosei University e-mail kurata(a)hosei.ac.jp ---------------------------------------------------------------------- 日時：　2011年8月28日(金)午後5時から9月1日(火)正午まで場所：　国立大学草津セミナーハウス参加申込：　倉田（法政大学）が窓口となっています．講演や参加を希望されます方は8月15日までに以下の項目を kurata(a)hosei.ac.jp までメイル下さい．会議室確保の都合がありまして，参加のみ希望されます方も予め御連絡頂けますと幸いです． -------------------------- 参加申込 -------------------------- 氏名：所属：連絡先 (e-mail): 参加期間：講演希望：有・無題目：希望時間：その他： -------------------------------------------------------------- また，セミナーに参加される方の中でセミナーハウスでの宿泊を希望される方は7月7日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さい．宿泊定員の関係でこちらの締切は早くなっています．他の情報は後から送って頂いて構いませんので，よろしくお願いいたします． ------------------- セミナーハウス宿泊申込 ------------------- セミナーハウスの宿泊の申込をします。部屋タイプの希望（教員は選択可，学生は学生部屋となります）：　　　　教員用, 学生用, どちらでもよい宿泊・食事の希望（希望しない部分を消去して下さい）：　　　　２８日　　夕食　宿泊　　　　２９日　　朝食　夕食　宿泊　　　　３０日　　朝食　夕食　宿泊　　　　３１日　　朝食　夕食　宿泊　　　　　１日　　朝食 --------------------------------------------------------------

2 1

First CFP of AiML2012
by Hiroakira Ono 30 Jun '11

30 Jun '11

皆様 2012年8月にコペンハーゲンで開催される AiML 2012 の First Call for Papers を添付します。小野寛晰

1 0

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

14 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

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

15 Mar '11

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

1 1

数学研究者の為の外部資金に関する後援会
by Hirotaka Kikyo 23 Feb '11

23 Feb '11

日本数学会会員のみなさま日本数学会事務局より記のような講演会の案内がありましたので、お知らせいたします。記＜特別講演会＞主催：日本数学会教育研究資金問題検討委員会日時：2011年3月22日（火）13：00〜14：00 場所：早稲田大学西早稲田キャンパス 51号館 204号室講演：「数学研究者の為の外部資金について ―より良い申請とより良い審査の為に―」宮嶌和男氏（独立行政法人日本学術振興会審議役）趣旨：我が国の競争的研究資金制度およびその審査課程について理解し, 数学や数学に関わる研究に関して, より良い申請が数多く提案されること, またピアレビューによる審査において, 十分な検討と公正な判断に基づいた高いレベルの評価が望まれています. この特別講演会では日本学術振興会(JSPS)から講師をお招きし, 科学研究費やそのほかの研究資金制度について解説をお願いしました. 多くの数学会会員のご参加をお願いいたします. 以上会場へのアクセスについて，昨日に発行された「数学通信」の年会プログラム，または数学会ホームページhttp://mathsoc.jp/meeting/waseda11mar/ に掲載された年会に関する情報をご参考ください．数学基礎論および歴史分科会連絡責任評議員桔梗宏孝 (私の任期は2月末までです。3月からは鹿島先生が連絡責任評議員になります。)

1 1

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

(no subject)
by Kazuma Ikeda 30 Jan '11

30 Jan '11

数学基礎論および歴史分科会の皆様本橋先生からのご依頼により投稿いたします．下記URLに本橋先生が最近お書きになられた「形式論理学の誤謬」がございます．よろしくお願いいたします． https://docs.google.com/document/d/13pLLH81Jo7kbvFiPWupR7oY7GUtw7zhbYvHSatA… 本橋先生はメールをご利用されていないようですので，コメントご質問などは私までお送り頂ければ，プリントアウトして本橋先生に郵送致します．　　　　　　　　　　　　　　　　　　　　　　　　聖徳大学　　　　　　　　　　　　　　　　　　　　　　　　池田一磨 -- Kazuma Ikeda <ikedak(a)seitoku.ac.jp>

1 0

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

04 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

サーバの不具合(？)
by Atsushi Igarashi 25 Dec '10

25 Dec '10

kisoron-ml 管理人の五十嵐です．先日，kisoron-ml が動いているサーバが変わったのですが，それ以来，メイリングリストサーバの挙動がおかしいようです．これはサーバのテストを兼ねたメールです．ご迷惑をおかけしています． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/

1 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml