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

Call for Participation: FLOPS 2018
by Koji Nakazawa 30 Mar '18

30 Mar '18

みなさま，（重複してお受け取りの際は御容赦ください） 5月に名大で開催されるFLOPS 2018参加募集です．みなさまの御参加をお待ちしております． -- 中澤巧爾 (NAKAZAWA Koji) 名古屋大学大学院情報科学研究科情報システム学専攻 mail: knak(a)i.nagoya-u.ac.jp ======================= Call For Participation ======================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan Registration is now open for FLOPS 2018. http://www.sqlab.jp/FLOPS2018/#registration Deadline for early registration is 20 April, 2018. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. The list of accepted papers is at http://www.sqlab.jp/FLOPS2018/accepted.html Invited Speakers William E. Byrd (University of Alabama at Birmingham, USA) Zhenjiang Hu (National Institute of Informatics, SOKENDAI, Japan) Cédric Fournet (Microsoft) Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair)

1 0

The Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018)
by 小野寛晰 28 Mar '18

28 Mar '18

[Please circulate. Apologies for multiple copies.] The Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018) With a main theme: “Conditionals: Truth-Conditions, Probability, and Causality” Call for Papers 15th (Thursday) - 17th (Saturday) of November, 2018 Department of Philosophy, National Taiwan University, Taipei, Taiwan. http://www.philo.ntu.edu.tw/lmmgroup <http://www.philo.ntu.edu.tw/lmmgroup> We are pleased to invite you to submit an abstract of a contributed talk to TPLC 2018. Deadline of the submission: 31 July, 2018 Notification of accepted contributed talk: 20 August, 2018 DESCRIPTION OF TPLC 2018 The Taiwan Philosophical Logic Colloquium (TPLC-series, TPLCs for short) is one of two series of biennial conferences established since 2012 and is hosted by Department of Philosophy, National Taiwan University, Taiwan. (The other is the series of Taiwan Metaphysics Colloquium (TMC-series, TMCs for short), established since 2013). Funding is mainly sourced from annual donation by Ms. Wendy Huang and Shun Yih Ltd. The primary concern of this funding is to enhance the research of logic and analytic philosophy in Taiwan. The aim of TPLCs is to provide a forum for dialogues amongst philosophers and logicians with regard to a variety of significant issues and topics from philosophical and logical perspectives. We intend to bring together a group of logic-minded philosophers and philosophically oriented logicians. We hope that TPLCs and TMCs will become a series of inspiring events so as to promote the development of logic and analytic philosophy, especially philosophical logic and metaphysics in Asian area, especially in Taiwan. In order to bring in more philosophical discussions in TPLCs, the organizing committee has decided that for each TPLC, henceforth, a particular topic/issue/problem, which has involved some philosophical debates, will be set as the main theme. We are hoping that, apart from the general topics in philosophical logic, there could be a certain portion (say, half) of talks focusing on the main theme. The main theme of TPLC 2018 will be “Conditionals: Truth-Conditions, Probability and Causality”. Conditional is undoubtedly one of the most important, and yet controversial, philosophical topics in philosophy. What is the nature of conditionals? Specifically, what is the difference between indicative conditionals and subjunctive ones? Do either indicative conditionals or subjunctive conditionals have truth conditions? If either do, what are their truth conditions? While enormous efforts have been devoted to these questions (and more others), there is undoubtedly plenty of room for further exploration. This year, the Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018) will set the research of conditionals as its main theme. We are hoping that apart from non-classical logics, the philosophy of logic and mathematics, and general topics in philosophical logic, more and more attention can be paid to the study of conditionals. KEYNOTE SPEAKERS: Dorothy Edgington (FBA, Birkbeck College, University of London) Alan Hajek (FAAH, School of Philosophy, RSSS, Australian National University) INVITED SPEAKERS Churn-Jung Liau (Academia Sinica) Edwin Mares (Victoria University of Wellington) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Katie Steele (Australian National University) Jiji Zhang (Lingnan University) And more to come. SUBMISSION OF ABSTRACTS FOR CONTRIBUTED TALKS All researchers working on various aspects of conditionals and general topics in philosophical logic are cordially invited to submit their abstracts by 31 July, 2018. Authors should submit an extended abstract, which is no less than one page but no more than four pages (A4 size, single space). Please put on a separate page with the details of (all) authors, including full names, titles, affiliations, email addresses. By convention, the first author will be the corresponding author, unless special notification is added. Each submission will be reviewed. Abstracts and cover letters must be submitted as PDF files and sent to Hsuan-Chih Lin [azurviolet(a)gmail.com <mailto:azurviolet@gmail.com>] POST-CONFERENCE PUBLICATION: TPLCs has been flourishing since 2012 and we have had several successful events, including TPLC 2014, AWPL-TPLC 2016. We have published two volumes of post-conference proceedings: Structural Analysis of Nonclassical Logics (Proceedings of TPLC 2014), and Philosophical Logic: Current Trends in Asia (Proceedings of AWPL-TPLC 2016), in the ‘Logic in Asia’ (LIAA) Book Series, which is one of sub-series of Studia Logica Library, by Springer in October 2015 and December 2017 respectively. Following this tradition, we are planning to publish a post-conference proceedings for TPLCIV-2018 as a new volume of the LIAA Book Series by Springer, or some other publisher. All authors of papers presented at the conference are encouraged to submit a full paper. All papers submitted will be refereed to high journal standards, and thus acceptance as a presentation is no guarantee that the post-conference paper will be published. A formal schedule concerning the submission of manuscripts and some other details will be announced after the conference. Based on our previous experience, the deadline of the submission of manuscripts is more likely to be around the end of April. TRAVEL GRANTS FOR GRADUATES AND JUNIOR RESEARCHERS Free accommodation and travel awards for graduates and junior researchers have been made available by the organizing committee. In some cases, full compensation of expenses is possible. The details, including general information about the awards and the instructions of application, will be announced later on the website. A NOTE ON HOTEL-ROOM BOOKING As the hotel rooms are usually in high demand, it is strongly recommended that as long as you intend to submit an abstract, please send us a note at your convenience: the earlier we get your note, the easier we can secure the room-booking for you. ORGANIZATION COMMITTEE (in alphabetical order): Duen-Min Deng (National Taiwan University) Kok Yong Lee (National Chung Cheng University) Churn-Jung Liau (Academia Sinica) Hsuan-Chih Lin (Birkbeck, University of London) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Shih-Ping Tung (Chung Yuan Christian University) Syraya Chin-Mu Yang (National Taiwan University) Jiji Zhang (Lingnan University) FURTHER CONTACT: Hsuan-Chih Lin [azurviolet(a)gmail.com <mailto:azurviolet@gmail.com>] Duen-Min Deng [dmdeng(a)ntu.edu.tw <mailto:dmdeng@ntu.edu.tw>] Kok Yong Lee [kokyonglee.mu(a)gmail.com <mailto:kokyonglee.mu@gmail.com>]

1 0

Prof. Helmut Schwichtenberg at NII Logic Seminar
by Makoto Tatsuta 26 Mar '18

26 Mar '18

Prof. Helmut Schwichtenberg at NII Logic Seminar Date: April 2, 2018, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Helmut Schwichtenberg (Munchen University) Title: Logic for exact real arithmetic Abstract: Real numbers in the exact (as opposed to floating-point) sense can be given in different formats, for instance as Cauchy sequences (of rationals, with Cauchy modulus), or else as infinite sequences (streams) of (i) signed digits -1, 0, 1 or (ii) -1, 1, bot containing at most one copy of bot (meaning undefinedness), so-called Gray code (di Gianantonio 1999, Tsuiki 2002). We are interested in formally verified algorithms on real numbers given as streams. To this end we consider formal (constructive) existence proofs M and apply a proof theoretic method (realizability) to extract their computational content. We switch between different representations of reals by labelling universal quantifiers on reals x as non-computational and then relativising x to a predicate CoI coinductively defined in such a way that the computational content of x in CoI is a stream representing x. The desired algorithm is obtained as the extracted term of the existence proof M, and the required verification is provided by a formal soundness proof of the realizability interpretation. As an example we consider multiplication of reals. This is a joint work with Ulrich Berger, Kenji Miyamoto and Hideki Tsuiki. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

CFP: 49th TRS Meeting at Ikaho
by Fujita Kenetsu 15 Mar '18

15 Mar '18

皆様，第49回TRS Meetingのご案内をさせて頂きます．どうぞよろしくお願いいたします．藤田憲悦（群馬大学） ============================================================== Call For Participation 49th TRS Meeting September 25 -- 27, 2018 Ikaho, Gunma * About TRS meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. See also Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/ We should like to invite all of you to the upcoming TRS Meeting at Ikaho, Gunma. * Information Date: September 25 (Tues) -- 27 (Thur), 2018 Venue: Ikaho Onsen, Nagomigokoro No Yado Omori: http://www.ikaho-omori.com/eng/ 58 Ikaho, Shibukawa city, Gunma 371-0102 Access: http://www.ikaho-omori.com/eng/ * Schedule Opening: 14:00 on Sept 25 (Tues) Closing: 12:00 on Sept 27 (Thur) * Fee Registration for meeting room fee, tea and snacks at breaks: 4,000 JPY Accommodation fee including breakfasts and dinners (lunches are not included): A shared room with four (10,950　JPY per night) A shared room with three (11,490　JPY per night) (A six-mat single room (12,030 JPY per night) but limited to several) * Registration form Please send the registration form below to Ken-etsu Fujita (mailto: fujita at cs.gunma-u.ac.jp) no later than August 24, 2018. Registration after the deadline is subject to room availability. ------------------------------------------------------------------------------------------------------------- Registration Form of the 49th TRS meeting name: affiliation: [male / female] (leave one) special room request: [single room / shared room / none] (leave one) -------------------------------------------------------------------------------------------------------------- Japanese style shared rooms are default, but several single are also available. If you prefer a single, let me know at your earliest convenience. In the latter case, let me also know your roommate. * Contact Ken-etsu Fujita (mailto: fujita at cs.gunma-u.ac.jp) ==============================================================

1 0

「ポアンカレとワイルの数学の哲学」Gray教授連続講義と討論会　慶応大三田キャンパス（3月28日）
by Yuta Takahashi 14 Mar '18

14 Mar '18

みなさま、重複して受け取られた場合はどうかご容赦願います。名古屋大学・JSPSの高橋優太と申します。 3月28日に、Jeremy Gray教授による以下の連続講義及び討論会が、慶応大学三田キャンパスにて開催されます。どうぞご参加ください。高橋優太 yuuta.taka84(a)gmail.com ************************************************************ *********************** 「ポアンカレとワイルの数学の哲学」Gray教授連続講義と討論会（3月28日） Philosophy of Mathematics of Poincare and Weyl Two lectures by Professor Jeremy Gray and Discussion 3月28日 (水) 15:00-18:00 Wed., Mar. 28th 慶應大三田キャンパス東館4階セミナー室（オープンラボ） Mita Campus, Keio University, Meeting Room, 4F of East Research Building （Gray教授のBiographyおよびAbstractsは下にあります。）（最新情報 http://abelard.flet.keio.ac.jp/seminar/poincare-and-weyl-2018/ ） ************************************************************ *********************** 場所 Venue: 慶應義塾大学三田キャンパス東館4階セミナー室（オープンラボ）（東館は下記キャンパスマップの3です） Mita Campus, Keio University, Meeting Room, 4F of East Research Building (Number 3 of the Campus Map below) 構内図 Campus Map: https://www.keio.ac.jp/en/maps/mita.html 日時 Date & Time: 3月28日（水） 15:00-18:00 Wed., Mar. 28th プログラム Program: 15:00-16:00 The philosophy of mathematics of Henri Poincaré 16:00-17:00 The philosophy of mathematics of Hermann Weyl 17:00-18:00 Discussion Gray教授プロフィールと各講義のアブストラクトが下にあります。このMeetingは名古屋大学情報学研究科・久木田水生先生のご協力により実現いたしました。最新情報は http://abelard.flet.keio.ac.jp/seminar/poincare-and-weyl-2018/ 及び http://www.carls.keio.ac.jp/gcarls/ にあります。問い合わせ先：慶應義塾大学文学部哲学専攻岡田光弘研究室事務局アドレス logic(a)abelard.flet.keio.ac.jp 主催：慶應義塾大学論理と感性のグローバル研究センター Jeremy Gray short bio: Jeremy Gray is an Emeritus Professor of The Open University and an Honorary Professor in the Mathematics Department at the University of Warwick. His research interests are in the history of mathematics, specifically the history of algebra, analysis, and geometry, and mathematical modernism in the 19th and early 20th Centuries. The work on mathematical modernism links the history of mathematics with the history of science and issues in mathematical logic and the philosophy of mathematics. He was awarded the Otto Neugebauer Prize of the European Mathematical Society in 2016 for his work in the history of mathematics, and the Albert Leon Whiteman Memorial Prize of the American Mathematical Society in 2009 for his contributions to the study of the history of modern mathematics internationally. In 2012 he was elected an Inaugural Fellow of the American Mathematical Society. In 2010 he was one of the nine founder members of the Association for the Philosophy of Mathematical Practice (APMP). He is the author of eleven books, of which among the most recent are Plato’s Ghost: The Modernist Transformation of Mathematics (Princeton U.P. 2008), Henri Poincaré: a scientific biography (Princeton 2012), and The Real and the Complex (Springer 2015). Two more books are to be published in 2018: Under the Banner of Number: A History of Abstract Algebra, by Springer, and Simply Riemann in the Simply Charly series of e-books. Abstracts: Poincaré on proof and understanding Poincaré has an exaggerated reputation not being rigorous in his work. In this talk I shall show that he cared about rigour in mathematics, but had justified criticisms of it. However, the more important task was to understand mathematics and physics, and this meant to be enabled to discover new ideas. Certainty in abstract mathematics was provided by the principle of recurrence, which imposed limits on any theory of sets. Thereafter, a pragmatic sense of certainty was provided in applied mathematics and physics by the use of conventions. Conventions, he believed, govern our choice of a geometry for space and the choice of the laws of mechanics and other branches of physics. Objectivity, he said, depended on discourse, and I shall argue that Poincaré’s fundamental position is that the use of mathematics in science is close to Wittgenstein’s idea of a language game. The philosophy of Hermann Weyl By 1910, the year he turned 25, Weyl was developing a finitist philosophy of mathematics, based on a logical theory of relations. He also believed that the human mind can understand ideas only sequentially. He developed this approach on his book The Continuum (1918), and for a time came close to agreeing with Brouwer’s intuitionism, but he abandoned them in the mid-1920s when he became involved in exploring the theory of Lie groups. He then had to turn back towards Hilbert’s ideas about mathematics and physics, and developed his own theory of what he called the symbolic universe in which mathematics and physics supported each other in complementary ways. Weyl sought a unified philosophy that would govern not only his scientific practice but be rooted in a theory of knowledge and an understanding of how it is acquired. Jeremy Gray Open University, Milton Keynes, MK7 6AA, U.K. and University of Warwick, Coventry, CV4 7AL, U.K.

1 0

Lectures by Prof. Jeremy Gray
by 久木田水生 13 Mar '18

13 Mar '18

皆さま、重複して受け取られた方はご容赦願います。名古屋大学情報学研究科の久木田水生です。数学者であり数学史研究家の Jeremy Gray 教授の講演が3月28日に慶應大学、4月2日に京都大学、4月7日に名古屋大学にて開催されます。いずれも参加費無料、事前登録は不要です。どうぞ奮ってご参加ください。時間・場所、タイトル、要旨、プロフィールなどはこちらのウェブページ http://www.is.nagoya-u.ac.jp/dep-ss/phil/kukita/seminars/jeremy-gray.html または本メールの末尾をご覧ください。なお4月7日の講演は応用哲学会年次大会の中のシンポジウムとして開催され、大会には参加費がかかりますが、シンポジウムのみの聴講は無料です。このシンポジウムでは Gray 教授に加え、林晋教授（京都大学文学研究科）も登壇されます。どうぞよろしくお願いいたします。久木田水生ーーーーーーーーーーーーーーーーー Lectures by Prof. Jeremy Gray March 28th, 2018, Keio University Time: 15:00-18:00 Place: Meeting room, 4F of East Research Building, Keio University Mita Campus. (Building No. 3 of this map: https://www.keio.ac.jp/en/maps/mita.html) Lecture 1 (15:00-16:00): ``Poincaré on proof and understanding'' Poincaré has an exaggerated reputation not being rigorous in his work. In this talk I shall show that he cared about rigour in mathematics,but had justified criticisms of it. However, the more important task was to understand mathematics and physics, and this meant to be enabled to discover new ideas. Certainty in abstract mathematics was provided by the principle of recurrence, which imposed limits on any theory of sets. Thereafter, a pragmatic sense of certainty was provided in applied mathematics and physics by the use of conventions. Conventions, he believed, govern our choice of a geometry for space and the choice of the laws of mechanics and other branches of physics. Objectivity, he said, depended on discourse, and I shall argue that Poincaré’s fundamental position is that the use of mathematics in science is close to Wittgenstein’s idea of a language game. Lecture 2 (16:00-17:00): ``The philosophy of Hermann Weyl'' By 1910, the year he turned 25, Weyl was developing a finitist philosophy of mathematics, based on a logical theory of relations. He also believed that the human mind can understand ideas only sequentially. He developed this approach on his book The Continuum (1918), and for a time came close to agreeing with Brouwer’s intuitionism, but he abandoned them in the mid-1920s when he became involved in exploring the theory of Lie groups. He then had to turn back towards Hilbert’s ideas about mathematics and physics, and developed his own theory of what he called the symbolic universe in which mathematics and physics supported each other in complementary ways. Weyl sought a unified philosophy that would govern not only his scientific practice but be rooted in a theory of knowledge and an understanding of how it is acquired. April 2nd, 2018, Kyoto University Time: 16:30-18:00 Place: Large conference room in the basement, Faculty of Letters Main Building, Yoshida Campus, Kyoto University. (No. 8 of this map: http://www.kyoto-u.ac.jp/en/access/yoshida/main.html) ``The philosophy of Hermann Weyl'' By 1910, the year he turned 25, Weyl was developing a finitist philosophy of mathematics, based on a logical theory of relations. He also believed that the human mind can understand ideas only sequentially. He developed this approach on his book The Continuum (1918), and for a time came close to agreeing with Brouwer’s intuitionism, but he abandoned them in the mid-1920s when he became involved in exploring the theory of Lie groups. He then had to turn back towards Hilbert’s ideas about mathematics and physics, and developed his own theory of what he called the symbolic universe in which mathematics and physics supported each other in complementary ways. Weyl sought a unified philosophy that would govern not only his scientific practice but be rooted in a theory of knowledge and an understanding of how it is acquired. April 7th, Nagoya University: Symposium on Modernism and Modernisation of Mathematics Time: 16:15-18:35 Place: Room A31, Liberal Arts and Sciences Building A, Higashiyama Campus, Nagoya University. (No. A4(1) of this map: http://en.nagoya-u.ac.jp/map/index.html) Lecture 1: Jeremy Gray, ``Poincaré and Weyl: two dissenters from mathematical modernism'' Around 1900 a characteristic form of modern mathematics took over the subject, which we associate with Georg Cantor, Richard Dedekind, and David Hilbert among others. It sees mathematics as an autonomous system of ideas, emphasises the formal or axiomatic aspects, and brings about a complicated relationship with the sciences. Henri Poincaré (1854?1912) and Hermann Weyl (1885?1955) preferred a much more intimate connection between mathematics and physics and argued in different ways for a symbiotic approach, which they also linked to a broader philosophical vision. Lecture 2: Susumu Hayashi, ``How was Mathematics modernized?'' I have been developing a historical view on the modernization, in the sense of Max Weber sociology, of mathematics for the last 19 years. I will outline it in this presentation. The starting point of my research was an enigmatic (to me) claim by Kurt Godel in his unpublished philosophical essay. His claim may be interpreted as “World-views have been disenchanted (modernized) through the history since the Renaissance. Particularly in physics, this development reached a peak in the 20 th century. However, mathematics alone went in the opposite direction as set theory was introduced into it.” My historical view was slightly changed from Godel’s to make it fit into Weber’s modernization theory. I will discuss how important Hilbert’s program and Godel’s incompleteness theorems were for the modernization of mathematics, and how they made the process of modernization of mathematics somewhat different from the process of modernization of physics. Jeremy Gray short bio Jeremy Gray is an Emeritus Professor of The Open University and an Honorary Professor in the Mathematics Department at the University of Warwick. His research interests are in the history of mathematics, specifically the history of algebra, analysis, and geometry, and mathematical modernism in the 19th and early 20th Centuries. The work on mathematical modernism links the history of mathematics with the history of science and issues in mathematical logic and the philosophy of mathematics. He was awarded the Otto Neugebauer Prize of the European Mathematical Society in 2016 for his work in the history of mathematics, and the Albert Leon Whiteman Memorial Prize of the American Mathematical Society in 2009 for his contributions to the study of the history of modern mathematics internationally. In 2012 he was elected an Inaugural Fellow of the American Mathematical Society. In 2010 he was one of the nine founder members of the Association for the Philosophy of Mathematical Practice (APMP). He is the author of eleven books, of which among the most recent are Plato’s Ghost: The Modernist Transformation of Mathematics (Princeton U.P. 2008), Henri Poincaré: a scientific biography (Princeton 2012), and The Real and the Complex (Springer 2015). Two more books are to be published in 2018: Under the Banner of Number: A History of Abstract Algebra, by Springer, and Simply Riemann in the Simply Charly series of e-books. Contact Information Minao Kukita (久木田水生), minao.kukita(a)i.nagoya-u.ac.jp

1 0

Project colloquium talk by Thorsten Wissman on 15 March
by urabenatsuki＠is.s.u-tokyo.ac.jp 13 Mar '18

13 Mar '18

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Thorsten Wissman on 15 March, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ----- Thu 15 March 2017, 16:30–18:00 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html Thorsten Wissman (FAU Erlangen-Nürnberg), Efficient Coalgebraic Partition Refinement This talk presents a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence. Coalgebraic generality implies in particular that not only classical relational systems are covered but also various forms of weighted systems. Under assumptions on the type functor that allow representing its finite coalgebras in terms of nodes and edges, the generic algorithm runs in time O(m⋅log n) where n and m are the numbers of nodes and edges, respectively. Instances of the generic algorithm thus match the runtime of the best known algorithms for unlabelled transition systems, Markov chains, and deterministic automata (with fixed alphabets), and improve the best known algorithms for Segala systems.

1 0

25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE EXTENDED
by 小野寛晰 12 Mar '18

12 Mar '18

[Apologies for multiple copies.] DEADLINE EXTENDED WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia 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) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia 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 twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. 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), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), 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; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. 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. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, 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. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/instructions.html <http://wollic.org/wollic2018/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Mar 18, 2018, and the full paper by Mar 25, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, 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 (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Katalin Bimbo (Univ of Alberta, Canada) Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Guillermo Simari (Univ Nacional del Sur, Argentina) Renata Wassermann (Univ de São Paulo, Brazil) SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2006, 30min), as well as short testimonies by experts. STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Mar 18, 2018: Paper title and abstract deadline (EXTENDED) Mar 25, 2018: Full paper deadline (EXTENDED) Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ <http://wollic.org/wollic2018/>

1 0

名古屋ロジックセミナー (3/12) のお知らせ
by Takayuki Kihara 10 Mar '18

10 Mar '18

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：3月12日 (月) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：Vassilios Gregoriades (トリノ大学) 題目： The Preiss Separation Theorem uniformly アブストラクト： The typical example of a uniformity-type result in descriptive set theory is the Souslin-Kleene Theorem, which says that the separation property of the class of analytic sets can be witnessed by a recursive function in the codes. An important consequence of the latter is the extension of the result HYP = effectively bi-analytic, in all recursive Polish spaces. In this talk we present the uniform version of a separation result by Preiss that deals with the convex analytic subsets of the Euclidean space. We show that the separation can be realized by a HYP function in the codes. Similarly to the case of the Souslin-Kleene Theorem, we conclude that every HYP convex subset of the Euclidean space can be obtained from the class of HYP compact convex sets by taking HYP increasing unions and HYP intersections. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

Asian Workshop on Philosophical Logic (AWPL 2018)
by 小野寛晰 10 Mar '18

10 Mar '18

CFP – AWPL 2018 Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia” ( http://www.springer.com/series/13080?detailsPage=titles <http://www.springer.com/series/13080?detailsPage=titles> ) with Springer. The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University. INVITED SPEAKERS Bo An (Nanyang Technological University, Singapore) Sergei Artemov (City University of New York, United States) Kamal Lodaya (The Institute of Mathematical Sciences, India) Tomoyuki Yamada (Hokkaido University, Japan) INVITED TUTORIAL Melvin Fitting (City University of New York, United States) SUBMISSION All submissions should present original works not previously published. Submissions should be typeset in English with single-space and 12pt-size, be prepared as a .pdf file with at most 12 (A4-size) pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair ( https://easychair.org/conferences/?conf=awpl2018 <https://easychair.org/conferences/?conf=awpl2018> ) by the corresponding author on time. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the "Logic in Asia" series. IMPORTANT DATES Submission deadline: 1 June 2018, 24:00 (UTC -12:00) Notification: 1 July 2018 Workshop: 20-21 October 2018 PROGRAM COMMITTEE Nick Bezhanishvili, University of Amsterdam Sujata Ghosh, Indian Statistical Institute Jiahong Guo, Beijing Normal University Meiyun Guo, South-West University, China Fengkui Ju, Beijing Normal University Kok-Yong Lee, National Chung Cheng University Beishui Liao, Zhejiang University Hanti Lin, University of California Davis Fenrong Liu, Tsinghua University, chair Hu Liu, Sun Yat-Sen University, China Xinwen Liu, Chinese Academy of Social Sciences Minghui Ma, Sun Yat-Sen University, China Hiroakira Ono, JAIST, chair Eric Pacuit, University of Maryland Olivier Roy, University of Bayreuth Katsuhiko Sano, Hokkaido University Yi N. Wang, Zhejiang University Chin-Mu Yang, Taiwan National University Jiji Zhang, Lingnan University, Hong Kong ORGANIZATION COMMITTEE Yu Chen, Tsinghua University Haibin Gui, Tsinghua University Dazhu Li, Tsinghua University Junhua Yu, Tsinghua University, chair The AWPL is co-located with the workshop "Tsinghua meets CUNY" that will take place on 19 October 2018, all AWPL participants are invited to join that event too.

2 1

QIT38のご案内
by NISHIMURA Harumichi 07 Mar '18

07 Mar '18

logic-mlの皆さま名古屋大学の西村です．第38回量子情報技術研究会(QIT38)の会告を代理投稿させていただきます．どうぞ宜しくお願いいたします．名古屋大学大学院情報学研究科西村治道 ------------------ QIT38会告文 ------------------------------- 第38回量子情報技術研究会(QIT38) 研究会の内容：情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第38回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお本研究会から学生発表賞を創設いたしました．応募方法等詳細は下記QITウェブサイトをご確認下さい．日時: 2018年6月4日(月)-5日(火) 会場: 広島国際会議場小会議室ラン (〒730-0811広島市中区中島町1-5 <https://maps.google.com/?q=730-0811%E5%BA%83%E5%B3%B6%E5%B8%82%E4%B8%AD%E5%…> 平和記念公園内) 発表募集分野 (申し込み状況によっては査読の可能性あり)：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員: 150名参加費: 事前振込み一般4,000円，学生3,000円 (当日会場払いは一般5,000円，学生4,000円) (懇親会は別途) 研究会参加申込要領：参加申込は下記 Web にて受付けます： http://staff.aist.go.jp/s-kawabata/qit/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用する予定．【口頭講演申込締切】2018年4月6日(金) 【ポスター講演申込締切】2018年4月20日(金) 【予稿原稿提出締切】2018年4月25日(水) 【参加申込締切】2018年5月7日(火) 【問合せ先】飯沼昌隆(広島大学先端物質科学研究科) 石坂智(広島大学総合科学研究科) 廣川真男(広島大学工学研究科) ホフマンホルガ(広島大学先端物質研究科) Email: qit38(a)ml.hiroshima-u.ac.jp 主催: 量子情報技術特別研究専門委員会 (委員長: 竹内繁樹(京都大学)) 共催: 応用物理学会量子エレクトロニクス研究会助成: 中国電力技術研究財団 ------------------------------------------------------------ -------------------------------

1 0

Int. Workshop on External and Internal Calculi for Non Classical Logics (EICNCL 2018, Deadline for submission: 23 April 2018)
by Katsuhiko Sano 07 Mar '18

07 Mar '18

-------------------------------------------------------------------------------------- Call For Papers Int. Workshop on External and Internal Calculi for Non Classical Logics (EICNCL 2018) Oxford, UK, 19 July 2018 (affiliated with IJCAR 2018 in FLOC 2018) http://weic2018.loria.fr/ Deadline for submission: 23 April 2018 ---------------------------------------------------------------------- ------------------- A one day workshop on External and Internal Calculi for Non Classical Logics will be held the 19 July 2018 in conjunction with the IJCAR 2018 Conference during FLOC 2018 in Oxford, UK. The purpose of this workshop would be to discuss recent results on analytic (external or internal) calculi for non-classical logics like intuitionistic, modal, epistemic logics, conditional logics, substructural, resouce logics, and other logical systems. Among some key points we can mention the relationships between internal and external calculi for such logics and also their use for studying proof-search, automated deduction (proof-theory and implementation) and also logical properties like decidability, conservativity, axiomatisations and interpolation. The workshop is intended to provide a forum for discussion between researchers interested in topics including, but not limited to, the following areas: - External and internal calculi for non-classical logics - Relationships and embeddings (translations) between calculi, interactions between syntax and semantics - New calculi for studying problems like decidability, conservativity and interpolation - Proof-search and countermodel generation - Methodologies and tools for translations between calculi - Implementations of analytic calculi, proof assistants We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; model-theoretic, including semantic foundations (e.g., new semantics), modelling and verification of programs and systems. SUBMISSIONS Researchers interested in presenting their works are invited to submit an extended abstract (up to 10 pages) through Easychair : https://easychair.org/conferences/?conf=eicncl2018 by 23 April 2018. Papers will be reviewed by peers, typically members of the Programme Committee. A Special Issue of a Journal on these topics is expected after the workshop. PROGRAM COMMITTEE J. Brotherston (University College, London, UK) A. Ciabattoni (TU Vienna, Austria - co-chair) D. Galmiche (Lorraine University, CNRS, LORIA, France - co-chair) R. Goré (Australian National University, Australia) D. Larchey-Wendling (Lorraine University, CNRS, LORIA, France) G. Metcalfe (University of Bern, Switzerland) S. Negri (University of Helsinki, Finland) N. Olivetti (LSIS, Aix-Marseille University, France - co-chair) J. Otten (University of Oslo, Norway) V. de Paiva (Nuance communications, USA) R. Ramanayake (TU Vienna, Austria - co-chair) K. Sano (Hokkaido University, Japan) L. Santocanale (LIF, Aix-Marseille University, France) S. Smets (ILLC, Amsterdam University, Netherlands) L. Vigano (King's College London, UK) IMPORTANT DATES Submission deadline: 23 April 2018 Notification to authors: 9 May 2018 Final versions due: 21 May 2018 Workshop date: 19 July 2018 Additional information will be available through WWW address: http://weic2018.loria.fr/ The workshop is co-organized by A. Ciabattoni, R. Ramanayake (TU Vienna), N. Olivetti (LSIS, Aix-marseille University) and D. Galmiche (LORIA - Lorraine University)

1 0

名古屋ロジックセミナー (3/9) のお知らせ
by Takayuki Kihara 05 Mar '18

05 Mar '18

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：3月9日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：薄葉季路 (早稲田大学)　題目： Extendible cardinals and the mantle アブストラクト： Mantle は V のすべての ground model の共通部分として定義される inner model であるが、mantle 自身は ground model である必要はない。一方で、ある超巨大基数が存在するならば mantle 自身が ground model になることが知られている。本講演では、巨大基数の仮定を弱めて、 extendible cardinal の存在から mantle が ground model になることを証明する。 -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j,html Email: kihara(a)i.nagoya-u.ac.jp

1 0

25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE APPROACHING
by 小野寛晰 04 Mar '18

04 Mar '18

[Apologies for multiple copies.] DEADLINE APPROACHING WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia 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) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia 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 twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. 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), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), 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; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. 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. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, 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. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/instructions.html <http://wollic.org/wollic2018/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, 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 (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Katalin Bimbo (Univ of Alberta, Canada) Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Guillermo Simari (Univ Nacional del Sur, Argentina) Renata Wassermann (Univ de São Paulo, Brazil) SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2006, 30min), as well as short testimonies by experts. STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ <http://wollic.org/wollic2018/>

1 0

CFP: Workshop on Mathematically Structured Functional Programming
by Shinya KATSUMATA 03 Mar '18

03 Mar '18

国立情報学研究所の勝股です。数学的構造に基づく関数型プログラミング研究のワークショップ MSFP に関してご案内いたします。今回は、6月に開催されるFSCDに併設される形で行われます。ぜひ投稿をご検討ください。 Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional talk proposal category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: ================ Abstract deadline: 5th April (Thursday) Paper deadline: 12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) Workshop: 8th July (Sunday) Invited Speakers: ================= - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: ================== Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons - University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. (New this time) We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018.

1 0

Re: [logic-ml] 「ラムダ計算と論理の早春セミナー」開催のお知らせ(3/22~3/25@TUFS田沢湖ロッジ)
by "新屋良磨(秋田大)" 02 Mar '18

02 Mar '18

皆様，秋田大の新屋です．下記の要項で開催する「ラムダ計算と論理の早春セミナー」ですが，まだ田沢湖ロッジでの宿泊人数に余裕があるため，宿泊申し込みを3月9日(金)まで延長したいと思います．参加のご検討のほど，どうぞよろしくお願いします．秋田大学数理科学コース新屋良磨 > On Feb 1, 2018, at 14:41, Ryoma Sin'ya <ryoma(a)math.akita-u.ac.jp> wrote: > > 皆様， > > 秋田大の新屋です． > > 3月22日(木)〜3月25日(日)の期間で田沢湖にて，恒例の「ラムダ計算と論理の早春セミナー」を行うこととなりました． > > 過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関してなごやかな雰囲気で議論できる場としたいと思っております． > 本セミナーは成果発表の場というより成果を挙げる場となっており，講演件数を抑え，残りの時間は個人やグループで柔軟に研究計画をしてもらうようになっています． > 色々な方と交流を持つためにも丁度よいと思いますので，形式等はあまり気にせず，気軽に参加いただけますと幸いです． > > 会場詳細や参加申し込みの方法は以下のWebページを御覧ください． > http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/ <http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/> > > どうぞ，よろしくお願いします． > > 秋田大学数理科学コース新屋良磨

1 0

IWC 2018 (Part of FLoC 2018 at Oxford)
by KIKUCHI Kentaro 02 Mar '18

02 Mar '18

皆様、東北大学の菊池健太郎です。7月にOxfordで開催される合流性に関する国際ワークショップIWC 2018のご案内をさせていただきます。どうぞよろしくお願いいたします。 ----- (* Apologies for any cross-postings. *) ===================================================================== Call for Papers IWC 2018 7th International Workshop on Confluence July 7th, 2018, Oxford, United Kingdom Collocated with FSCD 2018 Part of FLoC 2018 http://cl-informatik.uibk.ac.at/events/iwc-2018/ ===================================================================== Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and has been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2018 is collocated with FSCD 2017. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), Obergurgl (2016), and Oxford (2017). IMPORTANT DATES: * submission Sunday, April 15th, 2018 * notification Tuesday, May 15th, 2018 * final version Tuesday, May 29th, 2018 * workshop Saturday, July 7th, 2018 (deadlines are AoE) TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: tba PROGRAM COMMITTEE: * Bertram Felgenhauer (University of Innsbruck) * Jeroen Ketema (TNO-ESI) * Kentaro Kikuchi (Tohoku University) * Samuel Mimram (LIX laboratory, École Polytechnique) * Julian Nagele (Queen Mary University of London) * Jakob Grue Simonsen (University of Copenhagen) SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/conferences/?conf=iwc2018 EasyChair style: http://easychair.org/publications/for_authors

1 0

リマインダー：Sakarovitch先生講演会
by "新屋良磨(秋田大)" 27 Feb '18

27 Feb '18

【明日，明後日および明々後日の講演会のリマインダーです】皆様， 2月28日(水)~3月1日(木)，東工大にて両日16:30からSakarovitch先生による連続講演会があります．水曜と木曜で会場が異なりますのでご注意ください． 3月2日(金)にも東大にて13:30からSakarovitch先生の講演会が開催されます．参加のご検討，どうぞよろしくお願いします．秋田大学数理科学コース新屋良磨 > On Feb 9, 2018, at 9:04, 新屋良磨(秋田大) <ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>> wrote: > > (重複で受け取られた方はご容赦ください) > 皆様， > > 秋田大の新屋です． > > 2月28日〜3月1日の東工大でのJacques Sakarovitch先生の連続講演会について，開催時間が変更されましたので， > 概要を改めて再通知させていただきます． > > 同日に東工大にて行われるプログラミング研究会と時間が重なっていたため，開始時刻を遅らせて > Lecture/Seminar ともに16:30からの開始とさせていただきました．＊会場は変更ありません． > > > ========== Lecture ========== > Time: > 16:30 ~ 17:30, February 28, 2018 (Wed.) > > > Venue: > Room W935, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) > 　東京工業大学大岡山キャンパス西9号館 W935講義室 (西9号館東側(芝生スロープ側)入口を入って階段を1階上がって左側) > > > Title: > Automata and expressions > > Jacques Sakarovitch > CNRS / Paris Diderot University and Telecom ParisTech > > > Abstract: > Not many results in Computer Science are recognised to be as basic and > fundamental as Kleene Theorem. It states the equality of two sets of > objects that we now call languages. > > In this lecture, I propose a slight change of focus on this result and show > how it is mainly the combination of two families of algorithms: > algorithms that transform an automaton into an expression on one hand > and algorithms that build an automaton from an expression on the other. > > The first purpose is to compare the results of these algorithms, > in order to understand they are indeed not so different. > And also to devise means to keep these results as small as possible. > > The second benefit of isolating this part of Kleene Theorem is to allow > its extension much beyond languages: to subsets of arbitrary monoids > first, and then, with some precaution, to subsets with multiplicity, > that is, to formal power series. > =========================== > > > ========== Seminar ========== > Time: > 16:30 ~ 17:30, March 1, 2018 (Thu.) > > > Venue: > Multi-Purpose Digital Hall, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) > 　東京工業大学大岡山キャンパス西9号館ディジタル多目的ホール (西9号館東側(芝生スロープ側)入口を入ってすぐ) > > > Title: > Conjugacy and equivalence of weighted automata > > Jacques Sakarovitch > CNRS / Paris Diderot University and Telecom ParisTech > > > Abstract: > As a main thread of this talk, I present the proof of the following result: > > If two regular languages $L$ and $K$ have the same generating > functions, that is, for every integer $n$ they have the same number of > words of length $n$, there exists a rational bijection realised by a > letter-to-letter transducer that maps $L$ onto $K$. > > This statement is a consequence of a refinement of the decidability of > the equivalence of two automata with multiplicity in $N$. It gives us > the opportunity to review first the basic definitions and results on > weighted finite automata, and second to revisit the `classical' theory > of reduction of automata with two notions borrowed to symbolic > dynamics: conjugacy and the Finite Equivalence Theorem. > =========================== > > > 大岡山キャンパスまでの行き方は以下をご覧ください： > https://www.titech.ac.jp/maps/ <https://www.titech.ac.jp/maps/> > 西9号館までの行き方は > http://www.dst.titech.ac.jp/outline/facility/hall.html <http://www.dst.titech.ac.jp/outline/facility/hall.html> > の中の地図をご覧ください。 > > 以上，どうぞよろしくお願いします． > > 秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> > (共催：東京工業大学情報理工学院鹿島亮) > Begin forwarded message: > > From: "新屋良磨(秋田大)" <ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>> > Subject: [jssst-ppl] Talk by Prof. Jacques Sakarovitch (March 2, 2018) > Date: February 16, 2018 12:14:47 JST > To: logic-ml(a)fos.kuis.kyoto-u.ac.jp <mailto:logic-ml@fos.kuis.kyoto-u.ac.jp>, jssst-ppl(a)fos.kuis.kyoto-u.ac.jp <mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp> > > (重複で受け取られた方はご容赦ください) > 皆様， > > 秋田大学の新屋です． > > 以下の要領で3/2(金)に東大にてJacques Sakarovitch先生の講演会が開催されます． > > なお，前日(2/28~3/1)の東工大でのSakarovitch先生の連続講演会とは講演内容が別の > 新規なものとなっております．どうぞふるってご参加ください． > > 秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> > > ========== > Time: > 1:30pm, March. 2, 2018 > > > Venue: > Room 236, East Building of Department of Chemistry, Faculty of Science(化学東館), University of Tokyo > > > Title: > Mysteries and marvels of rational base numeration systems > > Jacques Sakarovitch > CNRS / Paris Diderot University and Telecom ParisTech > > > Abstract: > The definition of numeration systems with rational base, in a joint > work with S. Akiyama and Ch. Frougny (Israel J. Math., 2008), > has allowed to make some progress in a number theoretic problem, > by means of automata theory and combinatorics of words. > At the same time, it raised the problem of understanding the > structure of the sets of the representations of the integers in these > systems from the point of view of formal language theory. > > At first sight, these sets look rather chaotic and do not fit well > in the classical Chomsky hierarchy of languages. They all enjoy a > property that makes them defeat, so to speak, any kind of iteration > lemma. On the other hand, these sets also exhibit remarkable > regularity properties. > > During the recent years, these regularities have been studied in a > series of joint papers with my student V. Marsault. In particular, we > have shown that periodic signatures are characteristic of the > representation languages in rational base numeration systems and > studied, jointly with S. Akiyama, a kind of autosimilarity property > that also leads to the construction of Cantor-like sets. > > These languages still keep most of their mystery. The partial results > which will be presented call for further investigations on the subject > even stronger. > ========== > _______________________________________________ > jssst-ppl mailing list > jssst-ppl(a)fos.kuis.kyoto-u.ac.jp <mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp> > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl <http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl>

1 0

ワークショップのお知らせ(3/26~3/29@秋田大)
by Ryoma Sin'ya 26 Feb '18

26 Feb '18

(重複で受け取られた方はご容赦ください) 皆様，秋田大の新屋です．以下の要項で3月末に秋田大にてワークショップを開催いたします．参加申し込みなどは不要ですので，どうぞお気軽にご参加ください．期間： 3月26日のお昼後から3月29日のお昼前まで会場：〒010-8502 秋田市手形学園町1番1号秋田大学手形キャンパス総合研究棟 1階講義室 (学内地図 http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf <http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf> ) 講演予定者リスト(敬称略，決定順)：　　根元多佳子 (JAIST)，石原哉 (JAIST)，木原貴行 (名古屋大)，鹿島亮 (東工大)，照井一成 (京大)，　　薄葉季路 (早稲田大)，坪井明人 (筑波大)，金沢誠 (NII)，中野圭介 (電通大) 講演予定者リストは今後更新される可能性があります．また，若干名ですが学生さんにも講演を依頼しているところです． 2月中旬にワークショップのWebページと仮プログラムを公開したいと思います．また，本ワークショップの前日(3/22~3/25)までには秋田県仙北市田沢湖にて「ラムダ計算と論理の早春セミナー」も開催されますので，そちらへのご参加もご一考ください．以上，どうぞよろしくお願いします．秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>

1 1

Project colloquium talk by Étienne André and Bart Jacobs on 1 March
by urabenatsuki＠is.s.u-tokyo.ac.jp 26 Feb '18

26 Feb '18

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Étienne André and Bart Jacobs on 1 March, 16:00-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ---- Thu 1 March 2018, 16:00–18:00 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html 16:00–17:00 Étienne André (University Paris 13), Parametric timed automata: theory and applications Critical real-time systems must be formally verified to prevent any undesired behavior. When some timing constants are known with only a limited precision, traditional timed model-checking techniques may not apply anymore. We use here the formalism of parametric timed automata. Parametric timed automata are very expressive, and decision problems are notoriously very hard (in fact most interesting decision problems are undecidable). On the one hand, we review decidability results, and propose new decidable subclasses. On the other hand, we adopt a more pragmatic approach, and show that parametric timed automata allow us to model and verify distributed real-time systems; using the IMITATOR software, we derive best- and worst-case execution times for a real-time system designed by Thales, and subject to uncertainty in some tasks periods. We also briefly report on recent techniques to speed-up the verification time using abstractions, and on distributed parametric model checking. 17:00–18:00 Bart Jacobs (Radboud University), Privacy and Security in Identity Management and Medical Research This talk will given an overview of the ideas behind two practically oriented security and privacy projects at Nijmegen, NL: 1. Attribute-based identity management via the IRMA platform, see https://privacybydesign.foundation/en/ If interested, you can before the talk already install the IRMA app on your (Android or iOS) phone and collect some attributes yourself. 2. Polymorphic encryption and Pseudonymisation for a large scale Parkinson research study, see: https://pep.cs.ru.nl/

1 0

Project colloquium talk by Takeo Uramoto on 22 February
by urabenatsuki＠is.s.u-tokyo.ac.jp 21 Feb '18

21 Feb '18

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Takeo Uramoto on 22 February, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ----- Thu 22 February 2018, 16:30–18:00 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html Takeo Uramoto (Tohoku University), Recent developments in algebraic language theory The purpose of this talk is to introduce a recent (2008~) active research trend in algebraic language theory. This field, among other approaches to formal languages, is characterized by its methodology: one reduces combinatorial / logical problems on formal languages (say, regular languages) into some tractable problems on algebraic structures (resp., finite semigroups). Recent works in the last decade shed new lights on this field (or its methodology) from the viewpoint of Stone-type duality theorem; and most importantly, indicated several new research directions extending classical frameworks. In this talk, based on our own works, we introduce this research trend (and its background motivation) and then carefully discuss its possible future directions.

1 0

WIAS Seminar "Type Theory and Proof Theory"(3/16) 及び WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(3/16, 17) のご案内
by Makoto Fujiwara 21 Feb '18

21 Feb '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です．以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにて 1. WIAS Seminar "Type Theory and Proof Theory” https://www.waseda.jp/inst/wias/news/2018/01/26/4899/ 及び 2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation” https://www.waseda.jp/inst/wias/news/2018/01/16/4868/ を開催いたします． 1. WIAS Seminar "Type Theory and Proof Theory” 日程：2018年3月16日(金)13:20-15:30 場所：早稲田大学早稲田キャンパス 26号館 11階 1102教室講演者及び講演題目：・Chuangjie Xu (LMU Munchen), The computer as referee in mathematics ・山﨑紗紀子 (首都大学東京), An attempt at a new embedding of intuitionistic logic into linear logic －via multi-succedent G3-style sequent calculus for intuitionistic logic－ 2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation” (Helmut Schwichtenberg先生による2日間のチュートリアル講演です．) 日程：2018年3月16日(金)16:00-18:00, 3月17日(土)16:00-18:00 場所：早稲田大学早稲田キャンパス 26号館 11階 1102教室 (初日は1のWIAS Seminarに引き続き同じ会場で行われます．) 講演者：Helmut Schwichtenberg (LMU Munchen, Emeritus Professor) 講演題目：Proof Theory and Computation 講演要旨含め，詳細は上記webページをご覧下さい．たくさんの方々のご参加をお待ちしております．世話人：藤原誠，秋吉亮太 (早稲田大学高等研究所) 問合せ先：makoto_fujiwara(a)aoni.waseda.jp (藤原誠)

1 0

【参加募集(締切延長・最終案内)】第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
by 安部達也 18 Feb '18

18 Feb '18

千葉工大の安部です． 3月5日(月)～7日(水)に鳥取県米子市で開催される，第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) の招待講演の詳細およびプログラムが確定いたしましたので，参加の最終案内をさせていただきます．なお，参加登録の締切を2月20日(火)に延長いたしました．締切までのお申し込みおよび参加費等のお支払いを忘れずにお願いいたします． -------------------------------------------------------------------------- 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） https://jssst-ppl.org/workshop/2018/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2018/registration.html 参加登録締切：2018年2月20日(火)【延長しました】問い合わせ先： ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] 上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) ・組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] ================================================================

1 0

Talk by Prof. Jacques Sakarovitch (March 2, 2018)
by "新屋良磨(秋田大)" 16 Feb '18

16 Feb '18

(重複で受け取られた方はご容赦ください) 皆様，秋田大学の新屋です．以下の要領で3/2(金)に東大にてJacques Sakarovitch先生の講演会が開催されます．なお，前日(2/28~3/1)の東工大でのSakarovitch先生の連続講演会とは講演内容が別の新規なものとなっております．どうぞふるってご参加ください．秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> ========== Time: 1:30pm, March. 2, 2018 Venue: Room 236, East Building of Department of Chemistry, Faculty of Science(化学東館), University of Tokyo Title: Mysteries and marvels of rational base numeration systems Jacques Sakarovitch CNRS / Paris Diderot University and Telecom ParisTech Abstract: The definition of numeration systems with rational base, in a joint work with S. Akiyama and Ch. Frougny (Israel J. Math., 2008), has allowed to make some progress in a number theoretic problem, by means of automata theory and combinatorics of words. At the same time, it raised the problem of understanding the structure of the sets of the representations of the integers in these systems from the point of view of formal language theory. At first sight, these sets look rather chaotic and do not fit well in the classical Chomsky hierarchy of languages. They all enjoy a property that makes them defeat, so to speak, any kind of iteration lemma. On the other hand, these sets also exhibit remarkable regularity properties. During the recent years, these regularities have been studied in a series of joint papers with my student V. Marsault. In particular, we have shown that periodic signatures are characteristic of the representation languages in rational base numeration systems and studied, jointly with S. Akiyama, a kind of autosimilarity property that also leads to the construction of Cantor-like sets. These languages still keep most of their mystery. The partial results which will be presented call for further investigations on the subject even stronger. ==========

1 0

CALL FOR PARTICIPATION: Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 13 Feb '18

13 Feb '18

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications につきまして、現在参加登録を受け付けております。ご参加いただける方は2月18日までに参加登録をいただけますと幸いです。ご検討の程よろしくお願い致します。横山啓太 CALL FOR PARTICIPATION Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Universite Paris 1) * Urlich Berger (Swansea University) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University) Registration (deadline: 18 February 2018) ------------------------ Registrations after the deadline, or participantions without registrations will be accepted as much as possible. But if you wish to have an abstract booklet or to join the banquet, please register before the deadline from below. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 20-31 Aug 2018
by Katsuhiko Sano 10 Feb '18

10 Feb '18

Dear all, The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with two guest lecturers from University of Auckland and ILLC (University of Amsterdam) from August 20 to August 31 as part of Hokkaido Summer Institute (HSI) 2018. The following two intensive courses are scheduled to be offered during the summer school. Course 1 (20/Aug/2018 - 24/Aug/2018): Introduction to Logic (For details, see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G093) Course 2 (27/Aug/2018 - 31/Aug/2018): Dynamic Epistemic Logic and its Applications (For details, see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G102) The main lecturer of Course 1 is Katsuhiko Sano (Department of Philosophy, Hokkaido University). The main lecturer of Course 2 is Jeremy Seligman (Faculty of Arts, School of Humanities, the University of Auckland). There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2. Tomoyuki Yamada and Yasushi Nomura (Hokkaido University) will also join the classes to help students follow the lectures, and communicate with the lecturers. The courses are intended for graduate students. Course 1 is meant for students without prior knowledge of logic and will prepare them for Course 2. Each course is designed to be independent from the other course. Those students who have some familiarity with basics of propositional logic, first-order logic, and modal logic can skip Course 1, and those who wish to take only Course 1 can learn basics of logic. An application period for students from universities other than Hokkaido University is ** from February 1 to February 28 2018.** For more details about applications, please check the HSI official website: https://hokkaidosummerinstitute.oia.hokudai.ac.jp/applications/ As the summer in Sapporo is beautiful and pleasant, it's a good idea to learn logic this summer in Sapporo. Tomoyuki Yamada Department of Philosophy Hokkaido University

1 0

Jacques Sakarovitch先生による連続講演会のお知らせ(2/28~3/1＠東工大)
by Ryoma Sin'ya 09 Feb '18

09 Feb '18

(重複で受け取られた方はご容赦ください) 皆様，秋田大の新屋です．下記の要領にて，フランスからJacques Sakarovitch先生を東工大にお招きしSeminar および Lecture を実施いたします．＊SeminarとLectureで日時・会場が異なりますのでご注意ください． Sakarovitch先生は現代のオートマトン理論を牽引する世界的研究者であり，この連続講演会は計算機科学に携わる多くの方に興味を持っていただけると思います．参加申し込みなどは不要ですので，どうぞふるってご参加ください．なお，2月28日(水)のLectureでは，古典的なKleeneの定理(正規表現とオートマトンの表現力の等価性)の精密化・一般化に関する講義をしてもらいます．本講義では現代的なオートマトン理論の基礎を説明してもらう予定ですので，学生の皆様もどうぞふるってご参加ください．また，3月1日(木)のSeminarでは，Sakarovitch先生自身のこれまでの研究成果を中心に講演してもらう予定です．下記のSeminar概要にて述べられている主結果については，拙著サーベイ論文「オートマトン理論再考」 https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_article/-char/ja/ <https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_article/-char/ja/> の4.4節でほんの少しだけ解説されていますので，興味のある方はどうぞこちらもご参照ください． ========== Lecture ========== Time: 15:20 ~ 16:20, February 28, 2018 (Wed.) Venue: Room W935, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) 　東京工業大学大岡山キャンパス西9号館 W935講義室 (西9号館東側(芝生スロープ側)入口を入って階段を1階上がって左側) Title: Automata and expressions Jacques Sakarovitch CNRS / Paris Diderot University and Telecom ParisTech Abstract: Not many results in Computer Science are recognised to be as basic and fundamental as Kleene Theorem. It states the equality of two sets of objects that we now call languages. In this lecture, I propose a slight change of focus on this result and show how it is mainly the combination of two families of algorithms: algorithms that transform an automaton into an expression on one hand and algorithms that build an automaton from an expression on the other. The first purpose is to compare the results of these algorithms, in order to understand they are indeed not so different. And also to devise means to keep these results as small as possible. The second benefit of isolating this part of Kleene Theorem is to allow its extension much beyond languages: to subsets of arbitrary monoids first, and then, with some precaution, to subsets with multiplicity, that is, to formal power series. =========================== ========== Seminar ========== Time: 15:20 ~ 16:20, March 1, 2018 (Thu.) Venue: Multi-Purpose Digital Hall, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) 　東京工業大学大岡山キャンパス西9号館ディジタル多目的ホール (西9号館東側(芝生スロープ側)入口を入ってすぐ) Title: Conjugacy and equivalence of weighted automata Jacques Sakarovitch CNRS / Paris Diderot University and Telecom ParisTech Abstract: As a main thread of this talk, I present the proof of the following result: If two regular languages $L$ and $K$ have the same generating functions, that is, for every integer $n$ they have the same number of words of length $n$, there exists a rational bijection realised by a letter-to-letter transducer that maps $L$ onto $K$. This statement is a consequence of a refinement of the decidability of the equivalence of two automata with multiplicity in $N$. It gives us the opportunity to review first the basic definitions and results on weighted finite automata, and second to revisit the `classical' theory of reduction of automata with two notions borrowed to symbolic dynamics: conjugacy and the Finite Equivalence Theorem. =========================== 大岡山キャンパスまでの行き方は以下をご覧ください： https://www.titech.ac.jp/maps/ <https://www.titech.ac.jp/maps/> 西9号館までの行き方は http://www.dst.titech.ac.jp/outline/facility/hall.html <http://www.dst.titech.ac.jp/outline/facility/hall.html> の中の地図をご覧ください。以上，どうぞよろしくお願いします．秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> (共催：東京工業大学情報理工学院鹿島亮)

2 1

Deadline Extension: SetVR 2018 Workshop @ Diagrams 2018
by Yuri Sato 05 Feb '18

05 Feb '18

Logic MLの皆様、国際ワークショップSetVR 2018について、論文締切が延長されましたので、再度ご案内させて頂きます。 Due to many requests, the deadline has been extended. **************************************************************************** Call for Submissions: SetVR 2018 Workshop @ Diagrams 2018 SetVR 2018 International Workshop on Set Visualization and Reasoning 2018 https://sites.google.com/site/setvr2kn/current-workshop Conference dates: 18th--22nd June, 2018 Location: Edinburgh, UK Extended Submission Deadline: 19th February, 2018 **************************************************************************** SetVR 2018 will be the 6th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2018 welcomes submissions of types: full papers (16 pages) and short papers (8 pages; at least 5 pages). Accepted papers are expected to be published on-line by CEUR Workshop Proceedings (CEUR-WS.org). SetVR 2018 will run as part of Diagrams 2018 conference, which will be held from June 18th to 22nd in 2018, and is expected to occupy one day during this period. http://www.diagrams-conference.org/2018/ Topics include (but not limited to): -Information Visualization: diagram/graph drawing and layout, data visualization, ontology visualization, human-computer interaction -Diagrammatic Logic: formalization, inference system, expressiveness, decidability, computational complexity, automated reasoning, history of notation -Cognitive Science: efficacy evaluation, cognitive process, cognitive model, educational outcome -Application of Diagrams: visual modeling, real world reasoning, ontology engineering, data exploration Organizers Yuri Sato (University of Brighton, UK) Zohreh Shams (University of Cambridge, UK) Program Committee Bilal Alsallakh (Bosch Research and Technology Center, USA) Jim Burton (University of Brighton, UK) Peter Chapman (Edinburgh Napier University, UK) Renata De Freitas (Universidade Federal Fluminense, Brasil) Mateja Jamnik (University of Cambridge, UK) Sven Linker (University of Liverpool, UK) Luana Micallef (Helsinki Institute for Information Technology HIIT, Finland) Peter Rodgers (University of Kent, UK) Gem Stapleton (University of Brighton, UK)

1 0

【参加募集(再)】第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
by 安部達也 04 Feb '18

04 Feb '18

皆様千葉工業大学の安部です． 3月5日(月)～7日(水)に鳥取県米子市で開催される，第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) のカテゴリ1,2,4の発表リストが確定いたしましたので，再度参加のご案内をさせていただきます．参加登録の締切は2月16日(金)です．どうぞお早めのご登録をお願い致します．また，カテゴリ3(ポスター・デモ発表)の発表申込締切も2月5日(月)17:00(JST) に迫っておりますので，合わせてご案内させていただきます． -------------------------------------------------------------------------- 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） https://jssst-ppl.org/workshop/2018/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2018/registration.html 参加登録締切：2018年2月16日(金) 問い合わせ先： ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] 上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) ・組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] ================================================================

1 0

「ラムダ計算と論理の早春セミナー」開催のお知らせ(3/22~3/25@TUFS田沢湖ロッジ)
by Ryoma Sin'ya 01 Feb '18

01 Feb '18

皆様，秋田大の新屋です． 3月22日(木)〜3月25日(日)の期間で田沢湖にて，恒例の「ラムダ計算と論理の早春セミナー」を行うこととなりました．過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関してなごやかな雰囲気で議論できる場としたいと思っております．本セミナーは成果発表の場というより成果を挙げる場となっており，講演件数を抑え，残りの時間は個人やグループで柔軟に研究計画をしてもらうようになっています．色々な方と交流を持つためにも丁度よいと思いますので，形式等はあまり気にせず，気軽に参加いただけますと幸いです．会場詳細や参加申し込みの方法は以下のWebページを御覧ください． http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/ <http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/> どうぞ，よろしくお願いします．秋田大学数理科学コース新屋良磨 (お問い合わせは lls_spring_2018(a)googlegroups.com <mailto:lls_spring_2018@googlegroups.com> まで)

1 0

Talk by Silvia Ghilezan (1st Feb., 11:00-)
by Kazushige TERUI 31 Jan '18

31 Jan '18

皆様、直前の連絡になってしまい大変申し訳ありません。明日木曜日に、京都大学でSilvia Ghilezanさんの講演があります。詳細は以下のとおりです。どうぞご参加ください。京都大学数理解析研究所照井一成 ==================== Time: 11:00-12:00, 1st Feb., 2018 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA, Serbia) Title: Types in logic, computation and concurrency - an overview Abstract: In this talk, we present an overview of results obtained for type systems of computational interpretations of intuitionistic and classical logic with applications to programming languages. We further present results obtained for type systems for concurrency and discuss the role of types in security, access control and privacy issues in these settings. ==================== ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

【参加募集】第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
by 安部達也 24 Jan '18

24 Jan '18

皆様千葉工業大学の安部です． 3月5日(月)～7日(水)に，鳥取県米子市で開催される，第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) の参加登録を開始いたしましたので，ご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月16日(金)です．どうぞお早めのご登録をお願い致します．また，カテゴリ3(ポスター・デモ発表)の発表申込締切が2月5日(月)17:00(JST) となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） https://jssst-ppl.org/workshop/2018/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2018/registration.html 参加登録締切：2018年2月16日(金) 問い合わせ先： ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] 上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) ・組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] ================================================================

1 0

Talk by Bakh Khoussainov (25 Jan, 11.00-)
by Kazushige TERUI 20 Jan '18

20 Jan '18

みなさま来週木曜日に京都大学にてBakh Khoussainovさんによる講演があります。詳細は下記の通りです。よろしければご参加ください。京都大学数理解析研究所照井一成 ========== Time: 11:00-12:00, 25 Jan, 2018 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Bakh Khoussainov (University of Auckland) Title: Finitely presented expansions of semigroups, algebras, and groups. Abstract: Finitely presented algebraic systems, such as groups and semigroups, are of foundational interest in algebra and computation. Finitely presented algebraic systems necessarily have a computably enumerable (c.e. for short) word equality problem and these systems are finitely generated. Call finitely generated algebraic systems with a c.e. word equality problem computably enumerable. Computably enumerable finitely generated algebraic systems are not necessarily finitely presented. This paper is concerned with finding finitely presented expansions of finitely generated c.e. algebraic systems. The method of expansions of algebraic systems, such as turning groups into rings or distinguishing elements in the underlying algebraic systems, is an important method used in algebra, model theory, and in various areas of theoretical computer science. Bergstra and Tucker proved that all c.e. algebraic systems with decidable word problem possess finitely presented expansions. Then they, and, independently, Goncharov asked if every finitely generated c.e. algebraic system has a finitely presented expansion. We build examples of finitely generated c.e. semigroups, groups, and algebras that fail to possess finitely presented expansions, thus answering the question of Bergstra-Tucker and Goncharov for the classes of semigroups, groups and algebras. We also construct an example of a residually finite, infinite, and algorithmically finite group, thus answering the question of Miasnikov and Osin. Our constructions are based on the interplay between key concepts and known results from computability theory (such as simple and immune sets) and algebra (such as residual finiteness and the theorem of Golod-Shafaverevich). The work is joint with D. Hirschfeldt and A. Miasnikov. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

“Lambek Calculus and Linear Logic” Meeting　（１月２５日、慶応大三田キャンパス）のお知らせ
by Mitsu Okada 17 Jan '18

17 Jan '18

“Lambek Calculus and Linear Logic” Meeting　（１月２５日、慶応大三田キャンパス）国立情報学研究所教授金沢誠先生、ペンシルバニア大学数学科及び計算機科学科教授Andre Scedrov先生、リヨン大学哲学科教授Jean-Baptiste Joinet先生先生をお招きして、Lambek Calculus 及びLogic & Computationに関する次のようなミニ・シンポジウム形式集会を開催いたします。事前登録なし、参加自由です。 https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html なお１月１９日（金）―２０日（土）”Philosophy of Logic & Mathematics” Workshopの確定プログラムを https://abelard.flet.keio.ac.jp/seminar/frjp18jan.htmlに上げました。日時・会場日時:Jan. 25th, Thurs. 2018 / 2018年1月25日(木) 15:30 - 18:30 場所:8F, East Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス東館8階ホール Building #3 on this map. / キャンパスマップ3番の建物です。招待講演者/ Speakers •Jean-Baptiste Joinet教授(リヨン第3大学哲学科・パリ高等師範学校カバイエス研究センター) •Makoto Kanazawa/金沢誠教授(国立情報学研究所NII) •Andre Scedrov教授(ペンシルバニア大学数学科および計算機科学科）プログラム（アブストラクトは、 https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html を参照ください。） •15:20 Registration •15:30-16:30 Jean-Baptiste Joinet (リヨン第3大学哲学科・パリ高等師範学校カバイエス研究所)“Logic and Dialectical Time” •16:30-17:30 Andre Scedrov (ペンシルバニア大学数学科および計算機科学科）“Lambek Calculus Extended with Bracket and Subexponential Modalities” •17:30-18:30 Makoto Kanazawa (国立情報学研究所NII)“On the Recognizing Power of the Lambek Calculus with Brackets” 共催 •慶應義塾大学論理と感性のグローバル研究センター同大学•次世代研究推進プロジェクト •CNRS(フランス) 問い合わせ先：東京都港区三田２－１５－４５文学部岡田光弘研究室 logic(a)abelard.flet.keio.ac.jp --------------------------------------------------------------------

1 0

[最終CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations (投稿締切：1月19日)
by Kazutaka Matsuda 05 Jan '18

05 Jan '18

皆様，東北大学の松田です．投稿〆切（1月19日）が近づいてまいりましたので， <Programming> 2018併設の双方向変換に関する国際ワークショップBx 2018の案内を再々度御送りいたします．どうぞ，投稿をご検討いただけますと幸いです． ----------------------------------------------------------------------------- FINAL CALL FOR PAPERS ===================== Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- *NOTE: Deadline (Jan. 19) approaching!* Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2018 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES --------------- - Paper submission: Jan. 19, 2018 - Author notification: Feb. 17, 2018 - Workshop: Apr. 10, 2018 AIM & TOPICS ------------ The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 pages) * in-depth presentations of novel concepts and results * applications of bx to new domains * survey papers providing novel comparisons between existing bx technologies and approaches case studies - Tool Papers (up to 6 pages) * guideline papers presenting best practices for employing a specific bx approach (with a specific tool) * presentation of new tools or substantial improvements to existing ones * qualitative and/or quantitative comparisons of applying different bx approaches and tools - Experience Report (up to 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 pages) * work in progress * small focused contributions * position papers and research perspectives * critical questions and challenges for bx - Talk Proposals (up to 2 pages) * proposed lectures about topics of interest for bx * existing work representing relevant contributions for bx * promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site: https://easychair.org/conferences/?conf=bx2018 Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROGRAM COMMITTEE MEMBERS ------------------------- Jens Weber (University of Victoria, co-chair) Kazutaka Matsuda (Tohoku Universiy, co-chair) Anthony Anjorin (University of Paderborn) James Cheney (University of Edinburgh) Anthony Cleve (University of Namur) Alcino Cunha (University of Minho and INESC TEC) Zinovy Diskin (McMaster University) Romina Eramo (University of L’Aquila) Jeremy Gibbons (University of Oxford) Holger Giese (Potsdam University) Boris Glavic (Illinois Institute of Technology) Martin Gogolla (University of Bremen) Soichiro Hidaka (Hosei University) Zhenjiang Hu (National Institute of Informatics) Michael Johnson (Macquarie University) Ekkart Kindler (Technical University of Denmark) Erhan Leblebici (TU Darmstadt) Fernando Orejas (Universitat Politècnica de Catalunya) Hugo Pacheco (University of Minho) Richard Paige (University of York) Arend Rensink (University of Twente) Andy Schürr (TU Darmstadt) Perdita Stevens (University of Edinburgh) James Terwilliger Janis Voigtländer (University of Duisburg-Essen) Meng Wang (University of Bristol) Bernhard Westfechtel (University of Bayreuth)

1 0

組合せ論・モデル理論セミナー(2018.1.15)
by Hirotaka Kikyo 28 Dec '17

28 Dec '17

組合せ論・モデル理論セミナーを下記のように開催いたしますので、ご案内さしあげます。よろしくお願い致します。 -- ・日時: 2018年1月15日(月) 14:30～・場所: 神戸大学六甲台第2 <https://maps.google.com/?q=%E5%85%AD%E7%94%B2%E5%8F%B0%E7%AC%AC2&entry=gmai…>キャンパス自然科学総合研究棟3号館 421室 (予定) ・講演者・プログラム: 14:30-16:00 坪井明人氏 (筑波大学,モデル理論) "A proof of Hales-Jewett theorem using a nonstandard method" 16:15-17:45 Qing Xiang 氏 (University of Delaware,組合せ論) "Applications of Linear Algebraic Methods in Combinatorics and Finite Geometry" ・HP: https://sites.google.com/site/kcmseminar/ ・世話人岡部峻典 (神戸大学) 桔梗宏孝 (神戸大学) 佐竹翔平 (神戸大学) 澤正憲 (神戸大学) --

1 0

WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(2018年3月16, 17日)のご案内
by Makoto Fujiwara 27 Dec '17

27 Dec '17

皆様早稲田大学の藤原誠です．以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにてLMU MunchenのHelmut Schwichtenberg先生にチュートリアル講演をしていただく予定です．日程：2018年3月16日(金)16:00-18:00, 3月17日(土)16:00-18:00 場所：早稲田大学早稲田キャンパス(教室未定) 講演者：Helmut Schwichtenberg (LMU Munchen, Emeritus Professor) 講演題目：Proof Theory and Computation 詳細につきましては日程が近づきましたら再度ご案内をさせていただきます．どうぞよろしくお願いいたします． ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 0

1月19日20日:日仏“論理と数学の哲学：証明と計算の哲学と歴史”ワークショップ(慶応大)
by Mitsu Okada 25 Dec '17

25 Dec '17

２０１８年１月１９日・２０日に開催される次のワークショップを案内させていただきます。慶応大文学部哲学専攻　岡田光弘 -------- 日仏“論理と数学の哲学：証明と計算の哲学・歴史”ワークショップ(1/19-20, Keio U) Workshop on Philosophy and History of Proofs and Computation, Jan.19-20,2018 (https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html for updated information) 論理と数学の哲学及び歴史研究に関する日仏ワークショップを開催します。毎年このワークショップシリーズでは、論証・証明について、論理学・哲学・計算論的観点から議論し、本分野の日仏連携・協力を進めています。フランスから４人、国内から３人の招待講演者を迎えて本年度の会を開催します。(今年度は特にユークリッド原論の歴史・言語分析・証明の研究者３人をお呼びしています。) 日時:Jan 19th Friday-20th Saturday, 2018 / 2018年1月19日(金)-20日(土) 10:00 - 18:00場所:Distance Learning Room (B4F), South Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス南館地下4階ディスタンスラーニングルーム https://www.keio.ac.jp/en/maps/ Building #12 on this map. / キャンパスマップ12番の建物です。プログラムは「ユークリッド原論の歴史・言語分析・哲学」「現代論理学史とオントロー」「論理と証明の哲学」「計算と証明」などのセッションから構成されます。プログラム詳細については近日中に次のページに掲載します。 https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html 招待講演者と講演テーマ/ Guest Speakers and Titles Andrew Arana (Univ. Paris-1 and IHPST)Logical Purity and Normalization .Jean-Baptiste Joinet (Univ. Lyon-3 and Inst. Jean Cavaillès (ENS-Paris)) Logic and ontology .Marco Panza (Univ. Paris-1 and IHPST)What Universality Could Have Been for Euclid .斎藤憲Ken Saito　(Osaka Prefecture Univ.)Syntax Analysis of the Whole Text of Euclid’s Elements .Nathan Camillo Sidoli (Waseda Univ.)Euclid’s Postulates and Problems .Pierre Wagner (Univ. Paris-1 and IHPST)Logical Commitment 伊藤遼Ryo Ito (Univ. of Kyoto)The Unity of the Proposition and Russell's Theories of Truth Japanese group speakers 秋吉亮太Ryota Akiyoshi (Waseda Univ.)Proof-Theoretic Studies of Parameter-Free Subsystems of Girard's System F (tentative) Daniel Said Monteiro (Univ. Paris 7 and Keio Univ.)Explaining the movements of qi: Nishikawa Joken (1648-1724) and the understanding of extraordinary phenomena in early modern Japan 岡田光弘Mitsuhiro Okada (Keio Univ.)　Norm, Commitment and Normalization of Proof (tentative) .小関健太郎Kentaro Ozeki (Keio Univ.)Meinongian Incomplete Objects and Negation .西牟田祐樹Yuki Nishimuta (Keio Univ.)Non-decomposability Preservation of Generalized Connectives and Cut Elimination (preliminary report) そのほかAnd others to be announced. ---------------------------------------------------------------------------------------------------------- なおこの集会とは別に、１月２５日に、Andre Scedrov、金沢誠/Makoto Kanazawa、Jean-Baptiste Joinetの３氏をお招きして、Lambek CalculusとLinear Logicに関する集会を開催する予定です。追ってお知らせします。 ------------------------------------------------------- ----------------------------------------------- 共催慶應義塾大学論理と感性のグローバル研究センター及び•次世代研究推進プロジェクト CNRS(フランス) 連絡先慶應義塾大学文学部岡田光弘研究室東京都港区三田２−１５−４５ Email: logic [AT] abelard.flet.keio.ac.jp https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html

1 0

CFP: SetVR 2018 @ Diagrams 2018
by Yuri Sato 15 Dec '17

15 Dec '17

Logic MLの皆様、国際ワークショップSetVR 2018の論文募集についてご案内致します。 **************************************************************************** Call for Papers SetVR 2018: International Workshop on Set Visualization and Reasoning 2018 https://sites.google.com/site/setvr2kn/current-workshop Conference dates: 18th-22nd June, 2018 Location: Edinburgh, UK Deadline for submission: 5th February, 2018 **************************************************************************** SetVR 2018 will be the 6th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2018 welcomes submissions of types: full papers (16 pages) and short papers (8 pages; at least 5 pages). Accepted papers are expected to be published on-line by CEUR Workshop Proceedings (CEUR-WS.org). SetVR 2018 will run as part of Diagrams 2018 conference, which will be held from June 18th to 22nd in 2018, and is expected to occupy one day during this period. http://www.diagrams-conference.org/2018/ Topics include (but not limited to): • Information Visualization: diagram/graph drawing and layout, data visualization, ontology visualization, human-computer interaction • Diagrammatic Logic: formalization, inference system, expressiveness, decidability, computational complexity, automated reasoning, history of notation • Cognitive Science: efficacy evaluation, cognitive process, cognitive model, educational outcome • Application of Diagrams: visual modeling, real world reasoning, ontology engineering, data exploration Organizers Yuri Sato (University of Brighton, UK) Zohreh Shams (University of Cambridge, UK) Program Committee Bilal Alsallakh (Bosch Research and Technology Center, USA) Jim Burton (University of Brighton, UK) Peter Chapman (Edinburgh Napier University, UK) Renata De Freitas (Universidade Federal Fluminense, Brasil) Mateja Jamnik (University of Cambridge, UK) Sven Linker (University of Liverpool, UK) Luana Micallef (Helsinki Institute for Information Technology HIIT, Finland) Peter Rodgers (University of Kent, UK) Gem Stapleton (University of Brighton, UK)

1 0

[2nd CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations
by Kazutaka Matsuda 15 Dec '17

15 Dec '17

皆様，東北大学の松田です．来たる2018年4月10日に，<Programming> 2018に併設して開催されるワークショップ， Bx 2018 の論文募集の案内を再度お送りいたします．前回お送りした投稿〆切日時が誤っておりましたことをお詫びいたします．誤 Feb. 18, 2018 正 Feb. 19, 2018 Bx 2018では，”Experience Report"という投稿カテゴリを新設いたしました．もしlens等の双方向変換システムを研究/教育/開発プロジェクト等に使用されたことがある方がいらっしゃいましたら，ぜひともその経験の投稿をご検討くださいませ．その他のカテゴリについても，ご投稿を検討いただければ幸いです． ---------------------------------------------------------------------- SECOND CALL FOR PAPERS ======================= Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2018 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES --------------- - Paper submission: Jan. 19, 2018 - Author notification: Feb. 17, 2018 - Workshop: Apr. 10, 2018 AIM & TOPICS ------------ The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 pages) * in-depth presentations of novel concepts and results * applications of bx to new domains * survey papers providing novel comparisons between existing bx technologies and approaches case studies - Tool Papers (up to 6 pages) * guideline papers presenting best practices for employing a specific bx approach (with a specific tool) * presentation of new tools or substantial improvements to existing ones * qualitative and/or quantitative comparisons of applying different bx approaches and tools - Experience Report (up to 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 pages) * work in progress * small focused contributions * position papers and research perspectives * critical questions and challenges for bx - Talk Proposals (up to 2 pages) * proposed lectures about topics of interest for bx * existing work representing relevant contributions for bx * promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site: https://easychair.org/conferences/?conf=bx2018 Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROGRAM COMMITTEE MEMBERS ------------------------- Jens Weber (University of Victoria, co-chair) Kazutaka Matsuda (Tohoku Universiy, co-chair) Anthony Anjorin (University of Paderborn) James Cheney (University of Edinburgh) Anthony Cleve (University of Namur) Alcino Cunha (University of Minho and INESC TEC) Zinovy Diskin (McMaster University) Romina Eramo (University of L’Aquila) Jeremy Gibbons (University of Oxford) Holger Giese (Potsdam University) Boris Glavic (Illinois Institute of Technology) Martin Gogolla (University of Bremen) Soichiro Hidaka (Hosei University) Zhenjiang Hu (National Institute of Informatics) Michael Johnson (Macquarie University) Ekkart Kindler (Technical University of Denmark) Erhan Leblebici (TU Darmstadt) Fernando Orejas (Universitat Politècnica de Catalunya) Hugo Pacheco (University of Minho) Richard Paige (University of York) Arend Rensink (University of Twente) Andy Schürr (TU Darmstadt) Perdita Stevens (University of Edinburgh) James Terwilliger Janis Voigtländer (University of Duisburg-Essen) Meng Wang (University of Bristol) Bernhard Westfechtel (University of Bayreuth)

1 0

「論理学の哲学」ワークショップ：意味，証明，推論　のご案内です。
by 秋吉亮太 08 Dec '17

08 Dec '17

みなさま，早稲田大学高等研究所の秋吉と申します．以下の要領で論理学の哲学に関するワークショップを開催いたします．参加自由ですので，皆さまのご参加をお待ちしております．早稲田大学高等研究所主催「論理学の哲学」ワークショップ：意味，証明，推論 WIAS Event “Philosophy of Logic” Workshop: Meaning, Proof, and Inference 日時：2017年12月12日（火）15:00 - 18:15 Date: December 12, 2017 (Tue.) Time: 15:00 - 18:15 場所：早稲田大学早稲田キャンパス　11号館4階第一会議室 Venue: Meeting Room #1, 4th floor, Bldg. 11, Waseda Campus, Waseda University URL: https://www.waseda.jp/inst/wias/news/2017/11/14/4733/ <https://www.waseda.jp/inst/wias/news/2017/11/14/4733/> プログラム/Program： 15:00 - 16:00 西牟田祐樹（慶應義塾大学）/ Yuki Nishimuta (Keio University) 乗法的論理結合子の導入規則とスイッチングの関係 Relationship between the Introduction Rules of the Multiplicative Connectives and the Switching 16:00 - 16:30 ディスカッション/ Discussion 16:30 - 16:45 休憩/ Break 16:45 - 17:45 大西琢朗（京都大学）/ Takuro Onishi (Kyoto University) 　　　　　　　　　関係意味論を推論主義的に理解する Understanding Relational Semantics from the Viewpoint of Inferentialism 17:45 - 18:15 ディスカッション/ Discussion 使用言語/ Language：日本語（必要に応じて英語）/ Japanese (and English, if necessary) 司会/ Moderator：秋吉亮太（早稲田大学高等研究所）/ Ryota Akiyoshi (WIAS, Waseda University) 問い合わせ先/ Contact E-mail：秋吉亮太（早稲田大学高等研究所 ) georg.logic(a)gmail.com <mailto:georg.logic@gmail.com> 早稲田大学高等研究所/ Waseda Institute for Advanced Study, Waseda University

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 07 Dec '17

07 Dec '17

みなさま、北陸先端科学技術大学院大学の横山です。超準解析と数学基礎論のシンポジウムについて、プログラムができましたので再度ご案内いたします。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋太志先生に招待講演をお願いしております。（前回のメールで倉橋先生のお名前が間違っておりました。お詫びして訂正いたします。）超準解析を勉強したことのない学生の方等の参加も歓迎です。ご参加をご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス懇親会：12月15日 (5000円程度の予定です) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。参加は登録無しでも可能ですが、できましたら以下のフォームに記入の上、 y-keita[at]jaist.ac.jp までメールにて事前にご連絡をいただけると幸いです。 (懇親会に参加希望の方はできるだけ早くご連絡ください。) ===以下フォーム=== １．お名前２．所属・身分３．メールアドレス４．懇親会に参加希望/希望しない (あまり直前ですと参加希望に添えないかもしれません) ５．その他 ===以上フォーム=== ********************** どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Talk by Amar Hadzihasanovic (07 Dec 11.00-)
by Kazushige TERUI 05 Dec '17

05 Dec '17

皆様直前のご案内で申し訳ありません。明日京都大学にて、新しくポスドクとして来られた Amar Hadzihasanovicさんによる講演があります。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 07 Dec, 2017 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Amar Hadzihasanovic (RIMS, Kyoto University) Title: Units without degeneracies, from higher categories to sequent calculi In a polycategory or multicategory, the existence of poly-cells or multi-cells satisfying certain universal properties induces coherent algebraic structures on the category of single-input, single-output cells (Cockett-Seely 1997, Hermida 2000). This was used by Hermida to produce an abstract proof of the strictification theorem for monoidal categories, and more generally bicategories. While the basic strategy seems generalisable, by a result by C. Simpson in 1998, no full strictification is possible for higher-dimensional categories. This seems to be due to problems with the combinatorics of cells with degenerate boundaries, that is, “0-ary” inputs or outputs, which were previously used to obtain units. We show that it is possible to obtain coherent units without degenerate boundaries, by deriving them from “equivalence” cells which satisfy lower-dimensional universal properties. This leads to a weaker semi-strictification theorem, which, however, we hope to generalise to arbitrary dimensions. Since the work of Cockett and Seely on linearly distributive categories, it is known that there is a deep connection between universal properties of cells in polycategories, and the rules of sequent calculi; in this context, units are also notorious for increasing the complexity of proof equivalence. In the last part of this talk, we pose some questions on the logical and computational aspects of our notion of unit, and the non-degeneracy constraint. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 05 Dec '17

05 Dec '17

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications につきまして、講演募集の締め切りが近づきましたので再度ご案内させて頂きます。ご講演・ご参加の検討をいただければ幸いです。横山啓太 ******************************************* Second Call for Abstracts Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Université Paris 1) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University, to be confirmed) Guide for authors ----------------- The authors are asked to prepare short abstracts (1 page PDF) following the guideline on the workshop web-site: http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html Submissions are accepted through EasyChair https://easychair.org/conferences/?conf=mla2018 Deadline of submission ----------------------- 15 December 2017 Notification of acceptance will be informed by December 31. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Kobe Colloquium: Dec. 7, 2017, Martin Ziegler
by Hirotaka Kikyo 01 Dec '17

01 Dec '17

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時: 2017/12/7 (木) 16.00 - 17:30 場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室講演者：Martin Ziegler（Freiburg大学）題目： A new Axiomatisation of the free N-pseudospace. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：桔梗宏孝 kikyo(a)kobe-u.ac.jp <mkikuchi(a)kobe-u.ac.jp>

1 0

CFP: PPL2018 第20回プログラミングおよびプログラミング言語ワークショップ論文募集
by Shin-ya Nishizaki 30 Nov '17

30 Nov '17

logic-mlの皆様 PPL2018のCFPについては既に案内させていただきましたが、投稿方法や招待講演などの情報が更新されましたので、再度、連絡させて頂きます。是非、投稿・参加をご検討ください。東京工業大学学術国際情報センター西崎真也 ===================================================== 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) http://jssst-ppl.org/workshop/2018/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)〜3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．カテゴリ1で発表された研究のうち，PPL2018プログラム委員会により優れていると認められたものは， PPL2018終了後(2018年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2018推薦論文としての投稿が可能です．推薦論文は， PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．招待講演 -------- 丸山宏（Preferred Networks）久野靖（電気通信大学教授）以上お二方の招待講演を予定しております． ===================================================== ================= 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2018 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2017年12月21日(木) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2018年1月9日(火) 17:00 (JST) 10ページ程度(最大15ページ，参考文献を含む)の論文(日本語もしくは英語，PDF形式．PPL2018ウェブページにて指定のスタイルファイルを利用のこと)を提出してください．最大ページ数を超える付録は投稿版に入れて構いませんが，最終原稿においては削除してもらいます．著者のweb page等においてソースコードや実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採否通知：2018年2月2日(金) 最終原稿締切: 2018年2月15日(木) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります(他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込締切: 2018年1月22日(月) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知：2018年2月2日(金) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター発表またはデモ発表(あるいは両方)を募集いたします．発表申込締切: 発表申込締切: 2018年2月5日(月) 17:00 (JST) 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要 (200〜300字程度)，キーワード(3つ以上)を提出してください．発表形態については発表タイトル(Title欄)の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．採否通知：2018年2月13日(火) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 発表申込締切: 発表申込締切: 2018年1月22日(月) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知：採否通知：2018年2月2日(金) ===================================================== 問い合わせ先 ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ===================================================== プログラム委員会上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) 組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長]

1 0

Call for Papers: CLAR 2018 @ Zhejiang University in Hangzhou, China, 16-17 June 2018.
by Katsuhiko Sano 28 Nov '17

28 Nov '17

**Apologies for cross-postings** The interplay between logic and argumentation has a long history, from ancient Aristotle’s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): - What are the roles of logic and/or argumentation in social networks? - How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? - How can we formalize reasoning in game-theoretic situations? - What are the logical principles, models and patterns of daily life argumentation? - What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? - How can existing logics be represented within existing argumentation frameworks? -What are the trade-offs between expressive power and computational complexity in logic and argumentation? - How can we model the strength of arguments? - How can we further develop and apply formal argumentation in AI? - How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer’s Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Important Dates Submission: 15 January 2018 Notification: 5 March 2018 Final version: 12 March 2018 Conference: 16-17 June 2018 Invited Speakers (Confirmed): Natasha Alechina (University of Nottingham, UK) Anthony Hunter (University College London, UK) Organizers: Thomas Ågotnes (University of Bergen & Zhejiang University) Huimin Dong (Zhejiang University) Beishui Liao (Zhejiang University) Fanghong Shi (Zhejiang University) Yì N. Wáng (Zhejiang University) Teng Ying (Zhejiang University City College) If you have any question, please contact Huimin Dong (huimin.dong(a)xixilogic.org) or Teng Ying (skysky_998(a)hotmail.com).

1 0

Project colloquium talk by Jérémy Dubut and Akihisa Yamada on 30 November
by urabenatsuki＠is.s.u-tokyo.ac.jp 28 Nov '17

28 Nov '17

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Jérémy Dubut and Akihisa Yamada on 30th November, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ----- Thu 30 November 2017, 16:30–18:45 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html 16:30-17:30 Jérémy Dubut (NII), Some thoughts on bisimilarity using open morphisms In this talk, I will present some work I have done on open morphisms during my PhD. I will start by giving an introduction on this categorical formalism from Joyal, et al.’s work on bisimilarity defined as the existence of a span of morphisms having some lifting properties with respect to “execution shapes”. I will show you examples, relational and logical characterisations for this bisimilarity. Next, I would like to present two quite different aspects of this theory that I used during my PhD. First, a general framework, called the accessible categorical models, where the open morphisms formalism is particularly nice. This is a case where it is possible to define a nice notion of trees. In this framework, we show that bisimilarity can be precisely captured by the existence of some bisimulation relation on executions, but also that there is a fine notion of unfolding, which acts very similarly as a universal covering. Secondly, a particular case of the theory of Joyal et al.: the bisimilarity of diagrams, namely functors from a small category to a specified category of values. I will show you that this case is equivalent to the existence of a nice notion of bisimulations, which allows us to translate the problem of bisimilarity, to a problem of isomorphisms in the category A, which is useful for (un)decidability. I will finally show you how to translate the general setting of Joyal et al. where the category of paths is small into diagrams, and I will describe the relation between the different bisimilarities involved. 17:45-18:45 Akihisa Yamada (NII), Mathematics for Complexity Analysis IsaFoR is a library of Isabelle-formalized theorems for validating program analyzers, originally on term rewriting. My previous work was to extend the library for more practical programing languages and also to enrich the library with deep results from mathematics. In this talk, I will explain how complexity analysis leads us to formalizing algebraic numbers, the Berlekamp factorization, Jordan normal forms, and the Perron-Frobenius theorem.

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 24 Nov '17

24 Nov '17

みなさま、北陸先端科学技術大学院大学の横山です。「超準解析と数学基礎論のシンポジウム」のご案内を再送させていただきます。講演枠にまだ少し余裕がありますので、講演の募集を１１月３０日まで延長致します。超準解析だけでなく、数学基礎論一般の講演も歓迎です。ご検討頂ければ幸いです。また、今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋大志先生に招待講演をお願いしております。超準解析を勉強したことのない学生の方等の参加も歓迎です。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス 11号館4階(12/15第四会議室，12/16第三会議室) 講演募集締め切り：11月30日懇親会：12月15日(予定) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月30日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月30日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

数学の哲学ウィンタースクール
by Makoto Kikuchi 23 Nov '17

23 Nov '17

皆様，以下の要領で「数学の哲学ウィンタースクール」を開催します．日時：2018年1月7日（日）から8日（月，祝）　（両日とも 10:00-12:00, 13:00-15:00, 15:30-17:30 の3コマの予定）場所：京都産業大学サギタリウス館（http://www.kyoto-su.ac.jp/facilities/cam_map.html）講師：金子洋之，岡田光弘，岡本賢吾プログラム：詳細未定（各講師「講義90分+質疑応答30分」x 2コマ）世話人：三好博之，菊池誠内容（変更の可能性があります）：金子洋之：直観主義と不完全性定理（ブラウワ，ゲーデル，ダメットなど）岡田光弘：形式主義と数学の無矛盾性証明（ゲンツェンから竹内外史へ）岡本賢吾：カントと数学基礎論（フレーゲ＆ウィトゲンシュタイン，ヒルベルト＆ゲーデル）昼食：ウィンタースクール開催中はキャンパス内の食堂は営業していません．両日ともお弁当（1000円／食）の手配をします．必要のある方は，参加申込と同時にお申し込みください．懇親会：7日夜に四条河原町周辺で懇親会を開催の予定です．会費は3千円から4千円程度を考えています．参加申込：会場の手配，弁当の手配，懇親会の準備のため，以下の情報を《12月20日》までに菊池（mkikuchi(a)kobe-u.ac.xn--jp)-ub4boe e-mail でご連絡ください． --ここから-- 氏名：所属：身分：（教員・ポスドク等・学生・その他）連絡先 e-mail：弁当：7日（要・不要），8日（要・不要）懇親会：（参加・不参加） --ここまで-- 備考：このウィンタースクールは科研費基盤B「数学の哲学の新たな展開」（代表：菊池誠）の活動の一環として開催されます．来年度以降も開催の予定です．連絡先：菊池誠（mkikuchi(a)kobe-u.ac.jp)

1 0

第52回 MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 23 Nov '17

23 Nov '17

皆様静岡大学の鈴木信行です。 12月1日--3日の第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆様、ご寛恕を賜りますようお願い申し上げます。・期間: 2017年12月1日(金)午後 -- 12月3日(日)午前・場所: 静岡大学　静岡キャンパス　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) 申し込み無しでもご参加いただけます。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

CFP: 48th TRS Meeting
by Takahito Aoto 23 Nov '17

23 Nov '17

皆様，第48回TRSミーティングの参加募集を案内させて頂きます． --- 青戸等人(新潟大学) ================================================================================== Call For Participation 48th TRS meeting February 25 - 27, 2018 Sendai, Miyagi http://www.nue.ie.niigata-u.ac.jp/events/trs-meeting-48/ * About TRS meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/) * Information Date: February 25 (Sun) - 27 (Tue), 2018 Venue: Oshu Akiu Onsen Rantei http://www.akiu-rantei.com/lg_en/ 7-1, Aza Kidoho, Yumoto, Akiu-machi, Taihaku-ku, Sendai City, Miyagi 982-0241 * Schedule Opening: 14:00 on Feb 25 (Sun) Closing: 12:00 on Feb 27 (Tue) * Fee Registration: 4,000 JPY Accommodation (two nights): 21,900 JPY Registration fee includes meeting room fee, coffee and snacks at breaks. Accommodation fee includes breakfasts and dinners (lunches are not included). * Registration Please send the registration form below to Takahito Aoto (mail: aoto at ie.niigata-u.ac.jp) no later than Jan 19, 2018. Registration after the deadline is subject to room availability. ---------------------------------------------------------------------- Registration Form of the 48th TRS meeting name: affiliation: [male / female] (leave one) special room request: [single room / twin room / none] (leave one) ---------------------------------------------------------------------- Japanese style shared rooms are default, but several single and twin rooms are also available. If you prefer a single or twin room, let me know at your earliest convenience. In the latter case, let me also know your roommate. * Contact Takahito Aoto (mail: aoto at ie.niigata-u.ac.jp) ==================================================================================

1 0

『第5回山陰基礎論・解析学研究集会』の御案内
by Horihata Yoshihiro 22 Nov '17

22 Nov '17

Logic-ml 各位米子高専の堀畑です。 2018年1月7日（日）終日，8日（月祝）午前に，米子で件名の研究会を開催いたします．基礎論と解析学の気軽な研究交流の場を目指しています．参加者，講演者を募集いたします．詳細は下記ＨＰ参照（ホームから過去開催のプログラムも見られます） https://sites.google.com/site/yonagonctmath/slas2018 【締め切り日】　12/13（水）　← 参加・ご講演頂ける方は，下記連絡票を堀畑（horihata(a)yonago-k.ac.xn--jp)-u63bmd1e2gs5ayc3h4683a. 　12/31（日）　← アブストラクト提出（発表者のみ，添付の「abstract.tex」で作成し，「texファイル」とコンパイルした「pdf」をメール添付にて堀畑まで）【懇親会】　1/6（土）　18時頃～米子駅前の店にて　1/7（日）　18時頃～皆生の店にて（研究会の会場付近） ▼▼連絡票▼▼ （１）講演を行う？　（○ ×）（２）参加する日？　（両日 or 7日のみ or 8日のみ）（３）6日懇親会参加？　（○ ×）（４）7日懇親会参加？　（○ ×）（５）講演タイトル（発表者のみ）要望等： ▲▲▲▲▲▲▲ 周りで興味ありそうな方にもお声掛け頂き，たくさんの方に参加して頂ければ幸いです．堀畑佳宏 -- 米子工業高等専門学校教養教育科・数学〒683-8502 鳥取県米子市彦名町4448 Tel: 0859-24-5075 E-mail: horihata(a)yonago-k.ac.jp

1 0

Kobe Colloquium: Nov. 17, 2017, Satoru Kuroda
by Makoto Kikuchi 17 Nov '17

17 Nov '17

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時: 2017/11/17 (金) 16.00 - 17:30 場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室講演者：黒田覚（群馬県立女子大）題目：竹内－安本強制法について交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 1

LFMTP'18 Call for Papers
by Makoto Hamana 17 Nov '17

17 Nov '17

皆様、来年の FLoC (FSCD,IJCAR,ITP,LICS等の合同国際会議)併設の LFMTP 2018 ワークショップのご案内です。〆切はまだ先ですがぜひ投稿をご検討ください。 -- 浜名誠群馬大学理工学府電子情報部門 [Apologies if you receive multiple copies of this announcement] ======================================================================= Call for papers Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2018 Oxford, UK, 7 July 2018 Affiliated with FSCD 2018 (part of FLoC) http://lfmtp.org/workshops/2018/ ======================================================================= SUBMISSION DEADLINE: 16 APRIL 2018 Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process. LFMTP 2018 will provide researchers a forum to present state-of-the-art techniques and discuss progress in areas such as the following: * Encoding and reasoning about the meta-theory of programming languages, logical systems and related formally specified systems. * Theoretical and practical issues concerning the treatment of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures. * Logical treatments of inductive and co-inductive definitions and associated reasoning techniques, including inductive types of higher dimension in homotopy type theory. * Graphical languages for building proofs, applications in geometry, equational reasoning and category theory. * New theory contributions: canonical and substructural frameworks, contextual frameworks, proof-theoretic foundations supporting binders, functional programming over logical frameworks, homotopy and cubical type theory. * Applications of logical frameworks: proof-carrying architectures, proof exchange and transformation, program refactoring, etc. * Techniques for programming with binders in functional programming languages such as Haskell, OCaml or Agda, and logic programming languages such as lambda Prolog or Alpha-Prolog. Invited Speakers TBA Important Dates Abstract submission deadline: Monday April 9th Submission deadline: Monday April 16th Notification to authors: Monday May 14th Final version due: Monday June 4th Workshop date: Saturday July 7th Submission In addition to regular papers, we accept the submission of "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be of interest for the community at large. Submitted papers should be in PDF, formatted using the EPTCS style guidelines. The length is restricted to 15 pages for regular papers and 8 pages for "Work in Progress" papers. Submission is via EasyChair: https://easychair.org/conferences/?conf=lfmtp18. Proceedings Accepted regular papers will be included in the proceedings of LMFTP 2018, whose mode of publication will be determined shortly. Program Committee * Mara Alpuente (Universitat Politcnica de Valncia, Spain) * Andrej Bauer (University of Ljubljana, Slovenia) * Frdric Blanqui (Inria, France), co-chair * Ana Bove (Chalmers University of Technology, Sweden) * Stphane Graham-Lengrand (CNRS, France) * Makoto Hamana (Gunma University, Japan) * Chantal Keller (Universit Paris-Sud, France) * Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil) * Giselle Reis (CMU Qatar), co-chair * Aaron Stump (University of Iowa, USA) * Yuting Wang (Yale University, USA)

1 0

セミナーの案内
by Makoto Kikuchi 15 Nov '17

15 Nov '17

神戸大の菊池です．代理投稿です． -- 国立情報学研究所　新井紀子です。「ロボットは東大に入れるか」プロジェクトでは、以下の講演会を開催します。本セミナーは、言語処理の現状を数理的な方向から解きほぐすことを目的に開催いたします。ご関心のある方はぜひお出かけください。「ロボットは東大に入れるか」セミナー講師：松崎拓也氏（名古屋大学大学院工学研究科） https://researchmap.jp/mtzk 日時：2017年11月24日　15時30分～17時（講演1時間、質疑応答30分）場所：学術総合センタービル　国立情報学研究所12階　1208・1210 講演内容：タイトル：「自然言語処理における統計的機械学習－数理的枠組みと応用の場からの振り返り」概要：自然言語処理の分野では1990年代末から機械学習が主要な道具となり，ここ数年は他分野と同様にニューラルネットの応用が大ブームとなっている．この講演では，統計的機械学習の最も基本的な数理的枠組みを押さえたのち，いくつかの具体的な研究例を示しながら，この15年ほどの自然言語処理分野で実際に何が起きているのかを，私見を交えつつ，数理的観点から振り返る． ※本講演会へは事前申し込みが必要ですので、申し込みフォームから事前にお申し込みください。150名に達しましたら、申し込みを終了いたします。申し込みフォーム： https://arai-lab.netcommons.org/page_20171113013248 ※入館に際しては身分証明証が必要です。入り口で身分証明証をご提示の上、セミナー参加票（ウェブ上で登録の際、参加票が発行されます）をご持参の上、警備員にお伝えください。

1 0

RIMS共同研究（公開型）「証明論と証明活動」のご案内
by Katsumi Sasaki 13 Nov '17

13 Nov '17

みなさま　標記の研究集会　　　研究題目：証明論と証明活動　　　日程：2017年12月25日(月)〜27日(水) 　　　場所：京都大学数理解析研究所420号室の講演募集などの案内を http://www.st.nanzan-u.ac.jp/info/sasaki/2017rims/rims2017.html に載せましたので，ご連絡させていただきます．講演等の申込締切が，早目で，　　11月3日にさせていただいておりますのでご注意ください．　詳細は，上記のURLにありますが，関連する話題をお持ちでしたら，是非とも講演をご検討くださいますようお願いいたします．南山大学　佐々木克巳

1 4

FLOPS 2018 CFP
by Makoto Tatsuta 12 Nov '17

12 Nov '17

皆様、関数型、論理型プログラミング言語の国際会議 FLOPS 2018のご案内です。ふるって投稿をご検討ください。龍田真国立情報学研究所 -------------------------------------------------- FINAL Call For Papers ========================= NOTE: DEADLINE EXTENSION ========================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs), as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 29 November 2017 (any time zone): Abstract Submission (extended) 4 December 2017 (any time zone): Submission deadline (extended) 29 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Speakers William E. Byrd, University of Utah, USA Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan + 3rd speaker to be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) ----------------------------------------------------------------------

1 0

Project colloquium talk by Jurriaan Rot and Kenta Cho on 9 November
by urabenatsuki＠is.s.u-tokyo.ac.jp 06 Nov '17

06 Nov '17

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Jurriaan Rot and Kenta Cho on 9th November, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ---- Thu 9 November 2017, 16:30–18:45 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html 16:30-17:30 Jurriaan Rot <http://jurriaan.me/> (Radboud University), Traces and Triangles In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. I will talk about recent joint work with Bart Jacobs, which elaborates two new unifying ideas in the theory of coalgebraic trace semantics: 1) previous approaches can be placed and connected in so-called state-and-effect triangles, that arise in the semantics of programs; 2) coalgebraic trace semantics is naturally presented in terms of corecursive algebras. This perspective puts the different approaches under a common roof, and allows us to derive conditions under which they coincide. 17:45-18:45 Kenta Cho <https://www.cs.ru.nl/K.Cho/> (Radboud University), String diagrams in probability theory String diagrams are a graphical language for monoidal categories, which has become very popular in categorical quantum mechanics initiated by Abramsky and Coecke. In this talk I will explain that string diagrams are also useful for (classical) probability theory. The Kleisli categories of the distribution and the Giry monad give concrete interpretation of string diagrams, respectively, for discrete probability and general measure-theoretic probability. Topics include disintegration, Bayesian inversion, and conditional independence. The talk is based on joint work with Bart Jacobs; see preprint https://arxiv.org/abs/1709.00322.

1 0

Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 05 Nov '17

05 Nov '17

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications の講演募集のご案内です。ご講演・ご参加の検討をいただければ幸いです。横山啓太 ************************************** Call for Abstracts Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Université Paris 1) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham, to be confirmed) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University, to be confirmed) Guide for authors ----------------- The authors are asked to prepare short abstracts (1 page PDF) following the guideline on the workshop web-site: http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html Submissions are accepted through EasyChair https://easychair.org/conferences/?conf=mla2018 Deadline of submission ----------------------- 15 December 2017 Notification of acceptance will be informed by December 31. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

CFP: TPP 2017 (Dec. 6-7 in Kyoto Univ.)
by Atsushi Igarashi 31 Oct '17

31 Oct '17

京都大学の五十嵐です．第１３回 TPP (Theorem Proving and Provers) ミーティングを１２月６日（水）の午後から１２月７日（木）までの予定で、京都大学吉田キャンパスにて開催します．このミーティングは， 2005 年から年に１回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．ミーティング期間中の討論を大切にしたいと考えていますので，出来上がった仕事の講演だけでなく，進行中の仕事、未完成の仕事についての講演も歓迎します．参加者には可能な限りご講演いただきたいと希望しています．参加者と講演の概数を把握したいので，参加される(かもしれない)方は、 https://docs.google.com/forms/d/e/1FAIpQLSeNY78Nptel4SY_U5MAGMX6qEzyipeFBSn… 経由で 11月22日(水)までに参加申し込みをしてください．また12月6日(水) の夜に懇親会を予定しております．こちらの参加(するかもしれない)表明をお願いいたします．恒例のTPP問題を含む，詳しい情報は https://aigarashi.github.io/TPP2017/ にあります．多数のご参加をお待ちしております．どうぞよろしくお願いします．五十嵐淳

1 0

[1st CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations
by Kazutaka Matsuda 25 Oct '17

25 Oct '17

皆様，東北大学の松田です． <Programming> 2018に併設して開催されるワークショップ Bx 2018 の論文募集の案内をお送りいたします．もしよろしければ，ご投稿を検討いただけますと幸いです． --------------------------------------------------------- FIRST CALL FOR PAPERS ===================== Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2018 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES --------------- - Paper submission: Jan. 18, 2018 - Author notification: Feb. 17, 2018 - Workshop: To be announced (Apr. 9 or Apr. 10, 2018) AIM & TOPICS ------------ The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 pages) * in-depth presentations of novel concepts and results * applications of bx to new domains * survey papers providing novel comparisons between existing bx technologies and approaches case studies - Tool Papers (up to 6 pages) * guideline papers presenting best practices for employing a specific bx approach (with a specific tool) * presentation of new tools or substantial improvements to existing ones * qualitative and/or quantitative comparisons of applying different bx approaches and tools - Experience Report (up to 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 pages) * work in progress * small focused contributions * position papers and research perspectives * critical questions and challenges for bx - Talk Proposals (up to 2 pages) * proposed lectures about topics of interest for bx * existing work representing relevant contributions for bx * promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site is to be announced. Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROGRAM CO-CHAIRS ----------------- - Jens Weber (University of Victoria) - Kazutaka Matsuda (Tohoku University) PROGRAM COMMITTEE MEMBERS ------------------------- To be announced.

1 0

MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 25 Oct '17

25 Oct '17

皆様静岡大学の鈴木信行です。第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆さま、ご寛恕を賜りますようお願い申し上げます。ご参加・ご講演のお申込み、〆切が近づきました。 11月1日(水)までに、以下の申し込みフォームをお送りください。送り先: mlg52.shizuoka(a)gmail.com 件名: MLG52申込申し込みフォーム： -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

CALL FOR PARTICIPATION: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 20 Oct '17

20 Oct '17

（重複して受け取られた場合はご容赦ください）皆様、北海道大学の佐野勝彦と申します。今年の11月に東京で開催される LENLS 14 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。 [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Daisuke Bekki (Ochanomizu University/JST CREST) Eric McCready (Aoyama Gakuin University) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (Munich Center for Mathematical Philosophy, LMU Munchen) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). 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, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - 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 Important dates: ================ Deadline for camera-ready copy: October 16, 2017 Deadline for onsite registration: November 1, 2017 LENLS14: November 13-15, 2017 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until End of October, 2017. https://www.ai-gakkai.or.jp/isai/registration2017 Program: ======== 1st Day: November 13 (Mon) ------------------------- 9:00-10:00:Registration 10:00-11:30:Session * Lukas Rieser "Quality as a speech-act CI and presuppositions" * Hitomi Hirayama "Towards a Unified Analysis of Contrastive wa as Contrastive Topic" * Michael Yoshitaka Erlewine and Hadas Kotek "Intervention tracks scope-rigidity in Japanese" 11:30-12:50:Lunch 12:50-14:20:Session * Yulia Zinova "Explaining prefix contributions in Russian using Frame Semantics and RSA" * Liping Tang "A Signaling Model for Pictorial and Alphabet Writings" * Ilaria Frana and Keir Moulton "Derived Nominals and Concealed Propositions" 14:20-14:35:Coffee Break 14:35-16:05:Session * Dan Zeman "Perspectival Plurality, Relativism, and Multiple Indexing" * Fabrizio Cariani and Simon Goldstein "Conditional heresies" * Andres Soria Ruiz "It's Getting Better All The Time: An Expressivist Semantics For Comparative Value Judgments" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Ivano Ciardelli "Two Switches in the Theory of Counterfactuals" 2nd Day: November 14 (Tue) ------------------------- 10:00-11:30:Session * Yu Izumi and Shintaro Hayashi "Expressive Small Clauses in Japanese" * Osamu Sawada and Jun Sawada "The dependent property of the Japanese inferential use of no koto-da: An evidence indicator for an inferential modal statement" * Gregoire Winterstein, Regine Lai and Zoe Luk "Denials and negative emotions: a unified analysis of the Cantonese expressive 'gwai2'" 11:30-12:50:Lunch 12:50-14:20:Session * Kristina Liefke "Relating Intensional Models of Formal Semantics: established methods and surprising results" * Oleg Kiselyov "Transformational Semantics on a Tree Bank" * Simon Charlow "A modular theory of pronouns and binding" 14:20-14:35:Coffee Break 14:35-16:05:Session * Robert Henderson and Eric McCready "How Dogwhistles Work" * Emily Lake "Ideological legibility as a primary pragmatic process in the interpretation of implicit content" * Eric McCready and Christopher Davis "An Invocational Theory of Slurs" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Craige Roberts "Character assassination: Indexicals in a new perspective" 19:30-:Banquet 3rd Day: November 15 (Wed) ------------------------- 10:00-11:30:Session * Katsuhiko Yabushita "On the suspendability of the prejacent of an only sentence" * Hiroaki Nakamura "Discontinuity in Potential Sentences in Japanese" * Roussanka Loukanova "Semantic Argument Slots in the Type-Theory of Acyclic Recursion and Syntax-Semantics Interfaces in CBLG" 11:30-12:50:Lunch 12:50-14:20:Session * Tatiana Bladier, Kilian Evang and Yulia Zinova "Aspecto-Temporal Representation of Slavic Aktionsarten in DRT with Boxer" * Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot and Christian Retore. "Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis" * Alastair Butler and Stephen Wright Horn "Annotating syntax and lexical semantics with(out) indexing" 14:20-14:35:Coffee Break 14:35-16:05:Session * Patrick Elliott "An algebraic theory of attitude reports" * Chungmin Lee "Languages with non-factive knowledge verbs" * Yurie Hara, Naho Orita and Hiromu Sakai "Evidentials in Causal Premise Semantics: A Rating Study" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Shoichi Takahashi "Lethal Restrictors: Remedies and Ramifications" Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) 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: ====================================== - Katsuhiko Sano (Hokkaido University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

CFP: PPL2018 第20回プログラミングおよびプログラミング言語ワークショップ論文募集
by Shin-ya Nishizaki 11 Oct '17

11 Oct '17

logic-mlの皆様下記の通り、PPL2018のCFPを連絡させて頂きます。是非、投稿・参加をご検討ください。東京工業大学学術国際情報センター西崎真也 ================================================================ 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) http://jssst-ppl.org/workshop/2018/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．発表申込締切: 2017年12月21日(木) 17:00 (JST) 論文提出締切: 2018年1月9日(火) 17:00 (JST) 採否通知：2018年2月2日(金) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2018年1月22日(月) 17:00 (JST) 採否通知：2018年2月2日(金) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2018年2月5日(月) 17:00 (JST) 採否通知：2018年2月13日(火) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2018年1月22日(月) 17:00 (JST) 採否通知：2018年2月2日(金) 申込方法や詳細につきましては，上記ウェブページにて確定次第お知らせ致します． ================================================================ 問い合わせ先 ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org()-m53d8hra6b05cqqod3b1719ofh4b ================================================================ プログラム委員会上野雄大(東北大) 鵜川始陽(高知工科大) 海野広志(筑波大学) 江本健斗(九州工業大) 勝股審也(NII) 河内谷清久仁(日本IBM) 倉光君郎(横浜国立大) 光来健一(九州工業大) 櫻井孝平(金沢大) 笹田耕一(クックパッド) 新屋良磨(東京大) 澄川靖信(東京理科大) 田辺良則(鶴見大) 対馬かなえ(NII) 土屋達弘(大阪大) 鍋島英知 (山梨大) 浜名誠(群馬大) 星野直彦(京都大) 堀江倫大(日本IBM) 前田敦司(筑波大) 増原英彦(東京工業大) 松田一孝(東北大) 南出靖彦(東京工業大) 森畑明昌(東京大学) 結縁祥治(名古屋大) 組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長]

1 0

数学基礎論若手の会２０１７のご案内（再送）
by Toshimichi Usuba 11 Oct '17

11 Oct '17

MLの皆様、早稲田大学の薄葉です。締め切りが近づいてまいりましたので再度数学基礎論若手の会についてご案内させていただきます。講演、宿泊ともにまだ余裕がありますのでふるってご参加ください。数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．日時２０１７年１０月２７日（金）午後～２９日（日）午前場所財団法人大学セミナーハウス https://iush.jp/ 住所〒192-0372東京都八王子市下柚木1987-1 世話人　薄葉季路（早稲田大学基幹理工学部）連絡先　usuba(a)waseda.jp ウェブページ　https://sites.google.com/view/kisoronwakatenokai2017/%E3%83%9B%E3%83%BC%E3%… 参加費用：１４０００円程度（宿泊費、食事、懇親会費ふくむ。部分参加や食事をとられない場合はその分割引になります）参加を希望される方は、以下の情報を薄葉(usuba(a)waseda.xn--jp)-ub4boe 件名：数学基礎論若手の会参加申込にてお送りください。参加申し込み締め切り：９月１５日＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝・所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）・氏名，性別・講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）・２７日の宿泊を希望するorしない・２８日の宿泊を希望するorしない・２７日の夕食を希望するorしない・２８日の朝食を希望するorしない・２８日の昼食を希望するorしない・２８日の夜の懇親会に参加するorしない・２９日の朝食を希望するorしない・その他（質問、講演希望日など）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 1

第37回量子情報技術研究会(QIT37)申込締切延長
by NISHIMURA Harumichi 11 Oct '17

11 Oct '17

logic-mlの皆様第３７回量子情報技術研究会（QIT37）の発表申込締切が延長されたとのことですので，延長後の日程に変更した会告をご案内させていただきます（招待講演者の情報も増えています）．ご興味をお持ちの方は講演申込もご検討のほどよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道＜申込締め切りを延長しました＞ ---------------------------------------------------------- QIT37 第37回量子情報技術研究会研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．　第３７回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．日時：平成２９年１１月１６日（木），１７日（金）会場：埼玉大学総合研究棟１階シアター教室　　　（〒338-8570 さいたま市桜区下大久保255）発表募集分野：（申し込み状況によっては査読可能性あり）：量子情報，　　　　　　　　　量子計算，量子暗号など広く量子情報技術に関わる理論的　　　　　　　　　研究，実験的研究，計算機科学的研究，数学的研究，及び　　　　　　　　　その他関連分野定員：１４０名程度参加費：事前振込み　一般4,000円，学生3,000円　　　　（当日会場支払いは一般5,000円，学生4,000円）　　　　（懇親会は別途）研究会参加申込要領：講演(口頭，ポスター)希望者，聴講希望者は下記Webにて受付を行います．http://staff.aist.go.jp/s-kawabata/qit/ 招待講演：　小坂英男（横浜国立大学）「ダイヤモンドへの量子テレポーテーション転写と万能ホロノミック　量子操作～量子系の機械学習による最適量子操作の試みと量子情報　通信への応用～」　添田彬仁（東京大学）「高階量子情報処理の最近の展開」　古澤明（東京大学）「Hybrid quantum information processing: A way for large-scale 　optical quantum information processing」　森前智行（群馬大学）「セキュアクラウド量子計算」申込締め切り（延長しました）【講演申込締め切り】　　　平成２９年１０月１６日（月）口頭　　　　　　　　　　　　　平成２９年１０月２０日（金）ポスター【PDF原稿提出締め切り】　平成２９年１０月２０日（金）【参加申込締め切り】　　　平成２９年１０月２７日（金） [問合先] 小柴健史 (早稲田大学) 小川朋宏 (電気通信大学) 大久保潤 (埼玉大学) E-mail　qit37(a)list.waseda.jp 主催：電子情報通信学会　量子情報技術特別研究専門委員会（委員長　竹内繁樹（京都大学））共催：応用物理学会量子エレクトロニクス研究会 ----------------------------------------------------------

1 0

FSCD 2018 Call for Papers
by Takahito Aoto 11 Oct '17

11 Oct '17

皆様，国際会議 FSCD 2018 の論文募集をご案内致します．来年7月に，FLoC 2018 の一環として Oxford での開催です．投稿〆切は，1月22日です．ぜひ投稿をご検討いただければ幸いです． --- 青戸等人(新潟大学) --------------------------------------------------------------------------------------------------- Third International Conference on Formal Structures for Computation and Deduction (FSCD 2018) Oxford, UK, July 9 - 12th, 2018 Part of The Federated Logic Conference, FLoC 2018, July 6 - 19th, 2018. TOPICS: FSCD http://fscd-conference.org/ <http://fscd-conference.org/> covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory, new emerging models of computation (e.g. homotopy type theory or quantum computing), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). PUBLICATION : The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl http://www.dagstuhl.de/publikationen/lipics/ <http://www.dagstuhl.de/publikationen/lipics/> All LIPIcs proceedings are open access. SUBMISSION GUIDELINES : Submissions can be made in two categories. - Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. - System descriptions are limited to 6 pages (excluding references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Complete instructions on submitting a paper can be found on the conference web site http://www.cs.le.ac.uk/events/fscd2018/ <http://www.cs.le.ac.uk/events/fscd2018/> IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: January 15th, 2018 Full Papers: January 22nd, 2018 Rebuttal period: March 22 - 25th, 2018 Authors Notification: April 2nd, 2018 Final version for proceedings: May 2nd, 2018 BEST PAPER AWARD BY JUNIOR RESEARCHERS: The program committee will consider declaring this award to a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). SPECIAL ISSUE: Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science. PROGRAM COMMITTEE CHAIR Hélène Kirchner, Inria PROGRAM COMMITTEE S. Akshay, IIT Bombay T. Aoto, Niigata U. P. Arrighi, Marseille U. L. Birkedal, Aarhus U. E. Bonelli, Quilmes U. A. Bouhoula, Carthage U. C. Castro, F. Santa Maria Tech. U. U. Dal Lago, Bologna U. S. Escobar, U.P. Valencia M. Fernández, King's College London V. Ganesh, Waterloo U. H. Geuvers, Nijmegen U. M. Hasegawa, Kyoto U. H. Kirchner, Inria P.B. Levy, U. of Birmingham C. Loeding, Aachen U. A. Miquel, UdelaR, Montevideo G. Moser, Innsbruck U. C. Nalon, Brasilia U. V. Nigam, Paraiba U. & fortiss P. C. Ölveczky, Oslo U. G. Rosu, Illinois U. P. Severi, Leicester U. V. Sofronie-Stokkermans, Koblenz-Landau U. N. Tabareau, Inria R. Thiemann, Innsbruck U. A. Tiu, NTU Singapore F. van Raamsdonk, VU Amsterdam L. Zhi, CAS Beijing CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U. PUBLICITY CHAIR: Sandra Alves, Porto U. FSCD STEERING COMMITTEE T. Altenkirch (Nottingham U.), S. Alves (Porto U.), M. Fern\'andez (King's College London), C. Fuhs (Birkbeck, London U.), D. Kesner (Paris U.), N. Kobayashi (Tokyo U.), D. Miller (Inria), L. Ong (Chair, Oxford U.), B. Pientka (McGill U.), S. Staton (Oxford U.), R. Thiemann (Innsbruck U.). ---------------------------------------------------------------------------------------------------

1 0

25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers
by 小野寛晰 10 Oct '17

10 Oct '17

[Apologies for multiple copies.] WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia 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) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia 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 twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. 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), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), 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; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. 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. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, 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. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/instructions.html <http://wollic.org/wollic2018/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, 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 (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ <http://wollic.org/wollic2018/>

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 05 Oct '17

05 Oct '17

みなさま、北陸先端科学技術大学院大学の横山です。以下の通り12月に早稲田大学にて「超準解析と数学基礎論のシンポジウム」の開催を予定しております。講演を募集致しますのでご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス講演募集締め切り：11月24日世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月24日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月24日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

名古屋ロジックセミナー(10/6)
by Takayuki Kihara 04 Oct '17

04 Oct '17

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：10月6日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：宮元忠敏 (南山大学)　題目： On iterated forcing with side conditions アブストラクト： Aspero-Mota introduced an iterated forcing that used symmetric systems of elementary substructures with the markers. We reproduce it. Our construction features the following: 1. We stick to a single transitive set universe to form various clubs. 2. We use a pre-forced stationary set to manage amalgamations. 3. We use what we call signed coordinates rather than the markers. We consider these features by iteratively forcing the following examples. 1. Posets that force what we call fast functions. 2. Posets that kill weak club guessings. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

PEPM 2018: Final CfP
by Kohei SUENAGA 29 Sep '17

29 Sep '17

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永と申します． PEPM 2018 の final call for paper をお送りします．投稿をお待ちしております．末永幸平 PEPM 2018 FINAL CALL FOR PAPERS =============================== The submission site is now open: https://pepm18.hotcrp.com Only one week until the paper submission deadline (6th October AoE)! Highlights ---------- PEPM 2018 welcomes submissions on * semantics based and machine-learning based program synthesis and program optimisation, and * modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications, in addition to traditional PEPM topics. Do submit a short paper if you want to get feedback for your work in progress! If requested, short papers can be left out of the proceedings so that the results can be published elsewhere. New in this call ---------------- Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard. Short papers should include the words “short paper” somewhere in their title, and will be evaluated primarily on the basis of their ideas rather than finished execution. -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 =============================================================================== * Website : http://popl18.sigplan.org/track/PEPM-2018 * Time : 8th – 9th January 2018 * Place : Los Angeles, CA, US (co-located with POPL 2018) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2018 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. * 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. * 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. * 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, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko (https://josh-hs-ko.github.io). Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: Regular Research Papers and Short Papers. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages (excluding bibliography). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar; they will be evaluated primarily on the basis of their ideas rather than finished execution. Short papers must not exceed 6 pages (excluding bibliography), and should include the words “short paper” somewhere in their title. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm18.hotcrp.com/ PEPM 2018 will employ lightweight double-blind reviewing according to the rules of POPL 2018. Quoting from POPL 2018’s call for papers: “submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work ...” but rather “We build on the work of ...”). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.” See POPL 2018’s Submission and Reviewing FAQ page for more information: http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-F… Submissions are welcome from PC members (except the two co-chairs) provided that there are non-PC co-authors. Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings. 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. 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. Important dates --------------- * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Best paper award ---------------- PEPM 2018 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Invited speakers ---------------- Alex Aiken (Stanford University) Conal Elliott (Target) Jan Midtgaard (University of Southern Denmark) Programme committee ------------------- Nada Amin (EPFL) Shigeru Chiba (University of Tokyo) Ezgi Çiçek (Max Planck Institute for Software Systems) Olivier Danvy (Yale-NUS College) Ronald Garcia (University of British Columbia) Simon Gay (University of Glasgow) Andy Gill (X, the Moonshot Factory) Fritz Henglein (co-chair) (University of Copenhagen) Anastasia Izmaylova (IMC Financial Markets) Johan Jeuring (Utrecht University) Gabriele Keller (University of New South Wales) Oleg Kiselyov (Tohoku University) Hsiang-Shang Ko (co-chair) (National Institute of Informatics) Ralf Lämmel (University of Koblenz-Landau) Julia Lawall (Inria) Simon Peyton Jones (Microsoft Research Cambridge) Frank Pfenning (Carnegie Mellon University) Sriram Rajamani (Microsoft Research India) Norman Ramsey (Tufts University) Thomas Reps (University of Wisconsin-Madison) Sergei Romanenko (Keldysh Institute of Applied Mathematics) Tiark Rompf (Purdue University) Wolfram Schulte (Facebook) Peter Sestoft (IT University of Copenhagen) Harald Søndergaard (University of Melbourne) Kohei Suenaga (Kyoto University) Martin Vechev (ETH Zurich) Marcos Viera (University of the Republic) Nobuko Yoshida (Imperial College London) -- 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

Kyoto Workshop on Logic and Metaphysicsのご案内
by Hitoshi Omori 27 Sep '17

27 Sep '17

Kyoto Workshop on Logic and Metaphysicsのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。 ------------------------------------- Kyoto Workshop on Logic and Metaphysics 【日時】2017年10月2日【場所】京都大学吉田泉殿【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kwlm 【プログラム】 09:30-10:30 Filippo Casati "Inside *Aussersein*" 10:30-11:30 Ryo Ito "Rules and Trivialities in Proofs" 11:30-12:45 Lunch 12:45-13:45 Colin Caret "The Mutability of Entailment" 13:45-14:45 Ole Hjortland "Theories of truth and the maxim of minimal mutilation" 14:45-15:00 Break 15:00-16:00 Zach Weber "On paradox explanation, the inclosure schema, and being exceptionally ordinary" ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

Kyoto Nonclassical Logic Workshop IIIのご案内
by Hitoshi Omori 22 Sep '17

22 Sep '17

Kyoto Nonclassical Logic Workshop IIIのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。 ------------------------------------- Kyoto Nonclassical Logic Workshop III 【日時】2017年9月25日【場所】京都大学吉田泉殿【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kncl3 【プログラム】 September 25: 11:00--12:00 Zach Weber "On Substructural Logic and Metatheory" 12:00--13:00 Takuro Onishi "Unifying two plans in relevant logic" 13:00--14:30 Lunch 14:30--15:30 Igor Sedlár "Abstract completeness of some lattice-valued modal logics" 15:30--16:30 Kazushige Terui "The noble art () of diagrammatic reasoning in algebraic logic" 16:30--16:45 Coffee break 16:45--17:45 Adam Přenosil "Reconstructing involutive residuated lattices from their negative cones" 17:45--18:45 Petr Cintula "Lindenbaum-style proof of completeness for infinitary logics" 19:00-- Dinner ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

続報: MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 21 Sep '17

21 Sep '17

皆様静岡大学の鈴木信行です。第52回MLG 数理論理学研究集会の続報です。ご参加・ご講演のお申込みを開始いたします。参加の申し込みは以下のフォームにご記入の上、 11月1日(水)までにお送りください。送り先: mlg52.shizuoka(a)gmail.com -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。詳しくは、下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/

1 0

第37回量子情報技術研究会(QIT37)のご案内
by NISHIMURA Harumichi 15 Sep '17

15 Sep '17

logic-mlの皆様 QIT37の世話人に代わりまして第３７回量子情報技術研究会（QIT37）の会告をご案内させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------- QIT37 第37回量子情報技術研究会研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．　第３７回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．日時：平成２９年１１月１６日（木），１７日（金）会場：埼玉大学総合研究棟１階シアター教室　　　（〒338-8570 さいたま市桜区下大久保255）発表募集分野：（申し込み状況によっては査読可能性あり）：量子情報，　　　　　　　　　量子計算，量子暗号など広く量子情報技術に関わる理論的　　　　　　　　　研究，実験的研究，計算機科学的研究，数学的研究，及び　　　　　　　　　その他関連分野定員：１４０名程度参加費：事前振込み　一般4,000円，学生3,000円　　　　（当日会場支払いは一般5,000円，学生4,000円）　　　　（懇親会は別途）研究会参加申込要領：講演(口頭，ポスター)希望者，聴講希望者は下記Webにて受付を行います．http://staff.aist.go.jp/s-kawabata/qit/ <http://staff.aist.go.jp/s-kawabata/qit/> <http://staff.aist.go.jp/s-kawabata/qit/> 申込締め切り【講演申込締め切り】　　　平成２９年１０月６日（金）口頭　　　　　　　　　　　　　平成２９年１０月１３日（金）ポスター【PDF原稿提出締め切り】　平成２９年１０月２０日（金）【参加申込締め切り】　　　平成２９年１０月２７日（金） [問合先] 小柴健史 (早稲田大学) 小川朋宏 (電気通信大学) 大久保潤 (埼玉大学) E-mail　qit37(a)list.waseda.jp <mailto:qit37@list.waseda.jp> <qit37(a)list.waseda.jp> 主催：電子情報通信学会　量子情報技術特別研究専門委員会（委員長　竹内繁樹（京都大学））共催：応用物理学会量子エレクトロニクス研究会 ----------------------------------------------------------

1 0

Fwd: [hscc] 2018 Hybrid Systems: Computation and Control (HSCC) -- Call for Papers
by Ichiro Hasuo 04 Sep '17

04 Sep '17

*HSCC 2018 CALL FOR PAPERS* 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC) April 11-13, 2018, Porto, Portugal *URL:* www.hscc2018.deib.polimi.it <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polim…> *Important dates:* Paper submission deadline: October 6, 2017 (11:59pm UTC-12) *FIRM* Notification: December 2017 Camera-ready: February 2018 Conference dates: April 11-13, 2018 * Please refer to the conference website for up-to-date information. * *Paper submission information:* Regular papers (maximum 10 pages, 10pt font, two-column ACM format) Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM format) Demos (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Demo”) Posters (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Poster”) *Awards:* - Best Repeatability Evaluation Award; Papers would be eligible upon passing the repeatability evaluation process will receive the “artifact evaluated” badge. - Best Demo/Poster Award - Best Paper Award **New** - Test-of-Time Award* *New** *Conference scope:* HSCC 2018 is the 21st in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid systems, with an emphasis on computational aspects. By drawing on strategies from computation and control, hybrid systems theory finds application in both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers are expected to cover a wide spectrum of topics from theoretical results to practical considerations, from academic research to industrial adoption, including but not limited to: - Mathematical foundations, computability and complexity - Analysis, verification, validation, and testing - Modeling paradigms and techniques - Design, synthesis, planning, and control - Programming and specification languages - Network science and network-based control - Security, privacy, and resiliency in cyber-physical systems with a focus on computation and control - Artificial intelligence and machine learning in control algorithms - Software tools - Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas *Program Committee Chairs:* Maria Prandini, Politecnico di Milano Jyotirmoy V.Deshmukh, University of Southern California *Repeatability Evaluation Chair:* Sergiy Bogomolov, Australian National University *Publicity Chair:* Kostas Margellos, University of Oxford *Demo and Poster Session Chair:* Jens Oehlerking, Robert Bosch GmbH *Awards Chair* Akshay Rajhans, The MathWorks *Program Committee:* See www.hscc2018.deib.polimi.it <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polim…> *Steering Committee:* Rajeev Alur, University of Pennsylvania Werner Damm, OFFIS John Lygeros, ETH Zurich Oded Maler, Verimag Paulo Tabuada, University of California at Los Angeles Claire Tomlin, University of California at Berkeley *Submission website: * See www.hscc2018.deib.polimi.it <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.hscc2018.deib.polim…> — Kostas Margellos Department of Engineering Science University of Oxford Parks Road, Ox1 3PJ, Oxford United Kingdom kostas.margellos(a)eng.ox.ac.uk

1 0

Kyoto Philosophical Logic Workshop IIIのご案内
by Hitoshi Omori 01 Sep '17

01 Sep '17

Kyoto Philosophical Logic Workshop IIIのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。概要などの詳細はウェブサイトをご覧下さい。 ------------------------------------- Kyoto Philosophical Logic Workshop III 【日時】2017年9月7日, 8日, 9日【場所】京都大学吉田泉殿(7日、9日)、芝蘭会館別館(8日) 【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kplw-3 【プログラム】 September 7: The third workshop on connexive logic, co-organized by Heinrich Wansing and Hitoshi Omori 11:00--12:00 Norihiro Kamide "Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality" 12:00--13:00 Tomasz Jarmużek "Connexive logics defined by relating semantics and tableau approach" 13:00--14:30 Lunch 14:30--15:00 Sara Ipakchi "A justification for Aristotle Thesis AT on the basis of LNC" 15:00--16:00 Wolfgang Lenzen "Is connexive logic based on a gross misunderstanding? A Leibnitian approach" 16:00--16:15 Coffee break 16:15--17:15 Heinrich Wansing "Connexive Logic and Chellas-Segerberg Semantics" 17:15--18:15 Andreas Kapsner "What is Connexivity? Lessons from Constructive and Conditional Logics" 19:00-- Dinner September 8: 09:15--10:15 Yasuo Deguchi "Analytic Nishida: Metaphysics of Self and Non-classial Logic" 10:15--11:15 Rafał Urbaniak "Paradoxes of informal provability and many-valued indeterministic provability logic" 11:15--12:15 Toshiharu Waragai "Lesniewski's Ontology from a Syllogistic Point of View" 12:15--13:30 Lunch Special session on Leibniz's logic 13:30--14:30 Ryosuke Igarashi "A Comparison of the Logical Systems of Leibniz and Kant" 14:30--15:30 Hiroyuki Inaoka "Mathematics as make-believe: Infinite diagram in Leibniz's mathematical study" 15:30--15:45 Coffee break 15:45--16:45 Shinji Ikeda "Extension and Space in Leibniz’s Theory of Abstraction" 16:45--17:45 Wolfgang Lenzen "The evolution of the system of Leibniz’s logic" 18:30-- Dinner September 9: 10:00--11:00 Vít Punčochář "Between material and strict implication" 11:00--12:00 Igor Sedlár "Term negation in first-order logic" 12:00--13:30 Lunch 13:30--14:30 Yasuo Nakayama "Philosophical Basis for Dynamic Belief-Desire-Obligation Logic" 14:30--15:30 Shunsuke Yatabe "TBA" 15:30--15:45 Coffee break 15:45--16:45 Makoto Kanazawa "Lambek Calculus and Context-Free Grammars: Some Unresolved Issues" 16:45--17:45 Heinrich Wansing "Disentangling FDE-based Paraconsistent Modal Logics" 18:30-- Dinner ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

FINAL CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14), Deadline Extended
by Katsuhiko Sano 31 Aug '17

31 Aug '17

[Apologies for multiple copies] ================================================================= FINAL CALL FOR PAPERS **Deadline extended to September 7, 2017** Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). 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, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - 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 (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: September 7, 2017 (extended) Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) 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: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 30 Aug '17

30 Aug '17

皆様スワンジー大学のArnold Beckmann先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/), and EU Horizon 2020 Marie Skłodowska-Curie actions RISE project CID. Date: Friday 15, September, 2017, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Arnold Beckmann (University of Swansea, Head of Department of Computer Science) http://www.cs.swan.ac.uk/~csarnold/ Title: Provably Total NP Search Problems of Bounded Arithmetic and beyond Abstract: Bounded Arithmetic forms a collection of weak theories of Arithmetic related to complexity classes of functions like the Polynomial Time Hierarchy. Many connections between Bounded Arithmetic and important questions about complexity classes have already been established. Recent research considers total NP search problems in the context of Bounded Arithmetic. Total NP search problems have been studied by Papadimitriou et al as a means to characterise the complexity of natural search problems which cannot be analysed as decision problems. In my talk I will review the research programme of characterising the provably total NP search problems in Bounded Arithmetic, and explain why it is important for current research questions in the area. I will describe recent results about the provably total NP search problems of a Bounded Arithmetic theories related to PSPACE and EXPTIME reasoning. I will also describe this program for theories beyond Bounded Arithmetic like Peano arithmetic, and what impact this might have on Complexity Theory.

1 0

3rd CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 26 Aug '17

26 Aug '17

[Apologies for multiple copies] ================================================================= 3rd CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). 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, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - 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 (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: August 31, 2017 Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) 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: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

[Deadline Extension] JURISIN2017: call for Papers
by Ken Satoh (web mail) 22 Aug '17

22 Aug '17

CFP: Eleventh International Workshop on Juris-informatics (JURISIN 2017) homepage: http://research.nii.ac.jp/~ksatoh/jurisin2017 **************************************************** The submission deadline is extended to 6 September. **************************************************** ** Workshop dates November 14 - 15, 2017 ** Venue Tokyo Campus, University of Tsukuba, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access ** Important Dates Submission Deadline: September 6, 2017 Notification: October 6, 2017 Camera-ready due: October 13, 2017 ** 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. ** 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 applications of robotics and AI to society 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 ** Invited Speakers Kevin D. Ashley (University of Pittsburgh) Katsumi Nitta (Tokyo Institute of Technology) ** Submissions 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 2017 (The 28th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2017 is as follows: Papers being submitted both to JURISIN2017 and JURIX2017 must note this on the title page. A paper to be presented at JURISIN2017 must be withdrawn from JURIX2017 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 2017. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. We strongly encourage an online registration. You can submit your paper at "https://easychair.org/conferences/?conf=jurisin2017". If you cannot submit a paper by EasyChair System by some trouble, please send email to "ksatoh[at]nii.ac.jp" ** Post Proceedings Selected papers will be published as a post-proceedings via Springer Verlag LNAI series after the second round of review after the workshop. ** Workshop Chair Ken Satoh, National Institute of Informatics and Sokendai, Japan ** Steering Committee Members Takehiko Kasahara, Toin Yokohama University Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, JAIST, Japan Katsuhiko Toyama, Nagoya University, 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 Thomas Agotnes, University of Bergen, Norway Ryuta Arisaka, National Institute of Informatics, Japan Kristijonas Cyras Imperial College London Marina De Vos, University of Bath, UK Phan Minh Dung, AIT, Thailand Randy Goebel, University of Alberta, Canada Guido Governatori, Data61, Australia Tatsuhiko Inatani, Kyoto University, Japan Tokuyasu Kakuta, Nagoya University, Japan Yoshinobu Kano, Shizuoka University, Japan Mi-Young Kim, University of Alberta, Canada Nguyen Le Minh, JAIST, Japan Beishui Liao, Zhejiang University, Chaina Hatsuru Morita, Tohoku University, Japan Makoto Nakamura, Nagoya University, Japan Yoshiaki Nishigai, Nihon University, Japan Konatsu Nishigai, Tokyo Metropolitan University, Japan Katsumi Nitta, Titech, Japan Paulo Novais, University of Minho, Portugal Julian Padget, University of Bath, UK Ginevra Peruginelli, ITTIG-CNR, Italy Katsuhiko Sano, Hokkaido University, Japan Giovanni Sartor, EUI/CIRSFID, Italy Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai Akira Shimazu, JAIST, Japan Fumio Shimpo, Keio University, Japan Satoshi Tojo, JAIST, Japan Katsuhiko Toyama, Nagoya University, Japan Rob van den Hoven van Genderen, VU University Amsterdam, The Netherlands Leon van der Torre, University of Luxembourg, Luxembourg Bart Verheij, University of Groningen, The Netherlands Katsumasa Yoshikawa, IBM Research Tokyo, Japan Masaharu Yoshioka, Hokkaido University, Japan Harumichi Yuasa, Institute of Information Security, Japan Yueh-Hsuan Weng, Tohoku University, Japan Adam Wyner, University of Aberdeen, UK For any inquiry concerning the workshop, please send it to "ksatoh[at]nii.ac.jp"

1 0

名古屋ロジックセミナー (Linda Brown Westrick氏の講演 8/24)
by Takayuki Kihara 16 Aug '17

16 Aug '17

皆様，名古屋大学の木原貴行です．この度，コネチカット大学の Linda Brown Westrick 氏の名古屋訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：8月24日 (木) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：Linda Brown Westrick (コネチカット大学) 題目 Uncountable free abelian groups via admissible computability 概要 One way to study structures of uncountable cardinality κ is to generalize the notion of computation. Saying that a subset of κ is κ-c.e. if it is Σ^0_1 definable (with parameters, in the language of set theory) over L_κ provides the notion of κ-computability. We may also quantify over subsets of L_κ, providing a notion of a κ-analytic set (here we assume V=L). In this setting, we consider the difficulty of recognizing free groups and the complexity of their bases. For example, if κ is a successor cardinal, the set of free abelian groups of size κ is Σ^1_1-complete. The resolution of questions of this type is more complex for other κ, and a few questions remain open. This is joint work with Greenberg and Turetsky. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

第二十八回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムと懇親会参加について
by 西澤弘毅 10 Aug '17

10 Aug '17

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十八回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのアナウンスをさせていただきます。 < 重複してお受け取りの節はご容赦願います。> ご参加をお待ちしております。 --------------------------------------------------------------------- **************************************************************** * 第二十八回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2017年8月28日（月）午後～8月29日（火） * * 鹿児島大学郡元キャンパス理学部 1号館 101講義室 * * * * 暫定プログラムのお知らせと講演募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年からウェブサイトがこちらに移動しました。 https://sites.google.com/site/algimeeting/home 第二十八回 ALGI の開催場所や暫定プログラムはこちらで確認できます。会場の手配は鹿児島大学の古澤仁先生にお願いしています。 https://sites.google.com/site/algimeeting/home/28 講演枠が５つ空いております。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を西澤（nishizawa AT kanagawa-u.ac.jp）までお寄せください。また、一日目の夕方に鹿児島大学周辺で懇親会を予定しておりますので、懇親会への参加を希望される方は、8/23（水）までに上記アドレスにメールでお知らせください。 ALGI 自体は申し込み不要で自由にご参加いただけます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。なお、以前お知らせしたメーリングリストの移行については、混乱を避けるため第二十八回 ALGI の開催後に行います。その際はご協力よろしくお願いいたします。西澤弘毅（神奈川大学）津曲紀宏（崇城大学） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

【論文募集】「コンピュータソフトウェア」サーベイ論文特集【〆切 9/30】
by Kazutaka Matsuda 10 Aug '17

10 Aug '17

（複数のメーリングリストに投稿しております．重複して受けとられましたらご容赦ください）皆様，東北大学の松田です．日本ソフトウェア科学会誌「コンピュータソフトウェア」では，サーベイ論文特集を企画しており，下記の要領で論文を募集（9/30 〆切）しております．どうぞ，投稿をご検討いただければ幸いです． ============================================================== 日本ソフトウェア科学会誌「コンピュータソフトウェア」「サーベイ論文」特集論文募集 http://www.jssst.or.jp/edit_news/detail/id=280 日本ソフトウェア科学会の学会誌「コンピュータソフトウェア」の使命の一つは，ソフトウェア科学・技術のすぐれた解説を通じた知識の普及および学術の発展への貢献です．本誌では折に触れ解説論文を掲載していますが，より多様なテーマに関する独特な視点からの興味深い分析を広く共有すべく，独自の切り口での網羅的な文献調査に基づく解説を「サーベイ論文」として募集します．サーベイ論文といえば，大きなテーマに対して，深い知識だけでなく，広く網羅的な知識が要求され，各分野で名の通った専門家が執筆するものというイメージがあるかもしれません．本学会誌のサーベイ論文では，このようなイメージとは一線を画した，掘り下げ方や解説の切り口などに新しい視点を与える，特定のテーマに関する網羅的なサーベイを期待しています．例えば，一つの研究を完成させる過程でその新規性および有用性を裏付けるために挙げるべき関連研究に対し，独自の観点や関連付けを与えて整理することができるでしょう．「サーベイ論文特集」は，このサーベイ論文の方向性を示し，一般投稿論文として定着させることを目的にしています．2012年2月号の第1回特集以来，年に一度のペースで特集を企画しており，今回は第7回目となります．今回も引き続き，各研究の周辺にテーマを適切に設定し，その範囲の文献を深い理解とともに網羅的に解説するというサーベイ論文の趣旨を広く周知し，さらに採択数を増やしていきたいと考えています．多くのご投稿をお待ちしております．博士論文等を執筆する過程で調査した文献の解説も広く歓迎します． [対象分野] コンピュータソフトウェアがカバーするすべての分野，例えば以下の技術や分野に関わるもの：アルゴリズム，プログラミング言語と処理系，数値的・記号的計算，システムソフトウェア，高信頼ソフトウェア，データベース，データマイニング，人工知能，ロボティクス，人間－計算機インタラクション，コンピュータネットワークをはじめとするソフトウェア科学・工学の分野において，新しい視点を与える文献の解説．オリジナルの結果を含むかどうかは問いません． [執筆要領] 日本ソフトウェア科学会誌「コンピュータソフトウェア」の関連諸規定をご参照の上，投稿論文のPDFファイルと「投稿メモ」を jssst-survey2018_at_se.cs.titech.ac.jp （_at_を@で置き換えて下さい）宛てにお送りください．学会誌関連諸規定は以下でご参照いただけます． http://www.jssst.or.jp/edit/kitei/ [スケジュール] 論文投稿締切り：2017年9月30日 17:00 特集号刊行予定：2018年8月号（査読プロセスの進行状況により掲載予定号に間に合わない場合があります．その場合でも特集論文として扱われます．） [特集号編集委員] 川端英之（広島市立大学），林晋平（東京工業大学），松田一孝（東北大学），松野裕（日本大学），櫻田英樹（NTT） [問合せ先] jssst-survey2018_at_se.cs.titech.ac.jp （_at_を@で置き換えて下さい）

1 0

PPLサマースクール2017: 参加募集
by Takahito Aoto 07 Aug '17

07 Aug '17

PPLサマースクール2017のご案内です． (重複して受信された場合はご容赦願います．) PPLサマースクールは，日本ソフトウェア科学会・プログラミング論研究会主催のイベントです．今回も，例年と同様に日本ソフトウェア科学会大会の併設企画として開催いたします．今回のテーマは「Isabelle/HOL による証明とプログラミング」で，講師はインスブルック大学の山田晃久様にお願いしております．参加申し込み方法などを含む詳細につきましては， http://ppl.jssst.or.jp/?ss2017 をご覧ください．是非ご参加をご検討いただければ幸いです． --- 青戸等人(新潟大学) ------------------------------------------------------------------------ PPLサマースクール2017 Isabelle/HOL による証明とプログラミング日本ソフトウェア科学会 (JSSST) プログラミング論研究会 (PPL) 主催日本ソフトウェア科学会第34回大会併設企画 Webページ: http://ppl.jssst.or.jp/?ss2017 講師：山田晃久(インスブルック大学) 2017年 9月 18日 (月) 10:00 - 17:00 慶應義塾大学日吉キャンパス == 概要 == Isabelle/HOL は，1986年に Lawrence Paulson によって創始され，現在はミュンヘン工科大学 Tobias Nipkow のチームを中心にメンテナンスされている証明支援ツールです． Isabelle/HOL の特徴は，スマートな証明環境 (jEdit)，強力な自動証明のサポート (Sledgehammer)，Haskell 等への自然なコード輸出 (code export)，多彩でオープンなライブラリ (Archive of Formal Proofs; AFP) などが挙げられます．本セミナーでは，Isabelle/HOL を用いた定理証明と，正しさの保証されたプログラム開発方法を，実践を通して紹介します．また AFP より，代数的数計算ライブラリなど，そのごく一部を紹介します． Isabelle には歴史的経緯からさまざまなクセがあり，学習を困難にしている要因となっていると考えられますが，本セミナーでは証明言語 Isar による，クセを排した“行儀のよい”証明の書き方に徹します．実習形式で行いますので，受講に際してはノートパソコンをご持参ください．なお，Isabelle/HOL をストレスなく利用するために，ある程度高性能なノートパソコンを推奨します．受講にあたっては，簡単な証明を書ける程度の基本的な論理学の知識を習得していること，また関数型言語の利用経験があることが推奨されます． == 講師紹介 == 山田晃久 (やまだあきひさ) http://cl-informatik.uibk.ac.at/users/ayamada/ インスブルック大学ポスドク．項書き換え系の停止性証明法に関する研究で， 2014年名古屋大学情報科学研究科博士課程を修了．同年，産業技術総合研究所にて組み合わせテストツール Calot の開発に従事．2015年より，インスブルック大学にて項書換え系，プログラム解析技法などの形式証明ライブラリ IsaFoR の開発プロジェクトに参加．情報処理学会正会員． == 参加費・参加申し込み == PPLサマースクールの参加費は以下の通りです．学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非会員3000円参加ご希望の方は，日本ソフトウェア科学会第34回大会共通の参加登録ページ https://jssst2017.wordpress.com/%e5%8f%82%e5%8a%a0%e7%94%b3%e3%81%97%e8%be%… から，お申し込みください．事前登録をお願いしております． == 問い合わせ先 == PPLサマースクール2017 幹事青戸等人 (新潟大学) E-mail: aoto(a)ie.niigata-u.ac.jp ------------------------------------------------------------------------

1 0

SLACS2017プログラム確定のお知らせと懇親会追加募集
by 安部達也 03 Aug '17

03 Aug '17

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2017幹事、千葉工大の安部です。講演・懇親会参加へお申し込みいただいた方々、ありがとうございました。今回は、以下のご案内をさせていただきます。 1. プログラムが確定しましたのでお知らせします。 2. 懇親会の参加について追加募集（若干名）を行います。 SLACS2017（記号論理と情報科学） http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/ 日時 2017年8月8日（火）から2017年8月9日（水）（前日まで数学基礎論サマースクールが明治大学で行われています。）場所千葉県習志野市津田沼2-17-1 千葉工業大学津田沼キャンパス 6号館3階633室参加費無料。ただし、懇親会費（3000から5000円程度）は別途徴収します。 1. プログラム（敬称略）は以下のとおり決定しました。 8月8日（火）オープニング 13:25–13:30 セッション1：座長未定 13:30–14:05 山形頼之（産総研） Validity of bilateral classical logic and its application 14:05–14:40 武原直紀（東工大）論理式完備ハイティング代数による直観主義二階命題論理のカット除去定理についてセッション2：座長未定 15:00–15:35 伴睦久（東京大） Self-identification on Social Software 15:35–16:10 福田陽介（京都大）準複数結論自然演繹による爆発則の再定式化セッション3：座長未定 16:30–17:05 内藏理史（東京大）再帰的な確率的プログラムの実行時間の二次のモーメントのための述語変換子 17:05–17:40 西脇友一（東京大） Contextual Modality through Iterated Enrichment 懇親会 18:00–20:00 福盛園（JR津田沼駅近く）SLACS2017のウェブページに地図を載せています 8月9日（水）セッション4：座長未定 10:00–10:35 酒井千尋（奈良女子大） TBA 10:35–11:10 上村太一（京都大） TBA セッション5：座長未定 11:30–12:05 木村大輔（東邦大） TBA 12:05–12:40 中澤巧爾（名古屋大） TBA クロージング 12:40–12:45 2. 懇親会会場を決定しました。当日飛び入りは不可能とのことですが、事前に連絡しておけば（会場の広さの都合上）若干名であれば対応可能とのことですので、追加募集いたします。参加を希望される方は幹事までご連絡ください。先着順に受け付けますのでご希望にそえないこともありますがご了承ください。

1 0

2017年度数学基礎論サマースクール案内第３報（直前のご案内）
by Toshio Suzuki 03 Aug '17

03 Aug '17

2017年度数学基礎論サマースクール案内第３報（直前のご案内）首都大学東京の鈴木登志雄です。 2017年度数学基礎論サマースクールは，いよいよ８月５日（土）から明治大学駿河台キャンパスで開催されます。今年度のテーマは「計算理論」です。参加費は無料です。申し込み・参加登録は不要です（会場収容人数１４０名。先着順。ただし過去の例から類推して，席は十分あると思われます）。時間割，最寄駅の情報などは下記のウェブサイトでご覧になれます。多くの方のご来場をお待ちしております。 http://toshio-suzuki-logic.jp/meeting/summer2017.html （NEW）すべての講義について，講義資料を事前に掲載しました。日時：８月５日（土）から７日（月）初日 13:00-16:30、２日目以降 9:00-16:30 会場：明治大学駿河台キャンパス　リバティタワー1073 （この部屋は７階です。ご注意ください。） http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html 世話人：鈴木登志雄（首都大学東京），隈部正博（放送大学），河村彰星（8/1から九州大学），宮部賢志（明治大学）講師・テーマ：河村彰星「はじめての計算可能性」，宮部賢志「チューリング次数」，隈部正博「ジェネリック次数」，鈴木登志雄「ＨＦ上のデルタ１関係」この集会はJSPS科研費16K05255 「ブール値探索コストの条件付き極値問題：資本対リスク比による手法の展開」（研究代表者鈴木登志雄）から部分的に援助を受けています。 -- 近い日程の集会：サマースクールの翌日から，SLACS 2017（記号論理と情報科学）が開催されます（千葉工業大学）。 http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Call for papers: PEPM 2018
by Kohei SUENAGA 02 Aug '17

02 Aug '17

皆様，（複数お受け取りの場合はご容赦下さい．）京都大学の末永と申します．来年1月にロサンゼルスで開催される PEPM 2018 の CFP をお送りします． POPL 2018 との同時開催です． "Partial evaluation" と会議名に入っていますが，プログラミングに関することならば部分計算に関係なくとも広く募集しております．大事な日程は * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 です．どうぞ投稿をご検討下さい．よろしくお願いいたします．末永幸平 -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 =============================================================================== * Website : http://popl18.sigplan.org/track/PEPM-2018 * Time : 8th – 9th January 2018 * Place : Los Angeles, CA, US (co-located with POPL 2018) The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2018 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. * 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. * 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. * 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, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko (https://josh-hs-ko.github.io). Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: Regular Research Papers and Short Papers. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages (excluding bibliography). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages (excluding bibliography). Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm18.hotcrp.com/ PEPM 2018 will employ lightweight double-blind reviewing according to the rules of POPL 2018. Quoting from POPL 2018’s call for papers: “submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work ...” but rather “We build on the work of ...”). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.” See POPL 2018’s Submission and Reviewing FAQ page for more information: http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-F… Submissions are welcome from PC members (except the two co-chairs) provided that there are non-PC co-authors. Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings. 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 2018 web site. 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. Important dates --------------- * Paper submission deadline : Friday 6th October 2017 (AoE) (firm) * Author notification : Saturday 4th November 2017 * Workshop : Monday 8th – Tuesday 9th January 2018 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Best paper award ---------------- PEPM 2018 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- Nada Amin (EPFL) Shigeru Chiba (University of Tokyo) Ezgi Çiçek (Max Planck Institute for Software Systems) Olivier Danvy (Yale-NUS College) Ronald Garcia (University of British Columbia) Simon Gay (University of Glasgow) Andy Gill (X, the Moonshot Factory) Fritz Henglein (co-chair) (University of Copenhagen) Anastasia Izmaylova (IMC Financial Markets) Johan Jeuring (Utrecht University) Gabriele Keller (University of New South Wales) Oleg Kiselyov (Tohoku University) Hsiang-Shang Ko (co-chair) (National Institute of Informatics) Ralf Lämmel (University of Koblenz-Landau) Julia Lawall (Inria) Simon Peyton Jones (Microsoft Research Cambridge) Frank Pfenning (Carnegie Mellon University) Sriram Rajamani (Microsoft Research India) Norman Ramsey (Tufts University) Thomas Reps (University of Wisconsin-Madison) Sergei Romanenko (Keldysh Institute of Applied Mathematics) Tiark Rompf (Purdue University) Wolfram Schulte (Facebook) Peter Sestoft (IT University of Copenhagen) Harald Søndergaard (University of Melbourne) Kohei Suenaga (Kyoto University) Martin Vechev (ETH Zurich) Marcos Viera (University of the Republic) Nobuko Yoshida (Imperial College London) -- 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

AQIS17のご案内
by NISHIMURA Harumichi 27 Jul '17

27 Jul '17

logic-mlの皆様シンガポールで９月４日から８日に開催される 17th Asian Quantum Information Science Conference: AQIS2017 の案内をするように依頼がありましたので、メーリングリストをお借りして、ご案内いたします。以下の通り、早期登録の期限は７月３０日となっております。ご参加をご検討いただければ幸いです。＃複数お受け取りの場合はご容赦ください。名古屋大学大学院情報学研究科西村治道 ----------------------------------------------------------------------------------------------------------------------------------------- Announcement: AQIS 2017: preliminary conference program available online Dear all, The conference preliminary program is now made available: http://aqis-conf.org/2017/program together with a preliminary conference program. The registration system is also open at: http://aqis-conf.org/2017/registration early-bird deadline is on 30 July 2017. Accommodation options can also be found: http://aqis-conf.org/2017/accommodation Your help to share or forward this information to other students, researchers and research groups who might be interested would be very much appreciated. We look forward to seeing you at AQIS 2017. Sincerely yours, AQIS 2017 Organising Committee Conference secretariat contact: aqis17(a)quantumlah.org -----------------------------------------------------------------------------------------------------------------------------------------

1 0

モデル理論夏の学校のお知らせ
by kota takeuchi 24 Jul '17

24 Jul '17

皆様筑波大学の竹内耕太です。今年のモデル理論夏の学校のお知らせです。モデル理論夏の学校は毎年夏に開催されているワークショップです。モデル理論に興味のある研究者や学生を歓迎いたします。詳しくはwebページ（ https://sites.google.com/site/modeltheolysummerschool2017/ ）をご覧ください。日時：9月19－21日（火～木）場所：大学セミナーハウス（東京都八王子）宿泊：セミナーハウスに20名分の部屋を予約してあります。数に限りがありますのでお早めに相談ください。またご自身で近隣のホテルを探していただくことも可能です。世話人：坪井明人（筑波大学）、竹内耕太（筑波大学）参加を希望される方はwebページをご確認のうえ必要な情報をkota(a)math.tsukuba.ac.xn--jp-g73axaz0b2e8b0moe6233j. 竹内耕太

1 0

[リマインダ] SLACS2017講演募集のお知らせ
by 安部達也 23 Jul '17

23 Jul '17

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）講演募集締切一週間前になりましたのでリマインダです。 # 既に講演/懇親会に申し込まれた皆様、ありがとうございます。7/31以降に # プログラム案をお送りします。しばらくお待ちください。また、講演/懇親 # 会に申し込んだのに幹事から返事をもらっていないという方がいらっしゃい # ましたらご連絡ください。 SLACS 2017（記号論理と情報科学）幹事の千葉工業大学の安部達也です。今年度の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。 SLACS 2017（記号論理と情報科学） http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/ 日時 2017年8月8日（火）から2017年8月9日（水）（前日まで数学基礎論サマースクールが明治大学で行われています。）場所千葉県習志野市津田沼2-17-1 千葉工業大学津田沼キャンパス6号館3階633室参加費無料。ただし、懇親会（初日夕方に開催予定）費は別途徴収します。幹事千葉工業大学人工知能・ソフトウェア技術研究センター安部達也連絡先 abet(a)stair.center SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ SLACS 2014 (東京工業大学) http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ 講演・聴講・懇親会申込方法講演を希望される方は、幹事に連絡をお願いいたします。その際、以下について回答をお願いいたします。Subject を「SLACS2017講演申込」にしておいていただけるとありがたいです。講演申込期限は2017年7月31日としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 1. 氏名：（例）安部達也 2. 所属：（例）千葉工業大学人工知能・ソフトウェア技術研究センター 3. 区分：一般/学生 ← プログラム作成・懇親会費設定に利用する場合があります 4. 演題：（例）TBA 5. 懇親会：参加する/追って連絡する/参加できない 6. 要望等：（例）初日しか参加できませんので初日の枠に入れてください ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 講演を伴わない聴講のみを希望される場合、事前連絡は不要です。当日、会場に直接お越しください。懇親会に参加を希望される方は、幹事に連絡をお願いいたします。その際、講演申込と同様のフォーマット（演題不要）での回答をお願いいたします。 Subject を「SLACS2017懇親会参加申込」にしておいていただけるとありがたいです。申込期限は2017年7月31日としますが、参加する意思があるという方は早目にご連絡いただけると幸いです。

1 0

講演会 (上村太一氏)
by Ryoma Shinya 21 Jul '17

21 Jul '17

(重複で受け取られた方はご容赦ください) 皆様，東京大学の新屋です．以下の要領で京都大学の上村太一氏の講演会を実施いたしますので，ふるってご参加ください．新屋良磨東京大学大学院情報理工学系研究科コンピュータ科学専攻 email: ryoma(a)kb.is.s.u-tokyo.ac.jp <mailto:ryoma@kb.is.s.u-tokyo.ac.jp> ========== 日時：8/4(金) 午後2時から場所：東京大学理学部化学東館2階化東236教室題目：Homotopy Type Theory 入門 / Fibred Fibration Categories 話者：上村太一 (京都大学数理解析研究所) 第一部 (チュートリアル): Homotopy Type Theory 入門概要: *Homotopy Type Theory* (HoTT) は Martin-Löf 依存型理論の拡張で、ホモトピー論に特化した型理論である。代数トポロジーと計算機科学の橋渡しとなる分野であり、ホモトピー論、高次圏論、数理論理学、定理証明器、依存型プログラミングなどと関わりが深い。特に定理証明器を用いた代数トポロジーおよび数学全般の形式化に使われており、 HoTT による数学の基礎付けと定理証明器上での実装は *Univalent Foundations program* と呼ばれる。本チュートリアルでは、Martin-Löf 依存型理論の基本的な概念と、 HoTT の重要な概念である *univalence axiom* と *higher inductive type* についてインフォーマルに解説する。また、HoTT の圏論的意味論として弱分解系、モデル圏や Shulman の type-theoretic fibration category についても触れる。第二部: Fibred Fibration Categories 概要: We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates for identity types. As an application, we show a relational parametricity result for homotopy type theory. As a corollary, it follows that every closed term of type of polymorphic endofunctions on a loop space is homotopic to some iterated concatenation of a loop.

1 0

数学基礎論若手の会２０１７のご案内
by Toshimichi Usuba 21 Jul '17

21 Jul '17

（重複して受け取られた場合はご容赦ください） logic-mlの皆様、早稲田大学の薄葉と申します。２０１７年度の数学基礎論若手の会のご案内をさせていただきます。数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．日時２０１７年１０月２７日（金）午後～２９日（日）午前場所財団法人大学セミナーハウス https://iush.jp/ 住所〒192-0372東京都八王子市下柚木1987-1 世話人　薄葉季路（早稲田大学基幹理工学部）連絡先　usuba(a)waseda.jp ウェブページ　https://sites.google.com/view/kisoronwakatenokai2017/%E3%83%9B%E3%83%BC%E3%… 参加費用：１４０００円程度（宿泊費、食事、懇親会費ふくむ。部分参加や食事をとられない場合はその分割引になります）参加を希望される方は、以下の情報を薄葉(usuba(a)waseda.xn--jp)-ub4boe 件名：数学基礎論若手の会参加申込にてお送りください。参加申し込み締め切り：９月１５日＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝・所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）・氏名，性別・講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）・２７日の宿泊を希望するorしない・２８日の宿泊を希望するorしない・２７日の夕食を希望するorしない・２８日の朝食を希望するorしない・２８日の昼食を希望するorしない・２８日の夜の懇親会に参加するorしない・２９日の朝食を希望するorしない・その他（質問、講演希望日など）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 0

2nd CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 20 Jul '17

20 Jul '17

皆様、北海道大学の佐野勝彦と申します。今年の１１月に東京で開催される LENLS14 国際ワークショップの 2nd CFPをお送り致します。皆様のご投稿・ご参加をお待ちしております。佐野勝彦 [Apologies for multiple copies] ================================================================= 2nd CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). 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, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - 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 (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: August 31, 2017 Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) 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: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

CTFM2017のご案内
by YOKOYAMA Keita 18 Jul '17

18 Jul '17

先ほどのメール、おかしなタイトルで送信してしまいましたので、改めて送信させて頂きます。失礼致しました。横山啓太皆様、北陸先端大の横山です。 9月にシンガポールで開催されます、CTFM2017のご案内をさせて頂きます。どうぞよろしくお願い致します。横山啓太 CALL FOR PRESENTATION: ============================================================ Workshop on Computability Theory and Foundations of Mathematics (National University of Singapore, 8 - 12 September 2017) http://ims.nus.edu.sg/events/2017/wcom/index.php Abstracts of talks should be submitted via email to imsbox1(a)nus.edu.sg with subject line: CTFM2017 submission. The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format: Tex file: http://ims.nus.edu.sg/files/IMSAbstractTemplate.tex PDF example: http://ims.nus.edu.sg/files/IMSAbstractTemplate.pdf IMPORTANT DATE. Submission deadline: September 1, 2017. ============================================================ This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity. CTFM began as a "Workshop on Proof Theory and Computability Theory" and held its first meeting in Japan. Previous venues were Matsushima (2008, 2009), Inawashiro (2010), Sendai (2011), Tokyo (2012). The series assumed the name "Computability and Foundations of Mathematics" at the 2013 meeting which was hosted in Tokyo. CTFM 2017 will be the first time a meeting in the series is held outside Japan. The previous meetings attracted not only researchers in Japan but also many from around the world. In particular, since 2013, logicians from Singapore have had frequent scientific exchanges with their Japanese counterpart through the platform of the CTFM meetings. The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics. -------------------------------------------- Invited Speakers Joerg Brendle (Kobe University, Japan) Satoru Kuroda (Gunma Prefectural Women's University, Japan) Ludovic Patey (The University of California, Berkeley, USA) Toshimichi Usuba (Waseda University, Japan) Thomas Zeugmann (Hokkaido University, Japan) Hao Zhaokuan (Fudan University, China) -------------------------------------------- Program Committee: Dilip Raghavan (National University of Singapore) Stephen Simpson (Pennsylvania State University) Frank Stephan (National University of Singapore) Kazuyuki Tanaka (Tohoku University) (Chair) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- Organizing Committee: Chi Tat Chong (National University of Singapore) Kazuyuki Tanaka (Tohoku University) Guohua Wu (Nanyang Technological University) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Fwd: CTFM2107: the change of speakers
by YOKOYAMA Keita 18 Jul '17

18 Jul '17

皆様、北陸先端大の横山です。 9月にシンガポールで開催されます、CTFM2017のご案内をさせて頂きます。どうぞよろしくお願い致します。横山啓太 CALL FOR PRESENTATION: ============================================================ Workshop on Computability Theory and Foundations of Mathematics (National University of Singapore, 8 - 12 September 2017) http://ims.nus.edu.sg/events/2017/wcom/index.php Abstracts of talks should be submitted via email to imsbox1(a)nus.edu.sg with subject line: CTFM2017 submission. The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format: Tex file: http://ims.nus.edu.sg/files/IMSAbstractTemplate.tex PDF example: http://ims.nus.edu.sg/files/IMSAbstractTemplate.pdf IMPORTANT DATE. Submission deadline: September 1, 2017. ============================================================ This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity. CTFM began as a "Workshop on Proof Theory and Computability Theory" and held its first meeting in Japan. Previous venues were Matsushima (2008, 2009), Inawashiro (2010), Sendai (2011), Tokyo (2012). The series assumed the name "Computability and Foundations of Mathematics" at the 2013 meeting which was hosted in Tokyo. CTFM 2017 will be the first time a meeting in the series is held outside Japan. The previous meetings attracted not only researchers in Japan but also many from around the world. In particular, since 2013, logicians from Singapore have had frequent scientific exchanges with their Japanese counterpart through the platform of the CTFM meetings. The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics. -------------------------------------------- Invited Speakers Joerg Brendle (Kobe University, Japan) Satoru Kuroda (Gunma Prefectural Women's University, Japan) Ludovic Patey (The University of California, Berkeley, USA) Toshimichi Usuba (Waseda University, Japan) Thomas Zeugmann (Hokkaido University, Japan) Hao Zhaokuan (Fudan University, China) -------------------------------------------- Program Committee: Dilip Raghavan (National University of Singapore) Stephen Simpson (Pennsylvania State University) Frank Stephan (National University of Singapore) Kazuyuki Tanaka (Tohoku University) (Chair) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- Organizing Committee: Chi Tat Chong (National University of Singapore) Kazuyuki Tanaka (Tohoku University) Guohua Wu (Nanyang Technological University) Yue Yang (National University of Singapore) Keita Yokoyama (Japan Advanced Institute of Science and Technology) -------------------------------------------- -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Call for papers: Non-classical Modal and Predicate Logics
by Katsuhiko Sano 14 Jul '17

14 Jul '17

皆様、北海道大学の佐野勝彦と申します。2017年12月に広州で開催される国際会議についてご案内申し上げます。どうぞ宜しくお願い致します。佐野勝彦 ------------------------------------------------------------------------------------------------- (* Apologies for any cross-postings. *) Call for papers *** Non-classical Modal and Predicate Logics *** Guangzhou (Canton), China, 4-8 December 2017 http://logic.sysu.edu.cn/wolc2017/ Modalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues. We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.), as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). Topics of interest include (but are not limited to): * The study of first- or higher-order variants of non-classical logics, including, but not limited to: - Predicate intuitionistic and superintuitionistic logics - Predicate modal logics (e.g. epistemic, tense, action) - Predicate substructural logics - Predicate many-valued and partial logics - Predicate paraconsistent logics - Predicate conditional logic - Predicate non-monotonic logics * Non-classical theories of quantification over classical logic, such as: - Free logics - Branching quantifiers and IF-logic - Generalized quantifiers * Extensions by modalities of (propositional or predicate) non-classical logics, including: - Modal extensions of (super)intuitionistic, substructural, many-valued, paraconsistent, non-monotonic, etc., logics - Co-algebraic treatment of modalities * Applications of non-classical modal and predicate logics in various areas, including: - Computer science - Linguistics and logical analysis of natural language - Philosophy - Methodology of science - Foundations of mathematics (non-classical mathematics) - Mathematical social sciences (e.g. social choice theory, game theory, decision theory) Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, propositional quantification, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified). == Invited speakers == Gilles Dowek Xavier Caicedo Thomas Ehrhard Melvin Fitting Rosalie Iemhoff Edwin Mares (more to be announced) == Program committee == Shier Ju (chair) Petr Cintula (chair) Arnon Avron Libor Behounek Rob Goldblatt Minghui Ma Chris Mortensen Hiroakira Ono Alessandra Palmigiano Valentin Shehtman Yde Venema Xuefeng Wen (more to be announced) == Organizing committee == Zhe Lin (chair) == Contacts == Web: http://logic.sysu.edu.cn/wolc2017/ Email: linzhe8(a)mail.sysu.edu.cn == Submissions == Extended abstracts of 1-2 pages (including references) should be submitted via the EasyChair web interface: https://easychair.org/conferences/?conf=ncmpl2017 The typesetting style of the document is free for the moment, but a file written according to LNCS style will be requested upon acceptance == Important dates == Deadline for abstracts: 1 September 2017 Notification of acceptance: 20 September 2017 Conference: 4-8 December 2017 Shier Ju and Petr Cintula Conference chairs

1 0

名古屋ロジックセミナー (Arno Pauly氏の講演 7/21)
by Takayuki Kihara 13 Jul '17

13 Jul '17

皆様，名古屋大学の木原貴行です．この度，ブリュッセル自由大学のArno Pauly氏の日本訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：7月21日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：Arno Pauly (ブリュッセル自由大学) 題目：Computability: From ω^ω to κ^κ アブストラクト： Recently Galeotti and Nobrega [1,2] have suggested to generalize computable analysis and the theory of Weihrauch degrees to higher cardinalities. The central role taken by Baire space ω^ω in the classic theories is then filled by κ^κ for a cardinal κ with κ^{<κ}, the reals are replaced by initial segments of the surreal numbers and Turing machines are generalized to ordinal time Turing machines. Initial investigations have reveiled that some results carry over directly, whereas other core questions can become inpendent of ZFC. I will outline both the classic theory and its the generalization to higher cardinalities. In particular, I will highlight some open questions and challenges. [1] Lorenzo Galeotti: A candidate for the generalised real line, CiE 2016. [2] Lorenzo Galeotti and Hugo Nobrega: Towards computable analysis on the generalised real line, CiE 2017. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

2017年度数学基礎論サマースクール案内第２報
by Toshio Suzuki 12 Jul '17

12 Jul '17

皆様（重複してお受け取りの折はご寛恕ください）首都大学東京の鈴木登志雄です。 2017年度数学基礎論サマースクールの案内第２報です。今年度のテーマは「計算理論」です。（NEW）時間割・最寄駅をウェブに掲載しました。 toshio-suzuki-logic.jp/meeting/summer2017.html 日時：８月５日（土）から７日（月）初日午後、２日目以降午前・午後会場：明治大学駿河台キャンパス　リバティタワー1073 http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html 世話人：鈴木登志雄（首都大学東京），隈部正博（放送大学），河村彰星（東京大学），宮部賢志（明治大学）参加費：無料講師・テーマ：河村彰星「はじめての計算可能性」，宮部賢志「チューリング次数」，隈部正博「ジェネリック次数」，鈴木登志雄「ＨＦデルタ１関係」近い日程の集会：サマースクールの翌日から，SLACS 2017（記号論理と情報科学）が開催されます（千葉工業大学）。 http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml