京都大学数理解析研究所の佐藤です。
12月1日11:00から、オークランド大学のBakh Khoussainov先生と
京都大学数理解析研究所の滝坂透氏の両名に以下のjoint talkを
していただくことになりましたので、ご連絡いたします。
どうぞお気軽にお越しください。
==========
Time: 11:00-12:00, 1 Dec, 2016
Place: Rm 478, Research Building 2, Main Campus, Kyoto University
京都大学 本部構内 総合研究2号館 4階478号室
http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34)
http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物)
Speakers: Bakh Khoussainov (University of Auckland)
and Toru Takisaka (RIMS, …
[View More]Kyoto university)
Title: On large scale geometries of infinite strings
Abstract:
Motivated by notions in geometric group theory, we introduce
the concept of large scale geometry on infinite strings.
Informally, two infinite strings have the same large scale
geometry if there is a bi-Lipschitz map between both strings
with a finite uniform distortion. We call these maps
quasi-isometric maps.
Introduction of large scale geometries poses several
questions. The first question is related to understanding
the partial order induced by quasi-isometric maps on large
scale geometries of strings. We prove that there is the
greatest large scale geometry and infinitely many minimal
large scale geometries.
The second is related to understanding the quasi-isometric
maps on various classes of strings.
The third question address the issue of building quasi-isometric
maps between computable infinite strings. We show that the
problem is Sigma_3-complete.
The fourth question is about understanding sets of large
scale geometries given some tools (e.g. Buchi automata)
that describe sets of strings. We provide an efficient
algorithm that gives a full description of large scale
geometries of strings accepted by such automata.
Finally, the fifth question asks if it is possible to
associate with every large scale geometry an algebraic
structure that describes the geometry uniquely.
Here we use tools of geometric group theory by invoking
the notion of asymptotic cone.
[View Less]
皆様
ウィーン工科大学のMatthias Baaz先生の講演のお知らせです。
どうぞふるってご参加ください。
問合せ先:
石原 哉
北陸先端科学技術大学院大学 情報科学系
e-mail: ishihara(a)jaist.ac.jp
-----------------------------------------------
* JAIST Logic Seminar Series *
Date: Tuesday 6 December, 2016, 15:20-17:00
Place: JAIST, Collaboration room 6 (I-57g)
(Access: http://www.jaist.ac.jp/english/location/access.html)
Speaker: Matthias Baaz (Vienna University of Technology)
(joint work with Juan.P.Aguilera)
Title: Unsound inferences make proofs shorter
Abstract:
…
[View More]We give examples of calculi that extend Gentzen's sequent calculus LK in
such a way that
(i) derivations lead only to true sequents
(ii) cut free proofs may be non-elementary shorter than cut free LK proofs.
[View Less]
皆様、
北海道大学の佐野勝彦と申します。来年度9月1日から14日に北海道、札幌で開催される会議 LORI-VI についてご案内いたします。ぜひ奮ってご投稿ください。
佐野勝彦
---------------------------------------------------------------------------------------
1st Call for Papers
The Sixth International Conference on Logic, Rationality and
Interaction (LORI-VI)
September 11-14, 2017, Hokkaido University, Sapporo, Japan
Submission deadline: March 31, 2017
The International Conference on Logic, Rationality and Interaction
(LORI) conference series aims at bringing …
[View More]together researchers working
on a wide variety of logic-related topics that concern the
understanding of rationality and interaction. The series aims at
fostering a view of Logic as an interdisciplinary endeavour, and
supports the creation of an East-Asian community of interdisciplinary
researchers.
We invite submission of contributed papers on any of the broad themes
of LORI series; specific topics of interest include, but are not
limited to, formal approaches to
- agency
- argumentation and agreement
- belief representation
- cooperation
- belief revision and belief merging
- strategic reasoning
- games
- decision making and planning
- knowledge and action
- epistemology
- dynamics of informational attitudes
- speech acts
- knowledge representation
- interaction
- norms and normative systems
- natural language
- rationality
- philosophy and philosophical logic
- preference and utility
- social choice
- probability and uncertainty
- social interaction
- intentions, plans, and goals
Submitted papers should be at most 12 pages long, with one additional
page for references, in PDF format following the Springer LNCS style.
Please submit your paper by Friday March 31, 2017, via EasyChair (
http://easychair.org/conferences/?conf=lori6 ). Accepted papers will
be collected as a volume in the FoLLI Series on Logic, Language and
Information, and authors may be later invited to submit extended
versions of their papers in a special issue of a prestigious journal.
For detailed conference information and registration, please visit the
website at
http://golori.org/lori2017/ .
Invited Speakers:
Mike Dunn (Indiana University, U.S.A.)
Alan Hájek (Australian National University)
Nina Gierasimczuk (Technical University of Denmark)
Willemien Kets (Northwestern University, U.S.A)
Sara Negri (University of Helsinki, Finland)
Hiroakira Ono (JAIST, Japan)
PC Chairs:
Alexandru Baltag (University of Amsterdam, The Netherlands)
Jeremy Seligman (University of Auckland, New Zealand)
Conference Organiser:
Tomoyuki Yamada (Hokkaido University, Japan)
Sponsors:
LORI, Hokkaido University
Contacts:
Programme: The PC Chairs mailto:lori6@easychair.org
Conference: Tomoyuki Yamada mailto:tomoyuki.s.yamada@gmail.com
[View Less]
CAPEレクチャーのご案内
(重複してお受け取りの際はご容赦ください。)
以下の通り講演会が開催されます。皆さまのお越しをお待ちしております。
-------------------
日時:2016年11月14日(月) 16:30--18:00
場所:京都大学 文学部校舎1階 会議室
話者:Prof. Zach Weber (University of Otago)
言語:英語
題目:
Paraconsistent set theory and inconsistent mathematics
概要:
Paraconsistent set theory takes as axiomatic the `naive' comprehension
principle that every collection forms a set. The infamous paradoxes are
then just theorems. The background logic that makes this coherently
possible is substantially …
[View More]weaker than classical logic; but the expressive
power of the theory is substantially stronger than classical set theory.
With these competing forces in the background, we will look at two
interrelated goals:
Recapture -- reassurance that nothing too important mathematically is lost
Expansion -- where new insights and results are gained, studying novel
mathematical objects not visible with any other theory
I will survey the development of paraconsistent set theory, showing how the
basic properties of ordinal and cardinal numbers can be established, along
with new perspectives on `proper classes', the axiom of choice, and the
continuum hypothesis. With this foundation, I will mention some further
work in inconsistent mathematics: from computability theory, arithmetic,
analysis, and topology. Throughout I will call attention to the challenges
that this research program faces.
-------------------
大森仁
[View Less]