Logic-ml September 2021

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

7 participants
7 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 14 Mar '23

14 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

RIMS共同研究（公開型）「証明と計算の理論と応用」のご案内
by ikeda 29 Sep '21

29 Sep '21

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 2021年度の証明論研究集会のご案内をお送りさせていただきます．今年度はRIMS共同研究(公開型)として，下記の要領で開催される予定です．新型コロナの感染拡大状況を鑑みて，現在のところハイブリッド型で開催する予定です．講演は証明論・計算論とその周辺を含めた分野から，幅広く募集しています．今回の研究集会では，東京大学数理科学研究科の新井敏康先生に招待講演をお願いしております．多くの皆様のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- RIMS共同研究(公開型)「証明と計算の理論と応用」日時：2021年12月20日〜2021年12月22日場所：京都大学数理解析研究所111号室（講演者，代表者などコアメンバーのみ会場での参加が可能で，コアメンバー以外の参加者はZoomによる参加を想定してます．） Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory/2021/ --------------------------------------------------------------------------------- 参加を希望される方は，11月15日(月) 17:00までに， ikedak[at]ks.kyorin-u.ac.jp宛に，以下の項目をご連絡ください．（講演されない方も11月15日（月）17:00までにご連絡ください．）・氏名：・大学等名：・部局等名（学部，研究科，研究所等）：・職名：・e-mailアドレス：・参加の仕方：　１．会場（数理解析研究所）　　２．遠隔　（どちらか一方を消してください）・講演の有無：　１．講演する　　２．講演しない　（どちらか一方を消してください）　（講演を希望される場合は，タイトルと講演時間や講演日等の希望をご連絡ください．）・旅費援助の希望の有無：　１．希望する　　２．希望しない　（どちらか一方を消してください．）（希望される場合は参加日程（例：12月20日〜12月21日）をご連絡ください．　　　また，申込状況によってはご希望に添えない場合があります．） ※上記の情報は京都大学数理解析研究所および次年度世話人に提供されます．杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 0

QIT45のご案内
by NISHIMURA Harumichi 24 Sep '21

24 Sep '21

logic-mlの皆さま第45回量子情報技術研究会(QIT45)の会告を代理で投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------------------------------------------------------------- 第45回量子情報技術研究会（QIT45）研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第45回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2021年11月30日(火)～2021年12月1日(水) （予稿集（電子版）は2021年11月29日（月）発行を予定）会場：オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名程度参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※11月19日（金）より後にお支払いの場合は11月26日（金）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も，直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit45/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の Webシステムを使用する予定．各種締切：【口頭講演申込締切】 2020年10月22日（金）【ポスター講演申込締切】2020年11月12日（金）【予稿原稿提出締切】 2020年11月12日（金）【参加事前登録】 2020年11月19日（金）【参加費の銀行振込】 2020年11月19日（金）【問合せ先】山本俊 (大阪大学) 生田力三 (大阪大学) 小林俊輝 (大阪大学) 山下眞 (大阪大学) Email: qit45committee(a)qi.mp.es.osaka-u.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：応用物理学会量子エレクトロニクス研究会大阪大学量子情報・量子生命研究センター（QIQB）

1 0

筑波大学数理物質系数学域の公募（助教）
by shioya 16 Sep '21

16 Sep '21

logic-ml の皆様筑波大学数理物質系数学域の公募に関しまして代理投稿いたします．（重複投稿をお詫びいたします．）どうぞよろしくお願いいたします．筑波大学数理物質系数学域塩谷真弘 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 筑波大学数理物質系数学域では以下の公募を開始いたしました。公募人員：助教１名　（テニュアトラック制　着任後5年以内にテニュア獲得審査）専門分野：数学（数理科学分野）公募締め切り：令和３年１１月５日（金）任用予定：令和４年４月１日詳細は https://nc.math.tsukuba.ac.jp/recruitment/ をご覧ください．数学・数理科学の広い範囲から募集しております。関係各位にお知らせいただくとともに，適任のかたに応募をお勧めいただきますよう，どうかよろしくお願い申し上げます。

1 0

教員公募のお知らせ (愛媛大学)
by FUJITA Hiroshi 13 Sep '21

13 Sep '21

Logic-MLのみなさま、こんにちは、愛媛大学の藤田です。愛媛大学にて、数理科学系の教員公募が始まりましたのでお知らせいたします。大学院理工学研究科数理物質科学専攻数理科学講座（助教1人・女性限定）応募〆切は9月21日(火) 必着となっております。詳しくは次のリンクをご参照ください。 https://www.ehime-u.ac.jp/post-169347/ お近くの研究者の方々にもお伝えいただければ幸甚です。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 1

数学基礎論若手の会 2021（12/3（金）～12/5（日））
by Taishi Kurahashi 12 Sep '21

12 Sep '21

皆様，神戸大学の倉橋と申します．数学基礎論若手の会 2021 についてアナウンスをさせていただきます．今年度の数学基礎論若手の会も，新型コロナウィルスの感染状況をみてオンライン開催としたいと思います．日程：2021年12月3日（金）～ 12月5日（日）世話人：倉橋太志（神戸大学）開催方法：Zoom によるオンライン開催参加申し込み：下記フォームからお願いします． https://docs.google.com/forms/d/1yXCP8xxReEUsjZaEqk9tB_UYa1LQSxOfEI4aUui-Yh… 参加・講演申し込み締め切り：11月19日（金）ホームページ：http://www2.kobe-u.ac.jp/~tk/jp/workshop/wakate2021.html 数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します． Zoom の URL 等については参加登録者に対して追ってご連絡いたします．期間中には懇親会として zoom のブレイクアウトルームを用いた交流時間を設ける予定です．それでは，多くの方々のご参加およびご講演をお待ちしております．倉橋太志

1 0

Session of Logic at CLAM 2021 - 15-17 September, 2021. Online event
by Diego A. Mejía 01 Sep '21

01 Sep '21

---------- Forwarded message --------- From: Pedro H. Zambrano <phzambranor(a)unal.edu.co> Date: Wed, Sep 1, 2021 at 12:10 AM Subject: [LOGBOG: 1004] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event To: logbog <logbog(a)googlegroups.com>, <logic-list(a)helsinki.fi> -------------------------------------------- [Please circulate! We apologize for any cross-postings] Session of Logic at CLAM 2021 Online, September 15-17, 2021 https://clam2021.cmat.edu.uy/ The 6th Latin American Congress of Mathematicians (CLAM 2021) will be held online from 13 September to 17 September, 2021. A session of logic "Lógica Matemática" will take place as part of the congress, from 15 September to 17 September, 2021 (15:00 to 18:15 UTC-3). The Program of the session of logic is the following: PROGRAM (UTC-3) Day 1 - Wednesday 15 September 15:00-15:45 Hugo Luiz Mariano (Universidade de São Paulo - USP, Brazil) "Filter pairs and natural extensions of logics" 15:45-16:30 Rodolfo C. Ertola-Biraben (Universidade Estadual de Campinas - UNICAMP, Brazil) "Distributivity, Modularity, and Natural Deduction" 16:45-17:30 María Paula Menchón (Universidad Nacional del Centro de la Provincia de Buenos Aires - UNICEN, Argentina) "A topological duality for monotone expansions of semilattices" 17:30-18:15 Nick Galatos (University of Denver, USA) "Interpolation and Beth definability for conic idempotent Full Lambek calculus" ------------------------------------------------- Day 2 - Thursday 16 September 15:00-15:45 Carles Noguera (Czech Academy of Sciences, Czech Republic) "Lindström theorems in graded model theory" 15:45-16:30 José Patricio Díaz Varela (Universidad Nacional del Sur - UNS, Argentina) "Completitud estándar fuerte (fuerte finita) para lógicas de S5-modales de Łukasiewicz" 16:45-17:30 Xavier Caicedo (Universidad de los Andes - Uniandes, Colombia) "Locally pseudocomplemented abelian ℓ-groups" ---------------------------------------------------- Day 3 - Friday 17 September 15:00-15:45 Xavier Vidaux (Universidad de Concepción - UdeC, Chile) "Hilbert's tenth problem in rings of meromorphic functions" 15:45-16:30 Rodrigo de Alvarenga Freire (Universidade de Brasília - UnB, Brazil) "Embeddability between orderings and GCH" 16:45-17:30 Alexander Berenstein (Universidad de los Andes - Uniandes, Colombia) "Existentially closed measure preserving actions of the free group." ------------------------------------------------------ REGISTRATION Participation in the congress will be free-of-charge, but registration is mandatory. The registration form is here: https://clam2021.cmat.edu.uy/registrarse ***Please register until September 5th** More information will be available here: https://clam2021.cmat.edu.uy/ We hope to meet you at the CLAM 2021. All the best, Manuela Busaniche and Marcelo Coniglio Organizers of the session "Lógica Matemática" CLAM 2021 --- Pedro ZAMBRANO Associate Professor Department of Mathematics Universidad Nacional de Colombia Bogota, Colombia PBX + 57 1 316 5000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml September 2021