Logic-ml

9 participants
1781 discussions

Annnouncement: RIMS Set Theory Workshop 2021; OCT 12--15, 2021
by Masaru KADA 23 Aug '21

23 Aug '21

======== Announcement / Call for Contributions RIMS workshop "Recent Developments in Set Theory of the Reals" Date: Tuesday, October 12, 2021 to Friday, October 15, 2021 Venue: ONLINE (via ZOOM meeting), based on Japan Standard Time 9am--5pm Contact: Masaru Kada (Osaka Prefecture University) / kada(a)mi.s.osakafu-u.ac.jp Workshop Overview: This online workshop, hosted by RIMS (Research Institute for Mathematical Sciences, Kyoto University), is mainly (but not only) focused on recent developments in set theory of the reals. The program will contain a minicourse (a series of lectures) as well as contributed talks. In the minicourse, we invite Joerg Brendle (Kobe University) and Diego Mejia (Shizuoka University), who will give us lectures on some forcing techniques (e.g., Boolean ultrapowers, submodel methods, etc.) and related results in set theory of the reals. We welcome every researcher in set theory or related research fields. Please join us! Registration: Please submit a registration form to register your participation / contributed talk, from the following URL: https://forms.gle/1156YFMp1bN9GEDJ9 Deadline for contributed talks: September 9, 2021 Deadline for participation: October 10, 2021 ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
by Diego A. Mejía 19 Aug '21

19 Aug '21

---------- Forwarded message --------- From: Pedro H. Zambrano <phzambranor(a)gmail.com> Date: Thu, Aug 19, 2021 at 9:29 AM Subject: [LOGBOG: 1002] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021 To: logbog <logbog(a)googlegroups.com>, <logic-list(a)helsinki.fi> ************************************************************ CALL FOR CONTRIBUTIONS 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia) Online Meeting Universidad Nacional de Colombia at Bogotá – December 14-17, 2021 https://sites.google.com/unal.edu.co/i-enclogbracol/ No registration fee ************************************************************ The mathematical logic interactions between Colombian and Brazilian logicians have been strong for a long time and have a history of friendships and collaborations that go back several decades, and this was accomplished through (but not exclusively by) many SLALMs (Simposios Latino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros de Lógica). With this "First Meeting Brazil-Colombia in Logic", we intend to initiate a new institutional phase of collaborations and exchange of experiences in areas involving Foundations of Mathematics between researchers and students from Brazil and Colombia: we hope this is the first of many events in the years to come! We are very glad to see some of the personages that have created this profound and rich interaction between Colombian and Brazilian logicians will be present in this meeting and that another generation of researchers and students have manifested its intention of carrying out and strengthening this bond. Confirmed Plenary Speakers: ************************* Xavier Caicedo (UniAndes, Bogotá, COL) Carlos Di Prisco (UniAndes, Bogotá, COL) Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA) Francisco Miraglia (IME-USP, São Paulo, BRA) Carlos Uzcátegui (UIS, Bucaramanga, COL) Confirmed Invited Speakers: ************************ Rodrigo Freire (UnB, Brasília, BRA) João Marcos (UFRN, Natal, BRA) Diego Mejía (Shizuoka University, JAP) Diana Montoya (University of Vienna, AUT) Tutorials: ******** Elaine Pimentel (UFRN, Natal, BRA) Darío Garcia (UniAndes, Bogotá, COL) The meeting (which will be held online) welcomes submissions of 25 minutes talks (20 minutes presentation + 5 minutes questions). We will accept submissions from all areas related to Logic (including Mathematical Logic, Philosophy and Computer Science). To facilitate the organization, the authors will be asked to declare whether the submitted work belongs to one of the following topics: · Categorial and Algebraic Logic · General Logic · Model Theory · Non-classical Logics · Proof Theory · Set Theory Depending on the number of accepted submissions, the authors may be required to pre-record their talks (sending us an editable link of the recording). Students (undergrads and grads) are encouraged to submit posters (10 minutes presentation). The languages of the meeting are: English, Spanish, Portuguese (we recommend the slides to be in English, but talks may be delivered in any of the mentioned languages). The LaTeX template for submissions (for both talks and posters) may be found at https://www.overleaf.com/read/vftjwhycpgsk The abstracts of the talks are expected to be 1-3 pages long, including references. After producing your .pdf file, you will be asked to upload it at https://forms.gle/Smwgv7kwLakSWTy7A The deadline for submissions is September 24, 2021 Accepted talks and posters will be announced on October 22, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and Organizing Committee: Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA) Hugo L. Mariano (IME-USP, São Paulo, BRA) Ciro Russo (UFBA, Salvador de Bahia, BRA) Samuel G. da Silva (UFBA, Salvador de Bahia, BRA) Andrés Villaveces (UNAL, Bogotá, COL) Pedro H. Zambrano (UNAL, Bogotá, COL) Partners: Sociedad Colombiana de Matemáticas Sociedade Brasileira de Lógica --- 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

PEPM 2022 - First Call for Papers
by Youyou Cong 18 Aug '21

18 Aug '21

みなさま、東京工業大学の叢です。 POPL 2022 の併設ワークショップ PEPM 2022 の案内をお送りいたします。部分評価やプログラム変換に関する研究発表を幅広く募集しております。締切は10月7日（木）AoE です。なお、今のところ POPL は対面で開催されることになっていますが、 PEPM はオンラインでも参加できるようにする予定です。みなさまのご投稿をお待ちしております。叢悠悠 -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 =============================================================================== * Website : https://popl22.sigplan.org/home/pepm-2022 * Time : 17th--18th January 2022 * Place : Online or Philadelphia, Pennsylvania, United States (co-located with POPL 2022) **Note that the workshop will be held as a physical, virtual, or hybrid physical/virtual meeting in line with POPL 2022. Details to appear.** The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been co-located with POPL every year since 2006. It originated with the discoveries of useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2022 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2022 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Zena M. Ariola <ariola(a)cs.uoregon.edu> and Youyou Cong <cong(a)c.titech.ac.jp>. Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. References and appendices are not included in page limits. Appendices may not be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm22.hotcrp.com/ Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Important dates --------------- * Paper submission deadline : **Thursday 7th October 2021 (AoE)** * Author notification : **Thursday 11th November 2021 (AoE)** * Workshop : **Monday 17th January 2022 to Tuesday 18th January 2022** Best paper award ---------------- PEPM 2022 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- * Chairs: Zena M. Ariola (University of Oregon, US) Youyou Cong (Tokyo Institute of Technology, Japan) * Maria Alpuente (U.P. Valencia, Spain) * William J. Bowman (UBC, Canada) * Jonathan Immanuel Brachthäuser (EPFL, Switzerland) * William E. Byrd (University of Alabama at Birmingham, US) * Robert Glück (University of Copenhagen, Denmark) * Zhenjiang Hu (Peking University, China) * Yukiyoshi Kameyama (University of Tsukuba, Japan) * Gabriele Keller (Utrecht University, Netherlands) * Julia Lawall (INRIA, France) * Y. Annie Liu (Stony Brook University, US) * Keiko Nakata (SAP Innovation Center Potsdam, Germany) * Antonina Nepeivoda (Program Systems Institute of RAS, Russia) * Zoe Paraskevopoulou (Northeastern University, US) * Yann Régis-Gianas (Nomadic Labs, France) * Tiark Rompf (Purdue University, US) * KC Sivaramakrishnan (IIT Madras, India) * Dimitrios Vytiniotis (DeepMind, UK) * Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina)

1 0

CFP: 55th TRS Meeting, September 28 - 30, 2021, Online
by Munehiro Iwami 12 Aug '21

12 Aug '21

皆様島根大学の岩見と申します。 9/28--9/30に第55回TRS Meetingをオンラインで開催します。講演申し込み締切は8/6です。よろしくお願いします。 --------------------- Dear all, Please find the CFP for the next TRS Meeting below: Best regards, Munehiro Iwami Shimane University E-mail: munehiro(a)cis.shimane-u.ac.jp ========================================================================================= Call For Participation 55th TRS Meeting September 28 – September 30, 2021 Online http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting55/ * About TRS meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/). * Basic Information Date: September 28 (Tue) – September 30 (Thu), 2021 Venue: Online Fee: Free * Tentative Schedule Opening: 13:30, September 28 Closing: 12:00, September 30 * Registration Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp ) no later than August 6. * Contact Munehiro Iwami (http://www.cis.shimane-u.ac.jp/~munehiro/) -------------------------------------------------------------------------------------------- Registration Form of the 55th TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): (In case of partial participation, please contact us) -------------------------------------------------------------------------------------------- =============================================================================================

1 1

preliminary CfP: FLOPS 2022, Kyoto
by Atsushi Igarashi 07 Aug '21

07 Aug '21

皆様，(マルチポストご容赦ください) 京都大学の五十嵐です．関数型および論理プログラミングの国際会議 FLOPS 2022 の論文募集のご案内です．来年５月に京都で開催予定です．皆様の投稿をお待ちしております． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ============================================================================ Preliminary Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ May 10-12, 2022, Kyoto, Japan https://conf.researchr.org/home/flops-2022 Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2022 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2022 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** Abstract submission: November 14, 2021 (AoE) Paper submission: November 21, 2021 (AoE) Notification: January 17, 2022 Camera ready due: February 17, 2022 Symposium: May 10-12, 2022 *** Program Comittee (to be completed) *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) *** Contact Address *** flops2022 _AT_ easychair.org

1 0

第三十二回 ALGI（代数・論理・幾何と情報科学研究集会）開催のお知らせ
by 西澤弘毅 03 Aug '21

03 Aug '21

logic-ml メーリングリストの皆様、神奈川大学の西澤弘毅と申します。今年のALGIの開催についてお知らせ致します。 ************************************************** 第三十二回 ALGI（代数・論理・幾何と情報科学研究集会）令和3年9月9日（木）～9月10日（金） ZOOMによるオンライン開催開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ <https://sites.google.com/site/algimeeting/%E4%BB%A3%E6%95%B0-%E8%AB%96%E7%9…> ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、COVID-19の感染拡大防止のため、 ZOOMによるオンライン開催とします。奮ってご参加ください。 ●日程令和3年（2021年） 9/9（木）10:00〜遅くても15:00程度 9/10（金）10:00〜遅くても15:00程度講演または聴講を希望される方は、下記のリンクより必要事項を登録してください。 https://docs.google.com/forms/d/e/1FAIpQLSc6KaxNFWORzU5AjlNTcq2u7xzU3_F_KuR… ZOOM ID等のアクセス情報は、上記フォームに登録したメールアドレスに、後日おしらせします。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにご登録いただけますようお願い致します。幹事・世話人西澤弘毅（神奈川大学）津曲紀宏（崇城大学）新屋良磨（秋田大学） ----------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

SLACS2021 (8月10日～11日) プログラム確定のお知らせ
by NAKAMURA Yoshiki 03 Aug '21

03 Aug '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2021幹事の中村誠希です。講演・参加の申し込みをいただき、どうもありがとうございました。 SLACS2021のプログラムが確定しましたのでお知らせします。詳細はウェブページからご確認ください。 https://sites.google.com/view/slacs2021/ なお、参加申し込みをされた方にのみ参加方法等に関する連絡をおこないますので、聴講のみを希望される方もお手数ですが以下のリンク先のフォームから申し込みをお願いいたします。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… どうぞよろしくお願いいたします。 ==== 第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

【教員公募】群馬大学情報学部計算機科学プログラム
by Fujita Ken-etsu 23 Jul '21

23 Jul '21

[logic-ml]メーリングリストの皆様群馬大学では情報学部を設置しました【2021年4月】。　　　https://www.inf.gunma-u.ac.jp/ <https://www.inf.gunma-u.ac.jp/> この学部では４つのプログラムをもちますが、そのうち、「計算機科学プログラム」で、　　　https://www.inf.gunma-u.ac.jp/program/computer/ <https://www.inf.gunma-u.ac.jp/program/computer/> 下記の２名の教員を　　　着任時期　　2022年4月1日　　　勤務予定地　荒牧キャンパス（群馬県前橋市）　　　応募締切り　2021年9月30日(水) 必着で公募しています。皆様からのご応募をお待ちするとともに、皆様の周りに適任の方がいらっしゃいましたら、応募をお勧め下さいますようお願い申し上げます。【公募詳細】 ● JREC-IN：　准教授（ネットワーク）　　　　　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062033&ln_jor=0 <https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062033&ln_jor=0> 　教授又は准教授（計算理論・アルゴリズム）　　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062030&ln_jor=0 <https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062030&ln_jor=0> ● 群馬大学HP：　　https://www.gunma-u.ac.jp/outline/out011/g1944/g76514 <https://www.gunma-u.ac.jp/outline/out011/g1944/g76514> 以上 -----------------------------------------------------------

1 0

2021年度数学基礎論サマースクールのご案内
by Katsumi Sasaki 22 Jul '21

22 Jul '21

みなさま　南山大の佐々木です．　2021年度数学基礎論サマースクールのウェブサイト：　　http://www.st.nanzan-u.ac.jp/info/sasaki/2021summerschool/sc2021.html で，参加申し込みなどの案内を更新しています．興味のありそうな方に周知いただけるとありがたいです， -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

専任教員採用公募（法政大学理工学部）
by Makoto Kanazawa 21 Jul '21

21 Jul '21

メーリングリストのみなさますでに一度お知らせしていますが，締め切りが近づいて参りましたので，もう一度お知らせいたします。応募締め切りは8月10日です。お近くに適任の方がいらっしゃれば，知らせていただけいると幸いです。法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を1名募集しています。研究分野は大分類「情報学」のすべての分野が該当します。詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121051191&ln_jor=0 ※創生科学科の紹介・理系・文系の科学領域を横断した「自然」「物質」「人間」「知能」の4つの領域を学習のフィールドとして学士課程教育を行なっています。・今回ご案内している公募は「知能」フィールドの教員の募集です。・昨年度も「知能」フィールドの教員を1名公募し，機械学習・深層学習を専門とする研究者を採用しました。どうぞよろしくお願いいたします。法政大学理工学部創生科学科金沢　誠

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml