Logic-ml

9 participants
1781 discussions

Talk by Ryu Hasegawa at RIMS, Kyoto U. (2/24)
by Kazushige TERUI 22 Feb '11

22 Feb '11

みなさま今週木曜日に催されるセミナーのご案内をさせていただきます。どうぞお気軽にお越しください。照井 --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: 長谷川立 (東京大学) Title: Combinatorial enumeration model を用いた Church-Rosser 性の証明 Date: 11.00 - 12.00, Februrary 24th (Thu) Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Combinatorial enumeration model は, Joyal-Girard による解析関手を用いたラムダ計算のモデルのことであり, ここではそれを線形論理のモデルに改変したものを指している. ある意味で数え上げの個数を与えており, その事実を用いたシンプルな解析を可能にしている。ここでは, linear category 上に構成された計算体系 LC の Church-Rosser 性の証明に, このモデルを応用する技術を紹介する。 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

「証明論の展開とその哲学」シンポジウム
by Mitsuhiro Okada 18 Feb '11

18 Feb '11

次の会合の案内をこのメールリストに投稿させていただきます。　慶応大哲学　岡田光弘 ================================================================= PROOF THEORY AND PHILOSOPHY 「証明論の展開とその哲学」シンポジウム Feb 26th, 2011, Tokyo, Keio University, Mita Campus 2011年2月26日(土) 慶應義塾大学三田キャンパス ================================================================== 本研究会の目的：現代論理、特に証明論に源泉を持ち、Hilbert, Gödel, Friedman, Girardらによって議論されたテーマのいくつかについて、その技術的概観とともに哲学的観点を検討する。 The purpose of this Meeting is to discuss issues presented in various new fields derived from proof theory, initiated by Hilbert, Gëdel, Friedman, Girard and others, from the philosophical point of view as well as from the technical point of view. 日時：　22011年月26日(土)　午後１３時ー１８時Ｄａｔｅ&Ｔｉｍｅ:: Feb 26th, 2011, 13:00pm-18:00pm 場所: 慶應義塾大学三田キャンパス東館6階 G-Sec Lab Place: G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio University (5 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi) 参加自由、無料です。 URL: http://abelard.flet.keio.ac.jp/ptp11/ （abstracts情報はここを参照ください） =========================================================================- なお、この集会の直前の２月２４－２５日にFormal Ontology Meetingが開催されます。 http://abelard.flet.keio.ac.jp/seminar/oam11.html　（事前電子登録推奨） ========================================================================== "Proof Theory and Philosophy" Program 1. 13:00-14:00 Richard Zach (University of Calgary, Department of Philosophy) “Gëdel’s First Incompleteness Theorem and Mathematical Instrumentalism” (14:00-14:15 coffee) 2. 14:15-15:15 Ryo Takemura (Keio University) “Proof theory for reasoning with Euler diagrams” (15:15-15:30 coffee) 3. 15:30-16:30 Sam Sanders (Tohoku University) “Reverse Mathematics & Non-Standard Analysis: WHY SOME THEOREMS ARE MORE EQUAL THAN OTHERS” (16:30-16:45 coffee) 4. 16:45-17:45 Michele Basaldella (Kyoto University) “A gentle introduction to ludics” 17:45-18:00 Concluding discussion 18:00 End of the Meeting ----- 本集会は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンターとグローバルＣＯＥ「論理と感性の先端的教育研究拠点」の共催集会です。 Organizing Committee Ryoto Akiyoshi Mitsu Okada (responsible) Yutaro Sugimoto 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所: 東京都港区三田2-15-45 TEL: 03-3453-4511 (内線23847) E-Mail: interontology[AT]abelard.flet.keio.ac.jp 最新情報は URL: http://abelard.flet.keio.ac.jp/ptp11/ をご参照ください。 -----------------------------------------------------------------------------------------------

1 0

[TACL 2011] Second call for papers
by tacl2011＠lif.univ-mrs.fr 18 Feb '11

18 Feb '11

[Apologies for multiple copies] =============================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) II call for papers =============================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theoryfile:///home/lsantoca/public_html/tacl2011/IIcallforpapers.txt * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic List of speakers ---------------- * Steve Awodey, Carnegie Mellon University * Lev Beklemishev, Steklov Mathematical Institute Moscow * David Gabelaia, Tbilisi Razmadze Mathematical Institute * Nikolaos Galatos, University of Denver * Pierre Gillibert, Charles University Prague * Jean Goubault-Larrecq, ENS Cachan, CNRS, INRIA * Rosalie Iemhoff, Utrecht University * Mamuka Jibladze, Tbilisi Razmadze Mathematical Institute * Vincenzo Marra, Università degli Studi di Milano * Thomas Streicher, Technical University Darmstadt Esakia session -------------- The Fifth International Conference on Topology, Algebra and Categories in Logic is dedicated to the memory of Leo Esakia (1934-2010). In Leo's honour there will be a special session during the conference; three of the invited speakers will be giving their talk in this session: Lev Beklemishev, David Gabelaia, and Mamuka Jibladze. In addition, a memorial talk on the life and work of Leo Esakia will delivered by the chair of this session, Guram Bezhanishvili. The program committee specially encourages submissions related to the work of Leo Esakia, and may select some of these submission for presentation at the special session. Submissions ----------- Contributed presentations will be of two types: * standard presentations of 20 minutes in parallel sessions, * featured, 30 minutes long, plenary presentations. The submission of an extended abstract in pdf format will be required to be selected for a contributed presentation of either kind. Concerning the standard presentations, while preference will be given to new work, results that have already been published or presented elsewhere will also be considered. Concerning the featured presentations: the program committee will choose a small number of submissions of which the authors will be invited to give a plenary presentation. The criteria for this selection will be: originality, significance and interest to the wider TACL community. There will be just one submission procedure, for contributed presentations of either kind: authors are requested to submit a short text of four pages, in English and in pdf format, through the easychair submission site: https://www.easychair.org/conferences/?conf=tacl2011 Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr ===============================================================================

1 0

オントロジー会議(Ontology Meeting)２月２４−２５日(Feb 24-25th), Keio University, Tokyo
by Mitsuhiro Okada 15 Feb '11

15 Feb '11

論理、計算科学、数学のオントロジーの講演を含む学際集会です。本メーリングリストに投稿させていただきます。　慶応大哲学　岡田光弘 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ONTOLOGY Meeting, Feb 24th-25th, 2011, Tokyo, Keio University, Mita Campus オントロジー研究集会 2011年2月24-25日慶應義塾大学三田キャンパス主催：慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター Roberto Casati教授 (影のオントロジー)，Barry Smith教授 (痛みのオントロジー，文書のオントロジー) らの講演をはじめとして，analytic metaphysics，ontologyの基礎的諸問題や論理的側面などを議論します．論理学，計算機科学，数学などの観点を含むオントロジーの討論も予定されています．(プログラムは以下に掲載) 参加自由，無料です．　 The purpose of this Meeting is to discuss some fundamental issues on ontology from various points of views including analytic metaphysics, logic, phenomenology, computing science and mathematics. ------------------------------------------------------------------------ *日時 / Date:* 2011年2月24日 -- 25日 / Feb 24th -- Feb 25th, 2011 *場所 / Place:* 6th Floor (G-SEC Lab), East Building, the Mita Campus, Keio University / 慶應義塾大学三田キャンパス東館6F G-SEC Lab *公式ページURL / Official Page URL:* http://abelard.flet.keio.ac.jp/oam11/ ------------------------------------------------------------------------ (この他に今月(2月)の研究会として，2月10-11日に「数学の哲学の現在」研究会 <http://abelard.flet.keio.ac.jp/pom11/>が予定されております．) ------------------------------------------------------------------------ 参加自由です．ただし，会場の設定や予稿集(無料)の準備のため，できる限り下記の登録ページで電子登録をお願いしております． Free for participation. Please register here in order to ensure receiving your copy of the proceedings volume upon your arrival at the Meeting site: https://abelard.flet.keio.ac.jp/oam11/registration.html ------------------------------------------------------------------------ The PROGRAM: 2月24日 (Feb 24th) *13:00* Smith (Department of Philosophy, State University of new York at Buffalo, and National Center for Ontological Research) “The Ontology of Documents” *14:00* Break *14:30* Daisuke Kachi (Philosopy, Saitama University) “The Power of Holes” *15:30* Takashi Iida (Philosophy Department, Nihon University) “On the Contingency of Some Abstract Objects” *16:10* Break *16:30* Roberto Casati (Institut Jean Nicod Ecole Normale Superieure, Paris) “Shadow lessons: competition between ontologies for dependent entities” *18:10* Reception Party at Chuugoku Hanten (中国飯店 : Restaurant near the Mita Campus) (Free for participation 参加自由無料です) 2月25日 (Feb 25th) *10:00* Barry Smith (Department of Philosophy, State University of new York at Buffalo, and National Center for Ontological Research) “The Ontology of Pains” *11:00* Break *11:20* Takeshi Akiba (Keio University) “On the ontological basis of predication” *12:00* Lunch Break *13:30* Sungho Choi (Philosophy at Kyung Hee University, Seoul, Korea) “Is fragility an intrinsic disposition?” *14:30* Tora Koyama (Osaka University) “Modal Realism and Metaontology” *15:10* Break *15:30* Sam Sanders (Tohoku University) “Reverse mathematics and non-standard analysis; a treasure trove for the philosophy of science” *16:30* Hiroyuki Miyoshi (Department of Mathematics, Kyoto Sangyo University) “Ontology and Epistemology from Computational Phenomena” *17:30* Concluding discussions *18:00* End of the Meeting 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所: 東京都港区三田2-15-45 TEL: 03-3453-4511 (内線23847) E-Mail: interontology[AT]abelard.flet.keio.ac.jp なお，セミナーの最新の情報は以下の公式ページに掲示する予定です． http://abelard.flet.keio.ac.jp/oam11/ ------------------------------------------------------------------------ /This document was translated from L^A T_E X by //H//^E //V//^E //A/ <http://hevea.inria.fr/index.html>/./

1 0

Fw: PLS8 - SECOND CALL FOR PAPERS
by Suzuki, Nobu-Yuki 15 Feb '11

15 Feb '11

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕を賜りますようお願いいたします。 -----------------------転送元のメール----------------------- From: Christos Nomikos <cnomikos(a)cs.uoi.gr> To: pls8(a)cs.uoi.gr Cc: cnomikos(a)cs.uoi.gr Subject: PLS8 - SECOND CALL FOR PAPERS Date: Tue, 15 Feb 2011 08:46:41 +0900 ******************************************************************************* ******************************************************************************* *** *** *** T H E 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M *** *** J u l y 4 - 8 , 2 0 1 1 *** *** I o a n n i n a, G r e e c e *** *** *** *** www.cs.uoi.gr/~pls8/ *** *** *** ******************************************************************************* ******************************************************************************* CALL FOR PAPERS HISTORY OF THE SYMPOSIUM The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina. PROGRAM OF THE SYMPOSIUM The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress. INVITED TUTORIALS - Jeremy Avigad (Carnegie Mellon, USA) - Dale Miller (INRIA, France) - Simon Thomas (Rutgers, USA) INVITED SPEAKERS - George Barmpalias (University of Amsterdam, Netherlands) - Ozlem Beyarslan (Bogazici University, Turkey) - Michael Rathjen (University of Leeds, UK) - Nicole Schweikardt (Goethe University, Germany) - Athanassios Tzouvaras (University of Thessaloniki, Greece) CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 25 March 2011. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/coolnews.cgi) and submitted electronically, using the Easy Chair conference system, at http://www.easychair.org/conferences/?conf=pls8 If possible, each submitted paper should be classified in one of the following areas (in alphabetical order): - Algebraic and Categorical Methods in Logic - Computability Theory - History and Philosophy of Logic - Logic in Computer Science - Model Theory - Nonclassical and Modal Logics - Proof Theory - Set Theory All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. During the symposium, each accepted paper will be presented by one of its authors, with five extra minutes for questions. Authors of submitted papers will be notified of the decision by early May 2011. Camera-ready extended abstracts will be due by the end of May for inclusion in the symposium proceedings which will be distributed to all participants. IMPORTANT DATES: - Abstract Submission Deadline: March 25, 2011 - Acceptance Notification: May 7, 2011 - Camera Ready Papers Deadline: May 31, 2011 - Conference Dates: July 4-8, 2011 SCIENTIFIC COMMITTEE - Ayse Berkman (Middle East Technical University) - Costas Dimitracopoulos (University of Athens) - Kostas Hatzikiriakou (University of Thessaly) - Antonis Kakas (University of Cyprus) - Panagis Karazeris (University of Patras) - Phokion Kolaitis (University of California, Santa Cruz and IBM Research-Almaden) - George Koletsos (National Technical University of Athens ) - Joan Moschovakis (Occidental College (retired), Chair of SC) - Christos Nomikos (University of Ioannina) - Itay Neeman (University of California, Los Angeles) - Thanases Pheidas (University of Crete) - Alexandra Soskova (Sofia University) - Constantine Tsinakis (Vanderbilt University) - Stathis Zachos (National Technical University of Athens ) ORGANIZING COMMITTEE - Manolis Gergatsoulis (Ionian University) - Spyros Kontogiannis (University of Ioannina) - Costas Koutras (University of Peloponnese) - Christos Nomikos (University of Ioannina, chair of the OC) - Panos Rondogiannis (University of Athens) SYMPOSIUM WEBPAGE www.cs.uoi.gr/~pls8/ CONTACT Joan Moschovakis (Chair of the Scientific Committee) e-mail: joan(a)math.ucla.edu Christos Nomikos (Chair of the Organizing Committee) address: University of Ioannina Department of Computer Science P.O. Box 1186 45110, Ioannina Greece tel: +30 26510 08815 fax: +30 26510 08895 e-mail: cnomikos(a)cs.uoi.gr pls8(a)zeus.cs.uoi.gr

1 0

Fw: Second International Conference on Order, Algebra, and Logics (3rd announcement)
by Suzuki, Nobu-Yuki 14 Feb '11

14 Feb '11

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕をお願いいたします。 -----------------------転送元のメール----------------------- From: Order Algebra Logic <Order.Algebra.Logic(a)tcs.uj.edu.pl> To: smnsuzu(a)ipc.shizuoka.ac.jp Subject: Second International Conference on Order, Algebra, and Logics (3rd announcement) Date: Mon, 14 Feb 2011 08:15:01 +0900 ==================================================================== THIRD ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski on the occasion of their 70th Birthdays) June 6-10, 2011, Krakow, POLAND ==================================================================== The organizers of the 2nd OAL conference in Cracow kindly inform the following: The conference website http://2oal.tcs.uj.edu.pl contains up to date information about the conference, including how - to register: http://2oal.tcs.uj.edu.pl/register.html and - to submit an abstract of a proposed talk: http://2oal.tcs.uj.edu.pl/submissions.html With kind regards, Marcin Kozik /on behalf of the organizers/

1 0

Second International Conference on Order, Algebra, and Logics (3rd announcement)
by Order Algebra Logic 11 Feb '11

11 Feb '11

==================================================================== THIRD ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski on the occasion of their 70th Birthdays) June 6-10, 2011, Krakow, POLAND ==================================================================== The organizers of the 2nd OAL conference in Cracow kindly inform the following: The conference website http://2oal.tcs.uj.edu.pl contains up to date information about the conference, including how - to register: http://2oal.tcs.uj.edu.pl/register.html and - to submit an abstract of a proposed talk: http://2oal.tcs.uj.edu.pl/submissions.html With kind regards, Marcin Kozik /on behalf of the organizers/

1 0

第24回量子情報技術研究会（QIT24）のご案内
by Harumichi Nishimura 10 Feb '11

10 Feb '11

logic-mlの皆様，第24回量子情報技術研究会（QIT24）の案内について，世話人からの依頼投稿をさせていただきます．なお，重複してお受け取りの節はご容赦ください．大阪府立大学理学系研究科西村治道 http://www.mi.s.osakafu-u.ac.jp/~hnishimura/ ============================================================== 各位この場をお借りしまして，第24回量子情報技術研究会（QIT24）についてご案内させていただきます．周囲の方々にご周知いただければ幸いです．なお，口頭発表申込締切は 2011年 3月3日（木）となっております．何かご不明な点などございましたら，QIT24世話人 (qit24(a)ngc.is.ritsumei.ac.jp) までお尋ねください． QIT24世話人細谷暁夫（東京工業大学理工学研究科基礎物理学専攻）山下茂（立命館大学情報理工学部情報システム学科）河内亮周（東京工業大学情報理工学研究科数理・計算科学専攻） ============================================================== 第24回量子情報技術研究会のご案内研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と，そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第24回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．期日　2011年 5月12日（木）, 13日（金）会場　東京工業大学西９号館ディジタル多目的ホール（〒152-0033 東京都目黒区大岡山東京工業大学大岡山キャンパス内）発表募集内容発表募集分野（申込状況によっては査読可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，およびその関連分野招待講演： Aephraim M. Steinberg氏 (CQIQC) 佐藤文隆氏 (甲南大学) 蔡兆申氏 (理研/NEC) 定員　200名程度参加費　事前振込み　一般5,000円, 学生1,000円 (当日会場払いは一般6,000円, 学生2,000円) (懇親会は別途）研究会参加申込要領講演(口頭・ポスター)申込，聴講申込は下記URLにて受付を行います http://staff.aist.go.jp/s-kawabata/qit/ 【講演申込締切】 2011年 3月 3日（木）口頭 2011年 4月 1日（金）ポスター【参加申込締切】 2011年 4月15日（金）【世話人】細谷暁夫（東京工業大学理工学研究科基礎物理学専攻）山下茂（立命館大学情報理工学部情報システム学科）河内亮周（東京工業大学情報理工学研究科数理・計算科学専攻） e-mail: qit24(a)ngc.is.ritsumei.ac.jp 主催　量子情報技術時限研究専門委員会 (委員長　北川勝浩(大阪大学)) 共催　応用物理学会量子エレクトロニクス研究会

1 0

BLAST 2011
by No-Reply 10 Feb '11

10 Feb '11

BLAST 2011 June 1-5, 2011 Lawrence, Kansas http://www.math.ku.edu/conferences/blast2011/ BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first three BLAST conferences were at the University of Denver, New Mexico State University, and the University of Colorado in Boulder. Go to the BLAST 2011 website for complete details. Invited Talks * Themba Dube (University of South Africa) * Todd Eisworth (Ohio University) * Christian Herrmann (Technische Universitat Darmstadt) * Albin Jones (National Security Agency) * Milos Kurilic (University of Novi Sad) * Keye Martin (Naval Research Laboratory) * Jorge Martinez (University of Florida) * Paul Szeptycki (York University) Tutorials * Magdalena Grzech (Cracow University of Technology) * Pieter Hofstra (University of Ottawa) * Marion Scheepers (Boise State University) * Stevo Todorcevic (University of Toronto) A limited amount of financial support is available for graduate students and recent Ph.D.'s. To apply for support, send an email of request to the conference organizers. The conference organizers can be contacted at blast2011(a)math.ku.edu. A printable version of this flyer is available for download here: http://www.math.ku.edu/conferences/blast2011/announcement-flyer.pdf

1 0

[PPDP'11] Call for Papers
by Kazunori UEDA 08 Feb '11

08 Feb '11

メーリングリストをお借りして、PPDP'10 の論文募集をお送りします。論文締切は３月１５日（アブストラクトは８日）です。上田和紀＠早稲田大学 ====================================================================== CALL FOR PAPERS PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www-ps.informatik.uni-kiel.de/ppdp11/ July 20-22, 2011, Odense, Denmark (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011) ====================================================================== PPDP 2011 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will held in cooperation with ACM SIGPLAN and take place in July 2011 in Odense, Denmark, co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011). TOPICS: - Logic, Constraint, and Functional Programming - Database, AI and Knowledge Representation Languages - Visual Programming - Executable Specification Languages - Applications of Declarative Programming - Methodologies: Program Design and Development - Declarative Aspects of Object-Oriented Programming - Concurrent Extensions to Declarative Languages - Declarative Mobile Computing - Integration of Paradigms - Proof Theoretic and Semantic Foundations - Type and Module Systems - Program Analysis and Verification - Program Transformation - Abstract Machines and Compilation - Programming Environments This list is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. IMPORTANT DATES: Abstract submission: March 8, 2011 Paper submission: March 15, 2011 Notification: April 19, 2011 Camera-ready version: May 12, 2011 Symposium: July 20-22, 2011 SUBMISSION GUIDELINES: Papers should be submitted via the submission website for PPDP 2011: http://www.easychair.org/conferences/?conf=ppdp11 Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. PROCEEDINGS: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. PROGRAM COMMITTEE: Peter Achten Radboud University Nijmegen, The Netherlands Sergio Antoy Portland State University, USA Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene Kirchner INRIA, France Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Salvador Lucas Universidad Politecnica de Valencia, Spain Simon Peyton Jones Microsoft Research, Cambridge, UK Kostis Sagonas Uppsala University, Sweden Peter Schneider-Kamp University of Southern Denmark, Denmark Doaitse Swierstra Utrecht University, The Netherlands Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy Catholic University of Louvain, Belgium For more information, contact the chairs: Program Chair: Michael Hanus University of Kiel, Germany Email: mh(a)informatik.uni-kiel.de Symposium Chair: Peter Schneider-Kamp University of Southern Denmark Email: petersk(a)imada.sdu.dk ----------------------------------------------------------------------

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml