Kisoron-ml

1 participants
589 discussions

代数・論理・幾何と情報科学（ALGI）8月31日～9月1日（福岡）講演募集
by Akitoshi Kawamura 17 Aug '19

17 Aug '19

皆様（重複してお受取りの際はご容赦ください。）九大の河村と申します。標記の研究集会についてお知らせ致します。 ************************************************** 第三十回 ALGI（代数・論理・幾何と情報科学研究集会）令和元年8月31日（土）～9月1日（日）九州大学伊都キャンパス（福岡県福岡市西区）開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、九州大学マス・フォア・インダストリ研究所（IMI）の共同利用研究集会として開催します。第30回記念の特別企画として、 ALGI各分野の応用的側面の話題について招待講演を予定しております。奮ってご参加ください。 ●招待講演勝股審也（国立情報学研究所）竹内泉（産業技術総合研究所）長谷川勇（スクウェア・エニックス）前原貴憲（理化学研究所） ●日程令和元年（2019年）8月31日（土）～9月1日（日） ●会場九州大学　伊都キャンパス IMIコンファレンスルーム（ウエスト一号館D棟4階W1-D-414） http://www.imi.kyushu-u.ac.jp/pages/joint_research_auditorium.html 講演を希望される方は、・題目・講演者名・所属・希望時間（基本は質疑応答含め30分です）・講演に必要な道具・梗概（後日でも構いません）・講演資料を後日ご提供いただけるかどうか※［はい／いいえ］などの情報を、幹事の西澤 nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。 ※研究所共同利用の報告書に記載するため、もし差支えなければ、　講演内容について一件3～15ページ程度の資料（スライドのコピー等でも　結構です）を御提供いただけると幸いです。　「はい」を選択いただいた方には開催終了後に改めてお伺いさせて頂きます。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申込不要で自由にご参加いただけますが、初日の夕方に予定している懇親会については、事前に詳細を告知し参加申込を受け付ける予定です。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。幹事・世話人河村彰星（九州大学）津曲紀宏（崇城大学）西澤弘毅（神奈川大学）溝口佳寛（九州大学）

1 2

モデル理論夏の学校研究集会（9/2-4）申し込み延長
by kota takeuchi 07 Aug '19

07 Aug '19

皆様９月２－４日に山梨県の山中湖で開かれますモデル理論夏の学校研究集会の宿泊参加枠にいくらか余裕がありますので、申し込み締め切りを８月１０日（土）に延長します。また講演枠もわずかながらまだ受け入れ可能ですので興味がある方は申し込みください。（セミナーハウスに宿泊しない参加も歓迎していますが、人数把握のため事前にお申込みいただけると幸いです。）皆様のご参加をお待ちしています。研究集会HP https://sites.google.com/view/model-theory-summer-school-201/home 竹内耕太

1 0

９月３日(火)午後東大駒場「応用論理学」
by Toshio Suzuki 04 Aug '19

04 Aug '19

（複数お受け取りの方はご容赦下さい）首都大学東京の鈴木登志雄です。2019年9月3日午後に東大駒場で「応用論理学」という講演会を開催します。これは日本応用数理学会 2019年度年会の中の正会員主催オーガナイズドセッション（臨時の分科会）です。このセッション以外にも、年会には多くの講演が予定されています。皆様のご来場をお待ちしております。日本応用数理学会年会のプログラム・参加費・会場案内については年会ウェブページ https://annual2019.jsiam.org/ をご覧下さい。 ------- 「応用論理学」 2019年9月3日(火)16:30から17:50 東京大学駒場キャンパス21KOMCEE棟A(K211)室ご来場前に年会受付にお越し下さい：数理科学研究科（会場とは別の建物）117室チュートリアル AND-OR木の探索コスト / 鈴木登志雄 (首都大学東京) 重み付きAND-OR木の固有分布について【招待講演40分】 / 田中一之 (東北大学) ソロベイ還元と連続性 / 鈴木登志雄 (首都大学東京) (隈部正博、宮部賢志、水澤勇気との共同研究）連絡先鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp -------- セッション「応用論理学」チラシ http://toshio-suzuki-logic.jp/meeting/jsiam2019logic.pdf 日本応用数理学会年会のウェブ通常参加申込みは８月２６日まで、当日受付・当日払いもあります。 -- 鈴木登志雄首都大学東京理学研究科　数理科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

公募
by akito tsuboi 01 Aug '19

01 Aug '19

皆さま，筑波大学数学域では，計算機数学の教員を募集します．数値解析や計算機数学に広い意味で関連する方々の積極的応募を期待しています． ● https://nc.math.tsukuba.ac.jp/recruitment/ ● JRECIN にも登録してあります坪井明人＠筑波大学

1 0

モデル理論夏の学校・研究集会のお知らせ
by kota takeuchi 29 Jun '19

29 Jun '19

皆様２０１９年度のモデル理論夏の学校研究集会のお知らせです。本研究集会は，例年夏に開催されるモデル理論に関する研究集会です。モデル理論に興味のある方はだれでも参加していただけます。申し込み締め切り：８月２日（金）セミナーハウスに宿泊する場合は部屋数に限りがありますのでお早めにお申し込みください。また限られた予算内ですが旅費の援助も検討しています。希望される方はご相談ください。研究集会HP：https://sites.google.com/view/model-theory-summer-school-201/home 期間：２０１９年９月２日（月）午後～９月４日（水）午前場所：東海大学山中湖セミナーハウス山梨県南都留郡山中湖村山中３２３－１〒４０１－０５０１ＴＥＬ０５５５－６２－４１００世話役：竹内耕太、坪井明人筑波大学 kota(a)math.tsukuba.ac.jp, tsuboi(a)math.tsukuba.ac.jp 竹内耕太

1 0

日本数学会2019年度秋季総合分科会の講演申し込みが開始されました
by Teruyuki YORIOKA 18 Jun '19

18 Jun '19

みなさま静岡大学の依岡です．日本数学会2019年度秋季総合分科会の講演申し込みが開始されました．多くのみなさまに講演をしていただきたいと思います．講演をご希望の方はなるべく早くに申し込みをしてください．講演締め切りは6月21日（金）までです． http://mathsoc.jp/meeting/kanazawa19sept/ なお，金沢駅周辺の宿泊事情により，参加ご予定の方はなるべく早めに宿泊予約をしていただくことが会場校より推奨されています．講演申し込みに併せて，早めの宿泊施設の予約もお願いします．

1 1

2019年度数学基礎論サマースクールのご案内
by Teruyuki YORIOKA 03 Jun '19

03 Jun '19

みなさま静岡大学の依岡です． 2019年度数学基礎論サマースクールのウェブサイトを公開しました． https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/ サマースクールに参加ご希望の方は以下の情報を8月2日(金)までに email で，件名を「SS2019」として依岡（ yorioka(a)shizuoka.ac.jp ）までお送りください．氏名：所属：身分： email アドレス：懇親会：参加・不参加みなさまぜひ9月の第1週目は静岡にお越しください．みなさまのご参加をお待ちしております．

1 0

LCC 2019（7月8日・パトラ）発表募集
by Akitoshi Kawamura 11 Mar '19

11 Mar '19

メーリングリストの皆様九大の河村と申します。7月に国際会議ICALPの併設集会としてギリシアのパトラで行われる「論理学と計算量」研究集会LCC 2019の御案内をお送りいたします。投稿は3～4ページで、締切は5月1日です。 =========================================================== First Call for Contributions LCC 2019 20th International Workshop on Logic and Computational Complexity July 8, 2019, Patras, Greece Collocated with ICALP 2019 http://www.cs.swansea.ac.uk/lcc/ =========================================================== LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee. IMPORTANT DATES: * submission May 1, 2019 * notification May 20, 2019 * workshop July 8, 2019 SUBMISSION: Submissions must be in English and in the form of an abstract of about 3-4 pages. All submissions should be submitted through Easychair at: https://easychair.org/conferences/?conf=lcc19 We also welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. PROGRAM COMMITTEE: Lauri Hella, Co-chair, Tampere University, Finland Monika Seisenberger, Co-chair, Swansea University, UK Sam Buss, University of California, San Diego, US Anupam Das, University of Copenhagen, Denmark Anuj, Dawar, University of Cambridge, UK Akitoshi Kawamura, Kyushu University, Fukuoka, Japan Arne, Meier, University of Hannover, Germany Lidia Tendera, University of Opole, Poland CONTACT: To contact the workshop organizers, please send an e-mail to lcc19(a)easychair.org -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

嘱託職員の募集
by 泉英明 06 Mar '19

06 Mar '19

数学基礎論メーリングリストの皆様千葉工業大学では下記の嘱託職員の公募を行っております。関係各位にご周知いただくとともに，適任者をご存知の場合は応募をお薦め下さいますようお願い申し上げます。千葉工業大学泉英明 --------------------------------------------- 千葉工業大学学生サポートセンター学習指導員(数学) 募集千葉工業大学教育センター数学教室山田宏文 1. 公募人員: 嘱託職員(教育系) １名 2. 応募資格: 修士以上の学位を有し，工業系大学の数学基礎教育に熱意のある方。 3. 業務内容: 高校数学および大学初年時の基礎的な数学に関する補習教育(学生の質問への対応，工学系学部 1・2 年生を対象とした補習授業を週に数回担当，数学補習授業等の教材の開発，補習教育に関わるデータ分析など) 4. 勤務日及び時間: 勤務日は月曜日から金曜日までの週 5 日。修業時間は午前 10時00から午後6時00分(うち休憩時間60分) 。休暇は, 初年度年次有給休暇 10 日付与，以後法令の定める範囲で付与。その他の休暇に関しては専任職員に準ずる。 5. 賃金: (1) 基本給: 月給 200,000 円 (2) 諸手当:通勤手当 6ヶ月定期代を年2回 (3) 賃金支給日: 毎月 20 日 (4) 昇格無 (5) 賞与有(1年に合計2ヶ月分を4回に分けて支給，ただし初年度6月賞与は3分の 2を支給) (6) 退職金無 6. 任期: 最長5 年(毎年更新の単年度契約) 、着任時期:2019年4月1日 7. 勤務地: 千葉工業大学新習志野キャンパス(千葉県習志野市芝園2-1-1) 8. 応募方法: メールに履歴書ファイルを添付し, 下記にご応募ください。 yamada.hirofumi(a)p.chibakoudai.jp 履歴書には、「高校卒業時からの学歴、取得学位、職歴、論文等の業績一覧、応募者の電子メールアドレス」、を記載のこと。 9. 締め切り: 2019年3月13日ただし、適任者が決まり次第、本公募は締め切りを待たず終了とする場合があります。 10. その他: 問い合わせは、山田宏文（千葉工業大学教育センター数学教室 yamada.hirofumi(a)p.chibakoudai.xn--jp)-u63b3a3fo4hi4bzog59j9dyk6332m. なお、勤務条件等（特に、上記4, 5, 6）に関する問い合わせは、下記まで：千葉工業大学新習志野教務課次長柿山正美（電話 047-454-9932）

1 0

組合せ論・モデル理論セミナー第四回開催のご案内
by Shunsuke Okabe 26 Feb '19

26 Feb '19

メーリングリストの皆さまお世話になっております。神戸大学の岡部と申します。組合せ論・モデル理論セミナー第四回( https://sites.google.com/site/kcmseminar/4thseminar )を以下の要領で開催させていただきます。日時：2019年3月8日(金) 15:20-18:30 講演者・プログラム： 15:20-16:50 谷口哲也氏 (金沢工業大学) 　　「円分体の相対類数の行列式公式の値の大きさの特異性について」 17:00-18:30 野口健太氏 (東京理科大学) 　　「グラフの埋め込みに関する話題と最近の研究」開催場所：神戸大学六甲台第二キャンパス自然科学総合研究棟三号館421号室以上となります。講演終了後には、三ノ宮駅周辺で懇親会も予定しております。参加をご希望される方は岡部( 137x606x(a)stu.kobe-u.ac.jp )までご連絡ください。どうぞよろしくお願いいたします。〒657-8501 兵庫県神戸市灘区六甲台1-1 神戸大学大学院システム情報学研究科博士後期課程 3年岡部峻典 TEL: 090-3970-3756 E-mail: 137x606x(a)stu.kobe-u.ac.jp

1 0

← Newer
1
...
19
20
21
22
23
24
25
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml