Kisoron-ml

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

583 discussions

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml