Kisoron-ml October 2014

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

4 participants
4 discussions

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

第49回 MLG 数理論理学研究集会のご案内（再送：講演・宿泊の申し込み締め切り11/21）
by Katsuhiko Sano 30 Oct '14

30 Oct '14

第49回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦と申します。締め切りまで三週間程となりましたので、再度アナウンスさせていただきます。 2014年度MLG数理論理学研究集会（第49回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第49回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2014 年 12 月 5 日(金) 〜 12 月 7 日(日) - 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり） -- 〒922-0126 石川県加賀市山中温泉河鹿町ホ100 -- URL : http://www.daiwaresort.jp/kajikasou/ - 講演・宿泊申込締め切り: 2014 年 11 月 21 日（木） - 申し込みはこちらから --> http://goo.gl/RfZ5SE - ホームページ: https://sites.google.com/site/mlg2014kaga/ - 連絡先E-mail: mlg.logic.japan [at] gmail.com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 12月6日（土）の夜に懇親会を行います。 - 全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。 - ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）3000円をいただきます。 - 参加・講演申し込みは、http://goo.gl/RfZ5SE の registration form からお願い致します。世話人: 佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2014 に関するメールは，mlg.logic.japan [at] gmail.com まで。

1 0

再送：数学基礎論若の手会（10/29締切）
by YOSHIDA Satoru 17 Oct '14

17 Oct '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014のご案内です。数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日程：11月19日（水）午後－21日（金）午前場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） http://www.city.tottori.lg.jp/www/contents/1198114185831/ 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ 申込み要領については上記ホームページをご参照ください。 -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

PSSJ Symposium
by takeuti＠kuis.kyoto-u.ac.jp 16 Oct '14

16 Oct '14

各位科学哲学会シンポジウムの宣伝を致します。シンポジウム「数学を巡る思索」日時：11月15日（土）14:15〜16:45 会場：南山大学名古屋キャンパスＢ棟B11教室ウェブ：http://pssj.info/program/program.html 会費が1000円掛かります。数学史の観点からは、野本和幸氏のデデキントの数概念に関する講演があります。数学としての話はありません。産総研竹内泉 takeuti(a)ni.aist.go.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml October 2014