Kisoron-ml May 2012

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

2 participants
5 discussions

数学基礎論および歴史分科会総会
by KASHIMA Ryo 18 Jun '13

18 Jun '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。分科会総会の代わりのメールです。ご意見等がありましたらお知らせください。【１】今年の数学基礎論サマースクールはモデル理論がテーマで米田郁生さんが幹事をしてくださります。数学基礎論若手の会の幹事は酒井拓史さんがやってくださると聞きました。例年通り、数学会本部から分科会へ支給される補助金を１万円ずつこの二つの会に出したいと思います。【２】上記の他にも各種研究集会の予定があると思います。分科会ホームページや数学通信に載せていきますので、幹事の方は是非とも情報をお知らせください。５月発行の数学通信に載せるためには、　４月１５日（金）までに鹿島まで情報をお寄せくださるよう、お願いいたします。【３】『数学』編集委員は、現在は池田宏一郎さんですが、４月から鈴木登志雄さんに交代します。【４】現在の分科会運営委員は次のようになっています。（敬称略、括弧内は代表分野、順番は任期の早い順）三宅克哉（歴史）倉田俊彦（計算機科学）高瀬正仁（歴史）山下秀康（超準解析）只木孝太郎（帰納的関数論及び計算理論）桔梗宏孝（モデル理論）安東祐希（証明論）依岡輝幸（集合論）志村立矢（非古典論理）【５】分科会選出評議員は次の通りです：鹿島亮（連絡責任評議員）隈部正博（受賞候補推薦委員）分科会に対するご意見ご質問は評議員またはお近くの運営委員までお寄せください。【６】 3月20日に行われた総会・評議員会での審議決定事項等のうち、重要なものを報告します。 (a) 今後の年会および秋季総合分科会の予定： 9月28(水)〜10月1日(土) 信州大学 2012年３月東京理科大学 2012年９月九州大学 (b) 新理事長に宮岡洋一氏が選出されました。 (c) 早稲田での年会は中止になりましたが、「アブストラクト集が発行されたことによって成立したこととします」だそうです。つまり、今回講演を申し込んだ人はそれを各自の発表業績として数えてよい、ということです。アブストラクト集は数学会本部でとりまとめて今後希望者に販売するそうです。今回講演を申し込んだ人が同じ内容の講演を秋または来春の学会で行うことも可能だそうです。 (c)について、さらに他にも数学会本部からのお知らせは数学会ホームページ： http://mathsoc.jp/ に随時掲載されますので、各自でご確認お願いいたします。【以上】 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 5

公募情報（筑波の助教）その２
by akito.tsuboi 25 May '12

25 May '12

筑波大学数理物質系（数学域）では助教を国際公募しております．前回お知らせしたものとは，また別のものです．スタートアップ資金が支援されています．詳細は以下のＵＲＬをご覧ください．坪井明人 http://nc.math.tsukuba.ac.jp/recruitment/?action=common_download_main&uploa… http://nc.math.tsukuba.ac.jp/Open-Recruitment/?action=common_download_main&…

1 0

公募情報（筑波の助教）
by Akito Tsuboi 23 May '12

23 May '12

筑波大学数理物質系（数学域）では助教を募集しております．詳細は以下のＵＲＬをご覧ください．坪井明人 http://nc.math.tsukuba.ac.jp/index.php?action=pages_view_main&active_action…

1 0

EASLLC 2012
by Hiroakira Ono 16 May '12

16 May '12

East-Asian School on Logic, Language, and Computation (EASLLC 2012) Southwest University, Chongqing, China, August 27-31, 2012 http://home.hib.no/prosjekter/easllc2012/ This is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010. - The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. · Logic Track: Fenrong Liu (Tsinghua University), Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center), Jouko Väänänen (University of Helsinki and University of Amsterdam) · Language Track: Pauline Jacobson (Brown University), Geoffrey K. Pullum (University of Edinburgh and Brown University), Dag Westerståhl (Stockholm University) · Computation Track: Krzysztof R. Apt (CWI and University of Amsterdam), Phokion G. Kolaitis (University of California Santa Cruz and IBM Research ? Almaden), Moshe Y. Vardi (Rice University) - There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. Students are invited to submit an abstract of maximum 3 pages on any topic in logic, language and computation. The abstract should be written properly in English, and must be in PDF format and be submitted to our EasyChair website<https://www.easychair.org/conferences/?conf=easllc2012stus>. * Important Dates:* May 28, 2012 - deadline for short abstracts of papers (at most 3 pages) June 10, 2012 - notification date of acceptance/rejection of the papers Detailed information about the student session can be found at http://home.hib.no/prosjekter/easllc2012/stusess.asp EASSLC 2012 is an ASL-Sponsored Meeting. ASL offers student travel awards ? for details, please see http://aslonline.org/studenttravelawards.html - Prior to the School, an International Conference will take place on August 25 and 26, Scientific Organization: - Program Committee Chair: Phokion G. Kolaitis - Program Committee co-Chairs: Xiangdong He (Southwest University), Jouko Väänänen, Dag Westerståhl Local Organization: - Meiyun Guo (Southwest University), Minghui Ma (Southwest University), Jing Wang (Southwest University), Xiaojia Tang (Southwest University) Student Program Organization: - Chair: Yi Wang (Bergen University College) - Co-Chair: Fan Yang (University of Helsinki)

1 0

モデル理論研究集会のお知らせ
by Akito Tsuboi 03 May '12

03 May '12

研究集会「モデル理論夏の勉強会 2012」毎年行われている「夏の勉強会」という名前の研究集会です．今年は以下の日程で行われます．モデル理論に興味を持つ方なら，どなたでも歓迎します． ●日程： 2012年8月28日（火），29日（水），30日(木)（2泊3日） ●場所：東海大学山中湖セミナーハウス（〒401-0501 山梨県南都留郡山中湖村山中323-1）詳細は以下の集会ホームページをご参照ください． http://www.math.tsukuba.ac.jp/~tsuboi/modeltheory2012/yamanaka12.html （随時更新予定）集会幹事：坪井明人（筑波大学）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml May 2012