みなさま,
(重複してお受け取りの際は御容赦ください)
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)
[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>]
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
皆様,
第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)
==============================================================
みなさま、
重複して受け取られた場合はどうかご容赦願います。名古屋大学・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.
皆さま、
重複して受け取られた方はご容赦願います。名古屋大学情報学研究科の久木田水生です。
数学者であり数学史研究家の 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
[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.
[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/>
皆様
名古屋大学の木原貴行です.
以下の要領で名古屋ロジックセミナーを開催します.多数のご参加をお待ちしております.
名古屋ロジックセミナー
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
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.