Logic-ml

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

7 participants
1772 discussions

【再送】SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 04 May '14

04 May '14

皆様、北陸先端大の横山です。講演申し込みの締め切りが近づきましたので， 2014年度SLACS及び超準解析シンポジウムの案内を再送させて頂きます．ご参加・ご講演をよろしくご検討ください。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 横山 -------------------- 2014年度のSLACS及び超準解析シンポジウムを、以下の通り開催いたします。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html どちらの集会も、例年とは時期が異なりますのでご注意ください。ご参加・ご講演をよろしくご検討ください。以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録・講演のお申し込みは、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp 講演をお申し込みの方は5月7日までに申し込みをお願い致します。講演希望時間は30分程度、45分程度の2種類を準備する予定ですが、応募件数の都合上ご希望に添えない際はご容赦ください。 ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等以下講演をお申し込みの方 7. 講演希望カテゴリー: SLACS / 超準解析 / どちらでも（基本的に、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日になります。） 8. 講演可能な日程: (可能な範囲で調整致します) 9. 講演希望時間: 30分程度 / 45分程度 / どちらでも 10. 講演タイトル: (未定の場合、5月9日までにお願いします。) ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

QPL 2014: Call for Participation
by Ichiro Hasuo 04 May '14

04 May '14

(Apologies for multiple copies) CALL FOR PARTICIPATION The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. There will be full programme of contributed talks, and invited lectures from: Giulio Chiribella (Tsinghua) Masahito "Hassei" Hasegawa (Kyoto) Masanao Ozawa (Nagoya) The schedule and list of accepted contributions can be found on the webpage, as well as local information and registration details. The registration will be closed on ** Sunday 25 May ** with application for travel support closing earlier on Wednesday 7 May, AoE. Best wishes and hope to see you in Kyoto, QPL 2014 Local Organizers Ichiro Hasuo (chair) Naohiko Hoshino Yoshihiko Kakutani Susumu Nishimura

1 0

千葉 logic seminar（会場変更）
by arai toshiyasu 01 May '14

01 May '14

みなさま新井@千葉大学です。先日、お報せしました千葉 logic seminar の第1回の会場が変更になりましたので、再送致します。以前にお報せした千葉大学理学部2号館606号室と同じ建物の1階105号室に変更です。 ================================== このたび「千葉 logic seminar」なる催しを不定期に千葉で開催していくことになりましたのでお報せ致します。初回は下記の要領で樋口幸治郎さんが講演します。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：5月14日(水)15:00-16:30 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：樋口幸治郎（千葉大学）タイトル：Turing次数の順序次元アブストラクト：どんな半順序も、全順序たちの積順序の中に埋め込めることが知られている。このような全順序たちの最小個数を、与えられた半順序の順序次元という。この話では、Turing次数のなす半順序の順序次元がアレフ1以上ベート1以下である、という定理を中心として、順序次元の幾つかの性質や、色々な次数構造や数理論理学上に現れる他の半順序の順序次元に関する事実を紹介する。 ------------------------------------------

1 0

モデル理論集中講義
by Suzuki Toshio 25 Apr '14

25 Apr '14

モデル理論集中講義お世話になっております。首都大学東京の鈴木登志雄です。さて５月・６月に首都大で，法政大学の池田先生にモデル理論の集中講義をしていただきます。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。モデル理論の講義は貴重な機会です。お近くに関心のありそうな方がいらっしゃいましたら、その方にお知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者池田宏一郎先生（法政大学経営学部教授）　＊＊授業科目名情報数理科学２ (博士前期課程、Ｒ０７９）、情報数理科学特論２(博士後期課程、Ｒ０８０）タイトルモデル理論入門場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期５月１４日（水）　１４：４０－１６：５０（途中休憩あり）５月２１日（水）　１４：４０－１６：５０（途中休憩あり）６月１１日（水）　１４：４０－１６：１０、１６：２０－１７：５０６月１８日（水）　１４：４０－１６：１０、１６：２０－１７：５０当専攻での連絡係鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp 概要モデル理論は数学基礎論の一分野であり、公理系とそのモデルの関係を調べることを目的とする。本講義では、まずモデル理論の基本定理である、完全性定理を解説する。そして、その応用として、超準解析とグラフ理論の話題を紹介する。 %%%%%%% ここまで首都大学東京南大沢キャンパスへの交通 http://www.tmu.ac.jp/university/campus_guide/access.html 同・構内図 http://www.tmu.ac.jp/university/campus_guide/map.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki[atmark]tmu.ac.jp

1 0

千葉 logic seminar
by arai toshiyasu 25 Apr '14

25 Apr '14

みなさま新井@千葉大学です。このたび「千葉 logic seminar」なる催しを不定期に千葉で開催していくことになりましたのでお報せ致します。初回は下記の要領で樋口幸治郎さんが講演します。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：5月14日(水)15:00-16:30 場所：千葉大学理学部2号館606号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の6階です。講演者：樋口幸治郎（千葉大学）タイトル：Turing次数の順序次元アブストラクト：どんな半順序も、全順序たちの積順序の中に埋め込めることが知られている。このような全順序たちの最小個数を、与えられた半順序の順序次元という。この話では、Turing次数のなす半順序の順序次元がアレフ1以上ベート1以下である、という定理を中心として、順序次元の幾つかの性質や、色々な次数構造や数理論理学上に現れる他の半順序の順序次元に関する事実を紹介する。 ------------------------------------------

1 0

NII Summer School on Coq in Japan (最終案内)
by Jacques Garrigue 22 Apr '14

22 Apr '14

皆様、 8月末に湘南で開催されるCoqのサマースクールの最終案内を送ります。参加申込の〆切が5月2日なので、お早めにお願いします。ニュース・Coq は先週 ACM の Software System Award を受賞しました。　当スクールの講師二人が受賞者に含まれています。・Coq を始める人から既に詳しい人まで、様々な受講者に対応する　つもりです。・日本の学生について、参加申込での推薦状は求めません。一流の専門家にCoqが習える機会ですので、ご参加をご検討して頂ければと思います。 ---- We are pleased to announce the NII International Summer School on the Coq proof assistant to be held from Monday, August 25th to Friday, August 29th, 2014 at Shonan Village Center in Japan. This school is sponsored by Inria and JFLI, CNRS. Lecturers: - Yves Bertot, INRIA, France - Sandrine Blazy, University of Rennes 1, France - Pierre Casteran, LaBRI, France - Assia Mahboubi, INRIA, France Application is open to Master students, PhD students, and people from academy or industry who want to use Coq in their work. We might also consider applications by Bachelor students in exceptional cases. While the level of the lectures is intended to be accessible to motivated beginners (with some background in logic or mathematics), it should also be interesting to Coq users who wish to deepen their understanding of the system. Because of limited space, there will be a pre-selection of participants by the organizers. If you wish to participate, please send as soon as possible and no later than May 2nd, an email explaining in a few words why you wish to participate to: coq-school(a)math.nagoya-u.ac.jp In case of students coming from outside of Japan, please also submit a recommendation letter by one of your professors. The participation fee including full board, meeting fees and applicable taxes is 12,500 JPY per day plus an excursion fee of around 5,000 JPY. Further information can be found at: http://shonan.nii.ac.jp/seminar/041/ Pierre Casteran, Jacques Garrigue, David Nowak

1 0

APLAS 2014: 2nd Call for papers
by Jacques Garrigue 13 Apr '14

13 Apr '14

APLAS 2014の論文募集案内を再送します。アブストラクト〆切までまだ1ヶ月半残っていますので、よろしくお願いします。 Jacques Garrigue =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

Fw: CFP: 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 3-8 August 2015
by Mariko Yasugi 10 Apr '14

10 Apr '14

Apology for multiple reception Forwarded by Mariko Yasugi <yasugi(a)cc.kyoto-su.ac.jp> ----------------------- Original Message ----------------------- From: Päivi Seppälä <paivi.a.seppala(a)helsinki.fi> To: ersober(a)wisc.edu, mariacarla.galavotti(a)unibo.it, Cliff.Hooker(a)newcastle.edu.au, secretary-general(a)dlmpst.org, b.loewe(a)uva.nl, wilfrid.hodges(a)btinternet.com, d.dieks(a)uu.nl, Adam_Grobler(a)interia.pl, Gerhard.Heinzmann(a)univ-nancy2.fr, pablo.lorenzano(a)gmail.com, kneander(a)duke.edu, nancyn(a)cc.gatech.edu, yasugi(a)cc.kyoto-su.ac.jp Cc: Ilkka Niiniluoto <ilkka.niiniluoto(a)helsinki.fi> Date: Thu, 10 Apr 2014 15:26:25 +0300 Subject: CFP: 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 3-8 August 2015 ---- CALL FOR PAPERS: 15TH CONGRESS OF LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE (CLMPS 2015) University of Helsinki, Finland, 3-8 August 2015 http://www.helsinki.fi/clmps[1] SUBMISSION DEADLINE: 30 November 2014 The Congress of Logic, Methodology and Philosophy of Science (CLMPS) is organized every four years by the Division of Logic, Methodology and Philosophy of Science (DLMPS). The Philosophical Society of Finland, the Academy of Finland Centre of Excellence in the Philosophy the Social Sciences (TINT) and the Division of Theoretical Philosophy (Department of Philosophy, History, Culture and Art Studies) are proud to host the 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015). CLMPS 2015 is supported by University of Helsinki and the Federation of Finnish Learned Societies. CLMPS 2015 is co-located with the European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2015 (the abstract submission for Logic Colloquium 2015 opens in early 2015). The congress will host six plenary lectures and several invited lectures. The names of the plenary lecture speakers and invited speakers will be announced soon. CLMPS 2015 calls for CONTRIBUTED PAPERS, CONTRIBUTED SYMPOSIA, and AFFILIATED MEETINGS in 17 thematic sections: A. Logic A1. Mathematical Logic A2. Philosophical Logic A3. Computational Logic and Applications of Logic A4. Historical Aspects of Logic B. General Philosophy of Science B1. Methodology B2. Formal Philosophy of Science and Formal Epistemology B3. Metaphysical Issues in the Philosophy of Science B4. Ethical and Political Issues in the Philosophy of Science B5. Historical Aspects in the Philosophy of Science C. Philosophical Issues of Particular Disciplines C1. Philosophy of the Formal Sciences (incl. Logic, Mathematics, Statistics, Computer Science) C2. Philosophy of the Physical Sciences (incl. Physics, Chemistry, Earth Science, Climate Science) C3. Philosophy of the Life Sciences C4. Philosophy of the Cognitive and Behavioural Sciences C5. Philosophy of the Humanities and the Social Sciences C6. Philosophy of the Applied Sciences and Technology C7. Philosophy of Medicine C8. Metaphilosophy In addition, some submitted abstracts will be invited to contribute to the International Union of History and Philosophy of Science (IUHPS) Joint Commission Symposium Sessions if the programme committee considers the abstracts well suited for IUHPS themes. CONTRIBUTED PAPERS: Please submit an abstract of 300 words prepared for autonomous review. Accepted contributed papers will be allocated in total 30 minutes (20 min for the presentation + 10 min for the discussion). CONTRIBUTED SYMPOSIA: Please submit an abstract of max. 1700 words prepared for autonomous review. The abstract should include: a. a general description of the format and the topic of the proposed symposium and its significance (up to 500 words) b. a 300-word abstract of each paper (3-4 papers) Each accepted contributed symposia will be allocated a full two-hour session. AFFILIATED MEETINGS: Affiliated meetings are half-day to full day symposia that run parallel to the CLMPS 2015 programme, and belong to the congress programme. Please consult the CLMPS 2015 submission guidelines for further information. Rules for multiple presentations + Maximally one contributed individual paper + One is allowed to present a second paper of which one is a co-author, but then the main author of this paper must submit the paper and be registered as a participant. + If one participates in a contributed symposia proposal, affiliated meeting proposal or is an invited speaker, one is not allowed to submit an individual contributed paper in which one is the main author (it is possible to be a co-author of a contributed paper, but then the main author of this paper must submit the paper and be registered as a participant). Abstracts should be submitted by using the CLMPS 2015 registration form: http://ilmo.contio.fi/academiceventsabstract/[2] Authors are kindly asked to consult the detailed submission guidelines before submitting: http://helsinki.fi/clmps/materials/guidelines.pdf All questions about submissions should be directed to the congress sectary, Ms. Päivi Seppälä (clmps-2015(a)helsinki.fi). The members of the programme committee, DLMPS committees and the local organising committee are listed here http://clmps.helsinki.fi/committees.php /Hannes Leitgeb (Chair of the Programme Committee) Ilkka Niiniluoto (Chair of the Local Organizing Committee)/ Linkit: ------- [1] http://www.helsinki.fi/clmps [2] http://ilmo.contio.fi/academiceventsabstract/ --------------------- Original Message Ends -------------------- -- mariko <yasugi(a)cc.kyoto-su.ac.jp>

1 0

SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 05 Apr '14

05 Apr '14

皆様、北陸先端大の横山です。 2014年度のSLACS及び超準解析シンポジウムを、以下の通り開催いたします。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html どちらの集会も、例年とは時期が異なりますのでご注意ください。ご参加・ご講演をよろしくご検討ください。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）〜5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録・講演のお申し込みは、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp 講演をお申し込みの方は5月7日までに申し込みをお願い致します。講演希望時間は30分程度、45分程度の2種類を準備する予定ですが、応募件数の都合上ご希望に添えない際はご容赦ください。 ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等以下講演をお申し込みの方 7. 講演希望カテゴリー: SLACS / 超準解析 / どちらでも（基本的に、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日になります。） 8. 講演可能な日程: (可能な範囲で調整致します) 9. 講演希望時間: 30分程度 / 45分程度 / どちらでも 10. 講演タイトル: (未定の場合、5月9日までにお願いします。) ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

NII Summer School on Coq in Japan (2nd Call)
by Jacques Garrigue 04 Apr '14

04 Apr '14

皆様、 8月に湘南で開催されるCoqのサマースクールの案内を送ります。皆様の意見を受け、前回のメールに比べて参加者像を少し広げました。 Coqを思う存分にやりたい方を歓迎します。制度の都合で参加申込の〆切が少し早いですが、よろしくお願いします。 --- We are pleased to announce the NII International Summer School on the proof assistant Coq to be held from Monday, August 25th to Friday, August 29th, 2014 at Shonan Village Center in Japan. This school is sponsored by Inria and JFLI, CNRS. Application is open to Master students, PhD students, and people from academy or industry who want to use Coq in their work. We might also consider applications by Bachelor students in exceptional cases. While the level of the lectures is intended to be accessible to motivated beginners (with some background in logic or mathematics), it should also be interesting to Coq users who wish to deepen their understanding of the system. Because of limited space, there will be a pre-selection of participants by the organizers. If you wish to participate, please send as soon as possible and no later than May 2th, an email explaining in a few words why you wish to participate at: coq-school(a)math.nagoya-u.ac.jp In case of students, please also submit a recommendation letter by one of your professors. The participation fee including full board, meeting fees and applicable taxes is 12,500 JPY per day plus an excursion fee of around 5,000 JPY. Further information can be found at: http://shonan.nii.ac.jp/seminar/041/ Pierre Casteran, Jacques Garrigue, David Nowak

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml