Logic-ml

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

7 participants
1772 discussions

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml