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

数学基礎論サマースクールのHPのURLの変更
by Hirotaka Kikyo 28 Jul '11

28 Jul '11

各位数学基礎論サマースクール2011の世話人の一人である神戸大学の桔梗です。この集会のホームページのあるサーバーが調子が悪くなりましたので、URLを次のように変更させていただきたいと思います。 http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/ いろいろとご不便をおかけして申し訳ございません。数学基礎論サマースクール2011 世話人米田、桔梗

1 0

セミナーのお知らせ
by SAKAI Hiroshi 27 Jul '11

27 Jul '11

皆様：神戸大学の酒井拓史と申します． 7月28日(木)に神戸大学で開かれるセミナーのお知らせをさせていただきます：日時： 7月28日(木) 午後3時〜場所：神戸大学自然科学総合研究棟3号館4階 421号室 (プレゼンテーション室) http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 講演者： David Aspero (Univ. Nacional de Colombia) タイトル： Measuring closed sets of countable ordinals together with CH 急なお知らせになってしまい申し訳ありませんが，ご興味のある方は是非ご参加ください． (ご参加を希望される方は，酒井までご連絡いただけると助かります．) よろしくお願いします． ------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -------------------------------------

1 0

数学基礎論若手の会 2011 (1st announcement)
by SAKAI Hiroshi 27 Jul '11

27 Jul '11

皆様：神戸大学の酒井拓史と申します．今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 12月9日(金)午後〜 11日(日)午前場所：大阪府羽衣青少年センター http://www.osaka-yha.com/osakakokusai/ 幹事：酒井拓史 (神戸大学) hsakai(a)people.kobe-u.ac.jp ホームページ： http://www2.kobe-u.ac.jp/~hsakai/wakate2011/ [宿泊・食事] 宿泊と食事は会場併設の大阪国際ユースホステルを利用します．宿泊は12月9日(金)と10日(土)の2晩，食事は9日(金)の夕食から 11日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 2,800円 (6人部屋利用) 食事：朝食 630円，昼食 630円，夕食 1,050円 ※ 宿泊は若干ですが個室もあります． ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． [参加申し込み] 参加を希望される方は，幹事の酒井にメールにてお申し込みください． <申込締切> 11月6日(日) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 9日(金)の夜 … ○ or × 10日(土)の夜 … ○ or × 食事： 9日(金)夕食 … ○ or × 10日(土)朝食 … ○ or × 10日(土)昼食 … ○ or × 10日(土)夕食 … ○ or × 11日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． --------------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-242 address: 〒657-8501 神戸市灘区六甲台町 1-1 神戸大学システム情報学研究科 ---------------------------------------------

1 0

セミナーのお知らせ
by Hiroakira Ono 25 Jul '11

25 Jul '11

　　　　　　　　セミナーの開催について来る８月４日（木）に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催によるセミナーを開催します。　　　　　　　　　　　　　　　　記　１．日　　時　平成２３年８月４日（木）１５：００〜１６：３０　２．場　　所　北陸先端科学技術大学院大学　　　　　　　　　　　　知識科学研究科講義棟２階　Ｋ３・４講義室　３．講演題目　Polynomial Time Computation on Sets http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/35 　４．講演者　Prof. Arnold Beckmann 　　　　 Swansee University ５．担当教員　先端融合領域研究院　プライニングノルベルト

1 0

証明論研究集会のご案内
by Suzuki Toshio 11 Jul '11

11 Jul '11

証明論研究集会のご案内皆様首都大学東京の鈴木登志雄です。さて、恒例の証明論研究集会を以下のように開催することになりました。メーリングリストへの投稿に先立ってお知らせします。皆様のご講演、ご参加を心よりお待ち申し上げます。 2011年証明論と計算論研究集会（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）９月１２日（月）から１４日（水）東京都八王子市南大沢１−１首都大学東京国際交流会館中ホールアクセス：京王相模原線南大沢駅、徒歩10分新宿から南大沢までは電車で最速約３４分（京王線準特急・京王八王子行に乗り、調布で京王相模原線急行・橋本行に乗り換え）。 http://www.tmu.ac.jp/university/campus_guide/access.html ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki(a)tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合も、会場確保のため上記の日までにご連絡いただけると助かります。宛先は上記と同じです。それでは、よろしくお願いいたします。関連する最近の集会： Feb. 2011, Workshop on Proof Theory and Computability Theory http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ Sep. 2010, Formal Systems and Computality Theory http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

2011LLS
by Toshihiko Kurata 07 Jul '11

07 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 01 Jul '11

01 Jul '11

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

1 0

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

15 Apr '11

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

1 0

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

16 Mar '11

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

1 1

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

24 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 31 Jan '11

31 Jan '11

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

1 0

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

05 Jan '11

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

1 0

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

26 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

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

21 Dec '10

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

1 0

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

08 Dec '10

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

1 0

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

08 Dec '10

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

1 0

日本数学会の講演申し込みについて
by Hirotaka Kikyo 03 Dec '10

03 Dec '10

各位 2011年度日本数学会年会について、今週末の１２月５日（日）２３：５９が一般講演の締切になっております。キーワードについてですが、プログラム編成を円滑にするためのものですので、「数学基礎論」か「歴史」を記入願います(同じような意味の別の言葉でも構いません)。 ID Activation および講演申込は、ほぼ順調に進行しているようですが、いくつかトラブルが報告されているそうです。activation(a)mathsoc.jp からの確認メールが、迷惑メールフォルダーに入ってしまうということが散見されてます。現在、情報システム運用委員会とワーキンググループで原因を分析いたしておりますが、簡単な問題でないようです。確認メールが届かない場合は迷惑メールフォルダーも探すようお願い致します。また、万が一システムが関係する何らかのトラブルによって講演締切に間に合わなかった場合は、数学会の方で柔軟に対応してくれるそうですので、 inquiry.mgate(a)mathsoc.jp まで連絡願います。不測の事態が生じた場合は https://app.mathsoc.jp/ http://mathsoc.jp/ のどちらかで、アナウンスがあるそうです。以上、よろしくお願い致します。連絡責任評議員桔梗宏孝

1 0

Trends in Logic IX Conference - first announcement
by Suzuki, Nobu-Yuki 02 Dec '10

02 Dec '10

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕をお願いいたします。 ---------------------------------------------------------------- Studia Logica International Conference Church's Thesis: Logic, Mind and Nature Krakow, Poland, June 3-5, 2010 http://StudiaLogica.org/TrendsIX contact: trendsIX(a)upjp2.edu.pl FIRST ANNOUNCEMENT Conference goals: In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). The acceptance of the CT led to a negative answer to Hilbert's Entscheindungsproblem. Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. The problems include attempts at a proof of the CT, analysis of its status and its logical value, etc. These various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature. The main goals of the conference include the discussion over the major results concerning the CT, as well as the presentation of contemporary approaches to problems connected with the CT. Call for papers: We invite contributions pertaining to issues which lie in the fields for which the CT is an important problem. Especially, but not exclusively, we invite contributions related to: (A)Perspectives on Church's Thesis: history of the Church's Thesis; Church's Thesis and Turing's Thesis; pro and contra: arguments in the discussions concerning the CT; (B)Church's thesis and logic: definitions of the concept of algorithm, attempts at formalizing the CT, CT in constructivism, CT in epistemic mathematics, modal logics and the CT, functional programming and the CT, logical theory of concepts; (C)Church's Thesis and the mind: cognitivist approaches to the mind; theories of concepts; mind and computability; (D) Church's Thesis and nature: analog computations, computations by physical systems. Invited speakers: Jack Copeland (University of Canterbury), Marie Duzi (VSB-Technical University of Ostrava), Yuri Gurevich (University of Michigan), Petr Hajek (Academy of Sciences of the Czech Republic), Pavel Materna (Academy of Sciences of the Czech Republic), David McCarty (Indiana University), Wilfried Sieg (Carnegie Mellon University), Oron Shagrir (Hebrew University of Jerusalem), Stewart Shapiro (Ohio State University), Jan Wolenski (Jagiellonian University), Ryszard Wojcicki (Institute of Philosophy and Sociology, Polish Academy of Sciences), Konrad Zdanowski (Paris Diderot University). Some of the invited speakers have not confirmed their participation yet. Organizing Committee: Adam Olszewski (Chairman), Bartosz Brozek, Jacek Malinowski, Piotr Urbanczyk, Malgorzata Drozdz. Program Committee: Jacek Malinowski (Chairman), Heinrich Wansing, Hannes Leitgeb, Leon Horsten, Adam Olszewski. Organizers: Studia Logica, Copernicus Center for Interdyscyplinary Studies, Pontifical University of John Paul II in Cracow. Deadline: Please send an abstract not exceeding 2 pages to atolszad(a)cyf-kr.edu.pl not later than March 15. The authors will be notified about the acceptance of their papers within 4 weeks after submission. More details will be provided in the second announcement, which is to be distributed in the middle of February, 2011. On behalf of the Organizing Committee Adam Olszewski

1 0

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

17 Nov '10

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

1 0

春の数学会年会の一般講演
by Hirotaka Kikyo 15 Nov '10

15 Nov '10

数学基礎論および歴史分科会のみなさますでに、今度の春に早稲田大学で開催される日本数学会年会の講演申し込みが始まっております。場所：早稲田大学理工研究院 <http://www.math.sci.waseda.ac.jp/math/> 日時： 2011年3月20日（日）より3月23日（水）講演申し込みの期限は、12月5日(日)23:59 です。 http://mathsoc.jp/meeting/waseda11mar/schedule.html 春・秋の学会の一般講演申し込みの際には「数学基礎論」か「歴史」のどちらかのキーワードを付けてください。これはプログラム編成を円滑に行うことが目的であり，2010年秋の分科会総会で承認されました。今後オンラインシステムで講演申込をする際にはキーワードの入力がないとエラーになります。郵送による申し込みの場合は必ず備考欄にキーワードをご記入ください。ご理解ご協力をよろしくお願いいたします。分科会の連絡責任評議員桔梗宏孝

1 0

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

15 Nov '10

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

1 0

ＲＩＭＳ研究集会
by Akito Tsuboi 04 Nov '10

04 Nov '10

皆様，ＲＩＭＳ研究集会「モデル理論における独立概念と次元の研究」の開催をご案内いたします．期間　 22 年 11 月 29 日 (月) 午後〜22 月 12 月 1 日 (水) 午前場所京都大学数理解析研究所 http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html http://www.math.tsukuba.ac.jp/~tsuboi/res/10rims/rims2010.html 坪井明人（筑波大学）

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml