- 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 20 Aug '14

20 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 18 Aug '14

18 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 15 Aug '14

15 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 12 Aug '14

12 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 08 Aug '14

08 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 30 Jul '14

30 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 23 Jul '14

23 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 23 Jul '14

23 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 15 Jul '14

15 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

Nagoya Set Theory Seminar
by 吉信康夫 25 Jun '14

25 Jun '14

名古屋集合論セミナーのご案内：日時：2014年6月27日(金) 午後3時30分より場所：名古屋大学情報文化学部 SIS2 教室(全学教育棟) 名古屋市地下鉄名城線名古屋大学駅1番出口より徒歩数分、下記のキャンパスマップのB4(1)の建物です。 http://www.nagoya-u.ac.jp/access-map/index.html SIS2 教室は全学教育棟4階にあります。建物内の配置図は下記のページでみることができます。 http://www.ilas.nagoya-u.ac.jp/student/lectureroom/ 講演者：薄葉季路(神戸大学) 題目：Reflection of List-chromatic number of graphs 概要：単純グラフのList-chromatic numberの反映原理は巨大基数公理の元では無矛盾であることが知られている。一方、今回の話ではグラフの濃度を限定したbounded versionの反映原理はZFCとequuiconsistentであることの証明の概略を試みる。多数のご参加をお待ちしております。名古屋大学大学院情報科学研究科吉信康夫

1 0

CFP: HART'14
by Makoto Hamana 25 Jun '14

25 Jun '14

皆様、 Haskellと書換え系の境界領域、関係を議論するワークショップ HART'14 (Haskell And Rewriting Techniques)のご案内です。インフォーマルなワークショップですので、投稿はWork in progress な話題でも歓迎です。ぜひ関連研究者の皆様は投稿、参加をご検討ください。投稿〆切は7月2日と近いですが、興味がありましたらご相談にものれるかと思います。 -- 浜名誠群馬大学理工学府電子情報部門 ----------------------------------------------------------------- CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: ==================================== - equational reasoning and other rewriting techniques for program verification and analysis; - lambda calculi and type systems for functional programs and higher-order rewrite systems; - rewriting of type expressions in the type checker; - rewriting of programs by refactoring tools, optimizers, code generators; - execution of programs as a form of graph rewriting (terms with sharing); - Template Haskell, generally introducing a rewriting-like macro language into the compilation process. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: ====== July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: =========================== We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: ================== Program Chairs Kristoffer Rose (Two Sigma Investments, LLC, USA) Janis Voigtlander (University of Bonn, Germany) Program Committee Members Bertram Felgenhauer (University of Innsbruck, Austria) Carsten Fuhs (University College London, UK) Andy Gill (University of Kansas, USA) Makoto Hamana (Gunma University, Japan) Bastiaan Heeren (Open Universiteit, Netherlands) Femke van Raamsdonk (VU University Amsterdam, Netherlands) Tiark Rompf (EPFL and Oracle Labs, Switzerland) Christian Sternagel (JAIST, Japan; University of Innsbruck, Austria) Johannes Waldmann (HTWK Leipzig, Germany)

1 0

モデル理論夏の学校2014＠筑波大学
by kota takeuchi 25 Jun '14

25 Jun '14

皆様、筑波大学の竹内耕太です。モデル理論夏の学校は毎年夏に開催されるモデル理論の研究集会です。今年は9月に筑波大学で開催されます。モデル理論ならびに関連分野に興味をお持ちの方はぜひご参加下さい。 (また講演希望者や学生を対象に一部旅費の援助も検討しています。必要に応じてご相談ください。) 竹内耕太 ------------------------------------------------------------------ モデル理論夏の学校2014 開催案内・参加募集ウェブページ：http://www.math.tsukuba.ac.jp/~kota/summerworkshop2014.html 日時：2014年9月14日（日）－16日（火）会場：筑波大学（つくばキャンパス）講演申込締切：8月31日（日）世話人連絡先：竹内耕太 kota(a)math.tsukuba.ac.jp 講演を希望される方は・タイトル・氏名・所属・希望時間（あれば）を竹内までメールにてお知らせください。参加に事前申し込みは必ずしも必要ありませんが、大まかな人数を把握するために事前に参加の旨連絡いただけるとうれしいです。竹内耕太（筑波大学）

1 0

第二十五回 ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ
by Koki Nishizawa 24 Jun '14

24 Jun '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を開催することになりました。開催期間及び開催場所は上記のとおりです。昨年度よりも開催時期が１ヶ月ほど早まっておりますのでご注意ください。初日の19日は午後から開催いたします。最終日20日の午後まで開催するかどうかは、講演の数によります。なお、神奈川大学横浜キャンパス３号館は今年度に立て替えられた建物のため、インターネット上の古い情報は誤っている可能性があります。こちらの地図が正確ですのでご利用ください。 http://www.kanagawa-u.ac.jp/aboutus/facilities/yokohama/ 講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661　（内線：3378）

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 23 Jun '14

23 Jun '14

皆様リーズ大学のJohn Stell先生の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON (http://corcon.net/). Date: Friday 27 June, 2014, 15:30-17:00 Place: JAIST, 7F seminar room (I-75) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. John Stell (University of Leeds, UK) Title: Bi-Intuitionistic Modal Logic and Hypergraphs Abstract: I will discuss motivations from spatial reasoning and mathematical morphology (as used in image processing) for the notion of a relation on a graph. I will show how the algebra of these relations is weaker than that of relations on a set. This leads to a generalization of relation algebras in which the Boolean algebra is replaced by a symmetric Heyting algebra. These relations can be used as the accessibility relations for a modal logic in which propositions are interpreted as subgraphs of a graph or more generally a hypergraph. --------------------------------------------------

1 0

CFP: 第31回日本ソフトウェア科学会大会
by Atsushi Igarashi 22 Jun '14

22 Jun '14

# 複数受け取られた場合はご容赦ください．京都大学の五十嵐です． 9月に名古屋大学で開催される日本ソフトウェア科学会第31回大会の開催案内・参加募集です．発表申込締切は今週末となっておりますが，予稿の締切はまだ一ヶ月先です．是非発表申込をご検討いただければ幸いです．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ------------------------------------------------------------------------ 日本ソフトウェア科学会第 31 回大会開催案内・参加募集大会ホームページ： http://jssst2014.wordpress.com Twitter： @jssst2014 日時： 2014 年 9 月 7 日(日)～ 10 日(水) 会場：名古屋大学東山キャンパス登壇発表申込締切： 2014 年 6 月 27 日(金) 予稿原稿締切： 2014 年 7 月 22 日(火) デモ・ポスター発表申込締切： 2014 年 8 月 8 日(金) 今年も，一般セッションに加えて，研究会セッション，ソフトウェア論文セッション，デモ・ポスター発表という多様な研究発表の場が用意されています．予稿の共著者に会員が含まれていれば非会員でも登壇発表できますので，是非，発表をご検討ください．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待しております．今大会のセッションは以下の通りです．いずれも対象分野はソフトウェア科学全般です．一般セッション：ソフトウェア科学全般について発表の場研究会セッション：研究会と連携した企画による発表の場ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場デモ・ポスター発表：登壇発表に関するデモも歓迎します【投稿要領】・予稿の共著者 (デモ・ポスターセッションの場合は発表者) に少なくとも 1 名の正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．・大会ホームページから EasyChair にログインして発表タイトル，著者名，概要を登録してください．続いて，大会ホームページから，登壇発表予定者などの必要事項をフォームに記入してお送りください．・予稿はソフトウェア科学会の「大会論文用」スタイルファイルで作成してください． PDF のファイルサイズが 5 MB以下であれば，ページ数に通常は制限はありません（レター論文としての同時投稿の場合のみ６ページ）．詳しい方法については大会ホームページをご覧ください．【授賞】会員による優秀な登壇発表者には「高橋奨励賞」が授与されます．【学会誌への同時投稿】例年通り，発表論文の予稿を学会誌に同時投稿できます．査読の迅速化を特徴とするレター論文が選択できる他，大会発表で得られたコメントを反映した上での大会後の投稿も可能です．詳細は，大会ホームページをご覧ください．【大会組織】大会委員長：坂部俊樹 (名古屋大学) プログラム委員長：五十嵐淳 (京都大学) プログラム副委員長：大山恵弘 (電気通信大学) 運営委員長：結縁祥治 (名古屋大学) 広報委員長：石尾隆 (大阪大学) 【コンタクト先】プログラム委員長 (正・副)： jssst2014(a)easychair.org 大会組織： jssst2014-oc(a)fos.kuis.kyoto-u.ac.jp

1 0

Talks at UTokyo: Georgios Fainekos (Tue 17), Liang-Ting Chen (Wed 18)
by Ichiro Hasuo 16 Jun '14

16 Jun '14

Dear colleagues, It is my pleasure to announce two talks given by visitors to our group: Georgios Fainekos (tomorrow) on cyber-physical systems; and Liang-Ting Chen (Wed) on categorical and coalgebraic logic. No registration is needed; see you there! Best regards, Ichiro Hasuo Group MMM, University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Tue 17 Jun 2014, 13:00-14:00 Georgios Fainekos <http://www.public.asu.edu/~gfaineko/> (Arizona State University), Temporal Logic Testing and Verification for Cyber-Physical Systems 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) One of the important challenges in the Model Based Development (MBD) of Cyber-Physical Systems (CPS) is the problem of verifying functional system properties. In its general form, the verification problem is undecidable due to the interplay between continuous and discrete system dynamics. In this talk, we present the bounded-time temporal logic testing and verification problem for CPS. Temporal logics can formally capture both state-space and real-time system requirements. For example, temporal logics can mathematically state requirements like "whenever the system switches to first gear, then it should not switch back to second gear within 2.5sec". Our approach in tackling this challenging problem is to convert the verification problem into an optimization problem through a notion of robustness for temporal logics. The robust interpretation of a temporal logic specification over a CPS trajectory quantifies "how much" the system trajectory satisfies or does not satisfy the specification. In general, the resulting optimization problem is non-convex and non-linear, the utility function is not known is closed-form and the search space is uncountable. Thus, stochastic search techniques are employed in order to solve the resulting optimization problem. We have implemented our testing and verification framework into a Matlab (TM) toolbox called S-TaLiRo (System's TemporAl LogIc Robustness). In this talk, we demonstrate that S-TaLiRo can provide answers to challenge problems from the automotive and medical device industries. Georgios Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems (SCIDSE) Engineering at Arizona State University (ASU). He is director of the Cyber-Physical Systems Lab and he is currently affiliated with the Center for Embedded Systems at ASU. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working in the area of Cyber-Physical Systems (CPS) with focus on formal methods, logic, optimization and control theory with applications to automotive systems, autonomous (ground and aerial) robots and human-robot interaction (HRI). In 2014, Dr. Fainekos received the NSF CAREER award. He was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award, and the 2013 Best Researcher Junior Faculty award from SCIDSE. ------------------------------ Wed 18 Jun 2014, 16:30-18:00 Liang-Ting Chen <http://uk.linkedin.com/pub/liang-ting-chen/88/749/b5a> (Academia Sinica), On a Categorical Framework for Coalgebraic Modal Logic 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) Two syntax-oriented approaches to coalgebraic modal logic ― Moss’ cover modality and Pattinson’s predicate liftings ― are successful in producing a wide range of modal logics parametric in a Set functor, including modal logics for Kripke frames, Markov chains, Markov processes, and their variants. Both of them can be presented abstractly in a form similar to mathematical SOS by Turi and Plokin, but this line of research was not well-understood yet. In this talk I will treat the abstract formation seriously, and introduce a category of abstract semantics parametric in a contravariant functor that assigns to the state space its collection of predicates with propositional connectives. Various classical notions are formulated categorically. For example, modular constructions are identified as colimits, limits, and compositions of one-step semantics. The compositions and the colimits of (one-step) expressiveness semantics remain (one-step) expressive. In addition, we investigate a canonically-defined logic by its fibres, and show that it is a terminal object for every fibre. By its very formulation, it is straightforward to show above results in this level of generality. In fact, I would like to suggest that it is the right level of abstraction for understanding coalgebraic modal logic. For further details, please see my MFPS paper, available in http://www.cs.cornell.edu/Conferences/MFPS30/MFPS30-prelim.pdf

1 0

Continuity, Computability, Constructivity 2014; extended deadline
by Hajime Ishihara 10 Jun '14

10 Jun '14

*Continuity, Computability, Constructivity -- From Logic to Algorithms (CCC 2014)* *University of Ljubljana, 15-19 September 2014* *Third call for papers* *Extended deadline* http://ccc2014.fmf.uni-lj.si/ CCC is a workshop series bringing together researchers from realanalysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correctalgorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne CCC 2009, Trier CCC 2012, and Gregynog 2013. One outcome of the 2009 workshop series is the creation of the EU funded research network COMPUTAL (Computable analysis -- theoretical and applied aspects) which supports research visits from Europe to Russia, South-Africa, and Japan and vice versa. This workshop also hosts the third COMPUTAL workshop, but is open to all researchers in the area. The workshop will take place in Ljubljana, Slovenia. *Scope: *The workshop specifically invites contributions in the areas of * exact real number computation, * effective topology, * Scott's domain theory, * Weihrauch's type two theory of effectivity, * category-theoretic approaches to computation on infinite data, * hierarchies of unsolvability, * and related areas. *Invited Speakers:* * Thierry Coquand (Gothenburg) * Dirk Pattinson (Canberra) * Paul Potgieter (Pretoria) * Robert Rettinger (Hagen) * Hideki Tsuiki (Kyoto) * … (tba) *Tutorial Speakers:* * Andrej Bauer (Ljubljana) * Martin Ziegler (Darmstadt) *Extended deadline for abstract submission:* *28 June 2014* ** *Upload your submission via EasyChair* https://www.easychair.org/conferences/?conf=ccc20140 <https://www.easychair.org/conferences/?conf=ccc20140> *Programme Committee:* * Andrej Bauer(Ljubljana) * Willem Fouche' (Pretoria) * Hajime Ishihara (Nomi, Ishikawa) * Margarita Korovina (Novosibirsk) * Davorin Lesnik (Darmstadt) * Norbert Mueller (Trier) * Robert Rettinger (Hagen) * Monika Seisenberger (Swansea) * Dieter Spreen (Siegen and Pretoria) (chair) * Martin Ziegler (Darmstadt). *Organizing Committee:* * Andrej Bauer (Ljubljana)

1 0

Fwd: Kobe Colloquium on Logic, Statistics and Informatics, June 10 (Dilip Raghavan)
by Joerg Brendle 08 Jun '14

08 Jun '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年6月10日（火）15:00-16:30 講演者：Dilip Raghavan （シンガポール国立大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Two cardinal invariants of the continuum and Martin's axiom アブストラクト： we show the consistency of "MA for posets of size at most kappa + d = kappa^+ and a = kappa^{++}" for a measurable cardinal kappa. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

CFP: JURISIN2014
by Satoshi Tojo 06 Jun '14

06 Jun '14

Apologies if you receive this CFP multiple times. ------------------------------------------------- FIRST CALL FOR PAPERS Eighth International Workshop on Juris-informatics (JURISIN 2014) date: November 23 - 24, 2014 venue: Raiosha Building, Keio University Kanagawa, Japan Submission Deadline: August 30, 2014 Aims and Scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. Topics Relevant topics include, but are not limited to, the following: Model of legal reasoning Argumentation / Negotiation / Argumentation agent Legal term ontology Formal legal knowledge-base / Intelligent management of legal knowledge-base Translation of legal documents Information retrieval of legal texts Computer-aided law education Use of Informatics and AI in law Legal issues on ubiquitous computing / multi-agent system / the Internet Social implications of use of informatics and AI in law Natural language processing for legal knowledge Verification and validation of legal knowledge systems Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain Special Topics for JURISIN 2014 Bar exam competition (TBA) Invited Speakers (TBA) Submissions: We will open the submission site via EasyChair shortly. We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2014 (The 27th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2014 is as follows: Papers being submitted both to JURISIN2014 and JURIX2014 must note this on the title page. A paper to be presented at JURISIN2014 must be withdrawn from JURIX2014 and vice versa according to the choice by the authors. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2014. Post Proceedings: We are under negotiation with Springer Verlag on publishing selected papers. Workshop Chair Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Organizing Committee Members Katsumi Nitta, Tokyo Institute of Technology, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Advisory Committee Members Trevor Bench-Capon, The University of Liverpool, UK Tomas Gordon, Fraunfoher FOKUS, Germany Henry Prakken, University of Utrecht & Groningen, The Netherlands John Zeleznikow, Victoria University, Australia Robert Kowalski, Imperial College London, UK Kevin Ashley, University of Pittsburgh, USA Program Committee Members Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Tokuyasu Kakuta, Nagoya University, Japan Hanmin Jung, Korea Institute of Science and Technology Information(KISTI), Korea Minghui Xiong, Sun Yat-sen University, China Minghui Ma, Southwest University, China Nguyen Le Minh, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan Makoto Nakamura, Nagoya University, Japan Marina De Vos, University of Bath, UK Guido Governatori, NICTA, Australia Paulo Novais, University of Minho, Portugal Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Thomas Ågotnes, University of Bergen, Norway Robert Kowalski, Imperial College London, UK Katsuhiko Sano, Japan Advanced Institute of Science and Technology(JAIST), Japan Katumi Nitta, Tokyo Institute of Technology, Japan Katie Atkinson, University of Liverpool, UK Philip T H Chung, Australasian Legal Information Institute (AustLII), Australia Masahiro Kozuka, Okayama University, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Baosheng Zhang, China University of Political Science and Law, China We are still negotiating with other JURISIN 2013 PC members. Home page of JURISIN 2014 http://www.jaist.ac.jp/org/jurisin2014/ ------------------------------------------------------ Satoshi Tojo Japan Advanced Institute of Science and Technology (JAIST)

1 0

2014年6月13(金)Wittgensteinと数学の哲学（Marion教授講演）集会、慶応義塾大三田キャンパス
by Mitsu Okada 05 Jun '14

05 Jun '14

次のような集会を予定いたしております。できましたらlogic-ml　メールリストで流していただけるとありがたいです。ご検討のほどお願い申し上げます。岡田光弘、　慶應義塾大学文学部哲学専攻 ――――――――――――――――――――――――――――――――――――――――――― 2014年6月13(金)Wittgensteinと数学の哲学（Marion教授講演）集会、慶応義塾大三田キャンパスゲストスピーカー Mathieu Marion 教授（ケベック大学モントリオール校哲学科） “Wittgenstein and Philosophy of Mathematics” Guest speaker: Mathieu Marion (Université du Québec à Montréal) ――――――――――――――――――――――――――――――――――――――――――― 日時：2014年6月13(金) 15時ー１７時 Date: June 13th, 2014 　15pm-19pm 場所：慶應義塾大学三田キャンパス東館4階セミナー室 (* 変更になりました *) Place: Meeting room, 4F of East Building at the East Gate, Mita Campus of Keio University 5 minutes walong distance from JR-Tamachi, Subway-Mita, Subwat-Akabanebashi . ――――――――――――――――――――――――――――――――――――――――――― Topic Wittgenstein's Philosophy of Mathematics and Related Issues,。ゲスト講演者： Mathieu Marion (Université du Québec à Montréal) Wittgensteinの数学の哲学の立場を概観していただき、そのうえで最近の話題を取り上げて話していただきます。そのあとで、関連する他の立場と比較・検討するディスカッションを行います。（当日テキストを配布する予定です。）最新の情報は http://ctj.keio.ac.jp/news/20 で随時アップデートいたします。 *See the above URL for the updated information.) 参加方法：事前登録不要・参加費無料。ただし会場準備のため氏名、所属を明記して「Wittgensteinと数学の哲学ワークショップ」と件名を記したメールを事務局宛にお送りください。お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：科学基礎論学会・慶應義塾大学論理と感性のグローバル研究センター

1 0

The Second Taiwan Philosophical Logic Colloquium (2014 TPLC) Call for Papers
by Katsuhiko Sano 05 Jun '14

05 Jun '14

皆様、北陸先端科学技術大学院大学の佐野勝彦です。今年 10/24, 10/25 に台湾で開催される Logic Colloquiumについてご案内いたします。佐野勝彦 --- The Second Taiwan Philosophical Logic Colloquium (2014 TPLC) Call for Papers 24th (Fri.) -- 25th (Sat.) October, 2014 The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taipei, Taiwan DEADLINE OF THE SUBMISSION OF ABSTRACTS: August 31st, 2014 DESCRIPTION OF THE COLLOQUIUM The 2014 TPLC is the second of the series of Taiwan Philosophical Logic Colloquium, which is one of two series of biennial conferences established since 2012 and based in The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taiwan. (The other one is the series of Taiwan Metaphysics Colloquium, established since 2013.) Each event in these two series by and large runs in one/two days only. We usually invite one or two distinguished philosophers/logicians as keynote speakers and 3-4 distinguished scholars from Asian and Australasian regions together with several contributed papers. We hope that the establishment of these two series will make a rewarding and inspiring series of events so as to promote the development of metaphysics and philosophical logic in Asian area, especially in Taiwan. In particular, the aim of the series of Taiwan Philosophical Logic Colloquium is to bring together a group of logical-minded philosophers and a group of logicians with philosophical orientation. We intend, via the establishment of this series, to provide a forum for dialogues amongst philosophers and logicians with regard to a variety of significant issues and topics from philosophical and logical perspective, respectively. The scope of this series of colloquium will cover: philosophical logic (in a broad sense), non-classical logics, algebraic logic, all kinds of semantics/logics relating to philosophical concepts in metaphysics, epistemology, philosophy of language, philosophy of logic/mathematics, and their applications in computer science and cognitive science. KEYNOTE SPEAKERS FOR THE 2014 TPLC Robert Goldblatt, ``Admissible semantics for modal logic with quantifier'' (School of Mathematics, Statistics and Operations Research, Victoria University, New Zealand.) Hiroakira Ono, ``On interpolation properties'' (Japan Institute of Science and Technology (JAIST), Japan) INVITED SPEAKERS FOR THE 2014 TPLC Chen Bo (Peking University, China); Hanti Lin (Australia National University, Australia; UC Davis, USA) Fenrong Liu (Tsinghua University, China) Tomoyuki Yamada (Hokkaido University, Japan); SUBMISSION OF ABSTRACTS All researchers working on various aspects of philosophical logic are cordially invited to submit their abstracts by August 31st, 2014. Authors should submit an (extended) abstract at least about one page (A4 size, single space) but no more than four pages. Abstracts must be submitted as PDF files and sent to dmdeng(a)ntu.edu.tw (cc. Joshua S. S. [bookitchen(a)gmail.com.]) Each submission will be reviewed. The Colloquium is open to everyone, and practical info will be available soon on the website. SPECIAL OFFER FOR SPEAKERS FROM ABROAD Contributed papers from international scholars are highly appreciated. There will be a possibility of giving support of accommodation during the conference to speakers from abroad. Please take a contact with Syraya C. M. Yang (cmyang(a)ntu.edu.tw). However, it is strongly recommended that as long as you have decided to submit an abstract, please send us a note at your convenience as hotel-room preservation can be made the earlier the easier. POST-CONFERENCE PUBLICATION: We are planning to publish a post-conference proceedings for the 2014 TPLC once we get enough number of submissions of high quality. We have already taken a contact with editor-in-chief of LIAA book series concerning with this matter. The LIAA (``Logic in Asia'') is a new established publication project for a series of logic books from Springer. See http://www.springer.com/series/13080. If our project is approved, a post- conference proceedings will be published as a volume of LIAA. All authors of papers presented at the colloquium will be encouraged to submit a full version and the deadline of submission of manuscripts will be around February of 2015. All papers submitted will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The approval and the details of the post-conference proceedings will be announced later. ORGANIZATION COMMITTEE D. M. Deng, Y. I. Liang, C. J. Liau (The Institute of Information Science, Academia Sinica), E. M. Peng, H. C.Tsai (National Chung Cheng University), S. P. Tung (Chung Yuan Christian University), R. L. Wang, S. C. M. Yang (Chair), J. J. Yuann FFURTHER CONTACT: For any enquiry/information please contact: D. M. Deng (dmdeng(a)ntu.edu.tw) Joshua S. S. (bookitchen(a)gmail.com) Syraya C. M. Yang (cmyang(a)ntu.edu.tw)

1 0

[1st CfP] 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)
by Takashi KITAMURA 04 Jun '14

04 Jun '14

みなさま、産業技術総合研究所の北村です。今年11月にルクセンブルクで開催される国際ワークショップ FTSCS2014 の論文募集の案内をお送りいたします。是非論文投稿をご検討下さい。 --------------------------------------------------------------------- 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

QPL 2014: Final Call for Papers
by Ichiro Hasuo 02 Jun '14

02 Jun '14

[Apologies for multiple copies] CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito "Hassei" Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also provide limited financial support to students for travel and accommodations (non-students can also apply but priority is given to students). Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford & CQT Singapore) Mingsheng Ying (UTS Sydney & Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)

2 4

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

02 Jun '14

（重複して受け取られた場合はご容赦ください）今年の１１月に東京で開催される LENLS 11 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。峯島宏次（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FIRST 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) - Christopher Tancredi (Keio University) - Matthew Stone (Rutgers University) (To be confirmed) 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. This year we are planning to hold a student session. The details will be announced later. Important dates: ================ Abstract submission deadline: 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

Kobe Colloquium (June 3, 2014, Hirao)
by Makoto Kikuchi 30 May '14

30 May '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年6月3日（火）15:40-16:40 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：平尾将剛 (愛知県立大) 題目：最適実験計画の設計問題とcubature公式についてアブストラクト: 実験計画法とは，実験対象の特徴を的確に捉えたデータを取得するための方法論のひとつである．本講演では特に球面や球といった回転不変性を持つ領域上でデータ解析を取得する際に，どこに観測所を配置すれば良いか，また，その各観測所においてどれだけの回数の測定をすれば良いかを問題としたい．近年，この問題に対し， Hirao-Sawa-Jimbo(2014), Sawa-Hirao(2014+)ではある統計的最適性を持つ実験計画の設計問題をcubature公式(立体求積公式)と呼ばれる積分近似公式の構成問題と捉える直すことにより，最適計画の設計法を提案してきた．本講演ではそれらの設計法についての解説を行い，また時間があれば今後の課題についても幾つか説明する．交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

APLAS 2014: Extended deadline
by Jacques Garrigue 27 May '14

27 May '14

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

1 0

Talks by Georg Struth (29 May) & by Bart Jacobs (2 Jun) at U Tokyo
by Ichiro Hasuo 21 May '14

21 May '14

Dear colleagues, Let me advertise talks given by our guests: Georg Struth on algebraic techniques in program analysis; and Bart Jacobs on categorical quantum logic. No registration is necessary; see you there! Best regards, Ichiro Hasuo Group website: http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Thu 29 May 2014, 16:30-18:00 Georg Struth (U. Sheffield), Build Your Own Program Analysis Tool 理学部7号館2階 214教室 Room 214, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) We present a principled way of designing program analysis tools within interactive proof assistants such as Coq or Isabelle; inparticular tools for the construction and verification of sequential and concurrent programs. We use algebras of programs to capture the control flow of programs and to derive Hoare-style inference rules, verification conditions, or transformation and refinement laws. We model their data flow by linking these algebras with denotational models of programs, including relations, predicate transformers, or sets of traces and by enriching these with notions of store and state, with data types, assignment and process interference. This separation of concern makes the approach open, modular and highly automatic. Its implementation in Isabelle/HOL is particularly simple. It yields lightweight tools which are themselves correct by construction and can be combined with various programming languages and integrated into different formal methods. We illustrate the approach through three examples: a verification tool for while programs based on Kleene algebra with tests, its extension to a Morgan-style program refinement tool, and a prototype for verifying and constructing shared variable concurrent programs based on a new variant of concurrent Kleene algebra. Time permitting, we will outline how more powerful program analysis tools can be obtained from more expressive algebras. ________________________________ Mon 2 Jun 2014, 15:30-17:00 Bart Jacobs (Radboud U. Njimegen), Axiomatising categorical quantum logic 化学東館 236教室（理学部7号館の隣．ご存知ない方は先に理学部7号館415へお越しください） Room 236, Chemistry Building East (“Kagaku-Higashikan”). If not familiar come first to Rm 415, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) This talk describes several assumptions on a category that together yield a proposal for a categorical structure for quantum logic. The assumptions and consequences describe the differences and similarities between classical, probabilistic, and quantum logic. The leading examples are the category Sets, the Kleisli category of the distribution monad, and the opposite of the category of C*-algebras and (completely) positive unital maps.

1 0

Program of SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 20 May '14

20 May '14

皆様、北陸先端大の横山です。以前にもご案内いたしました2014年度のSLACS及び超準解析シンポジウムのプログラムを公開いたしました。 http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/speakers.html 27日には・斉藤正彦先生の特別講演、・小澤正直先生、蓮尾一郎先生の基調講演がございます。貴重な機会かと存じます、奮ってご参加ください。また、27日には両研究集会合同の懇親会を行います。お店のスペースの関係上、席の残りが少なくなっておりますので、参加をご検討の方はお早めにお申し込みください。どうぞよろしくお願いいたします。 For the information in English, please see the following web page. http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index-e.html 以下、研究集会の情報です。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）～5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。ホームページ http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.html 27日には、2つの研究集会の交流の一環として、次の二つの基調講演を予定しております。・蓮尾一郎先生（東京大学、SLACSより）・小澤正直先生（名古屋大学、超準解析シンポジウムより）さらに、特別講演として、東京大学名誉教授の斉藤正彦先生より、超準解析学や周辺分野の日本における発展の歴史などについてお話をいただける予定です。 === 参加登録・講演の申し込みについて===================== 参加登録は、以下のフォームを横山までお送りください。送り先：y-keita(a)jaist.ac.jp ===以下フォーム=== 1. お名前 2. 所属 3. 参加日程 4. 懇親会(5月27日): 参加 / 不参加 5. 連絡先 E-mail 6. その他リクエスト等 ===以上フォーム=== ご登録されなくても当日の参加は可能ですが、準備の都合上できるだけ事前にご登録頂けますと助かります。また、懇親会につきましては、会場の状況次第で満席で受付を締め切る可能性があります。あらかじめご了承ください。 *************************** -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

千葉 logic seminar
by arai toshiyasu 20 May '14

20 May '14

みなさま新井@千葉大学です。千葉 logic seminar の第2回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：6月4日(水)15:00-16:30 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：倉橋太志（木更津工業高等専門学校）タイトル：算術の超準モデルにおける証明可能性（菊池誠（神戸大学）との共同研究）アブストラクト：第二不完全性定理の帰結として，0=1 の証明をもつようなペアノ算術 PA の超準モデルの存在がいえる．そのような超準的な証明の構造は十分には理解されていないため，PA の超準モデルにおける可証性述語の振る舞いを調べることによって超準的な証明の性質の解明を試みている．本発表では，次の内容について，今までに得られている結果の紹介を行う： 1. PA + Con(PA) の超準モデルにおける証明可能性 2. どれだけ短く切っても証明できるものが実際より増えている PA + not Con(PA) のモデル 3. PA + not Con(PA) のモデルにおける Rosser 可証性述語の振る舞い ------------------------------------------

1 0

Kobe Colloquium (May 20, 2014, Sawa)
by Makoto Kikuchi 19 May '14

19 May '14

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2014年5月20日（火）16:00-17:30 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：澤正憲 (神戸) 題目：Hilbert identity and Cubature formula 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

CCC 2014; second call for papers
by Hajime Ishihara 19 May '14

19 May '14

*Continuity, Computability, Constructivity -- From Logic to Algorithms (CCC 2014)* *University of Ljubljana, 15-19 September 2014* *Second call for papers* http://ccc2014.fmf.uni-lj.si/ CCC is a workshop series bringing together researchers from realanalysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correctalgorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne CCC 2009, Trier CCC 2012, and Gregynog 2013. One outcome of the 2009 workshop series is the creation of the EU funded research network COMPUTAL (Computable analysis -- theoretical and applied aspects) which supports research visits from Europe to Russia, South-Africa, and Japan and vice versa. This workshop also hosts the third COMPUTAL workshop, but is open to all researchers in the area. The workshop will take place in Ljubljana, Slovenia. *Scope: *The workshop specifically invites contributions in the areas of * exact real number computation, * effective topology, * Scott's domain theory, * Weihrauch's type two theory of effectivity, * category-theoretic approaches to computation on infinite data, * hierarchies of unsolvability, * and related areas. *Invited Speakers:* * Thierry Coquand (Gothenburg) * Dirk Pattinson (Canberra) * Paul Potgieter (Pretoria) * Robert Rettinger (Hagen) * Hideki Tsuiki (Kyoto) * … (tba) *Tutorial Speakers:* * Andrej Bauer (Ljubljana) * Martin Ziegler (Darmstadt) *Abstract submission deadline:* *10 June 2014* ** *Upload your submission via EasyChair* https://www.easychair.org/conferences/?conf=ccc20140 <https://www.easychair.org/conferences/?conf=ccc20140> *Programme Committee:* * Andrej Bauer(Ljubljana) * Willem Fouche' (Pretoria) * Hajime Ishihara (Nomi, Ishikawa) * Margarita Korovina (Novosibirsk) * Davorin Lesnik (Darmstadt) * Norbert Mueller (Trier) * Robert Rettinger (Hagen) * Monika Seisenberger (Swansea) * Dieter Spreen (Siegen and Pretoria) (chair) * Martin Ziegler (Darmstadt). *Organizing Committee:* * Andrej Bauer (Ljubljana)

1 0

JAIST Logic Seminar Series
by Takako Nemoto 16 May '14

16 May '14

皆様インスブリア大学のMarco Benini 先生の講演のお知らせです。ふるってご参加ください。問い合わせ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: t-nemoto(a)jaist.ac.jp ------------------------------ -------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON. Date: Thursday 22, May, 2014 15:30-17:00 Place: JAIST Collaboration Room 6 (I57-g) (Access:http://www.jaist.ac.jp/english/location/access.html) Speaker: Dr. Marco Benini Title: Point-free foundations of Mathematics Abstract: Is it possible to work with logical theories without assuming the existence of a universe where to interpret terms? This talk will positively answer to the above question in the case of first-order, intuitionistic-based theories by providing a class of models, defined inside Category Theory, such that they allow to interpret theories in a sound and complete way. Furthermore, the models explain the computational meaning of the corresponding theories via a semantic version of the Curry-Howard isomorphism. And their peculiar aspect is that they provide no universe where to interpret terms.

1 0

【講演募集の延長】SLACS 2014 / 2014 Nonstandard Analysis Symposium
by YOKOYAMA Keita 07 May '14

07 May '14

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

1 0

APLAS 2014: Last CFP
by Jacques Garrigue 07 May '14

07 May '14

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

1 0

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

04 May '14

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

1 0

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

04 May '14

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

1 0

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

01 May '14

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

1 0

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

25 Apr '14

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

1 0

千葉 logic seminar
by arai toshiyasu 25 Apr '14

25 Apr '14

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

1 0

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

22 Apr '14

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

1 0

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

13 Apr '14

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

1 0

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

10 Apr '14

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

1 0

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

04 Apr '14

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

1 0

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

04 Apr '14

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

1 0

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

31 Mar '14

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

1 0

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

31 Mar '14

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

1 0

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

31 Mar '14

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

1 0

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

28 Mar '14

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

1 0

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

27 Mar '14

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

1 0

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

16 Mar '14

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

1 0

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

14 Mar '14

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

1 0

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

14 Mar '14

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

1 0

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

14 Mar '14

DEADLINE APPROACHING! [Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Verónica Becher (Universidad de Buenos Aires) Juha Kontinen (University of Helsinki) Aarne Ranta (University of Gothenburg) Kazushige Terui (Kyoto University) Luca Vigano (Università di Verona) Thomas Wilke (Christian-Albrechts-Universität zu Kiel) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Ulrich Kohlenbach (Technische Universität Darmstadt) - Chair Natasha Alechina (University of Nottingham) Eric Allender (Rutgers University) Marcelo Arenas (Pontificia Universidad Católica de Chile) Steve Awodey (Carnegie Mellon University) Stefano Berardi (Università di Torino) Julian Bradfield (University of Edinburgh) Xavier Caicedo (Universidad de los Andes de Chile) Olivier Danvy (University of Aarhus) Hans van Ditmarsch (LORIA) Marcus Kracht (University of Bielefeld) Michiel van Lambalgen (University of Amsterdam) Klaus Meer (Technische Universität Cottbus) George Metcalfe (University of Bern) Dale Miller (INRIA/LIX) Russell Miller (City University of New York) Sara Negri (University of Helsinki) Grigory Olkhovikov (Urals State University) Nicole Schweikardt (Goethe-University Frankfurt am Main) Sebastiaan Terwijn (Radboud University Nijmegen) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

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

06 Mar '14

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

1 0

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

03 Mar '14

皆様、 8月に湘南で開催されるCoqのサマースクールの案内を送ります。制度の都合で参加申込の〆切が少し早いですが、よろしくお願いします。 --- We are pleased to announce the NII International Summer School on the proof assistant Coq to be held from Monday, August 25th to Friday, August 29th, 2014 at Shonan Village Center in Japan. This school is sponsored by Inria and JFLI, CNRS. Application is open to Master students, PhD students, and young researchers from academic institutions, and young people from private companies. We might also consider applications by Bachelor students in exceptional cases. Because of limited space, there will be a pre-selection of participants by the organizers. If you wish to participate, please send as soon as possible and no later than May 2th, an email explaining in a few words why you wish to participate at: coq-school(a)math.nagoya-u.ac.jp In case of students, please also submit a recommendation letter by one of your professors. The participation fee including full board, meeting fees and applicable taxes is 12,500 JPY per day plus an excursion fee of around 5,000 JPY. Further information can be found at: http://shonan.nii.ac.jp/seminar/041/ Jacques Garrigue, David Nowak, Pierre Casteran

1 0

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

27 Feb '14

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

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 27 Feb '14

27 Feb '14

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

1 1

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

26 Feb '14

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

1 0

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

23 Feb '14

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

1 0

APLAS 2014: Call for papers
by Jacques Garrigue 21 Feb '14

21 Feb '14

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

1 0

Deadline tomorrow: Call for participation (PPL 2014)
by Kohei SUENAGA 17 Feb '14

17 Feb '14

（複数受け取られた場合はご容赦ください．）参加登録締切が明日になりましたので、 PPL 2014 の参加登録案内をもう一度お届けいたします。たくさんのご参加をお待ち申し上げております。 PPL 2014 実行委員長末永幸平 -- 3月5日(水)から3月7日(金)に阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) の参加登録案内をお届けいたします．今回は中田育夫様幡山五郎様のお二人に招待講演を頂きます．多くの方々のご参加をお待ちしております．参加登録ページは http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html です．参加登録の締め切りは2月18日(火)です．どうぞお早めのご登録をお願い致します．また，ポスター・デモの発表も 2014年2月7日 (金) 17:00 (JST) まで受け付けております．こちらも http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/index.html をご参照の上，投稿をご検討ください． PPL 2014 実行委員長末永幸平 ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)〜3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 参加登録ならびに宿泊予約を2月18日(火)まで日本旅行のWebサービスにて受け付けております． http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html をご参照いただき，ご登録ください． ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

EASLLC 2014
by 小野寛晰 16 Feb '14

16 Feb '14

Call For Papers The Student Session of the Third East-Asian School on Logic, Language and Computation (EASLLC 2014) The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop “Current Trends in Logic” on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience. In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions. We invite submissions of abstracts of original, unpublished papers from students in the area of logic, language and computation. Submissions will be reviewed by several experts in the field. Authors of accepted papers will be invited to present in the student session, and a selected number of them will be provided with free reasonable accommodation. Instruction for Authors: Students are invited to submit an abstract of maximum 5 pages on any topic in logic, language and computation. The abstract should be written in properly readable English, and must be in PDF format that is to be submitted using our EasyChair website. Important Dates: April 1, 2014 - deadline for short abstracts of papers (at most 5 pages) April 20, 2014 - notification date of acceptance/rejection of the papers SCHOOL COURSES 6 different courses will be offered, covering logic, philosophy, computer science, and linguistics, with an emphasis on the interaction between those fields. Course title, reading materials, and the final schedule will come soon. § Logic and Quantum Information: Samson Abramsky (Oxford University), § Logic and Computation: Phokion Kolaitis (UC Santa Cruz) § Logic and Language: Larry Moss (Indiana University) § Formal Philosophy: Wesley Holliday (UC Berkeley) § Philosophical Logic: Alexandru Baltag and Sonja Smets (The University of Amsterdam) § Mathematical Logic: Jouko Väänänen (The University of Helsinki and University of Amsterdam) Program Committee Chairs: Samson Abramsky (Oxford University) Andrew Yao (Tsinghua University) Committee § Johan van Benthem (University of Amsterdam) § Yijia Chen (Shanghai Jiaotong University) § Xinyu Feng (University of Science and Technology of China, Hefei) § Xiangdong He (South west University, Chongqing) § Huaxin Huang (Zhejiang University, Hangzhou) § Yi Jiang (Beijing Normal University) § Shier Ju (Sun Yat-sen University, Guangzhou) § Jeremy Seligman (Auckland University) § Xiaoming Ren (Nankai University, Tianjin) § Kaile Su (Griffith University) § Cong Tian (Xidian University, Xi'an) § Lu Wang (Tsinghua University, Beijing) § Wujin Yang (Renmin University, Beijing) § Naijun Zhan (The Chinese Academy of Science, Beijing) § Jianjun Zhang (Nanjing University, Nanjing) § Beihai Zhou (Peking University, Beijing) § Chongli Zou (Chinese Academy of Social Sciences, Beijing) Organizing Committee § Fenrong Liu (Chair, Tsinghua University) § Jiahong Guo (Beijing Normal University) § Fengkui Ju (Beijing Normal University) § Pingzhong Tang (Tsinghua University) § Yanjing Wang (Peking University) Student Program Organizers § Chairs: Junhua Yu (The Graduate Center, CUNY) Chanjuan Liu (Peking University) Organizing Institutions § Tsinghua University § Beijing Normal University § Association for Logicians in Beijing § The University of Amsterdam School website is being constructed, will be available soon. For any questions, please contact easllc2014(a)gmail.com --

1 0

QPL 2014: Call for Papers
by Ichiro Hasuo 15 Feb '14

15 Feb '14

(Apologies for multiple copies) CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito "Hassei" Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 STUDENT TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also be able to provide limited financial support to students for travel and accommodations. Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford & CQT Singapore) Mingsheng Ying (UTS Sydney & Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)

1 0

Reminder: Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)
by Katsuhiko Sano 13 Feb '14

13 Feb '14

皆様、重複して受け取られた場合はどうぞご容赦ください。北陸先端科学技術大学院大学の佐野勝彦です。 Computability Theory and Foundations ofMathematics 2014 の直後の 2/21, 2/22 に金沢で開催する Epistemic Logic に関する国際ワークショップについて、開催が迫りましたので、再度ご案内を致します。 =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints. Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University) -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series (20th Feb. 2014)
by Katsuhiko Sano 12 Feb '14

12 Feb '14

皆様、千葉大学の新井敏康先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学研究科 e-mail: v-sano(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 20th February 2014, 15:00-16:30 Place: Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Toshiyasu ARAI (Chiba University) Title: Proof search in intuitionistic logics Abstract: Following G. Mints, we present a complete proof search in multi-succedent sequent calculi for intuitionistic propositional and pure predicate logic in the spirit of Schuette's schema.

1 0

数学と論理の哲学国際集会のお知らせ（２月２６日、２７日慶応大学三田キャンパス）
by Mitsu OKADA 06 Feb '14

06 Feb '14

貴会会員/メールリスト登録者の皆様に関係する話題であると思いますので、投稿させて頂きます。メールリストでの配布のご検討をお願い申し上げます。　慶応義塾大学文学部哲学専攻　岡田光弘 ―――――――――――――――――――――――――――――――――――――――――――――― 数学と論理の哲学国際集会　"Philosophy of Mathematics and Logic" Meeting Philosophy of Mathematics　and Logic Meeting 2014年2月26(水)-27日(木) 於慶應大学三田キャンパス数学と論理の哲学に関する研究集会を開催します。 1日目はHusserlian Philosophy of Mathematics 及び Hilbert Schools, Gödel などとの関連についての議論をし、2日目はLogical Pluralism, Logical Structuralism, Quine などを議論をする予定です。 - 2/26 (Feb 26) : Husserl's Philosophy of Mathematics and related issues (including Hilbert) - 2/27 (Feb 27) : Current State of Philosophy of Mathematics and Logic (* プログラムは http://ctj.keio.ac.jp/news/18 で随時アップデートいたします。*) ――――――――――――――――――――――――――――――――――――――――――――――― 日時：2014年2月26(水)-27日(木) Date: February 26th / 27th, 2014 場所：慶應義塾大学三田キャンパス東館6階G-Sec Lab Place: G-Sec Lab., 6th Floor of East Research Building, Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html ――――――――――――――――――――――――――――――――――――――――――――――― ゲスト講演者： Invited speakers include: - Mirja Haltimo (University of Helsinki, Finland) - Jariro da Silva (Sãn Paulo University, Brazil) - Vincent Gerard (University of Poitier, France) - Stefania Centrone (University of Oldenburg, Germany) - Toshihiro Suzuki (Sophia University, Japan) - Chen Bo (Beijing University, China) - Walter Dean (University of Warwick, UK) - Salvatore Florio (Kansas Sate University, USA) - Hidenori Kurokawa (Kobe University, Japan) - Richard Tieszen (UC San Jose, USA) (not confirmed) other speakers: - Mitsuhiro Okada (Keio University) and others Guest commentators： - Sam Sanders (Gehnt University, Belgium) - Ryota Akiyoshi (Kyoto University) and others 参加方法：参加自由・参加費無料。ただし会場準備のため氏名、所属を明記して「Philosophy of Mathematics Meeting参加希望」と件名を記したメールを事務局宛( think-judge(a)abelard.flet.keio.ac.jp )にお送りください。お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 04 Feb '14

04 Feb '14

皆様、参加登録の締め切りが2月7日に迫って参りましたので、再び案内をさせていただきます。 2月17日(月)～2月20日(木)に東京工業大学 Computability Theory and Foundations of Mathematics 2014 を開催致します。研究集会のプログラムが http://www.jaist.ac.jp/CTFM/CTFM2014/timetable.html にてご覧いただけます。宜しく参加をご検討ください。横山 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) Conference webpage http://www.jaist.ac.jp/CTFM/CTFM2014/index.html Registration deadline: February 7. Invited Speakers Chong Chi Tat (National University of Singapore) Damir Dzhafarov (University of Connecticut) Cameron Freer (Massachusetts Institute of Technology and Analog Devices Lyric Labs) Hajime Ishihara (JAIST) Akinori Kawachi (Tokyo Institute of Technology) Akitoshi Kawamura (University of Tokyo) Takayuki Kihara (JAIST) Antonio Montalbán (University of California, Berkeley) Ng Keng Meng (Nanyang Technological University) Jan Reimann (Pennsylvania State University) Paul Shafer (Ghent University) Stephen G. Simpson (Pennsylvania State University) Henry Towsner (University of Pennsylvania) Wang Wei (Sun Yat-sen University) Wu Guohua (Nanyang Technological University) Organising Committee Hajime Ishihara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State University) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) Programme Committee Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) ============================================================ どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Talk by Shohei Izawa (13 Feb, 11:00-)
by Shinya Katsumata 04 Feb '14

04 Feb '14

京都大学数理解析研究所の勝股です。 2月13日11:00から、東北大学の井澤昇平氏に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 13 Feb, 2014 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Shohei Izawa (Tohoku University) Title: べき等縮約を通じて見る代数系の圏 Abstract: 代数系のべき等演算による像には、もとの代数系のtermから得られる演算を導入することで自然に構造（べき等縮約）を入れることができる。より小さな代数系を得るその操作は自然に関手に拡張されること、および有限代数系の場合にはもとの代数系が復元できるようなべき等縮約の族の中には最小のものが存在することから、そのような族を通じて代数系の圏を調べることができると期待される。本発表では上記の枠組みの概要と関連する結果を紹介する。

1 0

第３０回量子情報技術研究会（QIT30）のご案内
by NISHIMURA Harumichi 31 Jan '14

31 Jan '14

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

1 0

Vienna Summer of Logic
by Norbert Preining 30 Jan '14

30 Jan '14

logic-mlの皆様，今年の論理学の大学会「Vienna Summer of Logic」のご案内をさせていただきます。是非ご参加下さい。プライニング・ノルベルト北陸先端科学技術大学院大学 Kurt Gödel Society (KGS) **Vienna Summer of Logic Announcement** In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014 (see website for more details: http://vsl2014.at) *Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session. *Logic in Computer Science / Federated Logic Conference (FLoC)* - 26th International Conference on Computer Aided Verification (CAV) - 27th IEEE Computer Security Foundations Symposium (CSF) - 30th International Conference on Logic Programming (ICLP) - 7th International Joint Conference on Automated Reasoning (IJCAR) - 5th Conference on Interactive Theorem Proving (ITP) - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) - 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) - 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) - FLoC Workshops - FLoC Olympic Games (System Competitions) *Mathematical Logic* - Logic Colloquium 2014 - Logic, Algebra and Truth Degrees 2014 - The Infinity Workshop - Kurt Goedel Fellowship Competition *Logic in Artificial Intelligence* - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) - 27th International Workshop on Description Logics (DL) - 15th International Workshop on Non-Monotonic Reasoning (NMR) - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Kurt Goedel Research Prize Fellowship Competition* At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." *FLoC Olympic Games - Citius, Maius, Potentius* The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies. ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

Talk by Mingsheng Ying, Friday next week (Feb 7)
by Ichiro Hasuo 29 Jan '14

29 Jan '14

Dear colleagues, Next week on Friday we have a talk by Prof. Mingsheng Ying (UT Sydney & Tsinghua). He visits us on the occasion of the PhD defense of Takahiro Kubota (http://hagi.is.s.u-tokyo.ac.jp/~tk/) which is on the same date, 13:00-15:00 in the same room. Feel free to join us. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Fri 7 February 2014, 16:30-18:00 Mingsheng Ying <http://quantum-lab.org/mingsheng/> (University of Technology Sydney & Tsinghua University) Reachability Analysis of Quantum Markov Chains 理学部7号館2階 214教室 Room 214, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) The talk will be based on our Concur'12 and Concur'13 papers, which study verification of quantum systems, including quantum programs, modelled by quantum Markov chains (qMCs). We consider three kinds of long-term behaviour, namely reachability, repeated reachability and persistence, of qMCs. As a stepping-stone, we introduce the notion of bottom strongly connected component (BSCC) of a qMC and develop an algorithm for finding BSCC decompositions of the state space of a qMC. As the major contribution, several (classical) algorithms for computing the reachability, repeated reachability and persistence probabilities of a qMC are presented, and their complexities are analysed.

1 0

PPL 2014 参加登録開始のご案内：第16回プログラミングおよびプログラミング言語ワークショップ
by Kohei SUENAGA 29 Jan '14

29 Jan '14

（複数受け取られた場合はご容赦ください．） 3月5日(水)から3月7日(金)に阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) の参加登録案内をお届けいたします．今回は中田育夫様幡山五郎様のお二人に招待講演を頂きます．多くの方々のご参加をお待ちしております．参加登録ページは http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html です．参加登録の締め切りは2月18日(火)です．どうぞお早めのご登録をお願い致します．また，ポスター・デモの発表も 2014年2月7日 (金) 17:00 (JST) まで受け付けております．こちらも http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/index.html をご参照の上，投稿をご検討ください． PPL 2014 実行委員長末永幸平 ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)〜3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 参加登録ならびに宿泊予約を2月18日(火)まで日本旅行のWebサービスにて受け付けております． http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/registration.html をご参照いただき，ご登録ください． ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

Sendai Logic School 2014 at Tokyo Tech
by Takeshi Yamazaki 28 Jan '14

28 Jan '14

皆様， 2月21日，東京工業大学においてウィンタースクール，Sendai Logic School 2014 at Tokyo Techを開催いたします．ウィンタースクールでは，逆数学及び関連分野で活躍する研究者によって，主に大学院生を対象にそれぞれの研究について講義をしていただきます．より詳細な情報を以下に記載いたしますので，ご参加をご検討ただければと存じます． Sendai Logic School 2014 at Tokyo Tech 日時：2月21日場所：東京工業大学テーマ：主に大学院生を対象とし，逆数学および関連分野で活躍する研究者に自身の研究について講演してもらいます．講演者（全4名, 順不同, 敬称略）：Stephen G. Simpson（Penn State Univ.）, Keng Meng Ng (Nanyang Tech. Univ.), Wei Wang (Sun Yat-sen Univ.), Paul Shafer (Ghent Univ.) 講演時間：一人一時間講義形式の講演が終了後，ややインフォーマルな研究者同士のフリーディスカッションや，プロブレムセッションを予定しております．事前登録は不要です．詳細は以下のHPに随時更新していく予定です： http://sendailogic.com/SLS2014/index.html ------------------------------ 山崎　武東北大学大学院理学研究科数学専攻 980-8578 仙台市青葉区荒巻字青葉６番３号 tel: 022-795-7704 e-mail: yamazaki(a)math.tohoku.ac.jp

1 0

CALL for Workshop Proposals: JSAI-isAI 2014 in Yokohama, Japan
by Ken Satoh 23 Jan '14

23 Jan '14

The Sixth JSAI International Symposia on AI (JSAI-isAI 2014) November 23 - 25, 2014 Sponsored by: The Japanese Society for Artificial Intelligence (JSAI) Venue: Raiousha Building, Keio University, Kanagawa http://www.ai-gakkai.or.jp/isai/ Call for Workshop Proposals Submission deadline: March 23, 2014 Submit a proposal to "JSAI-isAI [at] ai-gakkai.or.jp" by e-mail The sixth JSAI International Symposia on AI (JSAI-isAI) will take place at Keio University, Kanagawa on November 23rd - 25th, 2014. JSAI-isAI is an event that hosts several international workshops at the same location. This is in succession to the international workshops co-located with JSAI annual conferences since 2001. JSAI invites proposals for the sixth JSAI-isAI. JSAI-isAI brings together a set of workshops at a common site, providing a unique and intimate forum for colleagues in a given discipline. JSAI-isAI also provides an important opportunity for AI researchers to get together and share their knowledge. In previous symposia, selected papers were published from Springer LNAI series (http://www.springer.com/series/1244). Prospective workshop organizers should send a proposal (maximum three pages) with the following sections to the JSAI-isAI 2014 Committee (JSAI-isAI [at] ai-gakkai.or.jp). - Title of the workshop - Objectives, and scope - Names and contacts of key organizers and a tentative list of the program committee members. - Expected number of papers, attendees, and preliminary workshop format. Proposals will be reviewed by the JSAI-isAI 2014 Committee. The form for workshop proposals is shown below. ------------------------------------------------------------ <Workshop Proposal Form> Workshop title: Abstract (within 400 words): #Describe objective, scope Expected number of papers: Expected number of attendees: Preliminary workshop format: #Describe whether the workshop will include panels, posters, and etc. Past experiences in JSAI-isAI (if any): #Describe whether you have organized workshops in JSAI-isAI and how #many participants you have got in the past Information of Workshop leader (1) Name: Affiliation: Postal address: Telephone: Fax e-mail: Experiences with conference/workshop (if any): Information of Workshop co-leader (2) (if any) Name: Affiliation: Postal address: Telephone: Fax e-mail: Experiences with conference/workshop (if any): The tentative list of members in the program committee (3): ------------------------------------------------------------ Important Dates Workshop Proposal Due : 23 March 2014 Workshop Notification : 9 April 2014 Release of Workshop Call for Paper : April 2014 Workshop Submission Deadline : August 2014 Workshop Author Notification : September 2014 Workshop Camera-ready : October 2014 Workshop Date : 23-25, November 2014 Notes The organizers and chairs of the workshop shall have full control on the call for papers, forming of program committees, review and selection of papers as well as planning the workshop program. Furthermore, the organizers and chairs of the workshop should specify in the web page that the workshop is `with a support of The Japanese Society for Artificial Intelligence' and `in association with forth JSAI International Symposia on AI (JSAI-isAI 2014).' The organizers and chairs of the workshop are also responsible for preparing a short review of the workshop, to be printed in the journal of JSAI. ---------

1 0

TQC2014のご案内
by NISHIMURA Harumichi 23 Jan '14

23 Jan '14

logic-mlの皆様，国際会議TQC2014のご案内を投稿させていただきます．投稿締め切りは２月１５日になります．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ---- Dear colleagues, The 9th Conference on the Theory of Quantum Computation, Communication and Cryptography, will be held at the National University of Singapore on 21-23 May 2014. http://tqc.quantumlah.org/ Submissions are welcome for talks or posters on, well, the theory of quantum computation, communication and/or cryptography. For more information on the scope of the conference, here are last year's proceedings: http://drops.dagstuhl.de/portals/extern/index.php?semnr=13014 Relevant dates are: Submission deadline: February 15, 2014 (23:59hr in any time zone) Notification of acceptance/rejection: March 20, 2014 Early registration deadline: April 30, 2014 Short abstracts submission: May 5, 2014 Registration deadline: May 16, 2014 Proceedings submission (final version of accepted papers): July 03, 2014 This conference continues its open-access tradition with accepted talk and selected poster abstracts being published electronically in the LIPIcs series, but with authors retaining rights to their work (and in particular, the right to publish elsewhere). Additionally, parts of the PC discussion will be posted online for accepted talks. These policies and other details of the submission process are described here: http://tqc.quantumlah.org/submissions.php Please forward this message to any person or group who may be interested. For more information, please contact tqc2014(a)quantumlah.org <mailto:tqc2014@quantumlah.org <tqc2014(a)quantumlah.org>>.

1 0

『山陰基礎論・解析学セミナー 2014』（2月1日）のご案内
by higurashi3873＠yahoo.co.jp 22 Jan '14

22 Jan '14

皆様米子高専の堀畑です．お世話になっております．２月１日（土）に米子高専（鳥取県）にて研究集会『山陰基礎論・解析学セミナー 2014』を開催いたします．分野を超えた，基礎論，関数解析学，一般位相幾何学，グラフ理論に関する研究会となっております．聴講を希望する方は，1月27日（月）までに堀畑（horihata(a)yonago-k.ac.xn--jp)-u63ba8a7d1as2d5g1jljn549g815btp1a. 議論のしやすいざっくばらんな会議にしたいと考えています．奮ってご参加いただき，山陰の味覚と共に楽しんでいただけたら幸いです．研究会の詳細は下記ホームページもご覧ください． https://sites.google.com/site/yonagonctmath/home/SaninLogicAnalysisSeminar 【プログラム】 2月1日 9:25～17:40 [1] 薄葉季路（神戸大学）「非可算無限グラフの彩色について」 [2] 横山啓太（JAIST）「巨大な有限集合と証明不可能性」 [3] 樋口幸治郎（千葉大学）「Turing 次数構造の順序次元」 [4] 木原貴行（JAIST）「ボレル可測関数の連続関数への分解に関するルージンの予想の周辺」・昼食 [5] 谷口哲至（松江高専）「ホフマングラフとグラフの階層構造」 [6] 山内貴光（島根大学）「漸近次元について」 [7] 瀬戸道生（島根大学）「数学基礎論に関係すると思われる函数解析学の中の話題」 [8] 高木啓行（信州大学），古清水大直（米子高専）「保存問題における関数空間上の等距離写像について」 [9] 倉橋太志（神戸大学）「不完全性定理以降のRosser 可証性述語」 [10] 佐藤隆（東北大学）「逆数学とイデアル分解定理」 [11] 吉居啓輔（東北大学）「2 階算術におけるゲームの決定性と今後の発展について」 19:00∼ 懇親会（米子駅周辺にて）以上です．よろしくお願いい申し上げます．堀畑　佳宏 -- 米子工業高等専門学校　教養教育科・数学〒683-8502 鳥取県米子市彦名町4448 E-mail: horihata(a)yonago-k.ac.jp

1 0

【公募】産総研セキュアシステム研究部門（尼崎支所）ポスドク・プログラマ（１名）
by Takashi KITAMURA 21 Jan '14

21 Jan '14

# 重複して受信された場合はどうぞご容赦ください。みなさま、（独）産業技術総合研究所の北村です。本MLをお借りし、産業技術総合研究所セキュアシステム研究部門のポスドク（もしくは、プログラマ）の公募案内をさせていただきます。本業務ではソフトウェア工学特に、ソフトウェアテスト・検証技術の研究開発に従事していただきます。特にツール開発のためのプログラムコードの開発が主な仕事内容となります。詳しくは以下のページの「1. 産総研特別研究員（産総研第１号契約職員）」をご覧ください。 https://www.risec.aist.go.jp/offering/index-ja.html 尚、上記ページでは募集要項が産総研特別研究員（ポスドク）の内容となっておりますが、テクニカルスタッフ（プログラマ）としての採用も可能です。募集は採用者決定次第締め切りとさせていただきます。ご興味・ご不明点がございましたらお早めに／お気軽にお問い合わせください。またお近くの方へ本公募のご紹介をいただけますと幸いです。何卒よろしくお願いいたします。 -- 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

ラムダ計算と論理の早春セミナー (3/6--3/10)
by Fujita Kenetsu 19 Jan '14

19 Jan '14

(* Apologies for any cross-postings. *) 皆様，『ラムダ計算と論理の早春セミナー 2014』のご案内日程：2014年3月6日(木) 午後5時から3月10日(月) 正午まで場所：国立大学草津セミナーハウス他　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2014.03LLSinKusatsu.htm 興味をお持ちのみなさまのご参加をお待ちしております．参加・宿泊に関する連絡は藤田（群馬大学）までお気軽にお願いします． ----------- 群馬大学　藤田憲悦

1 0

Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)
by Katsuhiko Sano 17 Jan '14

17 Jan '14

皆様、重複して受け取られた場合はどうぞご容赦ください。北陸先端科学技術大学院大学の佐野勝彦です。Computability Theory and Foundations of Mathematics 2014 の直後の 2/21, 2/22 に金沢で開催する Epistemic Logic に関する国際ワークショップについてご案内を致します。詳細については改めてご案内いたしますが、どうぞ参加をご検討ください。 =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html =========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints. Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University) -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 15 Jan '14

15 Jan '14

皆様、 2月17日(月)〜2月20日(木)に東京工業大学で開催致します、 Computability Theory and Foundations of Mathematics 2014 の講演募集の締め切りの1月15日が迫って参りましたので、再度案内をさせていただきます。横山 ============================================================ 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします．研究集会の詳細は下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2014/index.html 講演の募集は1月15日が締め切りです。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

「プロセスとしての証明に関するワークショップ」について
by Norbert Preining 15 Jan '14

15 Jan '14

各位北陸先端科学技術大学院大学プライニング・ノルベルトです。「プロセスとしての証明に関するワークショップ」　開催のご案内この度、１月２０日（月）～２１日（火）に、金沢市石川四高記念文化交流館において、「プロセスとしての証明に関するワークショップ」（Workshop on Proofs as Processes) を開催する運びになりました。 URL: http://www.jaist.ac.jp/~preining/wpp/ 参加を希望される方はプライニングへご連絡下さい。プライニング　ノルベルト ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

Fwd: MFPS XXX
by Ichiro Hasuo 14 Jan '14

14 Jan '14

みなさま，プログラム意味論についての国際会議 MFPS XXX の CFP をお送りします．ぜひ投稿をご検討ください！蓮尾一郎東京大学大学院情報理工学系研究科コンピュータ科学専攻 www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ =========== This is the First Call for Papers for MFPS XXX. Details of the meeting are given below. MFPS XXX http://www.cs.cornell.edu/Conferences/MFPS30/ Thirtieth Conference on the Mathematical Foundations of Programming Semantics Cornell University Ithaca, NY USA 12 - 15 June 2014 The Thirtieth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the Cornell University, Ithaca, NY USA from June 12 through June 15, 2014. MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighboring areas. TOPICS include, but are not limited to, the following: biocomputation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. INVITED SPEAKERS: Nick Benton, Microsoft Research, Cambridge, UK Andy Gordon, Microsoft Research, Cambridge, UK Elham Kashefi, University of Edinburgh, UK Prakash Panangaden, McGill University, Canada Alexandra Silva, Radboud University, Nijmegen, The Netherlands SPECIAL SESSIONS: There will be two special sessions at the meeting, each associated with one of the plenary talks: * Probabilistic computing, organized by Andy Gordon * Quantum Computing, organized by Elham Kashefi Additional special sessions also may be organized. There also will be a series of TUTORIAL LECTURES during the meeting - the topic and list of speakers are still being arranged. PROGRAM COMMITTEE: The Program Committee for MFPS XXX is being co-chaired by Bart Jacobs, Alexandra Silva and Sam Staton (Radboud University). The other members of the PC are: Steve Awodey, CMU, USA Andrej Bauer, Ljubljana, Slovenia Steve Brookes, CMU, USA Pierre Clairambault, ENS Lyon, FR Martin Escardo, Birmingham UK Fabio Gadducci, Pisa IT Ichiro Hasuo, Tokyo JP Martin Hofmann, LMU Muenchen DE Achim Jung, Birmingham UK Shin-Ya Katsumata, Kyoto JP Naoki Kobayashi, Tokyo JP Dexter Kozen, Cornell USA Conor McBride, Strathclyde UK Guy McCusker, Bath UK Annabelle McIver, Macquarie AU Catherine Meadows, NRL USA Stefan Milius, Erlangen-Nuernberg DE Michael Mislove, Tulane USA Rasmus Ejlers Møgelberg, ITU Copenhagen DK Joel Ouaknine, Oxford UK Prakash Panangaden, McGill CA Daniela Petrisan, Leicester UK Alex Simpson, Edinburgh UK Jamie Vicary, Oxford UK Nobuko Yoshida, Imperial College UK IMPORTANT DATES: - 11 April 2014 Paper submission deadline - 9 May 2014 Notification to authors - 19 May 2014 Preliminary proceedings version due SUBMISSIONS should be prepared using ENTCS Macros, available from http://www.entcs.org Submissions should be in the form of a PDF file not exceeding 15 pages in length. Submissions are open on the EasyChair website: http://www.easychair.org/conferences/?conf=mfps30 PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. The Organizers of the MFPS series are Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Oxford) and Prakash Panangaden (McGill). The local arrangements for MFPS XXX are being overseen by Dexter Kozen (Cornell).

1 0

Call for Papers: 2nd AWPL （再送）
by 小野寛晰 13 Jan '14

13 Jan '14

The Second Asian Workshop on Philosophical Logic 12-13 April, 2014 Institute for Logic and Cognition Sun Yat-Sen University Guangzhou, China All researchers working on various aspects of philosophical logic are cordially invited to submit their papers by the submission deadline of January 20th, 2014. Authors should submit an (extended) abstract at least two pages but no more than ten pages. Papers must be submitted as PDF files and sent to liuhu2(a)mail.sysu.edu.cn . Each submission will be refereed. The workshop is open to everyone, and practical info will be available soon on the website. DESCRIPTION OF THE CONFERENCE: The Second Asian Workshop on Philosophical Logic will be held at Guangzhou, China, and is organized by the Institute of Logic and Cognition, Sun Yat-sen University from 12th to 13th April, 2014. The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science. IMPORTANT DATES: Abstract submission deadline: January 20, 2014 Notification of authors: February 15, 2014 Conference: April 12-13, 2014 POST-CONFERENCE PUBLICATION: All authors of papers presented at the conference will be encouraged to submit a full version to a post-conference volume published by Springer at the book series "Logic in Asia". See http://www.springer.com/series/13080 . All papers submitted to the post-conference proceedings will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The details of the post-conference proceedings will be announced later COMMITTEE: Chairs: Shier Ju （Sun Yat-sen University, China） Hiroakira Ono （JAIST, Japan） Program Committee: Wojciech Buszkowski （Adam Mickiewicz University, Poland） Mihir Chakraborty (Jadavpur University, India) Phan Minh Dung (Asian Institute of Technology, Thailand) Fenrong Liu (Tsinghua University, China) Jeremy Seligman (The University of Auckland, New Zealand) Wen-fang Wang (National Yang Ming University, Taiwan, China) Chin-mu Yang (National Taiwan University, Taiwan，China) Xishun Zhao (Sun Yat-sen University, China) Furthur information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/

1 0

Wittgenstein国際集会ー論理、意味、心の哲学 Jan.18-19th,　慶応大 Keio U.
by Mitsu Okada 04 Jan '14

04 Jan '14

論理および論理の哲学に関係する話題であると思いますので、投稿させて頂きます。メールリストでの配布のご検討をお願い申し上げます。　慶応義塾大学文学部哲学専攻　岡田光弘 ――――――――――――――――――――――――――――――――――――――――――――――― WITTGENSTEIN MEETING, Jan 18th(Sat)-19(Sun), 2014 ウィトゲンシュタインの論理、意味、心の哲学 (慶応大三田キャンパス、 KeioUniversity) ――――――――――――――――――――――――――――――――――――――――――――――― 開催日時・場所: 日時：2014年1月18日（土）13:00*〜17:30 / 19日(日) 10:30*〜17:00 Date: January 18th (13:00-17:30) /19th (10:30-17:00), 2014 場所：慶應義塾大学三田キャンパス東館6階G-Sec Lab (18日) / 東館8階ホール(19日) Place: G-Sec Lab, 6th Floor of East Research Building (Jan. 18) / Conference Hall, 8th Floor of East Research Building (Jan. 19), Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html (* 開始時間変更の可能性あり．プログラムは http://ctj.keio.ac.jp/news/14 でアップデートいたします。) ――――――――――――――――――――――――――――――――――――――――――――――― Wittgenstein の論理、意味、心の哲学を中心テーマとする国際集会を開催i致します。ゲスト講演者： - Timothy William Child (Oxford University) “Wittgenstein’s philosophy of mind”(tentative title) - Pasquale Frascolla (Università della Basilicata Napoli) “Realism, Anti-realism, Quietism: Wittgenstein's stance” - João Vergílio Gallerani Cuter (Dept. of Philosophy, University of São Paulo) “Truth functions in Tractatus”(tentative title) Jinho Kang , Depertment of Philosophy, Seoul National University "Early Wittgenstein and Philosophy of Language" (tentative title) - Mathew Marion (Department of philosophy, Université du Québec à Montréal ) “TBA” - Masaharu Mizumoto (JAIST) “TBA” - その他（ゲスト講演者リストやプログラム情報はイベントページ http://ctj.keio.ac.jp/news/14 にてアップデートされます．） - Mitsuhiro Okada (Department of Philosophy, Keio University) “Philosophy of mathematical “proofs” in Wittgenstein” ＊発表言語は英語参加方法：事前登録不要・参加費無料。ただし会場準備のため氏名、所属を明記して「Wittgenstein集会参加希望」と件名を記したメールを事務局 think-judge(a)abelard.flet.keio.ac.jp 宛に 1/15 までにお送りください。 (※18日セッション終了後のレセプションも参加自由です。) お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp ――――――――――――――――――――――――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml