- 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 27 Mar '18

27 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 16 Mar '18

16 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 小野寛晰 05 Mar '18

05 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 04 Mar '18

04 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 "新屋良磨(秋田大)" 28 Feb '18

28 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 安部達也 19 Feb '18

19 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 14 Feb '18

14 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml