Logic-ml January 2024

8 participants
10 discussions

RIMS共同研究（公開型）のご案内
by kota takeuchi 19 Aug '24

19 Aug '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 3

Fwd: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague
by Jérémy Dubut 12 Feb '24

12 Feb '24

FYI ---------- Forwarded message --------- From: <fahrenberg(a)gmail.com> Date: Sun, Jan 21, 2024 at 15:10 Subject: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague To: <dubutjeremy(a)gmail.com> Apologies for multiple copies of this email; please distribute as you see fit. CALL FOR PAPERS RAMiCS 2024 21st International Conference on Relational and Algebraic Methods in Computer Science Prague, Czech Republic 19--23 August 2024 collocated with AiML https://ramics-conf.github.io/2024/ IMPORTANT DATES Abstract submission: 16 February 2024 Paper submission: 23 February 2024 Author notification: 4 May 2024 Final version due: 1 June 2024 Conference dates: 19-23 August 2024 INVITED SPEAKERS Tomasz Kowalski, Jagiellonian University in Kraków, Poland Sarah Winter, IRIF, Université Paris Cité, France SCOPE Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semi- rings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof- theoretic methods for these theories; their formalisation with theorem provers. Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control. We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2024 For more information, see https://ramics-conf.github.io/2024/

1 1

量子コンピュータ・ハンズオンワークショップ開催＠中部大学のお知らせ
by NISHIMURA Harumichi 30 Jan '24

30 Jan '24

logic-mlの皆様名古屋大学の西村治道と申します。下記の量子コンピューティングイベントの運営者の一員として本案内を流させていただきます。ご参加いただけましたら幸甚です。中部大学にて2024年3月4日(月)～3月 7日(木)の日程で、量子コンピュータ・ハンズオンワークショップを開催します。登録フォーム( https://forms.office.com/r/R7bPRitNEA )から【事前登録の上】どうぞご気軽にご参加ください。部分的なご参加も歓迎しております。参加申込締切・対面参加申込締切：2024年2月4日（日）・ウェビナー参加申込締切：2024年3月1日（金）定員・ウェビナー：3月4、5、6日 500名・対面：2024年3月4、5、6日100名、7日 40名イベントの詳細はホームページhttps://quantinuum.co.jp/n20231225/ をご確認ください. 皆様のご参加を心よりお待ちしております。よろしくお願いいたします。以下、開催概要です。 •イベント概要：量子力学を計算理論に応用する新しい分野，量子計算に関するハンズオンワークショップです。このハンズオンワークショップでは，量子計算の分野で活躍する研究者による講演、量子コンピュータの研究・事業開発を行っている企業による講演やTKETを利用した量子プログラミングのハンズオン・演習を実施します。 •開催期間：2024年3月4日(月)～3月7日(木) •開催場所：中部大学（〒487-8501 愛知県春日井市松本町1200番地）10号館 •開催方法：対面(中部大学10号館)とZoomウェビナーによるハイブリッド開催 •主催：Quantinuum K.K. •共催：中部大学AI数理データサイエンスセンター •協力：名古屋大学、日本マイクロソフト株式会社、三井物産株式会社 •プログラム概要： ○3月4日：ハイブリット形式（対面＋ウェビナー）内容 •量子コンピュータ研究の歴史的俯瞰 (小澤正直中部大学特任教授) •量子コンピュータの現状 (米澤康好 Quantinuum K.K.) •三井物産における量子コンピュータ取組 (濱野倫弥三井物産株式会社) •Microsoftにおける量子コンピュータの取り組みとAzure Quantumのご紹介 (講演者調整中日本マイクロソフト株式会社) ○3月5日：ハイブリット形式（対面＋ウェビナー）内容 •量子コンピュータの基礎 (西村治道名古屋大学教授) •量子アルゴリズム-1 (フランソワ・ルガル名古屋大学教授) •量子アルゴリズム-2 (河野泰人中部大学教授) •量子コンピュータの応用 (鈴木肇中部大学教授) ○3月6日：ハイブリット形式（対面＋ウェビナー）内容 •TKETを用いた量子コンピューティング (米澤康好 Quantinuum K.K.) ○3月7日：対面のみ内容 •TKETを用いた量子コンピューティング演習 (米澤康好 Quantinuum K.K.) •運営メンバー：小澤正直(中部大学)、河野泰人(中部大学)、鈴木肇(中部大学)、西村治道(名古屋大学)、ルガルフランソワ(名古屋大学)、米澤康好(Quantinuum K.K.) •問い合わせ先：米澤康好 yasuyoshi.yonezawa(at)quantinuum.com<http://quantinuum.com> <http://quantinuum.com>

1 0

ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24

みなさま湘南工科大学の松田直祐と申します。以下の要領でラムダ計算と論理のセミナーを開催させていただきます。 [日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐（湘南工科大学）新屋良磨（秋田大学） [ホームページ] https://sites.google.com/view/lls2024 講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。詳細や申し込み方法についてはホームページをご確認ください。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

TASE 2024: Call for Papers
by Daisuke Kimura 25 Jan '24

25 Jan '24

みなさま，東邦大学の木村です．重複してお受け取りの場合はご容赦ください． 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です． TASE2024 は，理論的知見を生かしてソフトウェア工学を発展させることを目的にしており，理論から実装まで幅広く論文を募集しております．招待講演はオックスフォード大学の吉田展子先生と北京大学の Zhenjiang Hu 先生の予定です．投稿をご検討いただければ幸いです．木村大輔 --------------------------------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------------------------------- TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering https://tase2024.github.io/ Overview: The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates: Abstract Submission : February 17, 2024 (not necessary even if missed) Paper Submission : February 24, 2024 (AoE) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers: Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees: * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University)

1 0

QEST+FORMATS 2024: Call for Papers
by Masaki Waga 16 Jan '24

16 Jan '24

みなさま、京都大学の和賀です (上手く配送できていなかったようですので再送いたします)。重複してお受け取りの節は何卒ご容赦ください。今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関する国際会議 QEST+FORMATS 2024 の論文募集の案内をお送りいたします。本年より運営面などで変更がありますので、補足説明をさせてください。システムに対する量的解析に関する国際会議 QEST (International Conference on Quantitative Evaluation of SysTems)と実時間制約付きシステムに関する国際会議 FORMATS (Formal Modeling and Analysis of Timed Systems) は共に量的な性質が重要となるシステムに関する旗艦国際会議として、20年以上に渡り運営されてきました。確率・時間・コストなどが重要となる、量的システム全般に関する研究を更に発展させるべく、本年よりQESTとFORMATSを統合して新たな国際会議とするプロセスを始めることとなりました。本年はその第一歩として QEST+FORMATS としての合同運営をいたします。例えば Webページ (https://www.qest-formats.org/committees.html) にもありますように、PCチェアやPCメンバーは QEST+FORMATS 全体でのプログラム委員となります。一方で、本年は査読上の都合で QEST と FORMATS のそれぞれのトラックに論文を投稿する形となります。ご投稿の際は旧QESTと旧FORMATSの近い方のトラックに投稿いただければと存じます。Proceeding やプログラム自体は合同のものとなります。 # なお先程確認した際にはEasy ChairにTrackの選択肢がありませんでした。PC Chairに確認いたします。また旧来の QEST や FORMATS と同様に、 CONCUR などを含む CONFEST 2024 の一部としての開催になります。何卒投稿をご検討いただければ幸いです。和賀 The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ Abstract deadline: 26 March 2024 (Anytime on Earth) Paper deadline: 31 March 2024 (Anytime on Earth) SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: -- Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); -- Languages and methods for the specification of quantitative properties of systems; -- Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; -- Quantitative and probabilistic aspects of programming; -- Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; -- Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; -- Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: -- Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): -- Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. -- Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. -- Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: -- Regular papers must not exceed 14 pages, excluding references. -- Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org). -- Masaki Waga Assistant Professor, Graduate School of Informatics, Kyoto University mwaga(a)fos.kuis.kyoto-u.ac.jp https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/"

1 0

第11回量子ソフトウェア研究会のご案内
by NISHIMURA Harumichi 11 Jan '24

11 Jan '24

logic-mlの皆様名古屋大学の西村と申します．第11回量子ソフトウェア研究会 https://www.ipsj.or.jp/kenkyukai/event/qs11.html が名古屋大学で3月28日～29日に開催されます．よろしければご発表およびご参加をご検討いただけますと幸甚です．どうぞよろしくお願い致します．名古屋大学大学院情報学研究科西村治道

1 0

CSCAT 2024 開催案内
by Kazuyuki ASADA 10 Jan '24

10 Jan '24

（代理で東北大学浅田がお送り致します．）皆様（重複投稿ご容赦ください）今年度CSCATの幹事をしております千葉大学の塚田です。 CSCAT 2024 の開催のご案内です。 CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 CSCAT 2024 は以下の要領で開催予定です日程：3/14(木)--15(金) 会場：千葉大学西千葉キャンパス理学部４号館マルチメディア１ CSCATの案内ページ https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 塚田武志千葉大学大学院理学研究院数学・情報数理学研究部門 tsukada(a)math.s.chiba-u.ac.jp

1 0

CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers
by Nao Hirokawa 09 Jan '24

09 Jan '24

皆様来年８月にモントリオールで開催される国際会議 CICM の論文募集の案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川（JAIST） --------------------------------------------------------------------------- Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5-9, 2024 Montreal, Canada https://cicm-conference.org/2024/ --------------------------------------------------------------------------- More and more mathematical information is digitally processed, generated, communicated, stored and curated. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2024 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries *** Important Dates *** Formal submissions - Abstract deadline: March 11, 2024 - Full paper deadline: March 18, 2024 - Reviews sent to authors: April 29, 2024 - Rebuttals due: May 1, 2024 - Notification of acceptance: May 16, 2024 - Camera-ready copies due: June 3, 2024 - Conference: August 5-9, 2024 Doctoral programme applications - Submission deadline: June 13, 2024 - Notification of acceptance: June 28, 2024 CICM appreciates the varying nature of the relevant research in this area and invites submissions of two different forms: *** Formal Paper Submissions *** Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages + bibliography) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (4 to 5 pages + bibliography) present digital artifacts *** Doctoral Symposium: Two-Page Abstracts*** The doctoral programme provides PhD students a forum to present early results to receive constructive feedback and mentoring. To attend, submissions of two-page abstracts are expected in which the focus and research questions of the expected PhD theses are described; details on completed research tasks and remaining research plans should be given. In addition to these abstracts, a two-page CV of the applicant should also be submitted, detailing background information (name, university, supervisor), education (sought degree, previous degrees), employments and relevant research experience (publications, attended conferences/workshops). *** Submissions *** All submissions should be made via EasyChair at https://easychair.org/conferences/?conf=3Dcicm2024 using the Springer LNCS style files https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… CICM 2024 proceedings, containing the accepted formal submissions, will be published in the Springer LNAI series. *** Participation - Physical Event *** CICM 2024 will be held as a physical event and participation is possible only on-site. At least one of the authors of accepted papers is expected to register to CICM 2024 and present the work(s) on-site. *** Best Papers *** CICM 2024 honors the best paper and best student paper with respect to reviews and program committee discussions with an award.

1 1

CSCAT 2024 開催案内
by Takeshi Tsukada 05 Jan '24

05 Jan '24

皆様（重複投稿ご容赦ください）今年度CSCATの幹事をしております千葉大学の塚田です。 CSCAT 2024 の開催のご案内です。 CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 CSCAT 2024 は以下の要領で開催予定です日程：3/14(木)--15(金) 会場：千葉大学西千葉キャンパス理学部４号館マルチメディア１ CSCATの案内ページ https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 塚田武志千葉大学大学院理学研究院数学・情報数理学研究部門 tsukada(a)math.s.chiba-u.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2024