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

HSCC 2014: Call for Papers
by Kohei SUENAGA 21 Aug '14

21 Aug '14

（複数お受け取りの場合はご容赦ください．）皆様，京都大学の末永と申します．来年4月にシアトルで開かれるハイブリッドシステムに関する国際会議 HSCC 2015 の論文募集です．アブストラクト締切が 2014 年 10 月 13 日，論文締切が 2014 年 10 月 20 日です．どうぞ投稿をご検討くださいませ． -- 18th International Conference on Hybrid Systems: Computation and Control April 14-16, 2015 Seattle, USA. URL: http://2015.hscc-conference.org/ Important dates Abstract Submission deadline: October 13, 2014. Full Paper Submission deadline: October 20, 2014. (no extensions possible). Rebuttal phase: December 4 to December 7, 2014. Author notification: December 17, 2014. Camera-ready submission: February 3, 2015. Conference dates: April 14-16, 2015. Conference Scope Hybrid Systems: Computation and Control (HSCC) has long been a leading, single-track conference on foundations, techniques, and tools for analysis, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications include cyber-physical systems (CPS), mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models. In particular, we solicit theoretical as well as applied research papers that present original work combining ideas from computer science and control systems. Topics of interest include, but are not limited to: - Design, synthesis and control - Analysis and verification - Computability and complexity - Programming languages, specification formalisms - Software tool engineering and experimentation - Real-time and resource-aware control for embedded systems - Network science and control over networks - Applications in automotive, avionics, energy, mobile robotics, medical devices, manufacturing, systems biology, transportation, and other areas HSCC 2015 will be part of the 8th CPSWeek (Cyber-Physical Systems Week) to be held in Seattle, USA, collocating 5 conferences: HSCC, the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Conference on High Confidence Networked Systems (HiCoNS), and the Real-Time and Embedded Technology and Applications Symposium (RTAS). Special Issue: Authors of distinguished papers will be invited to submit an extended version of their work for possible publication in a special issue of the journal Nonlinear Analysis: Hybrid Systems. Best Student Paper Award: As established in the previous years, a best student paper award will be given to a contribution which has been primarily authored by a student. Each paper nominated for this award should be co-authored primarily by a student (as certified by the student’s faculty advisor). Repeatability Evaluation: HSCC has a history of publishing strong papers emphasizing computational contributions; however, recreating these computational elements is hard, because details of the implementation are unavoidably absent in the paper. Following a successful inaugural run in 2014, authors of papers accepted to HSCC (in any track) that contain a computational component will be invited to participate in an optional repeatability evaluation process after final submission of the paper in February. Papers that pass will be highlighted at the conference, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Review criteria and suggestions on how to get started on reproducible research are posted at the conference web page (http://2015.hscc-conference.org). Submission Guidelines Submitted papers should present original research that is unpublished and not submitted elsewhere. Regular papers: maximum 10 pages in the 10pt, two-column ACM format. Submission by October 20, 2014 through the EasyChair system. Regular papers should present original research or industrial applications of techniques for design and/or analysis of hybrid systems, or their integration into industrial design flows. Tool and Case-Study papers: maximum 6 pages in the 10pt, two-column ACM format. Submission by October 20, 2014 through the EasyChair system. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques. Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2015 EasyChair submission website: https://www.easychair.org/conferences/?conf=hscc2015 Demo/poster abstracts: Approximately 2 pages. Submission by January 10, 2015 through email to hscc2015(a)easychair.org with “HSCC demo/poster submission” in the subject line. Questions should be directed to the same address. Demo/poster abstracts serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings. Program Chairs Antoine Girard, University of Grenoble, France. Sriram Sankaranarayanan, University of Colorado, Boulder, USA. Publicity Chair Sayan Mitra, University of Illinois, Urbana-Champaign, USA. Repeatability Evaluation Chair Ian Mitchell, University of British Columbia, Vancouver, Canada. Program Committee Erika Abraham, RWTH Aachen University, Germany Matthias Althoff , TU Ilmenau, Germany Shun-ichi Azuma, Kyoto University, Japan Hamsa Balakrishnan, MIT, USA Mireille Broucke, University of Toronto, Canada Krishnendu Chatterjee , IST Austria, Austria Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Motors, USA Alexandre Donzé , UC Berkeley, USA Georgios Fainekos, Arizona State University, USA Eric Feron, Georgia Institute of Technology, USA Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Eric Goubault, CEA France and Ecole Polytechnique, France Radu Grosu, Vienna University of Technology, Austria Maurice Heemels, TU Eindhoven, Netherlands Jun-ichi Imura, Tokyo Institute of Technology, Japan (Samuel) Qing-Shan Jia, Tsinghua University, PR China Marta Kwiatkowska, Oxford University, England Kim Larsen, Aalborg University, Denmark Javad Lavaei, Columbia University, USA John Lygeros, ETH Zurich, Switzerland Sayan Mitra, University of Illinois at Urbana Champaign, USA Jens Oehlerking , Robert Bosch GmbH, Germany Meeko Oishi, University of New Mexico, USA Necmiye Ozay, University of Michigan, USA Carla Piazza, University of Udine, Italy Andre Platzer , Carnegie Mellon University, USA Pavithra Prabhakar, IMDEA Software Institute, Spain Maria Prandini, Politecnico di Milano, Italy Daniel Quevedo, University of Newcastle, Australia Jörg Raisch, TU Berlin, Germany S Ramesh, General Motors, USA Kohei Suenaga, Kyoto University, Japan Danielle Tarraf, Johns Hopkins University, USA P.S. Thiagarajan, National University of Singapore, Singapore Ufuk Topcu, University of Pennsylvania, USA Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Majid Zamani, Technical University of Munich, Germany Naijun Zhan, Chinese Academy of Sciences, PR China\ Steering Committee Rajeev Alur, University of Pennsylvania, USA Bruce Krogh, Carnegie-Mellon University, USA Oded Maler, Verimag, France Claire Tomlin, University of California Berkeley, USA Werner Damm, OFFIS, Germany

1 0

Call for Participation, ICTAC 2014, 16-19 Sept, Bucharest
by Gabriel Ciobanu 21 Aug '14

21 Aug '14

CALL FOR PARTICIPATION -- 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 aiming to bring together practitioners and researchers from academia and industry 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. In 2014, ICTAC colloquium will be held in Romania, a nice place to visit which also has a strong research community in theoretical computer science. INVITED TALKS: ************** * Jin-Song Dong (National University of Singapore) Event Analytics: The PAT Approach * Cristian Calude (University of Auckland, New Zealand) Probabilistic Solutions to Undecidable Problems * Razvan Diaconescu (Institute of Mathematics, Romanian Academy) From Universal Logic to Computer Science, and Back ****************************************************************** Preliminary Program: http://fmi.unibuc.ro/ictac2014/program.html ****************************************************************** On 16th September, 2014: - Free Tutorial by Jin-Song Dong (NUS): "Pervasive Model Checking" - Workshop "Theory Day in Computer Science" http://apaun0.wix.com/theoryday VENUE & REGISTRATION: ********************* Central University Library of Bucharest, "King Carol I" Hall. http://fmi.unibuc.ro/ictac2014/venue.html Registration on line through http://fmi.unibuc.ro/ictac2014/registration.html See You in Bucharest, at ICTAC 2014!

1 0

再送：数学基礎論若手の会
by Satoru YOSHIDA 19 Aug '14

19 Aug '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014のご案内です。数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日程：11月19日（水）午後－21日（金）午前場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） http://www.city.tottori.lg.jp/www/contents/1198114185831/ 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ 今年度若手の会申込み要領については上記ホームページをご参照ください。 -- 吉田聡<YOSHIDA Satoru> 鳥取環境大学

1 0

APLAS 2014: Call for Posters and Demos
by Jacques Garrigue 16 Aug '14

16 Aug '14

皆様、 11月にシンガポールで開催されるAPLASでは、ポスターとデモも募集しています。よろしくご検討下さい。 Jacques Garrigue --------------------------------------------------------------------- Call for Posters and Demos: APLAS 2014 12th Asian Symposium on Programming Languages and Systems November 17-19, 2014 Singapore http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ Submission due: 15 September 2014 (Monday), 23:59 GMT Notification: 22 September 2014 (Monday) ========== 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. APLAS 2014 will include a poster and demo session during the conference. The poster session aims to give students, researchers and professionals an opportunity to present technical materials to the research community, and to get responses from other students, researchers and professionals in the field. ===== SCOPE ===== Poster and demo contributions are sought in all areas of programming languages and systems, including the following topics: - 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. ========== SUBMISSION ========== Each presenter should submit a 1-2 page abstract in PDF via the submission web page, https://easychair.org/conferences/?conf=aplas2014ps , by 15 September 2014 (Monday), 23:59 GMT. The abstract should include the title, style of the presentation (poster only or poster plus demo), author(s), affiliation(s) and summary of the work. Abstracts must be written in English using the Springer LNCS format. We will announce the accepted presentations on 22 September 2014. We hope to accommodate every presentation, but may restrict them (based on relevance and interest to the community) due to space constraints. The format of the poster will be announced later. =============== IMPORTANT DATES =============== Submission due: 15 September 2014 (Monday), 23:59 GMT Notification: 22 September 2014 (Monday) Conference: 17-19 November 2014 (Monday-Wednesday) ======= CONTACT ======= Poster chair: Cristian Gherghina (SUTD, Singapore) Email: cristian_gherghina at sutd.edu.sg

1 0

CFP: LENLS11 (Logic and Engineering of Natural Language Semantics 11)
by Koji Mineshima 14 Aug '14

14 Aug '14

（重複して受け取られた場合はご容赦ください）今年の１１月に東京で開催される LENLS 11 国際ワークショップのご案内をお送り致します。締め切りを8月25日まで延長しました。皆様のご参加をお待ちしております。峯島宏次（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FINAL CALL FOR PAPERS || Deadline Extended !! Logic and Engineering of Natural Language Semantics 11 (LENLS 11) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : November 22-24, 2014 Contact Person: Koji Mineshima (Ochanomizu University) Contact Email : lenls11[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Koji Mineshima (Ochanomizu University) Co-chair: Daisuke Bekki (Ochanomizu University /National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speakers: - Chris Barker (New York University) - Kimiko Nakanishi (Ochanomizu University) - Matthew Stone (Rutgers University) - Christopher Tancredi (Keio University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) (http://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax of natural language - Formal semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Continuations in natural language - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - (Formal) Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (up to 4 pages, including figures and references, A4 or letter size, with 12 point font) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls11 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers: ================ We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Student Session: ================ This year we will organize the Student Session of LENLS 11. We invite submissions from students (i.e., those students who have not received their PhD degree before November 2014). This session will provide an opportunity for students to get feedback from other researchers, so we encourage submission of work in progress. Papers co-authored by non-students may be submitted, but the primary author must be a student who will present the paper. The submission guidelines are the same as those for regular submission as described above. One may not submit the same paper both to the main session and to the student session. Also, students may not submit more than one (single-authored or joint-authored) paper to the student session. Submitted student papers will be peer-reviewed. All accepted papers will be included in the proceedings. The best student paper prize will be awarded.All accepted student papers will be considered for this award. A selection of revised versions of accepted papers will be published by Springer Verlag in Lecture Notes in Artificial Intelligence (LNAI) series. A limited number of travel grants will be available to those students who are presenting a paper at the Student Session. Authors of accepted student papers will be informed about further details. Important dates: ================ Abstract submission deadline: August 25, 2014 (EXTENDED) Notification of acceptance: September 30, 2014 Deadline for camera-ready copy: October 31, 2014 LENLS11: November 22-24, 2014 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://www.extreme-bigdata.jp/workshop/jebdp-1/speakers.html#SadaoKurohashi) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Koji Mineshima (Ochanomizu University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (Tohoku University) - Richard Dietz (University of Tokyo) - Eric McCready (Aoyama Gakuin University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (West Japan Railway Company) - Kei Yoshimoto (Tohoku University)

1 0

ドメイン名の変更
by Atsushi Igarashi 13 Aug '14

13 Aug '14

logic-ml購読のみなさま，五十嵐＠京大％logic-ml管理人です． logic-ml のアドレスのドメイン名部分を変更いたします．旧) logic-ml(a)sato.kuis.kyoto-u.ac.jp 新) logic-ml(a)fos.kuis.kyoto-u.ac.jp 現在はどちらののアドレスでも投稿を受け付けておりますが， 2014年8月31日をもちまして旧アドレスを廃止いたします．不明な点があればお問い合わせください．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Leon Horsten 氏の公理的真理理論講演会のお知らせ（8/22）
by Shunsuke Yatabe 13 Aug '14

13 Aug '14

重複して受け取られたかたはご容赦ください。下記のとおりに Leon Horsten 氏（ブリストル大学）の公理的真理理論に関する講演会を開催いたします。どうぞふるってご参加ください。矢田部俊介記日時：2014年8月22日（金）17時から場所：お茶の水女子大学理学部３号館６０２時間：17:00-19:00 〒112-8610 東京都文京区大塚2-1-1 理学部3号館306（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。題目："Truth, semantic paradox, and meaning" 詳細url: http://researchmap.jp/jokd58wzx-21098/#_21098 事前登録は不要です。講演は英語で行われます。講演者について Leon Horsten 氏はブリストル大学哲学科教授で、専門は真理理論。詳しくは以下のウェブページを参照してください。 http://www.bristol.ac.uk/school-of-arts/people/leon-f-horsten/ 問い合わせ先：矢田部俊介 shunsuke.yatabe(a)gmail.com [Apologies for multiple copies] Professor Leon Horsten will give a lecture on September 3rd at Nagoya University. Time: 17:00- August 22, 2014 Place: The room 602, the 3rd building, faculty of Science, Ochanmizu University, Tokyo Title: `"Truth, semantic paradox, and meaning" No registration is required. About the Lecturer Professor Leon horsten is a p Professor of Philosophy, Department of Philosophy, University of Bristol His research interests are truth theories. For more information, visit http://www.bristol.ac.uk/school-of-arts/people/leon-f-horsten/ Contact Information Shunsuke Yatabe shunsuke.yatabe(a)gmail.com 以上

1 0

千葉 logic seminar
by arai toshiyasu 11 Aug '14

11 Aug '14

みなさま新井@千葉大学です。千葉 logic seminar の第3回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：8月28日(木)14:00-15:30 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：山形賴之（産総研）タイトル： On separation of bounded arithmetic through a consistency statement アブストラクト: In this talk, we show that Buss's bounded arithmetic S22 can prove consistency of PV-, the system obtained from Cook and Urquhart's PV by removing induction. Since Buss and Ignjatovic show that S12 cannot prove the consistency of PV- enriched by propositional logic and BASIC axioms, our result is interesting although it does not directly imply S22 != S12. ------------------------------------------

1 0

[2nd CfP] 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)
by Takashi KITAMURA 11 Aug '14

11 Aug '14

# 重複してお受け取られた場合はご容赦願います。みなさま、産業技術総合研究所の北村です。今年11月にルクセンブルクにて開催される国際ワークショップ FTSCS2014 の2回目の論文募集の案内をお送りいたします。本ワークショップのプロシーディングスは Springer の CCIS より発行され、DBLP や Google Scholar、 EI-Compendex、Mathematical Reviews などにインデックスされる予定です。また、本ワークショップのプロシーディングスを基に、Elsevier の Science of Computer Programming 誌で特集号が企画される予定です。是非論文の投稿をご検討ください。 --------------------------------------------------------------------- Call for Papers FTSCS 2014 3rd International Workshop on Formal Techniques for Safety-Critical Systems Luxembourg, November 6-7, 2014 (satellite workshop of ICFEM 2014) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2014. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2014. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 6, 2014 Notification of acceptance: October 3, 2014 Workshop: November 6/7, 2014 Venue: Luxembourg Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd Univ. of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Kyungmin Bae University of Illinois at Urbana-Champaign, USA Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu Nanyang Technological University, Singapore Frederic Mallet INRIA Sophia Antipolis, France Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Jackie Wang McMaster University, Canada Michael Whalen University of Minnesota, USA Huibiao Zhu East China Normal University, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073 Internal Tel: *33-274-71902

1 0

RIMS研究集会「集合論における無限組み合わせ論とその応用」
by Toshimichi Usuba 09 Aug '14

09 Aug '14

皆様１１月１０日（月）〜１３日（木）に京都大学数理解析研究所で開催される公理的集合論に関する研究集会「集合論における無限組み合わせ論とその応用」についてご案内申し上げます。集会のウェブページは　http://www2.kobe-u.ac.jp/~usuba/RIMS2014/index.html になります。講演を希望される方は　usuba(a)people.kobe-u.ac.jp までご連絡ください。講演を伴わない参加に関しましては事前登録は必要ありませんが、参加人数把握のためにもご連絡をお願いいたします。また、RIMSのほうから旅費のサポートがありますので、サポートを希望される方はその旨お知らせください。ただし、講演者のサポートを優先しますのでご希望に添えない可能性がありますことをご了承願います。参加フォーム --------------------------------------------- 氏名：（日本語と英語）所属：（日本語と英語）職名：（大学院生の方は「院生」と明記してください）（講演希望の場合）講演タイトル：（日本語と英語、TBAでもかまいません）旅費サポート希望の有無：その他： --------------------------------------------- 申し込み締め切り：9月29日皆様のご参加をお待ちしております。また、翌週の１１月１７日（月）〜１１月１９日（水）に神戸大学にて渕野昌先生の還暦のお祝いを催し、数理論理学やその関連のある分野についての研究集会「Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday」が開催されます。　http://www2.kobe-u.ac.jp/~usuba/RIMS2014/index.html そちらの参加もご検討いただければ幸いです。神戸大学　薄葉　季路

1 0

1st CFP: TPP2014 Theorem Proving and Provers meeting
by Jacques Garrigue 03 Aug '14

03 Aug '14

皆様、 TPPの講演募集案内を送らせて頂きます。定理証明に興味のある方はご検討下さい。 Jacques Garrigue ------------------------[CFP: TPP2014]------------------------------- TPPミーティングについてのご案内です． (English version is below.) さて, 今年のTPPミーティングですが, 第10回を記念(!?)して, 少しだけ日程を拡大し, 12月3日(水)-5日(金)に九州大学にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです. 研究集会「高信頼な理論と実装のための定理証明および定理証明器」として, 九州大学マス・フォア・インダストリ研究所数学理論先進ソフトウェア開発室, 及び, 統計数理研究所数学協働プログラムの支援を得ることが出来ましたので, この3日間の予定の中でTPP2014を開催したいと考えています. そして, 特に, Adam Chipala 氏 (MIT, USA) Cyril Cohen 氏 (Univ. Gothenburg, Sweden) をお招きして御講演頂く予定です. 日時：2014年 12月3日(水) 13:00頃(予定) 〜 12月5日(金) 15:00頃(予定) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 参加者と講演の数を大体把握しておきたいと思いますので，参加される方は 10月半ばまでに下の参加申し込みを下記メールアドレスまでお送りください．参加者には，できるだけ講演していただければと思います．申込み・問い合わせ先: tpp2014(a)imi.kyushu-u.ac.jp (溝口佳寛) URL: http://coop-math.ism.ac.jp/event/2014E04 (注. ホームページは作成途中です. 「TPP2014 数学」で検索してみて下さい.) ------------------------------------------------------------------------- TPP 2014 参加申し込みお名前：ご所属：講演　：する／しない懇親会：参加する／参加しない講演する場合タイトル：（講演のタイトルが決まっていなければ，TBAでもかまいません．決まったらご連絡ください．）講演希望日: (○/×) 12/3 (○/×) 12/4 (○/×) 12/5 その他(ご意見/ご要望ありましたらお願いします): ------------------------------------------------------------------------- ========================================================================= This is the call for participation for the 10th TPP meeting (Theorem Proving and Provers meeting), to be held on Dec. 3(Wed) - 5(Fri), 2014 at Kyushu University. Time: 2014/12/03 around 1pm to 12/05 around 3pm Place: Kyushu University, Nishijin Plaza (2-16-23 Nishijin, Sawara-ku, Fukuoka City) http://bit.ly/QdaiNishijinPDF Invited Speakers: Adam Chipala (MIT, USA) Cyril Cohen (Univ. Gothenburg, Sweden) If you are planning to attend the meeting, please send the information slip below to the indicated address by mid-October. Submission/questions to: tpp2014(a)imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi) URL: http://coop-math.ism.ac.jp/event/2014E04 (Tentative Japanese HP. Revised English HP will be notified later.) ------------------------------------------------------------------------- TPP 2014 Registration Name: Affiliation: Will give a talk: Yes/No Will attend the party: Yes/No Title of the talk: (If it is not decided yet, TBA is OK.) Which date do you prefer to talk ? 12/3 (OK/NG) 12/4 (OK/NG) 12/5 (OK/NG) Requests for the organizer (if any): -------------------------------------------------------------------------

1 0

Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday
by Joerg Brendle 01 Aug '14

01 Aug '14

皆様、ブレンドレ＠神戸大学システム情報学研究科です。今秋は、渕野昌先生の還暦のお祝いを催し、数理論理学やその関連のある分野についての研究集会「Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday」を１１月１７日（月）から１１月１９日（水）まで神戸大学にて開く予定です。この集会のウェブページは http://kurt.scitec.kobe-u.ac.jp/~brendle/sakae60/home.html にあります。参加申込の必要はありませんが、参加者人数を把握しておきたいので、参加をご予定の方は、 brendle(a)kurt.scitec.kobe-u.ac.jp まで予めご連絡くださると助かります。この集会の直前（１１月１０日〜１３日まで）、京都大学数理解析研究所にて研究集会「集合論における無限組み合わせ論とその応用」が行われる予定です。世話人は神戸大学の薄葉季路さんです。 http://www2.kobe-u.ac.jp/~usuba/RIMS2014/index.html をご覧下さい。多くの研究者（特に、海外からの研究者）が両方の集会に参加する見込みです。どうぞご参加ください。 jörg brendle

1 0

第二十五回 ALGI の暫定プログラムと懇親会のお知らせ
by Koki Nishizawa 31 Jul '14

31 Jul '14

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十五回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのお知らせと懇親会の参加募集をさせていただきます。 **************************************************************** * 第二十五回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2014年8月19日（火）午後〜20日（水） * * 神奈川大学　横浜キャンパス３号館２０６室（神奈川県横浜市） * * * * 暫定プログラムのお知らせと懇親会の参加募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。第二十五回ALGIの開催期間及び開催場所は上記のとおりです。暫定プログラムは以下に示す通りです。まだ講演枠が５名分ほど空いておりますので、講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。また、初日の夜の懇親会は、学内食堂の一角で立食形式で行います。会費は3000円で、アルコールを含む飲み物とオードブルをお楽しみいただけます。懇親会への参加を希望される方は、上記の講演申し込みと同じアドレスにメールでお知らせください。８月１９日（火） 13:15 〜 13:30 オープニング＋連絡など 13:30 〜 14:00 卜部夏木（東京大学）演題：Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices 梗概：We introduce notions of simulation between semiring-weighted automata as models of quantitative systems. Our simulations are instances of the categorical/coalgebraic notions previously studied by Hasuo---hence soundness wrt. language inclusion comes for free---but are concretely presented as matrices that are subject to linear inequality constraints. Pervasiveness of these formalisms allows us to exploit existing algorithms in: searching for a simulation, and hence verifying quantitative correctness that is formulated as language inclusion. Trans- formations of automata that aid search for simulations are introduced, too. This verification workflow is implemented for the plus-times and max-plus semirings. 14:00 〜 14:30 室屋晃子 (東京大学) 演題：Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction 梗概：We present a prototype implementation of the memoryful GoI framework of [Hoshino, Muroya and Hasuo, CSL-LICS 2014] that translates lambda terms with algebraic effects to transducers. Those transducers can be thought of as “proof nets with memories” and are constructed in a compositional manner by means of coalgebraic component calculi. The transducers thus obtained can be simulated in our tool, too, helping us to scrutinize the step-by-step interac- tions that take place in higher-order effectful computation. 14:30 〜 14:45 休憩 14:45 〜 15:15 浦本武雄（京都大学）演題：TBA 梗概：TBA 15:15 〜 15:45 柳澤名由太（京都大学）演題：TBA 梗概：TBA 15:45 〜 16:00 休憩 16:00 〜 18:00 空き枠（３名程度） 18:00 〜 20:00 懇親会（神奈川大学内 10号館食堂）８月２０日（水） 10:00 〜 10:45 田中義人（九州産業大学）演題：TBA 梗概：TBA 10:45 〜 11:00 休憩 11:00 〜 12:30 空き枠（２名程度） 12:30 〜 13:00 クロージング＋連絡などできるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） ------------------------------------ -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661　（内線：3378）

1 0

Kusatsu seminar
by Toshihiko Kurata 29 Jul '14

29 Jul '14

皆様，毎年行われています「ラムダ計算と論理の晩夏セミナー」について御案内させて頂きます．今年度は期間：9月21-25日場所：国立大学草津セミナーハウスで計画されていまして，詳細な情報は http://www.i.hosei.ac.jp/~kurata/2014LLS/ を御覧頂けたらと思います．申込・質問などの受付は倉田（法大）となっていますので何かありましたら遠慮なく御連絡下さい．それではよろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

Fwd: Kobe Colloquium on Logic, Statistics and Informatics, July 24 (Paul Larson)
by Joerg Brendle 24 Jul '14

24 Jul '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年7月24日（木）15:30-17:00 講演者：Paul Larson （Miami University）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Almost-trivial automorphisms of P(omega_1)/Fin アブストラクト： An automorphism of P(omega_1)/Fin is almost-trivial if it is trivial on countable sets. We will present some recent results on these automorphisms. Our main result is that assuming that the covering number for meager sets is greater than aleph_1, all such automorphisms are trivial. This is joint work with Paul McKenney. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

第15回関西集合論セミナのご案内
by Hiroshi SAKAI 24 Jul '14

24 Jul '14

皆様：神戸大学の酒井拓史と申します．第15回の関西集合論セミナを以下のように開催いたします： ------------ 日時：2014年7月25日(金) 15:00--17:30 場所：神戸大学自然科学総合研究棟3号館4階421号室（プレゼンテーション室） http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html プログラム： 15:00--16:00 Paul Larson (Miami Univ.) "Coding sets of ordinals with canonical functions" 16:30--17:30 池上大祐 (神戸大学) "The theory of universally Baire sets in 2^{\omega_1}" アブストラクト： (1) Paul Larson, "Coding sets of ordinals with canonical functions" We will outline a proof of the following theorem: for any ordinal alpha, there is a cardinal-preserving forcing extension in which all subsets of alpha are members of the model L(P(omega_1)). The proof uses modest large cardinals. This is joint work with Saharon Shelah. (2) 池上大祐, "The theory of universally Baire sets in 2^{\omega_1}" The goal of this research is to understand the theory of subsets of \omega_1 under ZFC + large cardinals + forcing axioms as much as the theory of subsets of \omega under ZFC + large cardinals. The theory of universally Baire sets of reals has been proven to be crucial to understand the theory of subsets of \omega. Universally Baire sets of reals are the key mathematical objects connecting large cardinals, determinacy, generic absoluteness, and inner model theory. In this talk, we introduce the notion of universally Baireness for subsets of 2^{\omega_1} and develop the basic theory of universally Baire sets in 2^{\omega_1} under ZFC + large cardinals + forcing axioms. This is joint work with Matteo Viale. ------------ セミナの情報は関西集合論セミナのウェブページにも掲載されますので，そちらもご覧下さい： http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ 特に参加登録などしていただく必要はございません．ご不明な点などありましたら，酒井 hsakai(a)people.kobe-u.ac.jp までご連絡ください．皆様のご参加をお待ちしております．酒井拓史神戸大学大学院システム情報学研究科准教授 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6245

1 0

[CFP] 情報処理学会第101回プログラミング研究発表会発表募集
by Rei Odaira 18 Jul '14

18 Jul '14

Logic-mlの皆さま、 IBMの大平です。＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊情報処理学会第101回プログラミング研究発表会発表募集今回は第101回記念ということでプログラミング研究会の初期に活躍された方を招いてのパネルセッションも催す予定です．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3?4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です． 2014年11月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は9月12日金曜日(投稿締切は10月10日金曜日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．発表申込時で必要なのはタイトルと概要などとなっております．また，今回も和文として投稿された論文の英語化を支援する試みを実施します．和文原稿にて採録を判断し，(著者が希望する場合は) 採録決定後に英語化していただいてから掲載致します．この英語化に関する詳細については， http://www.ipsj.or.jp/sig/pro/english-paper-encouragement.html をご覧ください．第101回プログラミング研究会(PRO-2014-3)発表募集日程: 2014年11月10日(月)・11日(火) 会場: 東京大学創造情報学専攻 I-REF 棟 6階 Hilobby 東京都文京区弥生 1-1-1 　　交通案内: http://www.ci.i.u-tokyo.ac.jp/site/?access-j 発表申込締切:　　　　　　 2014年9月12日(金) 投稿論文原稿提出締切: 2014年10月10日(金) 申込先: 大平怜（日本アイ・ビー・エム東京基礎研究所） E-mail: odaira [at] jp.ibm.com 案内ページ: https://staff.aist.go.jp/reynald.affeldt/pro101/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/を参照してください．・著者のための手引き: http://www.ipsj.or.jp/sig/pro/trans-author.html ・申込みの際には整理のために，Subject欄に以下をご指定頂けると助かります．　「PRO2014-3発表申込み」(カッコ不要) ・できるだけE-mailでお願いします．・申込み後3日以内に返信がない場合はご連絡下さい．大平　怜 (Rei Odaira), Ph.D. IBM Research - Tokyo Phone: +81-3-5144-2847

1 0

AQIS2014のご案内
by NISHIMURA Harumichi 18 Jul '14

18 Jul '14

logic-mlの皆様，量子情報科学の国際会議AQIS 2014のFinal Call for Participationを組織委員長の山下茂先生（立命館大）に代わって投稿させていただきます．本年度は日本で開催されるということで，前後のサテライトワークショップともども多数の皆様にご参加いただければ幸いかと思います．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 http://www.math.cm.is.nagoya-u.ac.jp/~hnishimura/ ------------------------------------------------------ AQIS 2014, Final Call for Participation ------------------------------------------------------ 14th Asian Quantum Information Science Conference August 20 - 24, 2014, Shiran-kaikan, kyoto, Japan http://cs.e.yamagata-u.ac.jp/aqis14/schedule.html ELC Satellite Workshop at University of Tokyo, August 18 http://www.francoislegall.com/AQISTokyo/index.html Satellite Workshop at Osaka University, August 25-26 http://quantphys.org/PQIP/Top.html ********************************************** * Early registration will expire on July 22. ********************************************** Tentative Program and Social Event Schedule ==August 20th== ****** Tutorials at Kyoto University ******** (Research Bldg. No. 8, see Marked as 59 on http://www.kyoto-u.ac.jp/ja/access/downlodemap/documents/2013/main_j.pd) Registration is not required 9:00-10:15 Richard Cleve "Efficiently simulating Hamiltonian evolution" - Tea Break - 10:45-12:15 Gilles Brassard "Cryptography in a Quantum World" - Lunch - 14:00-15:30 Daniel Gottesman "Fault-tolerant quantum computation" - Tea Break - 16:00-17:30 Thomas Vidick "The quantum PCP conjecture" ==21st== at Shiran-Kaikan (see the web page) Technical Program (Starting around 9:00) Reception at the conference venue ==22nd== at Shiran-Kaikan (see the web page) Technical Program (Starting around 9:00) Banquet at the conference venue ==23rd== at Shiran-Kaikan (see the web page) Technical Program (in the morning) Excursion (in the afternoon) ==24th== at Shiran-Kaikan (see the web page) Technical Program (Starting around 9:00) Closing Ceremony (around 18:00) with Best student poster awards -------------------------------------------------------- Invited speakers of AQIS14: -------------------------------------------------------- André CHAILLOUX (INRIA Paris-Rocquencourt) Aram HARROW (MIT) Holger HOFMANN (Hiroshima University) Alexander HOLEVO (Steklov Mathematical Institute) John MARTINIS (UC Santa Barbara) Masanao OZAWA (Nagoya University) Valerio SCARANI (CQT Singapore) Yoshihisa YAMAMOTO (Stanford University and NII) -------------------------------------------------------- Invited speakers Satellite Workshop at Osaka University: -------------------------------------------------------- Takeshi FUKUHARA (RIKEN) Austin FOWLER (UCSB/ The University of Melbourne) Masato KOASHI (The University of Tokyo) John M. MARTINIS (UCSB) Hidetoshi NISHIMORI (Tokyo Institute of Technology) Jaw-Shen TSAI (RIKEN) Yoshihisa YAMAMOTO (RIKEN/ NII /Stanford) -------------------------------------------------------- Invited speakers of ELC Satellite Workshop at University of Tokyo -------------------------------------------------------- André CHAILLOUX (INRIA) Richard CLEVE (Waterloo University / IQC) Tomoyuki MORIMAE (Gunma University) Harumichi NISHIMURA (Nagoya University) Yasuhiro TAKAHASHI (NTT) Thomas VIDICK (Caltech)

1 0

CFP: LENLS11 (Logic and Engineering of Natural Language Semantics 11)
by Koji Mineshima 17 Jul '14

17 Jul '14

（重複して受け取られた場合はご容赦ください）今年の１１月に東京で開催される LENLS 11 国際ワークショップのご案内をお送り致します。多数のご投稿をお待ちしております。峯島宏次（お茶の水女子大学） [Apologies for multiple copies] ================================================================= SECOND CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 11 (LENLS 11) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : November 22-24, 2014 Contact Person: Koji Mineshima (Ochanomizu University) Contact Email : lenls11[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Koji Mineshima (Ochanomizu University) Co-chair: Daisuke Bekki (Ochanomizu University/National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Chris Barker (New York University) - Kimiko Nakanishi (Ochanomizu University) - Matthew Stone (Rutgers University) - Christopher Tancredi (Keio University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) (http://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax of natural language - Formal semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Continuations in natural language - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - (Formal) Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (up to 4 pages, including figures and references, A4 or letter size, with 12 point font) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls11 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers ================ A selection of the accepted/invited papers will be published as a portion of a volume "JSAI-isAI selected papers" by Springer Verlag in Lecture Notes in Artificial Intelligence (LNAI) series. Student Session: ============ This year we will organize the Student Session of LENLS 11. We invite submissions from students (i.e., those students who have not received their PhD degree before November 2014). This session will provide an opportunity for students to get feedback from other researchers, so we encourage submission of work in progress. Papers co-authored by non-students may be submitted, but the primary author must be a student who will present the paper. The submission guidelines are the same as those for regular submission as described above. One may not submit the same paper both to the main session and to the student session. Submitted student papers will be peer-reviewed. All accepted papers will be included in the proceedings. The best student paper prize will be awarded. All accepted student papers will be considered for this award. A selection of revised versions of accepted papers will be published by Springer Verlag in Lecture Notes in Artificial Intelligence (LNAI) series. A limited number of travel grants will be available to those students who are presenting a paper at the Student Session. Authors of accepted student papers will be informed about further details. Important dates: ================ Abstract submission deadline (regular and student submission): August 15, 2014 Notification of acceptance: September 30, 2014 LENLS11: November 22-24, 2014 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://www.extreme-bigdata.jp/workshop/jebdp-1/speakers.html#SadaoKurohashi) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Koji Mineshima (Ochanomizu University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Richard Dietz (University of Tokyo) - Eric McCready (Aoyama Gakuin University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (West Japan Railway Company) - Kei Yoshimoto (Tohoku University)

1 0

Fwd: logic position in Prague
by arai toshiyasu 16 Jul '14

16 Jul '14

みなさまプラハでのpositionに関するお知らせを転送します。 -- 新井敏康 ---------- Forwarded message ---------- From: Jan Krajicek <krajicek(a)karlin.mff.cuni.cz> Date: 2014-07-16 18:05 GMT+09:00 Subject: logic position in Prague To: Jan Krajicek <krajicek(a)karlin.mff.cuni.cz> Dear colleagues, some months ago I wrote about a likely opening of a position in mathematical logic at the Charles University (Faculty of Mathematics and Physics). The official ad is now up: http://www.mff.cuni.cz/to.en/fakulta/prace/ the direct link is: http://www.karlin.mff.cuni.cz/katedry/ka/ka.htm I would appreciate if you could spread the information about the position among your students, postdocs or colleagues who could be interested. Please do not hesitate to write me if you have any questions (although I may be a little slow in answering email during the summer). Best regards, Jan

1 0

PEPM 2015 call for papers
by Nao Hirokawa 16 Jul '14

16 Jul '14

皆様 PEPM 2015 の論文募集をご案内致します。今回の PEPM はインドのムンバイで、 POPL 2015 と併催されます。ぜひ投稿をご検討下さい。なお今回、投稿締切は９月と例年より早くなっております。廣川　直 (JAIST) ----------------------------- C A L L F O R P A P E R S ----------------------------- ======= PEPM 2015 =========== ACM SIGPLAN 2015 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION Tue-Wed, January 13-14, 2015, Mumbai, India, co-located with POPL'15 http://conf.researchr.org/home/pepm2015 Sponsored by ACM SIGPLAN SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2015 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'15 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page at: http://www.sigplan.org/PAC.htm. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Following the practice of recent PEPMs, we are planning a special issue of a journal for a selection of papers presented at the PEPM'15 workshop. PEPM has also established a Best Paper award. The winner will be announced at the workshop. SUBMISSION CATEGORIES AND GUIDELINES Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'15 Web-site soon. Papers should be submitted electronically via the workshop web site. Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style (sigplanconf.cls, 9pt template) available at: http://www.sigplan.org/Resources/Author. IMPORTANT DATES Abstract submission: Tue, September 9, 2014 Paper submission: Fri, September 12, 2014 (*FIRM*) Author notification: Mon, October 13, 2014 Workshop: Tue, January 13 and Wed, January 14, 2015 Note: The paper submission deadline is firm. Because the VISA application to India can take a long time, all the schedule is set earlier than previous years. The above schedule is tight: we have absolutely no time to wait for late submissions and we will have no deadline extension. So, please plan ahead. INVITED SPEAKERS to be announced PROGRAM CHAIRS Kenichi Asai (Ochanomizu University, Japan) Kostis Sagonas (Uppsala University, Sweden / NTUA, Greece) PROGRAM COMMITTEE Andreas Abel (Chalmers and Gothenburg University, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Malgorzata Biernacka (University of Wroclaw, Poland) Matthias Blume (Google, USA) Cristiano Calcagno (Facebook, UK) Jacques Carette (McMaster University, Canada) Jeremy Gibbons (University of Oxford, UK) Nao Hirokawa (Japan Advanced Institute of Science and Technology, Japan) Atsushi Igarashi (Kyoto University, Japan) Andrei Klimov (Russian Academy of Sciences, Russia) Michael Leuschel (University of Dusseldorf, Germany) Sam Lindley (University of Edinburgh, UK) Michal Moskal (Microsoft Research, USA) Keiko Nakata (Tallinn University of Technology, Estonia) Jeremy Siek (Indiana University, USA) Peter Thiemann (University of Freiburg, Germany) Janis Voigtlaender (University of Bonn, Germany) Kwangkeun Yi (Seoul National University, South Korea) Tetsuo Yokoyama (Nanzan University, Japan)

1 0

WoLLIC 2014 - Call for Participation
by 小野寛晰 10 Jul '14

10 Jul '14

CALL FOR PARTICIPATION WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile (Co-located with ISR 2014 - 7th International School on Rewriting) 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 PARTICIPATION 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). INVITED TALKS Verónica Becher (Universidad de Buenos Aires): On Normal Numbers Juha Kontinen (University of Helsinki): Dependence Logic Aarne Ranta (University of Gothenburg): Syntax and Semantics for Translation Kazushige Terui (Kyoto University): Intersection Types for Normalization and Verification Luca Vigano (Università di Verona): Modal and Temporal Deduction Systems for Quantum State Transformations Thomas Wilke (Christian-Albrechts-Universität zu Kiel): Backward Deterministic Büchi Automata TUTORIAL LECTURES Aarne Ranta (University of Gothenburg) Luca Vigano (Università di Verona) EARLY REGISTRATION (UNTIL AUGUST 20TH) General: US$ 300 Latinamerican students: US$ 150 LATE REGISTRATION General: US$ 350 Latinamerican students: US$ 200 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 (in memoriam), 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

数学基礎論若手の会2014のご案内
by YOSHIDA Satoru 03 Jul '14

03 Jul '14

皆様鳥取環境大学の吉田聡と申します。数学基礎論若手の会2014のご案内をさせて頂きます：数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日程：11月19日（水）午後－21日（金）午前場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） http://www.city.tottori.lg.jp/www/contents/1198114185831/ 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u,.ac.jp ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ 今年度若手の会申込み要領については上記ホームページをご参照ください。 -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

Fwd: ALC 2015
by arai toshiyasu 01 Jul '14

01 Jul '14

みなさま新井@千葉大学です。 ALC(Asian Logic Conference) 2015 が Jan. 5-8, 2015 に IIT Bombay, Mumbai, India で開催されます。詳細は conference page でご確認下さい： http://www.cse.iitb.ac.in/~alc15/index.html -- 新井敏康

1 0

セミナー案内
by KASHIMA Ryo 30 Jun '14

30 Jun '14

数理論理学セミナーのお知らせ日時：5月29日(木) 17:00 から場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 話者：Florian Pelupessy （東北大学）題目：Weak concrete mathematical independence. 概要： Since Gödels theorems it is known that Peano Arithmetic is incomplete, i.e. there exist sentences in the language of PA which cannot be proven, nor disproven using PA. We will discuss some examples of such statements which can be regarded as being natural, in the sense that they closely resemble theorems from mathematical practice and we will examine these statements, hoping to clarify what makes them independent of PA. ------ 本セミナーは定期的に東工大で開催しているものです。初めて参加を希望される方はご一報ください。なお，前日の水曜まで SLACS・超準解析合同シンポジウムが開催されています。そちらの詳細は下記をご覧下さい： http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml