- Logic-ml - fos.kuis.kyoto-u.ac.jp

【再送】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 11 Apr '14

11 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

Last Call for Papers ICTAC, 17-20 Sept.2014, Bucharest, Romania
by Gabriel Ciobanu 01 Apr '14

01 Apr '14

[Apologies if you receive multiple copies of this message] ------------------------------------------------------------- Submission deadline: 06 April 2014 (extended) ********************************************************************** LAST CALL FOR PAPERS -- ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania http://fmi.unibuc.ro/ictac2014 ********************************************************************** ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science. THEMES AND TOPICS OF PAPERS ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering and on formal techniques in software design and verification, as well as papers about tools that support formal techniques for software modeling, system design and verification. The topical areas of the conference include, but not limited to * Automata theory and formal languages; * Principles and semantics of programming languages; * Theories of concurrency, mobility and reconfiguration; * Logics and their applications; * Software architectures, their models, refinement and verification; * Relationship between software requirements, models and code; * Program static and dynamic analysis and verification; * Software specification, refinement, verification and testing; * Model checking and theorem proving; * Models of object and component systems; * Coordination and feature interaction; * Integration of theories, formal methods and tools for engineering computing systems; * Service-oriented architectures: models and development methods; * Models of concurrency, security, and mobility; * Theory of distributed, grid and cloud computing; * Real-time, embedded, hybrid and cyber-physical systems; * Type and category theory in computer science. PAPER SUBMISSION As for the past editions, the proceedings of ICTAC 2014 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. Special issue of few journals with extended version of selected papers from ICTAC 2014 is under negotiation. Submissions to the colloquium 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, as well as their relevance to the conference. Regular Papers should not exceed 18 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2014. IMPORTANT DATES: Submission deadline: 06 April 2014 (extended) Paper notification: 30 May 2014 Camera-ready paper: 14 June 2014 PC CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Dominique Mery, LORIA, Universite de Lorraine, France PROGRAM COMMITTEE Yamine Ait-Ameur, IRIT, ENSEIHT, France Farhad Arbab, CWI and Leiden University, The Netherlands Michael Butler, University of Southampton, UK Ana Calvacanti, University of York, UK Jeremie Chalopin, CNRS, France Zhenbang Chen, National University of Defense Technology, China Maximiliano Cristia, Faculty of Exact Sciences, Argentina David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil Rocco De Nicola, IMT Lucca, Italy Jose Luiz Fiadeiro, Royal Holloway, University of London, UK John Fitzgerald, Newcastle University, UK Simon Gay, University of Glasgow, UK Dimitra Giannakopoulou, NASA Ames, USA Stefania Gnesi, ISTI-CNR, Italy Lindsay Groves, Victoria University of Wellington, New Zealand Geoff Hamilton, Dublin City University, Ireland Ian J. Hayes, University of Queensland, Australia Rob Hierons, Brunel University, UK Jane Hillston, University of Edinburgh, UK Ross Horne, Romanian Academy, Iasi, Romania Zhenjiang Hu, National Institute of Informatics, Japan Florentin Ipate, University of Bucharest, Romania Tudor Jebelean, Johannes Kepler University, Austria Cliff Jones, Newcastle University, UK Lila Kari, University of Western Ontario, Canada Jetty Kleijn, Leiden University, The Netherlands Maciej Koutny, Newcastle University, UK Yassine Lakhnech, VERIMAG, France Kim G. Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, INRIA, France Martin Leucker, University of Lubeck, Germany Zhiming Liu, UNU-IIST, Macau, China Marius Minea, Politehnica University of Timisoara, Romania Victor Mitrana, University of Bucharest, Romania Rosemary Monahan, National University of Ireland, Ireland Mohammed Mosbah, LABRI, University of Bordeaux, France Tobias Nipkow, Technical University Munich, Germany Manuel Nunez, Universidad Complutense de Madrid, Spain Paritosh Pandya, Tata Institute of Fundamental Research, India Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Shengchao Qin, University of Teesside, UK Antonio Ravara, Universidade Nova de Lisboa, Portugal Grigore Rosu, University of Illinois at Urbana Champaign, USA Augusto Sampaio, Federal University of Pernambuco, Brasil Pierre-Yves Schobbens, Universite de Namur, Belgium Emil Sekerinski, McMaster University, Canada Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Max Planck Institute, Germany Gheorghe Stefanescu, University of Bucharest, Romania Andrzej Tarlecki, Warsaw University, Poland Elena Troubitsyna, Abo Akademi University, Finland Emilio Tuosto, University of Leicester, UK Martin Wirsing, Ludwig-Maximilian University of Munich, Germany Burkhart Wolff, Universite de Paris-Sud, France Jim Woodcock, University of York, UK Fatiha Zaidi, Universite de Paris-Sud, France Naijun Zhan, Chinese Academy of Sciences, China Jianjun Zhao, Shanghai Jiao Tong University, China Huibiao Zhu, East China Normal University, China GENERAL CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Florentin Ipate, University of Bucharest, Romania STEERING COMMITTEE Ana Cavalcanti, University of York, UK John Fitzgerald, Newcastle University, UK Martin Leucker, University of Luebeck, Germany Zhiming Liu, UNU-IIST, Macao, China Tobias Nipkow, Technical University Munich, Germany Augusto Sampaio, Federal University of Pernambuco, Brasil Natarajan Shankar, SRI International, USA ********************************************************************** This call for papers and additional information about the conference can be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/. For information regarding the conference and other queries, you can use the conference email address: ictac2014(a)fmi.unibuc.ro **********************************************************************

1 0

Talk by Prof. Andrzej Tarlecki from U. Warsaw
by Atsushi Igarashi 31 Mar '14

31 Mar '14

京都大学の五十嵐です．来たる4/11(金)に University of Warsaw の Andrzej Tarlecki さんをお迎えして，以下の要領でセミナーを行う予定です．事前登録不要でどなたでもご参加頂けますので，ふるってご参加ください．よろしくお願いいたします．日時: 4/11(金) 13:30〜14:30 場所: 京都大学吉田キャンパス総合研究7号館(旧工学部10号館) 1階セミナー室1 ==================================================================== Categories, Institutions, Abstract Model Theory, and Software Specification Andrzej Tarlecki University of Warsaw One goal of this presentation is to show some examples where the use of category theory, via the theory of institutions, led to beautiful, general and generic results, applicable in many different contexts, and to a better understanding of some standard classical results and ideas from mathematical logic and from the theory of algebraic specifications. The theory of institutions uses the language of category theory to offer a simple formalisation of the concept of a logical system, where sentences and semantic structures are abstract objects linked by a satisfaction relation, classified by (abstract) signatures. The key tool used when working with institutions is a categorical structure imposed on the collection of signatures, together with (covariant) translations of sentences and (contravariant) reducts of semantic structures induced by signature morphisms in a way that preserves satisfaction. Nearly all (if not quite all) logical systems fit such an institutional mould. An ambitious research programme is to mimic developments that classically concern, or rely on a particular logical system within an arbitrary institution, perhaps subject to some further requirements. In this way, we may arrive at general results that apply to many logical systems and, perhaps more importantly, capture a better understanding of the essence of many classical results and ideas. In this talk I will present the basics of the theory of institutions, and will draw examples from institutional abstract model theory (interpolation and definability results) and foundations of software specification and development (specification structure and its use) to illustrate this point. -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Prof. Jean-Pierre Jouannaud at NII Logic Seminar
by Makoto Tatsuta 31 Mar '14

31 Mar '14

Prof. Jean-Pierre Jouannaud at NII Logic Seminar Date: April 7, 2014, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Jean-Pierre Jouannaud (Tsinghua University and Ecole Polytechnique) Title: Confluence by critical pair analysis Abstract: Knuth and Bendix showed that confluence of a terminating first-order rewrite system can be reduced to the joinability of its finitely many critical pairs. In this paper, we show that this is still true of a rewrite system RT union RNT such that RT is terminating and RNT is a left-linear, rank non-increasing, possibly non-terminating, rewrite system: confluence can then be reduced to the joinability of the critical pairs of RT and to the existence of decreasing diagrams for the critical pairs of RT inside RNT, as well as for the parallel critical pairs of RNT. Since left-linearity and rank non-increasingness are easily decided in linear time, implementing our test in a system like CSI (Innsbruck) should require little effort for a wide benefit. We believe that this applies to higher-order systems as well. Further, we shall discuss an old open problem of Huet in the form of a non-terminating, non-confluent, critical pair free rewrite system, and will show that it has a "hidden critical pair" which joinability (if it were joinable) would imply its confluence. This is a joint work with Jiaxiang Liu. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

SLACS 2014 / 2014年度超準解析シンポジウム
by YOKOYAMA Keita 29 Mar '14

29 Mar '14

皆様、北陸先端大の横山です。 2014年度のSLACS及び超準解析シンポジウムを、以下の通り、一部合同で開催する予定です。どちらの集会も、例年とは時期が異なりますのでご注意ください。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）〜5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。 *************************** 講演の募集やホームページにつきましては、準備が整い次第ご案内致します。しばらくお待ちください。（講演募集の締め切りは5月初旬を予定しております。）よろしく、講演・参加をご検討いただきますようお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

第30回量子情報技術研究会(QIT30) のご案内(口頭講演締め切り間近)
by NISHIMURA Harumichi 27 Mar '14

27 Mar '14

logic-mlの皆様，口頭講演申込締切が今週末に迫っています第30回量子情報技術研究会(QIT30) のご案内を再度、転送させて頂きます．皆様のご参加をお待ちしております．どうぞよろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ---------------------------------------------------------- 第30回量子情報技術研究会(QIT30) ※今週末が口頭講演申込締切です。研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第30回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．日時: 2014年5月12日(月)〜13日(火) 会場: 名古屋大学豊田講堂シンポジオン (〒464-8601 名古屋市千種区不老町名古屋大学内) 発表募集分野 (申し込み状況によっては査読の可能性あり) 量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員: 200名参加費: 事前振込み一般5,000円，学生1,000円 (当日会場払いは一般6,000円，学生2,000円) (懇親会は別途一般4,500円、学生3,000円) 研究会参加申込要領参加申込は下記 Web にて受付けます： http://staff.aist.go.jp/s-kawabata/qit/qit30/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用する予定．【口頭講演申込締切】 2014年3月28日(金) 【ポスター講演申込締切】 2014年4月11日(金) 【予稿原稿提出締切】 2014年4月11日(金) 【参加申込締切】 2014年4月18日(金) 【問合せ先】西村治道 (名古屋大学情報科学研究科) 鶴丸豊広 (三菱電機(株) 情報技術総合研究所) 林正人 (名古屋大学多元数理科学研究科) Email: qit30(a)math.cm.is.nagoya-u.ac.jp 主催: 量子情報技術時限研究専門委員会 (委員長: 枝松圭一 (東北大学)) 共催: 応用物理学会量子エレクトロニクス研究会名古屋大学多元数理科学研究科名古屋大学情報科学研究科 ----------------------------------------------------------

1 0

Last Call for Papers ICTAC, Bucharest, 17-20 September 2014
by Gabriel Ciobanu 17 Mar '14

17 Mar '14

--------------------------------------------------------------- Submission deadline: 06 April 2014 (extended) ********************************************************************** LAST CALL FOR PAPERS -- ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania http://fmi.unibuc.ro/ictac2014 ********************************************************************** ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science. THEMES AND TOPICS OF PAPERS ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering and on formal techniques in software design and verification, as well as papers about tools that support formal techniques for software modeling, system design and verification. The topical areas of the conference include, but not limited to * Automata theory and formal languages; * Principles and semantics of programming languages; * Theories of concurrency, mobility and reconfiguration; * Logics and their applications; * Software architectures, their models, refinement and verification; * Relationship between software requirements, models and code; * Program static and dynamic analysis and verification; * Software specification, refinement, verification and testing; * Model checking and theorem proving; * Models of object and component systems; * Coordination and feature interaction; * Integration of theories, formal methods and tools for engineering computing systems; * Service-oriented architectures: models and development methods; * Models of concurrency, security, and mobility; * Theory of distributed, grid and cloud computing; * Real-time, embedded, hybrid and cyber-physical systems; * Type and category theory in computer science. PAPER SUBMISSION As for the past editions, the proceedings of ICTAC 2014 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. Special issue of few journals with extended version of selected papers from ICTAC 2014 is under negotiation. Submissions to the colloquium 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, as well as their relevance to the conference. Regular Papers should not exceed 18 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2014. IMPORTANT DATES: Abstract submission: 30 March 2014 (extended) Submission deadline: 06 April 2014 (extended) Paper notification: 30 May 2014 Camera-ready paper: 14 June 2014 PC CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Dominique Mery, LORIA, Universite de Lorraine, France PROGRAM COMMITTEE Yamine Ait-Ameur, IRIT, ENSEIHT, France Farhad Arbab, CWI and Leiden University, The Netherlands Michael Butler, University of Southampton, UK Ana Calvacanti, University of York, UK Jeremie Chalopin, CNRS, France Zhenbang Chen, National University of Defense Technology, China Maximiliano Cristia, Faculty of Exact Sciences, Argentina David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil Rocco De Nicola, IMT Lucca, Italy Jose Luiz Fiadeiro, Royal Holloway, University of London, UK John Fitzgerald, Newcastle University, UK Simon Gay, University of Glasgow, UK Dimitra Giannakopoulou, NASA Ames, USA Stefania Gnesi, ISTI-CNR, Italy Lindsay Groves, Victoria University of Wellington, New Zealand Geoff Hamilton, Dublin City University, Ireland Ian J. Hayes, University of Queensland, Australia Rob Hierons, Brunel University, UK Jane Hillston, University of Edinburgh, UK Ross Horne, Romanian Academy, Iasi, Romania Zhenjiang Hu, National Institute of Informatics, Japan Florentin Ipate, University of Bucharest, Romania Tudor Jebelean, Johannes Kepler University, Austria Cliff Jones, Newcastle University, UK Lila Kari, University of Western Ontario, Canada Jetty Kleijn, Leiden University, The Netherlands Maciej Koutny, Newcastle University, UK Yassine Lakhnech, VERIMAG, France Kim G. Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, INRIA, France Martin Leucker, University of Lubeck, Germany Zhiming Liu, UNU-IIST, Macau, China Marius Minea, Politehnica University of Timisoara, Romania Victor Mitrana, University of Bucharest, Romania Rosemary Monahan, National University of Ireland, Ireland Mohammed Mosbah, LABRI, University of Bordeaux, France Tobias Nipkow, Technical University Munich, Germany Manuel Nunez, Universidad Complutense de Madrid, Spain Paritosh Pandya, Tata Institute of Fundamental Research, India Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Shengchao Qin, University of Teesside, UK Antonio Ravara, Universidade Nova de Lisboa, Portugal Grigore Rosu, University of Illinois at Urbana Champaign, USA Augusto Sampaio, Federal University of Pernambuco, Brasil Pierre-Yves Schobbens, Universite de Namur, Belgium Emil Sekerinski, McMaster University, Canada Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Max Planck Institute, Germany Gheorghe Stefanescu, University of Bucharest, Romania Andrzej Tarlecki, Warsaw University, Poland Elena Troubitsyna, Abo Akademi University, Finland Emilio Tuosto, University of Leicester, UK Martin Wirsing, Ludwig-Maximilian University of Munich, Germany Burkhart Wolff, Universite de Paris-Sud, France Jim Woodcock, University of York, UK Fatiha Zaidi, Universite de Paris-Sud, France Naijun Zhan, Chinese Academy of Sciences, China Jianjun Zhao, Shanghai Jiao Tong University, China Huibiao Zhu, East China Normal University, China GENERAL CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Florentin Ipate, University of Bucharest, Romania STEERING COMMITTEE Ana Cavalcanti, University of York, UK John Fitzgerald, Newcastle University, UK Martin Leucker, University of Luebeck, Germany Zhiming Liu, UNU-IIST, Macao, China Tobias Nipkow, Technical University Munich, Germany Augusto Sampaio, Federal University of Pernambuco, Brasil Natarajan Shankar, SRI International, USA ********************************************************************** This call for papers and additional information about the conference can be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/. For information regarding the conference and other queries, you can use the conference email address: ictac2014(a)fmi.unibuc.ro **********************************************************************

1 0

AiML 2014: *** Deadline EXTENSION *** to 9 April 2014
by 小野寛晰 14 Mar '14

14 Mar '14

*** Apologies for cross-postings **** ***** DEADLINE EXTENSION ***** AiML-2014 ************** In response to a number of requests for extension, the deadline for submitting both abstracts and full papers has been *** EXTENDED*** to 9 April 2014 ************************************************************** 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. INVITED SPEAKERS: Franz Baader (TU Dresden, Germany) Stephane Demri (New York University, US & CNRS, France) Joseph Halpern (Cornell University, US) Sara Negri (University of Helsinki, Finland) Frank Wolter (University of Liverpool, UK) PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that are provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. IMPORTANT DATES Abstracts and full papers submission deadline *** EXTENDED ***: 9 April 2014 Full papers acceptance notification: 19 May 2014 Short presentations submission deadline: 21 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Mai Gehrke (LIAFA, Université Paris Diderot, France) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014(a)easychair.org

1 0

Call for Participation: 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14)
by Katsuhiko Sano 14 Mar '14

14 Mar '14

皆様、北陸先端科学技術大学院大学の佐野勝彦です。 CMCS 2014 のCall for Participationをお送り致します。どうぞ参加をご検討ください。佐野勝彦 ========================================== This is a Call for Participation and Registration for 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 The CMCS programme features - a keynote talk by Davide Sangiorgi (University of Bologna, IT) - an invited talk by Ichiro Hasuo (University of Tokyo, JP) - an invited tal by Marina Lenisa (University of Udine) In addition there will be a special session on game theory and coalgebras associated with Marina Lenisa's invited talk and featuring tutorials by - Paul-Andre Mellies, Université Paris Denis Diderot, FR - Pierre Lescanne, Ecole Normale Superieure de Lyon, FR More information about CMCS 2014, including a list of accepted papers and a full programme, can be found at http://www.coalg.org/cmcs14 Links for registration and information about hotel arrangements can be found at the ETAPS 2014 website http://www.etaps.org/ Please note that CMCS 2014 is organizing a dinner on *** Saturday 5 April ***. This is not the pre-workshop dinner organized by ETAPS. Tickets cost cost 60 EUR each and can be bought directly on the first day of the meeting.

1 0

WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)
by 小野寛晰 14 Mar '14

14 Mar '14

DEADLINE APPROACHING! [Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile 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) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile 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 twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is 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), the European Association for Computer Science Logic (EACSL), 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. 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. They must not exceed 10 pages (in font 10 or higher), 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. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, 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 as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Verónica Becher (Universidad de Buenos Aires) Juha Kontinen (University of Helsinki) Aarne Ranta (University of Gothenburg) Kazushige Terui (Kyoto University) Luca Vigano (Università di Verona) Thomas Wilke (Christian-Albrechts-Universität zu Kiel) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Ulrich Kohlenbach (Technische Universität Darmstadt) - Chair Natasha Alechina (University of Nottingham) Eric Allender (Rutgers University) Marcelo Arenas (Pontificia Universidad Católica de Chile) Steve Awodey (Carnegie Mellon University) Stefano Berardi (Università di Torino) Julian Bradfield (University of Edinburgh) Xavier Caicedo (Universidad de los Andes de Chile) Olivier Danvy (University of Aarhus) Hans van Ditmarsch (LORIA) Marcus Kracht (University of Bielefeld) Michiel van Lambalgen (University of Amsterdam) Klaus Meer (Technische Universität Cottbus) George Metcalfe (University of Bern) Dale Miller (INRIA/LIX) Russell Miller (City University of New York) Sara Negri (University of Helsinki) Grigory Olkhovikov (Urals State University) Nicole Schweikardt (Goethe-University Frankfurt am Main) Sebastiaan Terwijn (Radboud University Nijmegen) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

PTC 2014: Proof, Truth, Computation, Chiemsee (Germany), 20-25 Jul 2014
by Hajime Ishihara 06 Mar '14

06 Mar '14

Summer School "Proof, Truth, Computation" (PTC 2014) 20-25 July 2014, Chiemsee, Germany Call for applications by young researchers. Deadline: 17 March 2014. ----------------------------------------------------------------------------------------------------------- This is to invite young researchers (PhD students and post-docs) to apply for the upcoming summer school "Proof, Truth, Computation. Modern Foundations of Mathematics and Contemporary Philosophy". Application by female scientists is particularly encouraged. The event will take place from 21st to 25th July 2014 (arrival 20th July afternoon, departure 25th July after noon) in the Benedictine nunnery Frauenwoerth on the Fraueninsel in Chiemsee between Munich and Salzburg: http://www.frauenwoerth.de/english/ The Volkswagen Foundation will kindly sponsor this event: http://www.volkswagenstiftung.de/en/foundation.html To get an idea of this summer school, especially of its interdisciplinary character, please see the material provided at end of this message. Junior participants will be particularly expected to contribute to the questions and answers sessions and to the round table discussions. Important dates: Deadline for application: 17th March 2014 Notification of acceptance: 24st March 2014 Communication of precise air fare (if applicable): 31st March 2014 Applications are to be sent, in a single PDF document, by email, to ptc14(a)math.lmu.de PhD students need to send a CV of at most 2 pages, a brief letter of motivation and one letter of reference. Postdocs only need to send a CV of at most 2 pages. All applicants need to tell whether they also apply for funding and, if so, to which extent. Only a limited amount of funding is available. Applicants for funding are expected to stay for the whole week, and to tell the extent to which they can be funded by other sources. If your application for funding is successful, then you will be offered reimbursement of the travel and lodging expenses that you cannot cover from other sources. This will require that you choose the cheapest travel option, and that you book your trip by 31st March 2014 in case of flights and by the earliest possible date in case of long-distance trains. We hope to be able to contribute partially to your subsistence expenses (meals). Meals (breakfast, lunch and dinner - the latter two excluding drinks) for four and a half days will be EUR 180. PhD students and postdocs are expected to share double rooms, for EUR 125 each person for the whole week (5 nights). Organising committee: Hannes Leitgeb <hannes.leitgeb(a)lmu.de> Iosif Petrakis <petrakis(a)math.lmu.de> Peter Schuster <pschust(a)maths.leeds.ac.uk> Helmut Schwichtenberg <schwicht(a)math.lmu.de> Enquiries are to be directed to: ptc14(a)math.lmu.de -------------------------------------------------------------------------- Main Topics Truth Theories Predicativity Constructivity Proof Theory Formal Epistemology Set-theoretic Truth Further topics will include: Homotopy, Types and Univalence Program Extraction from Proofs Coalgebraic and Categorical Semantics Minimal Type Theory Speakers and disputants (preliminary list) Tatiana Arrigoni Steve Awodey Marco Benini Ulrich Berger Andrea Cantini Thierry Coquand (to be confirmed) Laura Crosilla Branden Fitelson Sy Friedman (to be confirmed) Volker Halbach Hajime Ishihara Peter Koellner Hannes Leitgeb Maria Emilia Maietti David Makinson Yiannis Moschovakis Sara Negri Erik Palmgren Dirk Pattinson Dieter Probst Joan Rand-Moschovakis Michael Rathjen Giuseppe Rosolini (to be confirmed) Giovanni Sambin Monika Seisenberger Philip Welch Andreas Weiermann Aims and Scope Mathematical methods are about to shape some branches of contemporary philosophy just as they have formed most of the natural and many of the social sciences. The thread of the school we propose is to mirror this development, known as mathematical philosophy or formal epistemology; to highlight the challenges that arise from it; and to display its repercussions in mathematics. As for theoretical computer science, a quite comparable spin-off of mathematics, the principal counterpart within mathematics is mathematical logic. Since many of the objects of study lie beyond the typical commitment of contemporary mathematics, it is decisive to include non-classical issues such as predicativity and constructivity. Proof theory does indeed play a pivotal role: as the area of mathematical logic that is closest to the understanding of logic as the science of formal languages and reasoning, it is predestined for interaction both with philosophical and computer science logic. A hot topic that crosses over wide ranges of the school, and is most prominently represented within, is whether axiomatic theories of truth and of related notions, such as provability and knowledge, are possible at all in the stress field between syntax and semantics. Rational belief and rational choice, epistemic issues of principal philosophical relevance, are put under mathematical scrutiny by applying probabilism: that is, the thesis that a rational agent's degrees of belief should conform to the axioms of probability theory. ---------------------------------------------------------------------------- -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

NII Summer School on Coq in Japan
by Jacques Garrigue 03 Mar '14

03 Mar '14

皆様、 8月に湘南で開催される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 young researchers from academic institutions, and young people from private companies. We might also consider applications by Bachelor students in exceptional cases. 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/ Jacques Garrigue, David Nowak, Pierre Casteran

1 0

2nd Call for Papers ICTAC 2014, 17-20 Sept, Bucharest
by Gabriel Ciobanu 27 Feb '14

27 Feb '14

[Apologies if you receive multiple copies of this message] Abstract submission: 16 March 2014 Submission deadline: 23 March 2014 CALL FOR PAPERS -- ICTAC 2014 ********************************************************************** 11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania http://fmi.unibuc.ro/ictac2014 ********************************************************************** ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science. THEMES AND TOPICS OF PAPERS ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering and on formal techniques in software design and verification, as well as papers about tools that support formal techniques for software modeling, system design and verification. The topical areas of the conference include, but not limited to * Automata theory and formal languages; * Principles and semantics of programming languages; * Theories of concurrency, mobility and reconfiguration; * Logics and their applications; * Software architectures, their models, refinement and verification; * Relationship between software requirements, models and code; * Program static and dynamic analysis and verification; * Software specification, refinement, verification and testing; * Model checking and theorem proving; * Models of object and component systems; * Coordination and feature interaction; * Integration of theories, formal methods and tools for engineering computing systems; * Service-oriented architectures: models and development methods; * Models of concurrency, security, and mobility; * Theory of distributed, grid and cloud computing; * Real-time, embedded, hybrid and cyber-physical systems; * Type and category theory in computer science. PAPER SUBMISSION As for the past editions, the proceedings of ICTAC 2014 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. Special issue of few journals with extended version of selected papers from ICTAC 2014 is under negotiation. Submissions to the colloquium 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, as well as their relevance to the conference. Regular Papers should not exceed 18 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2014. IMPORTANT DATES: Abstract submission: 16 March 2014 Submission deadline: 23 March 2014 Paper notification: 30 May 2014 Revised/final paper: 14 June 2014 PC CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Dominique Mery, LORIA, Universite de Lorraine, France PROGRAM COMMITTEE Yamine Ait-Ameur, IRIT, ENSEIHT, France Farhad Arbab, CWI and Leiden University, The Netherlands Michael Butler, University of Southampton, UK Ana Calvacanti, University of York, UK Jeremie Chalopin, CNRS, France Zhenbang Chen, National University of Defense Technology, China Maximiliano Cristia, Faculty of Exact Sciences, Argentina David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil Rocco De Nicola, IMT Lucca, Italy Jose Luiz Fiadeiro, Royal Holloway, University of London, UK John Fitzgerald, Newcastle University, UK Simon Gay, University of Glasgow, UK Dimitra Giannakopoulou, NASA Ames, USA Stefania Gnesi, ISTI-CNR, Italy Lindsay Groves, Victoria University of Wellington, New Zealand Geoff Hamilton, Dublin City University, Ireland Ian J. Hayes, University of Queensland, Australia Rob Hierons, Brunel University, UK Jane Hillston, University of Edinburgh, UK Ross Horne, Romanian Academy, Iasi, Romania Zhenjiang Hu, National Institute of Informatics, Japan Florentin Ipate, University of Bucharest, Romania Tudor Jebelean, Johannes Kepler University, Austria Cliff Jones, Newcastle University, UK Lila Kari, University of Western Ontario, Canada Jetty Kleijn, Leiden University, The Netherlands Maciej Koutny, Newcastle University, UK Yassine Lakhnech, VERIMAG, France Kim G. Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, INRIA, France Martin Leucker, University of Lubeck, Germany Zhiming Liu, UNU-IIST, Macau, China Marius Minea, Politehnica University of Timisoara, Romania Victor Mitrana, University of Bucharest, Romania Rosemary Monahan, National University of Ireland, Ireland Mohammed Mosbah, LABRI, University of Bordeaux, France Tobias Nipkow, Technical University Munich, Germany Manuel Nunez, Universidad Complutense de Madrid, Spain Paritosh Pandya, Tata Institute of Fundamental Research, India Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Shengchao Qin, University of Teesside, UK Antonio Ravara, Universidade Nova de Lisboa, Portugal Grigore Rosu, University of Illinois at Urbana Champaign, USA Augusto Sampaio, Federal University of Pernambuco, Brasil Pierre-Yves Schobbens, Universite de Namur, Belgium Emil Sekerinski, McMaster University, Canada Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Max Planck Institute, Germany Gheorghe Stefanescu, University of Bucharest, Romania Andrzej Tarlecki, Warsaw University, Poland Elena Troubitsyna, Abo Akademi University, Finland Emilio Tuosto, University of Leicester, UK Martin Wirsing, Ludwig-Maximilian University of Munich, Germany Burkhart Wolff, Universite de Paris-Sud, France Jim Woodcock, University of York, UK Fatiha Zaidi, Universite de Paris-Sud, France Naijun Zhan, Chinese Academy of Sciences, China Jianjun Zhao, Shanghai Jiao Tong University, China Huibiao Zhu, East China Normal University, China GENERAL CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Florentin Ipate, University of Bucharest, Romania STEERING COMMITTEE Ana Cavalcanti, University of York, UK John Fitzgerald, Newcastle University, UK Martin Leucker, University of Luebeck, Germany Zhiming Liu, UNU-IIST, Macao, China Tobias Nipkow, Technical University Munich, Germany Augusto Sampaio, Federal University of Pernambuco, Brasil Natarajan Shankar, SRI International, USA ********************************************************************** This call for papers and additional information about the conference can be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/. For information regarding the conference and other queries, you can use the conference email address: ictac2014(a)fmi.unibuc.ro **********************************************************************

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 27 Feb '14

27 Feb '14

皆様ミュンヘン大学のHelmut Schwichtenberg先生の連続講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON. Date: Wednesday 5, Thursday 6, Friday 7 March, 2014, 15:10-16:40 Place: JAIST, Lecture room I1 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Helmut Schwichtenberg (Ludwig-Maximilians-Universitaet Muenchen, Germany) Title: Computational content of proofs *Wednesday 5 March, 2014, 15:10-16:40* Lecture 1. Computing with partial continuous functionals. We define computable functionals of finite type, with the Scott-Ersov partial continuous functionals as domains. A term language T+ (a common extension of Goedel's T and Plotkin's PCF) is introduced to denote computable functionals. *Thursday 6 March, 2014, 15:10-16:40* Lecture 2. A theory of computable functionals. Based on T+ we define a logical language whose quantifiers range over partial continuous functionals and whose predicates are inductively defined. We obtain a theory TCF of computable functionals by adding introduction and elimination axioms for inductive predicates to minimal logic. TCF admits a realizability interpretation (by terms in T+) and a soundness theorem can be proved. *Friday 7 March, 2014, 15:10-16:40* Lecture 3. Extracting programs from proofs. Every constructive proof of an existential theorem (or problem; Kolmogorov 1932) contains a construction of a solution. To get hold of such a solution we have two methods. (a) Write-and-verify. Guided by the constructive proof directly write a program to compute the solution, and then prove (verify) that this is the case. (b) Prove-and-extract. Formalize the proof and extract its computational content in the form of a realizing term t. Since the latter approach requires formalization of the proof it is less popular. But it has advantages. (i) Dealing with a problem on the proof level allows abstract mathematical tools and a good organization of the material. Both help to adapt the proof to changed specifications. (ii) The extracted term can be automatically verified, by means of a formalization of the soundness theorem. As an example of the prove-and-extract method we build a parser for the Dyck language of balanced parentheses. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 1

Semantic Methods in Haskell Seminar
by Makoto Hamana 26 Feb '14

26 Feb '14

皆様、 3月13日に以下のようなセミナーを開くこととなりました。 Haskell、プログラム意味論周辺にご興味ありましたら、参加をご検討いただければ幸いです。本セミナーはオープンで、登録なしでどなたでも参加いただけます。 -- 世話人: 浜名誠群馬大学 ============================================================================= Semantic Methods in Haskell and Functional Programming Seminar 2014年3月13日, 国立情報学研究所 http://www.cs.gunma-u.ac.jp/~hamana/Semhas/ ----------------------------------------------------------------------------- 関数型言語Haskellにおけるモナド型の成功は、プログラム意味論の手法がプログラミング技術となりうるという驚くべき可能性を開きました。本セミナーは、このようなプログラム言語と意味論の間の良好な連携をさらに押し進める最新の研究結果について、関数型言語、プログラム意味論、Haskellに関連する領域の研究者にじっくりとお話していただきます。 ----------------------------------------------------------------------------- - Date 2014年3月13日, 1:30pm- - Program * 1:30 - 1:35 Opening * 1:35 - 2:35 Jeremy Gibbons (University of Oxford) Understanding Idiomatic Traversals Backwards and Forwards * 2:40 - 3:40 Shin-ya Katsumata (RIMS, Kyoto University) Parametric Effect Monads and Semantics of Effect Systems * 3:40 - 4:00 Coffee break * 4:00 - 5:00 Makoto Hamana (Gunma University) Polymorphic Algebraic Theories and Logical Predicates * 5:00 - 5:10 Closing - Location 国立情報学研究所, 1208 号室. 詳しい情報は http://www.cs.gunma-u.ac.jp/~hamana/Semhas/ をご覧ください。 ----------------------------------------------------------------------------

1 0

Fw: last CFP - DEON2014
by Ken Satoh 23 Feb '14

23 Feb '14

LAST CALL FOR PAPERS - DEON 2014 12th International Conference on Deontic logic and Normative Systems 12-15 July 2014, Ghent, Belgium http://www.deon2014.ugent.be [co-located with TiL 2014] The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic: Deontic modalities in natural language There have been eleven previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July 2008, Fiesole July 2010, Bergen, July 2012. This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue: http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html ------------ General Themes ------------ The Program Committee invites papers concerned with the following topics: • the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic • the formal analysis of normative concepts and normative systems • the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability • the normative aspects of protocols for communication, negotiation and multi-agent decision making • the formal representation of legal knowledge • the formal specification of normative systems for the management of bureaucratic processes in public or private administration • applications of normative logic to the specification of database integrity constraints ----------- Special Theme ----------- DEON 2014’s special focus is “Deontic modalities in natural language”. Deontic or normative modality is a subject of common interest for researchers in several fields, including moral philosophy, meta-ethics, linguistic semantics, and deontic logic. Over the past, the deontic modalities have been extensively studied on the logic side. Comparatively, much less attention has been paid to them from a natural language perspective, at least in DEON. There has been a growing interest from linguists in the study of the deontic modalities, mostly in the US, under the influence of Angelika Kratzer’s work. A Deontic Modality Workshop was held in Los Angeles on May 20-22, 2013. We encourage submission of papers describing problems from a natural language perspective that can be a challenge for deontic logic. Topics of interest in this special theme include, but are not limited to: • Challenges from natural language for deontic logic • Relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc • New insights on the deontic paradoxes • Modeling values • Game theoretic aspects of deontic reasoning • Emergence of norms • Norms from a conversational point of view • Norms and argumentation We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics) on these specific topics. Invited Speakers ------------- Sven Ove Hansson (Royal Institute of Technology, Stockholm) Magdalena Kaufmann (University of Connecticut) Paul McNamara (University of New Hampshire) Krister Segerberg (Uppsala University) Bryan Skyrms (University of California, Irvine) Submission Details --------------- Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The paper should be in English, and should be no longer than 15 pages when formatted according the LNCS specifications. The first page should contain the full name and contact information for at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using easychair: https://www.easychair.org/conferences/?conf=deon2014 Each submitted paper will be carefully peer-reviewed by a panel of PC member based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. Publication --------- Copies of the workshop proceedings will be provided to all participants. The proceedings will be published with Springer in their LNCS/LNAI series. During the conference, Springer will also provide temporary free access to the online version of the proceedings on SpringerLink. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. Important Dates ------------- Abstract Submission Deadline: March 1, 2014 Paper Submission Deadline: March 8, 2014 Notification: April 22, 2014 Camera Ready: May 1, 2014 Program Chairs ------------ Fabrizio Cariani, Northwestern University Davide Grossi, University of Liverpool Joke Meheus, Ghent University Xavier Parent, University of Luxembourg & University of Aix-Marseille, Ceperc Chairs of the Local Organizing Committee --------------------------------- Christian Straßer (Ghent University) Erik Weber (Ghent University) Congress Committee ----------------- Jean Paul Van Bendegem (Free University Brussels) Fabrizio Cariani (Northwestern University) Davide Grossi (University of Liverpool) John Horty (University of Maryland) Bart Van Kerkhove (University Hasselt) Joke Meheus (Ghent University) Erik Myin (University of Antwerpen) Xavier Parent (University of Luxembourg) Frederik Van De Putte (Ghent University) Christian Strasser (Ghent University) Leon Van Der Torre (University of Luxembourg) Roger Vergauwen (Catholic University Leuven) Erik Weber (Ghent University) Program Committee ———————— Maria Aloni (University of Amsterdam) Guillaume Aucher (University of Rennes 1 / INRIA) Mathieu Beirlaen (Universidad Nacional Autónoma de México) Guido Boella (University of Torino) Jan Broersen (Utrecht University) Mark A. Brown (Syracuse University) Fabrizio Cariani (Northwestern University) Jose Carmo (University Madeira) Roberto Ciuni (Ruhr-Universität Bochum, Humboldt Foundation) Robert Demolombe (IRIT, CNRS, Toulouse) Lou Goble (Willamette University) Guido Governatori (NICTA) Nobert Gratzl (Ludwig Maximilian University Munich) Davide Grossi (University of Liverpool) Jörg Hansen (University of Leipzig) Andreas Herzig (IRIT, CNRS, Toulouse) Jeff Horty (University of Maryland) Andrew Jones (King's College London) Stefan Kaufmann (University of Connecticut) Gert-Jan Lokhorst (Delft University of Technology) Emiliano Lorini (IRIT, CNRS, Toulouse) Joke Meheus (Ghent University) John-Jules Meyer (Utrecht University) Eric Pacuit (University of Maryland) Xavier Parent (University of Luxembourg) Henry Prakken (University of Utrecht, University of Groningen) Antonino Rotolo (University of Bologna) Olivier Roy (University of Bayreuth) Giovanno Sartor (EUI/CIRSFID) Ken Satoh (National Institute of Informatics and Sokendai, Japan) Marek Sergot (Imperial College, London) William Starr (Cornell University) Audun Stolpe (Norwegian Defence Research Establishment (FFI)) Christian Straßer (Ghent University) Allard Tamminga (University of Groningen) Paolo Turrini (Imperial College, London) Ron Van Der Meyden (University of New South Wales, Sydney, UNSW) Leon van der Torre (University of Luxembourg) Malte Willer (University of Chicago) Tomoyuki Yamada (Hokkaido University) Local Organizing Committee ———————————— Inge De Bal Tjerk Gauderis Merel Levefere Julie Mennes Frederik Van De Putte Christian Strasser Erik Weber Dietlinde Wouters

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml