Logic-ml February 2016

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

12 participants
20 discussions

【参加募集】第108回プログラミング研究発表会【2/28, 29@東大駒場キャンパス】
by Kazutaka Matsuda 19 Feb '16

19 Feb '16

logic-mlの皆様，東北大学の松田です．複数受け取られた場合はご容赦ください．来たる2/28，29に開催される第108回プログラミング研究発表会の開催のご案内をさせて頂きたく存じます． 2015年度最後のプログラミング研究発表会は， 2月28日(日)・29日(月)に東京にて開催されます．最新情報は以下のWEBページに掲載しております． http://sigpro.ipsj.or.jp/pro2015-5/ 直前のご案内で恐縮ですが，皆様のご参加をお待ちしております．また，初日 2/28 (日) の18:00より米心 http://tabelog.com/tokyo/A1303/A130301/13159399/ にて懇親会を予定しております．参加費は5,000円前後を予定しております．懇親会参加をご希望の方は*2/25（木）までに上野まで*お知らせください．発表会自体は事前申込不要です． ------------------------------------ To: katsu [at] riec.tohoku.ac.jp Subject: PRO108 2月28日（日）の懇親会に参加します．御名前: 御所属: 区　別: 学生・一般（2月25日（木）までにお知らせ下さい．） ---------------------------------------- 担当: 松田一孝 (東北大学)，上野雄大（東北大学） ================================================================= 情報処理学会第108回プログラミング研究発表会プログラム ================================================================= 日程：2015年2月28日(日)・29日(月) 会場：東京大学駒場キャンパス 15号館 409号室　　　〒153-8902東京都目黒区駒場3-8-1 　　　最寄り駅: 京王井の頭線駒場東大前駅 ※　1件あたり45分 (発表25分，質疑・討論20分) 　　○印が発表者 # 2016年2月28日（日） −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 10:30–11:15 関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法　○新田祐児（東北大学大学院情報科学研究科）　　上野雄大（東北大学電気通信研究所）　　大堀淳（東北大学電気通信研究所） 11:15–12:00 コンパイラ実装言語で中間表現データ構造を記述するための言語機構　○田畑憲太（東北大学大学院情報科学研究科）　　上野雄大（東北大学電気通信研究所）　　大堀淳（東北大学電気通信研究所） −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 12:00–13:00 休憩 −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 13:30–14:15 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能　○宮井亜人夢（近畿大学大学院総合理工学研究科）　　加藤暢（近畿大学大学院総合理工学研究科）　　樋口昌宏（近畿大学大学院総合理工学研究科）　　大山博史（広島商船高等専門学校） 14:15–15:00 手続き抽象化機能をもつプログラミング言語による 3D 印刷　○金田泰（Dasyn） 15:00–15:45 Declaring Constraints on Object-oriented Collections 　　Tim Felgentreff (Hasso Plattner Institute), 　○Robert Hirschfeld (Hasso Plattner Institute) 　　Maria Graber (Hasso Plattner Institute) 　　Alan Borning (University of Washington) 　　増原英彦（東京工業大学数理・計算科学専攻） −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 15:45–15:55 休憩 −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 15:55–16:20 拡大運営委員会（全員参加可能） −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 18:00— 懇親会@米心 # 2016年2月29日（月） −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 10:00-10:45 Implementing a Putback-based Bidirectional Transformation Language for Relational Databases Using BiGUL 　○Tao Zan（総合研究大学院大学）　　Li Liu（上海交通大学）　　Hsiang-Shang Ko（国立情報学研究所）　　Zhenjiang Hu（国立情報学研究所，総合研究大学院大学） 10:45-11:30 Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel 　　李翀（国立情報学研究所）　○Le-Duc Tung（総合研究大学院大学）　　孟晓東（上海交通大学）　　胡振江（国立情報学研究所，総合研究大学院大学） 11:30-12:15 C＃のためのコンテキスト指向プログラミングとStrategyパターンの比較　○上條弘貴（東海大学大学院情報通信学研究科）　　渡辺晴美（東海大学大学院情報通信学研究科） −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 12:15–13:30 休憩 −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 13:30–14:15 規則違反コードの構造を反映した木パタンを用いるコード検査器　○中村真也（高知工科大学）　　鵜川始陽（高知工科大学）　　馬谷誠二（京都大学大学院情報学研究科） 14:15–15:00 有効範囲を既知のコールパスに限定するRuby向けの安全なクラス拡張 Method seals 　○福室嶺（東京大学大学院情報理工学系研究科）　　千葉滋（東京大学大学院情報理工学系研究科） 15:00–15:45 A Polyhedral Framework for X10 Programs 　○堀江倫大（日本アイ・ビー・エム）　　竹内幹雄（日本アイ・ビー・エム）　　河内谷清久仁（日本アイ・ビー・エム）

1 0

CSセミナーin桐生
by Fujita Kenetsu 16 Feb '16

16 Feb '16

(* Apologies for any cross-postings. *) 皆様，講演会のご案内です． http://www.cs.gunma-u.ac.jp/~fujita/research/20160229Seminar.html どうぞお気軽にお立ち寄りください．問い合わせ先：群馬大学　藤田憲悦 **************************************************************************************************** +++ Computer Science Seminar in Kiryu +++ Programme Monday, February 29, 2016 14:00—15:30 Lecture room J3 (the building no. 6), Kiryu campus, Gunma University “Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems” Professor Aart Middeldorp (University of Innsbruck, Austria) Abstract: The first-order theory of rewriting is decidable for finite left-linear right-ground rewrite systems. We present a new tool that implements the decision procedure, which is based on tree automata techniques, for this theory. The tool offers the possibility to synthesize rewrite systems that satisfy properties that are expressible in the first-order theory of rewriting. In the talk, which is based on joint work with Franziska Rapp, we explain the decision and synthesis algorithms and demonstrate the tool. No knowledge of term rewriting is assumed. ************************************************************************************************************ Access to Kiryu campus, Gunma University: http://www.st.gunma-u.ac.jp/other/14.html Map of Kiryu campus: http://www.st.gunma-u.ac.jp/other/13.html For more information, please contact at the following \beta-normal form: (\lambda X. fujitX(a)cs.gunmX-u.Xc.jp)a (Ken-etsu Fujita, Gunma University). ----------------------------------------------------------------------------------------------------------

1 0

CFP - INTERNATIONAL JOURNAL OF COMPUTATIONAL LINGUISTICS (IJCL)
by J. Steward 15 Feb '16

15 Feb '16

CALL FOR PAPERS International Journal of Computational Linguistics (IJCL) ISSN - 2180-1266 http://www.cscjournals.org/journals/IJCL/description.php Computational linguistics is an interdisciplinary field dealing with the statistical and/or rule-based modeling of natural language from a computational perspective. Today, computational language acquisition stands as one of the most fundamental, beguiling, and surprisingly open questions for computer science. International Journal of Computational Linguistics (IJCL) is a peer review open access bi-monthly journal providing a scientific forum where computer scientists, experts in artificial intelligence, mathematicians, logicians, cognitive scientists, cognitive psychologists, psycholinguists, anthropologists and neuroscientists can present research and experimental studies. The journal publishes papers that describe state-of-the-art techniques, scientific research studies and results in computational linguistics in general but computational models, corpus linguistics, computational theories, information retrieval and extraction, linguistics modeling techniques, linguistics theories, machine translation, natural language processing, quantitative linguistics, speech analysis and speech recognition in particular. IJCL invite linguistic specialists, researchers and scientists from different domains to share their understanding and contributions towards linguistics that set scientific objectives and demonstrate the operation of new methods in the field of computational linguistics. EDITORIAL BOARD MEMBERS Dr. Michal Ptaszynski - Hokkai-Gakuen University (Japan) Dr. Pascaline Merten - HEB-ISTI (Belgium) Dr. Pawel Dybala - Otaru University of Commerce (Japan) Dr. John Hanhong LI - (China) Dr. Stephen Doherty - Dublin City University (Ireland) LIST OF TOPICS Comparative Surveys that Critique Previously Repor Computational Linguistics Computational Models Computational Theories Corpus Linguistics Formal Linguistics-Theoretic and Grammar Induction Information Retrieval and Extraction Language Generation Language Learning Linguistics Modeling Techniques Linguistics Theories Machine Translation Models of Language Change and its Effect on Lingui Models that Address the Acquisition of Word-order Models that Combine Linguistics Parsing Models that Employ Statistical/probabilistic Gramm Models that Employ Techniques from machine learnin Natural Language Processing Quantitative Linguistics Speech Analysis/Synthesis Speech Recognition/Understanding Spoken Dialog Systems Web Information Extraction/Mining IMPORTANT DATES Paper Submission - February 29, 2016 Author Notification - March 31, 2016 Issue Publication - April 2016 PAPER SUBMISSION DETAILS In order to submit the paper, you need to register as author and then submit the paper through Author Dashboard. It is also important to ensure that the manuscript must be formatted as per IJCL Manuscript Preparation Guidelines. For further information, please refer to the following information. IJCL Website - http://www.cscjournals.org/journals/IJCL/description.php Submission Guidelines - http://www.cscjournals.org/journals/IJCL/submission-guidelines.php Register as Author - http://www.cscjournals.org/login.php CSC-OpenAccess Library - http://www.cscjournals.org/library/oa-library.php Call for EDITORS International Journal of Computational Linguistics (IJCL) seeks applications from enthusiastic researchers and scholars who can oversee and maintain the editorial direction of the journal to ensure a steady flow of engaging and thought-provoking original research publications. IJCL is a peer-reviewed International journal dedicated to publishing an open access original research, reports, and reviews. For future improvement and development, IJCL particularly seeks editors who can continue the enduring and ongoing editorial successes to next level and introduce the journal profile to different libraries and research centers around the globe. IJCL welcome applications from editors with strong academic background and Internationally recognized reputation. Applicants with significant publishing or reviewing experience will be preferred. To qualify for the post of editorial board member (EBM), Associate Editor-in-Chief (AEiC) or Editor-in-Chief (EiC) applicants must have PhD degree having wide experience in academic/Industry/ research and international conferences. For more information on editorial role & responsibilities, benefits & privileges and application criteria to apply for editorial collaborations with IJCL-CSC Journals, please refer to the following URLs. Editors Guidelines - http://www.cscjournals.org/editors/editors-guidelines.php Call For Editors - http://www.cscjournals.org/journals/IJCL/call-for-editors.php Please do not hesitate to contact us at cscpress(a)cscjournals.org if you require more information prior to submission. Our team is committed to provide quick response and support from submission to final publication. Sincerely Editorial Board Members International Journal of Computational Linguistics (IJCL) Computer Science Journals (CSC Journals) B-5-8 Plaza Mont Kiara, Mont Kiara 50480, Kuala Lumpur, Malaysia Phone: 00603 6204 5627 Fax: 00603 6204 5628 Url: http://www.cscjournals.org

1 0

Fwd: 松山 TGSAセミナーのお知らせ（３月２日）
by Hiroshi Fujita 14 Feb '16

14 Feb '16

こんにちは。愛媛大学の藤田です。次回の松山TGSAセミナーの案内を転送します。重複してお受け取りの場合はご寛恕を願います。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学大学院理工学研究科数理物質科学専攻 -------- Forwarded Message -------- Subject: 松山 TGSAセミナーのお知らせ（３月２日） Date: Sat, 13 Feb 2016 11:35:12 +0000 From: Dmitri SHAKHMATOV <dmitri.shakhmatov(a)dmitri.math.sci.ehime-u.ac.jp> To: fujita.hiroshi.mh(a)ehime-u.ac.jp CC: dmitri.shakhmatov(a)dmitri.math.sci.ehime-u.ac.jp 皆様、「Matsuyama Seminar on Topology, Geometry, Set Theory and their Applications」（松山TGSAセミナー）のお知らせです。研究の背景、動機から講演していただきますので、お気軽にご参加ください。 ***** 第19回のセミナー日時: 2016年3月2日（水） 16:30〜17:30 場所: 愛媛大学理学部2号館2階，大演習室 (201号室) 講演者: Alejandro Dorantes-Aldama (Universidad Nacional Autonoma de Mexico, Visiting Foreign Researcher of Ehime University) （メキシコ国立自治大学・愛媛大学外国人客員研究員）題目: Almost irresolvable spaces Abstract: A topological space X is almost resolvable if X is the union of a countable collection of subsets each of them with empty interior. We prove that under the Continuum Hypothesis, the existence of a measurable cardinal is equivalent to the existence of a Baire crowded ccc almost irresolvable T_1 space. We also prove that: (1) Every crowded ccc space with cardinality less than the first weakly inaccessible cardinal is almost resolvable. (2) If 2^{\omega} is less than the first weakly inaccessible cardinal, then every T_2 crowded ccc space is almost resolvable. 講演終了後に交流会を予定しています。交流会にご参加いただける方はシャクマトフ <dmitri.shakhmatov(a)ehime-u.ac.jp>までご一報お願い致します。以上、よろしくお願い申し上げます。世話人（五十音順）井上友喜尾國新一シャクマトフディミトリ野倉嗣紀平出耕一平田浩一藤田博司山内貴光 --- ウェブページ： http://www.math.sci.ehime-u.ac.jp/MTGSA.ja.html

1 0

SYSMICS 2016 call for abstracts
by 小野寛晰 09 Feb '16

09 Feb '16

[Apologies for multiple copies] =================================================== SYNTAX MEETS SEMANTICS (SYSMICS 2016) =================================================== 5-9 September 2016, Barcelona (Spain) http://sysmics-16.iiia.csic.es <applewebdata://B943638A-7D3E-427F-AFE9-BACDAF841E21/redir.aspx?REF=3JrhEPnWJhwDmPZQ96mbMm4AzZ8sc_ctIquEEEp-etY-za6EzjDTCAFodHRwOi8vc3lzbWljcy0xNi5paWlhLmNzaWMuZXMv> ***** (PRELIMINARY) CALL FOR ABSTRACTS ***** Scope --------- Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This open conference is the first of a series of meetings planned in the SYSMICS RISE project (http://logica.dmi.unisa.it/sysmics/ <applewebdata://B943638A-7D3E-427F-AFE9-BACDAF841E21/redir.aspx?REF=qdlC0cxPfFZ_fCN0wUjwAcIRa-ScwOLHWRs6wFFw4f0-za6EzjDTCAFodHRwOi8vbG9naWNhLmRtaS51bmlzYS5pdC9zeXNtaWNzLw..>) during 2016-2019. Featured topics --------------------- Contributed talks can be on any topic related to substructural logic. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebraic aspects of logic * Categorical methods in logic * Gentzen systems * Lattice theory * Lattices with operators * Linear logic * Mathematical fuzzy logic * Non-classical logics * Ordered algebraic structures * Proofs and Types * Stone-type dualities * Topological semantics Programme Committee ------------------------------ Stefano Aguzzoli (University of Milano) Nick Bezhanishvili (University of Amsterdam) Agata Ciabattoni (Vienna University of Technology) Petr Cintula (Czech Academy of Sciences) Pilar Dellunde (Autonomous University of Barcelona) Brunella Gerla (University of Insubria) Lluis Godo (CSIC - IIIA Barcelona) Ramon Jansana (University of Barcelona) Jan Kühr (University of Olomouc) Antonio Ledda (University of Cagliari) George Metcalfe (University of Bern) Carles Noguera (Czech Academy of Sciences) Luca Spada (University of Salerno, chair) Organising Committee ------------------------------ Pilar Dellunde (Autonomous University of Barcelona) Joan Gispert (University of Barcelona) Ramon Jansana (University of Barcelona) Lluis Godo, (CSIC - IIIA Barcelona, Chair) Diego Valota (CSIC - IIIA Barcelona) Dates --------------------------- Deadline for submissions 30 April 2016 Notification of acceptance 30 May 2016 Conference dates 5-9 September 2016 Submissions ------------------------------ The Programme Committee accepts submissions of abstracts ranging from 2 to 4 pages. The abstracts should be formatted according to EasyChair style, instructions can be found at http://easychair.org/publications/easychair.zip <applewebdata://B943638A-7D3E-427F-AFE9-BACDAF841E21/redir.aspx?REF=I3icUbodjNiO_GfCHFENkLALHlEA8BSgN_dIoQoFWlc-za6EzjDTCAFodHRwOi8vZWFzeWNoYWlyLm9yZy9wdWJsaWNhdGlvbnMvZWFzeWNoYWlyLnppcA..> . Abstracts can be submitted at the following address: https://easychair.org/conferences/?conf=sysmics2016 <applewebdata://B943638A-7D3E-427F-AFE9-BACDAF841E21/redir.aspx?REF=cJ7bDbGAj3zV8a4bwPMz8F93-rTaMHzOPtpe4ELlaTc-za6EzjDTCAFodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9c3lzbWljczIwMTY.> A short text-only abstract will also be requested during submission. Expression of interest ------------------------------ Expressions of interests will be greatly appreciated, please fill in the simple form on the conference web site under "Express Interest". This will help the Organising Committee with their planning. You can also opt-out from receiving future announcements by following the instructions on the web site. More Information ----------------------- SYSMICS 2016 web site: http://sysmics-16.iiia.csic.es <applewebdata://B943638A-7D3E-427F-AFE9-BACDAF841E21/redir.aspx?REF=3JrhEPnWJhwDmPZQ96mbMm4AzZ8sc_ctIquEEEp-etY-za6EzjDTCAFodHRwOi8vc3lzbWljcy0xNi5paWlhLmNzaWMuZXMv> Use this site for updates on the program, invited speakers and local information, including hotel accommodations, travel information and registration. Any queries regarding the conference should be sent to sysmics-oc(a)iiia.csic.es <applewebdata://B943638A-7D3E-427F-AFE9-BACDAF841E21/redir.aspx?REF=tKqFlroc_eIKlpqFgMTlQ9Xf6dfQdHH2L4kOQ4Thdgk-za6EzjDTCAFtYWlsdG86c3lzbWljcy1vY0BpaWlhLmNzaWMuZXM.>.

1 0

AiML-2016: 2ND CALL FOR PAPERS
by 小野寛晰 09 Feb '16

09 Feb '16

(sorry for multiple copies) AiML-2016: 2ND CALL FOR PAPERS 11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016 http://phil.elte.hu/aiml2016/ <http://phil.elte.hu/aiml2016/> 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 <http://www.aiml.net/>. AiML-2016 is the 11th 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. PAPER SUBMISSIONS There will be two types of submissions to AiML-2016: (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://easychair.org/conferences/?conf=aiml16 <https://easychair.org/conferences/?conf=aiml16> 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-2016 will be published by College Publications http://www.collegepublications.co.uk <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 will be provided on the AiML-2016 website http://phil.elte.hu/aiml2016/ <http://phil.elte.hu/aiml2016/> in due time. We also ask authors of full papers to submit the abstract in plain text via EasyChair by 10 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. INVITED SPEAKERS INCLUDE: Kit Fine (New York University, USA) Sonja Smets (ILLC, Universiteit van Amsterdam) Yde Venema (ILLC, Universiteit van Amsterdam) Guram Bezhanishvili (New Mexico State University) LOCAL ORGANIZING COMMITTEE Tamas Bitai (Eotvos University, Budapest, Hungary) Reka Markovich (Eotvos University, Budapest, Hungary) Andras Mate (Eotvos University, Budapest, Hungary) Péter Mekis (Eotvos University, Budapest, Hungary) Attila Molnar (Eotvos University, Budapest, Hungary) Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Carlos Areces (FaMAF, Universidad Nacional de Córdoba) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (FNWI ILLC) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Serenella Cerrito (Laboratoire IBISC, Evry France) Stéphane Demri (LSV, CNRS, ENS Cachan) Valeria de Paiva (Nuance, USA) David Fernandez-Duque (Instituto Tecnológico Autónomo de México) Melvin Fitting (Lehman College, CUNY, USA) David Gabelaia (The Free University of Tbilisi, Tbilisi, Georgia) Silvio Ghilardi (Università degli Studi di Milano, Italy) Valentin Goranko (Stockholm University) Rajeev Gore (The Australian National University) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Martin Lange (University of Kassel, Germany) Carsten Lutz (Universität Bremen) Andras Mate (Eotvos University, Budapest, Hungary) Angelo Montanari (University of Udine) Larry Moss (Indiana University, USA) Sara Negri (University of Helsinki) Sergei Odintsov (Novosibirsk State University) Hiroakira Ono (Japan Advanced Insitute of Science and Technology) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Renate Schmidt (University of Manchester) Valentin Shehtman (Institute for the Information Transmission Problems) Viorica Sofronie-Stokkermans (Universitat Koblenz-Landau) Thomas Studer (Universität Bern) Rineke Verbrugge (Groningen, NL) Heinrich Wansing (Ruhr University Bochum) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Stephane Demri (LSV, CNRS, ENS Cachan) IMPORTANT DATES Abstracts of full papers submission deadline: 10 March 2016 Full papers submission deadline: 17 March 2016 Full papers acceptance notification: 14 May 2016 Short presentations submission deadline: 16 May 2016 Short presentations acceptance notification: 30 May 2016 Final version of full papers and short presentations due: 8 June 2016 Conference: 29 August -- 2 September 2016 FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers <http://phil.elte.hu/aiml2016/?page=call_for_papers> ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml16(a)easychair.org <mailto:aiml16@easychair.org>

1 0

TYPES 2016
by Fujita Kenetsu 09 Feb '16

09 Feb '16

皆様， TYPES 2016のご案内をさせていただきます．どうぞよろしくお願い致します．群馬大学　藤田憲悦 -------------------------- (Apologies for multiple copies of this announcement. Please circulate.) ================================================================== CALL FOR CONTRIBUTIONS 22nd International Conference on Types for Proofs and Programs, TYPES 2016 23-26 May 2016 Novi Sad, Serbia http://www.types2016.uns.ac.rs <http://www.types2016.uns.ac.rs/> BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. INVITED SPEAKERS (NEW) Simon Gay (University of Glasgow) Dale Miller (INRIA Saclay & LIX École Polytechnique) Simona Ronchi della Rocca (Università di Torino) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts/short papers of 2 pages prepared in LaTeX and formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2016. Important Dates: * submission of abstracts: 22 February 2016 * notification of acceptance: 21 March 2016 * camera-ready version of abstracts: 11 April 2016 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to earlier TYPES conferences, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series. Submission to that volume would be open for everyone. Tentative submission deadline: October 2016. VENUE The conference will be held at the University of Novi Sad, University Central Building. SATELLITE EVENT: The 9th Workshop Computational Logic and Applications - CLA 2016 will be held on May 27-28, 2016. PROGRAMME COMMITTEE Thorsten Altenkirch (University of Nottingham) Zena Ariola (University of Oregon) Andrej Bauer (University of Ljubljana) Marc Bezem (University of Bergen) Malgorzata Biernacka (University of Wroclaw) Edwin Brady (University of St Andrews) Thierry Coquand (University of Gothenburg) Jose Espirito Santo (University of Minho) Ken-etsu Fujita (Gunma University) Silvia Ghilezan (University of Novi Sad) (co-chair) Hugo Herbelin (INRIA Paris-Rocquencourt) Jelena Ivetic (University of Novi Sad) (co-chair) Marina Lenisa (University of Udine) Elaine Pimentel (Federal University of Rio Grande do Norte) Andrew Polonsky (University Paris Diderot) Jakob Rehof (Technical University of Dortmund) Claudio Sacerdoti Coen (University of Bologna) Carsten Schürmann (IT University of Copenhagen) Dieter Spreen (University of Siegen) Wouter Swierstra (Utrecht University) Nicolas Tabareau (INRIA) Tarmo Uustalu (Tallinn University of Technology) TYPES STEERING COMMITTEE Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu. ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015). ORGANIZERS University of Novi Sad Faculty of Technical Sciences Mathematical Institute SASA CONTACT: types2016(a)uns.ac.rs <mailto:types2016@uns.ac.rs> =================================================

1 0

FLOPS2016 募集募集 (早期登録締切 2/10 (水))
by Yukiyoshi Kameyama 08 Feb '16

08 Feb '16

皆様、(重複して受け取られた場合は、御容赦ください。) 国際会議 FLOPS2016 -- Functional and Logic Programming -- の early registration の締切が 2/10 (水) となりましたので，参加募集を，再度お送りします。 FLOPS2016 は関数型および論理型プログラミングに関する国際会議で， PPL2016 の直前の 3/4-6 に、比較的近い場所で開催されます。今回のプログラムは，上田和紀先生と Atze Dijkstra さんによる招待講演， 3件のチュートリアル，そして一般講演から構成されていて，この分野の最新の情報を入手することができます．多くの皆様の参加をお待ちしています。 --------------------------------------------------------------------- Call for Participation --------------- FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 4-6, 2016, Kochi, Japan http://www.info.kochi-tech.ac.jp/FLOPS2016/ Early registration deadline is Monday, Feb 10, 2016. (extended) FLOPS aims to bring together practitioners, researchers and implementers of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. In addition to the presentations of regular research papers, the FLOPS program includes tutorials, as well as the poster/demo session for demonstrating the tools and systems described during the talks and for presenting works-in-progress and getting the feedback. FLOPS has established a Best Paper award. The winner will be announced at the symposium. INVITED TALKS Kazunori Ueda The exciting time and hard-won lessons of the Fifth Generation Computer Project Atze Dijkstra UHC: Coping with Compiler Complexity TUTORIALS Andreas Abel, on Agda Atze Dijkstra, on Attribute Grammars Neng-Fa Zhou, on programming in Picat PROGRAMME Mar 4 09:45 Opening, best-paper award 10:00 Invited talk (1h10) Kazunori Ueda: The exciting time and hard-won lessons of the Fifth Generation Computer Project 11:10 Break (0h30) 11:40 Sess 1: From proofs to programs (2x0h30) Arthur Blot, Pierre-Evariste Dagand and Julia Lawall: From Sets to Bits in Coq Wouter Swierstra and Joao Alpuim: From proposition to program: embedding the refinement calculus in Coq 12:40 Lunch (1h50) 14:30 Sess 2: Systems (2x0h30) Markus Triska: The Boolean Constraint Solver of SWI-Prolog: System Description Praveen Narayanan, Jacques Carette, Wren Romano, Chung-Chieh Shan and Robert Zinkov: Probabilistic inference by program transformation in Hakaru: System description 15:30 Break (0h30) 16:00 Sess 3: Pearls (2x0h30) Ian Mackie and Shinya Sato: An interaction net encoding of Godel's System T Taus Brock-Nannestad: Space-efficient Planar Acyclicity Constraints 17:00 Break and Posters Mar 5 09:30 Invited talk (1h10 min) Atze Dijkstra: UHC: Coping with Compiler Complexity 10:40 Break (0h30) 11:10 Sess 4: Logic Programming for type systems (2x0h30) Ki Yung Ahn and Andrea Vezzosi: Executable Relational Specifications of Polymorphic Type Systems using Prolog Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers and Andrew Pond: Proof Relevant Corecursive Resolution 12:10 Lunch (1h50) 14:00 Sess 5: Reasoning about performance (2x0h30) Jay McCarthy, Burke Fetscher, Max New, Daniel Feltey, and Robert Bruce Findler: A Coq Library For Internal Verification of Running-Times Remy Haemmerle, Pedro Lopez-Garcia, Umer Liqat, Maximiliano Klemen, John Gallagher and Manuel V. Hermenegildo: A Transformational Approach to Parametric Accumulated-cost Static Profiling 15:00 Break (0h30) 15:30 Tutorial 1 (1h30) Neng-Fa Zhou, on programming in Picat 17:00 End 18:30 Banquet Mar 6 09:30 Sess 6: Generic specifications (2x0h30) Francisco Javier Lopez-Fraguas, Manuel Montenegro and Juan Rodriguez-Hortala: Polymorphic Types in Erlang Function Specifications Jeremy Yallop, David Sheets and Anil Madhavapeddy: Declarative foreign function binding through generic programming 10:30 Break (0h30) 11:00 Sess 7: Declarative programming with algebra (2x0h30) Akimasa Morihata: Incremental Computing with Abstract Data Structures Andre Van Delft and Anatoliy Kmetyuk: Declarative Programming with Algebra 12:00 Excursion and Lunch, 2h00 14:00 Tutorial 2 (1h30) Atze Dijkstra, on Attribute Grammars 15:30 Break (0h30) 16:00 Tutorial 3 (1h30) Andreas Abel, on Agda SPONSOR Japan Society for Software Science and Technology (JSSST), Special Interest Group on Programming and Programming Languages (SIG-PPL) IN COOPERATION WITH ACM SIGPLAN Asian Association for Foundation of Software (AAFS) Association for Logic Programming (ALP) CONTACT ADDRESS flops2016 at logic.cs.tsukuba.ac.jp ---------------------------------------------------------------------

1 0

PPL2016参加募集：第18回プログラミングおよびプログラミング言語ワークショップ
by Hiroshi UNNO 05 Feb '16

05 Feb '16

logic-ml関係者の皆様，筑波大学の海野です．複数受け取られた場合はご容赦ください． 3月7日(月)〜9日(水)に，岡山県で開催されます，第18回プログラミングおよびプログラミング言語ワークショップ (PPL2016) の参加登録を開始いたしましたので，そのご案内をお届けいたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月22日(月)です．どうぞお早めのご登録をお願い致します．また，カテゴリ3(ポスター・デモ発表)の発表申込締切が2月8日(月)17:00(JST) となっております．お申し込みをぜひご検討ください． PPL2016では，招待講演として， * 奥田遼介 (Preferred Networks) 「ディープラーニングフレームワークとChainerの実装」 * Julia Lawall (Inria) 「Finding the right level of abstraction: Program analysis and the Linux kernel」の2件を予定しております．また，PPL2016の開始予定時刻は13:30，終了予定時刻は13:00です．なお，PPL 2016 は，FLOPS 2016 (3月4日〜6日，高知市で開催)との近接開催を謳っております．こちらのearly registrationも2月8日までとなっておりますので，一緒にご検討頂けますと幸いです． -------------------------------------------------------------------------- 第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016） http://logic.cs.tsukuba.ac.jp/ppl2016/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2016年3月7日(月)～3月9日(水) 会場: 岡山県玉野市たまの温泉「ダイヤモンド瀬戸内マリンホテル」 PPL2016は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． http://logic.cs.tsukuba.ac.jp/ppl2016/registration/ 参加登録締切：2月22日(月) 問い合わせ先：ppl2016-oc(a)logic.cs.tsukuba.ac.jp ====================================================================== プログラム委員会青戸等人新潟大学安部達也千葉工業大学岩崎英哉電気通信大学上野雄大東北大学鵜川始陽高知工科大学江本健斗九州工業大学角谷良彦東京大学河内谷清久仁日本IBM 木村大輔東邦大学櫻井孝平金沢大学佐藤重幸東京大学佐藤芳樹東京大学佐藤亮介東京大学滝本宗宏東京理科大学田辺良則鶴見大学対馬かなえ国立情報学研究所平井洋一 FireEye Dresden 平石拓京都大学森口草介関西学院大学八杉昌宏九州工業大学横山哲郎南山大学組織委員会海野広志筑波大学 [組織委員長] 塚田武志東京大学対馬かなえ国立情報学研究所松田一孝東北大学末永幸平京都大学上野雄大東北大学青戸等人新潟大学 [プログラム共同委員長] 鵜川始陽高知工科大学 [プログラム共同委員長] --------------------------------------------------------------------------

1 0

Kusatsu Seminar 2016
by Toshihiko Kurata 02 Feb '16

02 Feb '16

皆様，ラムダ計算と論理のセミナーが計画されていますので御案内をさせて頂きます．春休みに研究上の議論を進めたいと考えている個人・グループの皆様，気軽にこの機会を御活用頂けたらと思います．期間：2016年3月19日ー23日場所：国立大学草津セミナーハウス申込み等の詳細情報は http://www.i.hosei.ac.jp/~kurata/2016LLS/ にありますので御覧下さい．よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2016