Logic-ml

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

1792 discussions

QIT44ポスター発表・参加登録申込締切延長のご案内
by NISHIMURA Harumichi 11 May '21

11 May '21

logic-mlの皆様名古屋大学の西村と申します．第44回量子情報技術研究会(QIT44)のポスター発表と参加登録の締切が延長されましたのでご案内させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 =============(通知ここから)================= 量子情報技術研究会(QIT研究会)を5/24(月), 25(火)の2日間、オンラインで開催いたします。 https://www.ieice.org/es/qit/qit44/ ・ポスター発表申込の〆切・参加登録申込の〆切を2021年5月17日（月）に延長しましたので、ご連絡させていただきます。積極的なポスター発表とご参加をよろしくお願いいたします。【研究会名】第44回量子情報技術研究会 (QIT44) 【研究会リンク】https://www.ieice.org/es/qit/qit44/ 【日時】2021年5月24日（月）～25日（火）（予稿集（電子版）は2021年5月21日（金）発行を予定）【会場】オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）【発表募集分野（申し込み状況によっては査読の可能性あり）】量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究, 数学的研究，および，その他関連分野．【定員】300名程度【参加費】一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※5月14日（金）より後にお支払いの場合は5月21日（金）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．【研究会参加申込要領】参加申込は下記 Web にて受付けます。 https://www.ieice.org/es/qit/qit44/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会のWebシステムを使用する予定．【各種締切】・口頭講演申込締切 2021年4月19日（月）[〆切終了] ・ポスター講演申込締切 2021年5月17日（月）[延長しました] ・予稿原稿提出締切 2021年5月17日（月）[延長しました] ・参加事前登録 2021年5月17日（月）[延長しました] ・参加費の銀行振込 2021年5月17日（月）[延長しました] 【研究会の内容】情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第44回研究会では, 現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については, 下記のQITウェブサイトをご確認下さい．【主催】量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））【共催】応用物理学会量子エレクトロニクス研究会【問合せ先】QIT44実行委員会 qit44_jikkou(a)googlegroups.com ・委員長：鶴丸豊広 (三菱電機) ・副委員長：水谷明博 (三菱電機) ・副委員長：相川勇輔（三菱電機）・副委員長：野邑寿仁亜（三菱電機）・副委員長：廣政良（三菱電機） =========(ここまで) =========

1 0

准教授公募（東京大学）
by arai toshiyasu 28 Apr '21

28 Apr '21

みなさま新井です。東京大学数理科学研究科では 6月25日締切で准教授を若干名募集しています。詳しくは https://www.ms.u-tokyo.ac.jp/index-j.html https://www.ms.u-tokyo.ac.jp/news/bbe4e919649b3cb81c8c3460b678f347b468e185.… をご覧ください。新井敏康

1 0

特定研究員の公募（アルゴリズム基礎理論）京都大学
by Akitoshi Kawamura 03 Apr '21

03 Apr '21

皆様学術変革領域研究「アルゴリズム基盤」 https://www.afsa.jp/ の課題B04「アルゴリズム基礎理論の追究・発展」（研究代表者：牧野和久）に従事する研究員1名の募集が行われております（応募締切5月6日16:00）。詳しくは以下をご覧ください。京都大学　教職員公募一覧 https://www.kyoto-u.ac.jp/ja/jobs/open 数理解析研究所　特定研究員の公募 https://www.kyoto-u.ac.jp/sites/default/files/2021-03/210506_0330-3aff43edd… （英語版） https://www.kyoto-u.ac.jp/sites/default/files/2021-03/210506_0329-5962df92e… -- 河村彰星京都大学数理解析研究所

1 0

ERATO Project Seminar by Mirai Ikebuchi (9:30 - 11:00 on Wednesday 7 Apr)
by Shinya KATSUMATA 31 Mar '21

31 Mar '21

Dear all, On Wednesday 7 Apr, Mirai Ikebuchi (Massachusetts Institute of Technology) will give a talk, Homological Methods in Rewriting, for our seminar during 9:30 - 11:00. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA Shin-ya Katsumata ------- Wednesday 7 Apr, 9:30 - 11:00 Speaker: Mirai Ikebuchi (Massachusetts Institute of Technology) Title: Homological Methods in Rewriting Abstract: It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. In this talk, we will see a way to find a lower bound of the number of axioms. The inequality that gives the lower bound is obtained by analyzing the algebraic structure, called the homology group, associated with the given equational theory. I will explain how equational theories and rewriting systems relate to abstract algebra, what homology groups in general settings are like, and what the homology groups of equational theories give us. Also, a connection to E-unification will be given.

1 0

第44回量子情報技術研究会（QIT44）のご案内
by NISHIMURA Harumichi 23 Mar '21

23 Mar '21

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

1 0

FW: OPEN ACCESS LIBRARY | Computer Science, Engineering, Math, Statistics, Science, Marketing, Applied Sciences, Image & Signal Processing, Robotics, Artificial Intelligence, Comp. Security, Theory & Algorithms
by CSC Journals 20 Mar '21

20 Mar '21

OPEN ACCESS LIBRARY http://www.cscjournals.org/library/oa-library.php Providing FREE access to journal articles published by prestigious authors from USA, CANADA, EUROPE, MIDDLE EAST, AFRICA & ASIA. ---------------------------------------------------------------------------- ------------------------------------------- JOURNALS BY SUBJECTS Access to journals and its archived publications by subjects. Computer Science <http://www.cscjournals.org/library/computer-science.php> | Engineering <http://www.cscjournals.org/library/engineering-science.php> | Management, Marketing <http://www.cscjournals.org/library/social-management-science.php> & Social Sciences | Applied Sciences <http://www.cscjournals.org/journals/IJAS/description.php> | Mathematics/Statistics <http://www.cscjournals.org/library/mathematical-science.php> | Biometrics <http://www.cscjournals.org/library/bio-science.php> & Bioinformatics | Image Processing <http://www.cscjournals.org/library/image-science.php> | Signal Processing <http://www.cscjournals.org/library/signal-science.php> | Artificial Intelligence <http://www.cscjournals.org/library/intelligent-systems.php> | Software Engineering <http://www.cscjournals.org/library/software-engineering.php> | Theory <http://www.cscjournals.org/library/theory-algorithms.php> & Algorithms | Databases <http://www.cscjournals.org/library/database-management.php> | Nano Science <http://www.cscjournals.org/library/nano-science.php> | Computer & Network Security | Ubiquitous Computing <http://www.cscjournals.org/library/ubiquitous-computing.php> ---------------------------------------------------------------------------- ------------------------------------------- LIST OF JOURNALS For complete list of journals, please refer to the following link. http://www.cscjournals.org/library/byjournal.php NETWORK & COMPUTER SECURITY <http://www.cscjournals.org/journals/IJCSS/description.php> . International Journal of Computer Science and Security (IJCSS) <http://www.cscjournals.org/journals/IJS/description.php> . International Journal Security (IJS) <http://www.cscjournals.org/journals/IJCN/description.php> . International Journal of Computer Networks (IJCN) ----------------------------------------- MARKETING, MANAGEMENT & LINGUISTICS <http://www.cscjournals.org/journals/IJBRM/description.php> . International Journal of Business Research and Management (IJBRM) <http://www.cscjournals.org/journals/IJCL/description.php> . International Journal of Computational Linguistics (IJCL) <http://www.cscjournals.org/journals/ISIJ/description.php> . Innovative Studies: International Journal (ISIJ) ----------------------------------------- BIOLOGY & APPLIED SCIENCES <http://www.cscjournals.org/journals/IJBB/description.php> . International Journal of Biometrics and Bioinformatics (IJBB) <http://www.cscjournals.org/journals/IJAS/description.php> . International Journal of Applied Sciences (IJAS) ----------------------------------------- MATH & STATISTICS <http://www.cscjournals.org/journals/IJSSC/description.php> . International Journal of Scientific and Statistical Computing (IJSSC) <http://www.cscjournals.org/journals/IJCM/description.php> . International Journal of Contemporary Advanced Mathematics (IJCM) ----------------------------------------- ENGINEERING <http://www.cscjournals.org/journals/IJE/description.php> . International Journal of Engineering (IJE) <http://www.cscjournals.org/journals/IJEG/description.php> . International Journal of Ergonomics (IJEG) ----------------------------------------- IMAGE & SIGNAL PROCESSING <http://www.cscjournals.org/journals/IJIP/description.php> . International Journal of Image Processing (IJIP) <http://www.cscjournals.org/journals/SPIJ/description.php> . Signal Processing: An International Journal (SPIJ) <http://www.cscjournals.org/journals/AMIJ/description.php> . Advances in Multimedia - An International Journal (AMIJ) ----------------------------------------- EXPERT SYSTEMS & AUTOMATION <http://www.cscjournals.org/journals/IJAE/description.php> . International Journal of Artificial Intelligence and Expert Systems (IJAE) <http://www.cscjournals.org/journals/IJRA/description.php> . International Journal of Intelligent Systems and Applications in Robotics (IJRA) ----------------------------------------- UBIQUITOUS COMPUTING <http://www.cscjournals.org/journals/GIIJ/description.php> . Geoinformatica - An International Journal (GIIJ) <http://www.cscjournals.org/journals/IJUC/description.php> . International Journal of Ubiquitous Computing (IJUC) ----------------------------------------- DATA & SOFTWARE ENGINEERING <http://www.cscjournals.org/journals/IJDE/description.php> . International Journal of Data Engineering (IJDE) <http://www.cscjournals.org/journals/IJSE/description.php> . International Journal of Software Engineering (IJSE) ----------------------------------------- ALGORITHMS AND LOGICS <http://www.cscjournals.org/journals/IJEA/description.php> . International Journal of Experimental Algorithms (IJEA) <http://www.cscjournals.org/journals/IJLP/description.php> . International Journal of Logic and Computation (IJLP) ----------------------------------------- HUMAN COMPUTER INTERACTION & NANO SCIENCE <http://www.cscjournals.org/journals/IJHCI/description.php> . International Journal of Recent Trends in Human Computer Interaction (IJHCI) <http://www.cscjournals.org/journals/NIJ/description.php> . Nanosciences and Nanotechnologies: An International Journal (NIJ) ----------------------------------------- For general inquiries regarding journal publications, please feel free to write to us at cscpress(a)cscjournals.org. Thank you, Computer Science Journals (CSC Journals) Email: cscpress(a)cscjournals.org Url: http://www.cscjournals.org ------------------ UNSUBSCRIBE POLICY To unsubscribe, please reply to this email with the subject UNSUBSCRIBE. -- This email has been checked for viruses by AVG. https://www.avg.com

1 0

CFP: LSFA 2021
by Takahito Aoto 16 Mar '21

16 Mar '21

LSFA 2021の論文募集の案内です．ぜひ投稿をご検討頂ければ幸いです．今回はFSCDの併設ワークショップとして(オンライン)開催されます． --- 青戸等人(新潟大学) ——————————————————//—————————————————— 16th Logical and Semantic Frameworks with Applications - LSFA 2021 23-24 July 2021 https://mat.unb.br/lsfa2021 Affiliated to FSCD 2021, Buenos Aires, Argentina (Online) Second Call For Papers ——————————————————//—————————————————— Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. See lsfa.cic.unb.br for more information. LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory Submissions Contributions should be written in English and submitted in full paper (with a maximum of 16 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using the EPTCS style. The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2021 The pre-proceedings, containing the reviewed extended abstracts, will be handed out at event registration. After the meeting, the authors will be invited to submit full versions of their works for the post-proceedings publication. At least one of the authors should register for the conference. Presentations should be in English. According to the submissions' quality, the chairs will promote the further publication of journal revised versions of the papers. Previous LSFA Special Issues have been published in journals such as The Logical J. of the IGPL, Theoretical Computer Science and Mathematical Structures in Computer Sciences (see the LSFA page http://lsfa.cic.unb.br). Important dates * Abstract: Monday 26th April * Submission: Sunday 2nd May * Notification: Friday 4th June * Preliminary proceedings version due: Monday 14th June * Submission for final proceedings: Sunday 17th October * Final version: Sunday 19th December Invited Speakers Alejandro Díaz-Caro (ICC-UBA/CONICET, UNQ) Alexandra Silva (University College London) Giulio Guerrieri (University of Bath) Program Committee María Alpuente (Universitat Politècnica de València) Sandra Alves (Universidade de Porto, Portugal) Takahito Aoto (Niigata University) Mauricio Ayala-Rincón (Universidade de Brasília) - Co-Chair Eduardo Bonelli (Stevens University) - Co-Chair Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay) Valeria de Paiva (Samsung Research America and University of Birmingham) Marcelo Finger (Universidade de São Paulo) Yannick Forster (Saarland University) Lourdes del Carmen González Huesca (UNAM) Edward Hermann Haeusler (PUC-Rio, Brazil) Cynthia Kop (Radboud University) Temur Kutsia (RISC, Johannes Kepler University Linz) Hernan Melgratti (Universidad de Buenos Aires) Alexandre Miquel (Universidad de La República) Barbara Morawska (Ahmedabad University) Mariano Moscato (National Institute of Aerospace) Cesar Muñoz (NASA LaRC) Daniele Nantes-Sobrinho (U. de Brasília) Carlos Olarte (U. Federal do Rio Grande do Norte) Federico Olmedo (Universidad de Chile) Alberto Pardo (Universidad de la República) Jorge A. Pérez (University of Groningen) Camilo Rocha (Pontificia Universidad Javeriana - Cali) Aleksy Schubert (University of Warsaw) René Thiemann (University of Innsbruck) Renata Wassermann (Universidade de São Paulo) Organisers Daniele Nantes (UnB, Brasil) Cristian F. Sottile (UBA, Argentina) ——————————————————//——————————————————

1 0

数学教員公募のお知らせ
by 白旗優 03 Mar '21

03 Mar '21

みなさま，慶應義塾大学の白旗優です．私の所属する商学部では，数学教員の公募を行っています．商学部のホームページ，日本数学会のホームページ，JREC-IN に公募情報が掲載されています．慶應大学商学部では，統計データを重視した実証的な研究が盛んに行われています．募集する数学の教員も，専門分野は問いませんが，数学の社会科学への応用にも関心をお持ちの方が，望ましいとされています．数学や情報科学の手法は，経済・社会システムの構築と分析に，深く浸透しつつありますし，Logic メーリングリストに所属されている方々の中にも，そうした素養をお持ちの方がいらっしゃるかと思い，投稿させて頂きました．なお募集要項にもありますように，問い合わせは書面に限らさせて頂いていますので，どうぞご了承ください．それでは，どうぞよろしくお願いいたします．

1 0

27th WoLLIC 2021 - Call for Papers
by 小野寛晰 02 Mar '21

02 Mar '21

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 ORGANISATION Universidade de São Paulo, Brazil University College London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website (https://easychair.org/conferences/?conf=wollic2021 <https://easychair.org/conferences/?conf=wollic2021>). PROCEEDINGS The proceedings of WoLLIC 2021, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2021 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Catarina Dutilh Novaes (VU Amsterdam) Santiago Figueira (Universidad de Buenos Aires, Argentina) Andreas Herzig (IRIT, France) Cláudia Nalon (UnB - Brazil) Giselle Reis (CMU - Qatar) IMPORTANT DATES May 15, 2021: Full paper deadline June 23, 2021: Author notification June 30, 2021: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Nina Gierasimczuk (Technical University of Denmark, Denmark) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (University of Groningen, The Netherlands) Jurriaan Rot (Radboud University, The Netherlands) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Renata Wassermann (Univ São Paulo) (Co-Chair) Alexandra Silva (Univ College London) (Co-Chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/ <http://www.zalafilms.com/secrets/>) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/ <http://wollic.org/>

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 01 Mar '21

01 Mar '21

皆様：（度々申し訳ございません．昨日お送りしたアナウンスで， Workshop の講演者に誤りがありましたので，案内を再送させていただきます．）神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Andrew Brooke-Taylor (University of Leeds) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml