logic-ml の皆様、
北陸先端科学技術大学院大学の佐野勝彦と申します。
9/10-9/14 に金沢で開催されるLATD 2012 の Call for participation をお送りいたします。
重複してお受け取りの場合はどうぞご容赦ください。
佐野勝彦
=====================================================================
Logic, Algebra and Truth Degrees 2012
http://www.jaist.ac.jp/rcis/latd12/
Call for participation
The third official meeting of the EUSFLAT Working Group on Mathematical
Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan.
The conference is organized by Research Center for Integrated Science [2],
Japan Advanced Institute of Science and Technology [3].
We invite interested researchers to participate in the conference. The
program has been settled and can be found at the web page
http://www.jaist.ac.jp/rcis/latd12/index.php?program
Conference Web Site:
http://www.jaist.ac.jp/rcis/latd12/
Programme Committee:
. Stefano Aguzzoli (University of Milano, Italy)
. Matthias Baaz (Vienna University of Technology, Austria)
. Petr Cintula (Academy of Sciences, Czech Republic)
. Carles Noguera (CSIC, Spain)
. Hiroakira Ono (JAIST, Japan), Chair
. James Raftery (University of KwaZulu-Natal, South Africa)
. Constantine Tsinakis (Vanderbilt University, USA)
Program:
Invited Speakers and the respective titles (abstracts on the web page):
. Rostislav Horčík (Academy of Sciences, Czech Republic)
Quasiequational Theory of Square-increasing Residuated Lattices
is Undecidable
. Emil Jeřábek (Academy of Sciences, Czech Republic)
Admissibility and unification with parameters
. Daniele Mundici (University of Florence, Italy)
When every principal congruence is an intersection of maximal congruences
. Greg Restall (University of Melbourne, Australia)
Exotic Sequent Calculi for Truth Degrees
. Luca Spada (University of Salerno, Italy)
The multifarious representations of MV-algebras
Tutorial:
. Felix Bou (University of Barcelona, Spain)
(Un)Decidability in Monadic Fuzzy Predicate Logics
Contributed talks:
. Stefano Aguzzoli, Tommaso Flaminio and Enrico Marchioni
Finite Forests. Their Algebras and Logics
. Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg
Modal Basic Propositional Logic
. Conrad Asmus
Towards Many Valued Dependence Logics
. Matthias Baaz and Agata Ciabattoni
Proof theory for non-classical logics: negative results
. Paolo Baldi, Agata Ciabattoni and Lara Spendier
Standard completeness for extensions of MTL: an automated approach
. Libor Behounek
Feasibility of program runs in fuzzified Propositional Dynamic Logic
. Marjon Blondeel, Tommaso Flaminio and Lluís Godo
Relating fuzzy autoepistemic logic and Łukasiewicz KD45 modal logic
. Felix Bou, Francesc Esteva and Lluis Godo
On possibilistic modal logics over Gödel logic
. Félix Bou, Marco Cerami and Francesc Esteva
Concept Satisfiability in finite-valued Fuzzy Description Logics is
PSPACE-complete
. Rodica Ceterchi
The Decomposition of Linearly Ordered Pseudo-Hoops
. Petr Cintula, Rostislav Horcík and Carles Noguera
A basic fuzzy logic which is really basic and fuzzy
. Oliver Fasching and Matthias Baaz
An analytic calculus for Gödel logics with an operator that shifts
truth values
. Christian Fermüller and Christoph Roschger
Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification
. Nikolaos Galatos
The finite embeddability property for varieties of distributive,
integral residuated lattices
. Sándor Jenei
Recent results on involute FLe-monoids
. Michiro Kondo
States on bounded commutative residuated lattices
. Tomasz Kowalski
BCK is not structurally complete
. Michał Kozak
Double Negation in Intuitionistic Style Sequent Systems for Residuated
Lattices
. Tomas Kroupa and Ondrej Majer
Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton
Functions
. Jan Kühr
BCK-algebras and triple construction
. Antonio Ledda, Tomasz Kowalski and Francesco Paoli
On independent varieties and some related notions
. Leonardo Manuel Cabrer and Vincenzo Marra
Advances on Unification in MV-algebras
. Vincenzo Marra and Stefano Aguzzoli
Betting on events observed over an interval of time: de Finetti's
Dutch-Book argument for Goedel logic
. Yoshihiro Maruyama
Diagonals, Paradoxes, and the Edge of Consistency: classical, quantum,
and fuzzy
. Yuri Movsisyan and Diana Davidova
Representation theorem for interlaced q-bilattices
. Petra Murinová
Structure of generalized intermediate syllogisms
. Liu Doing Ning and Zhe Lin
Proof Theoretical Investigations on Substructure Modal Logic
. Hitoshi Omori and Katsuhiko Sano
Generalizing Functional Completeness in Belnap-Dunn's Four Valued System
. Jan Paseka and Michal Botur
Tense MV-algebras and related operators
. Milan Petrík
Algebraic webs on more general structures
. James Raftery
Inconsistency lemmas in algebraic logic
. Umberto Rivieccio
Implicative twist-structures
. Takahiro Seki
Disjunction Property of Non-Associative Substructural Logics
. Shawn Standefer
Revision theory and Field's theory of truth
. Nobu-Yuki Suzuki
Remarks on Ono's Two Problems: Existence and Disjunction Properties
in Super-Intuitionistic Predicate Logics
. Peter Verdée
Paraconsistent logic and degrees of believe
. Thomas Vetterlein
Construction methods for finite commutative tomonoids
. Shunsuke Yatabe
A constructive naive set theory and the $\omega$-rule
. William Young
Free MV-algebras inside Free Abelian l-groups
Registration:
Registration is required and can be done at
http://www.jaist.ac.jp/rcis/latd12/index.php?registration
Conference dates:
The scientific program will start Monday morning (10 September) and finish
Friday noon (14 September). Wednesday afternoon we plan an excursion.
Venue:
The conference will be held in the city of Kanazawa [4,5,6], located in the
Ishikawa prefecture of Japan on the Japan Sea.
The venue is the Ishikawa Prefectural Museum of Art [7] in the center
of Kanazawa.
Local Organizing Committee:
. Norbert Preining (JAIST, Japan), Chair
. Katsuhiko Sano (JAIST, Japan)
. Kazushige Terui (Kyoto University, Japan)
. Shunsuke Yatabe (AIST, Japan)
For further information please contact: latd12(a)jaist.ac.jp
[1] http://www.mathfuzzlog.org/
[2] http://www.jaist.ac.jp/rcis/en/
[3] http://www.jaist.ac.jp/
[4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa
[5] http://www.kanazawa-tourism.com/
[6] http://wikitravel.org/en/Kanazawa
[7] http://www.ishibi.pref.ishikawa.jp/index_j.html
(重複して受け取られた場合はご容赦ください)
名古屋大学の中村と申します。
法情報学に関する国際ワークショップ JURISIN2012 の CFP をお送りします。
今年の11月30日から12月1日にかけて宮崎で開催されます。
多数のご投稿をお待ちしております。
[Apologies for multiple copies]
---------------------------------------------------
Call for Papers:
Sixth International Workshop on Juris-informatics (JURISIN 2012)
Nov.30 - Dec. 1, 2012
http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/
Amusement Zone Miyazaki (The JA-AZM Hall)
Kirishima 1-1-1, Miyazaki, Japan
with a support of The Japanese Society for Artificial Intelligence in
association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012)
**** Submission Deadline: September 17, 2012 ****
**** Aims and scope ****
Juris-informatics is a new research area which studies legal issues
from the perspective of informatics. The purpose of this workshop is
to discuss both the fundamental and practical issues for
juris-informatics among people from the various backgrounds such as
law, social science, information and intelligent technology, logic and
philosophy, including the conventional "AI and law" area. We solicit
unpublished papers on theories, technologies and applications on
juris-informatics.
**** Topics ****
Relevant topics include, but are not limited to, the following:
* Legal reasoning
* Argumentation/Argumentation agent
* Legal term ontology
* Formal legal knowledge-base/Intelligent management of legal
knowledge-base
* Translation of legal documents
* Computer-aided law education
* Use of Informatics and AI in law
* Legal issues on ubiquitous computing/multi-agent system/the Internet
* Social implications of use of informatics and AI in law
**** Submissions ****
We welcome and encourage the submission of high quality, original
papers, which are not simultaneously submitted for publication
elsewhere except as a submission to JURIX 2012 (The 25th International
Conference on Legal Knowledge and Information Systems). The double
submission policy with JURIX 2012 is as follows:
1. Papers being submitted both to JURISIN2012 and JURIX2012 must note
this on the title page.
2. A paper to be presented at JURISIN2012 must be withdrawn from
JURIX2012 and vice versa according to the choice by the authors.
3. If the authors do not follow this double submission policy, the paper
by the authors will not be included in the proceedings of JURISIN 2012.
Papers should be written in English, formatted according to the
Springer Verlag LNCS style in a pdf form, which can be obtained from
http://www.springeronline.com, and not exceed 14 pages including
figures, references, etc.
If you use a word file, please follow the instruction of the format
designated at the workshop page, and then convert it into a pdf form
and submit it at the paper submission page.
If a paper is accepted, at least one author of the paper must register
the workshop and present it.
**** Proceedings ****
A printed volume of the proceedings with ISBN will be available at the
workshop.
**** Post Proceedings****
The chair of JSAI-IsAI 2012 is now negotiating with Springer Verlag to
publish selected papers of the workshop in the JSAI-isAI 2012
post-proceedings as a volume of LNAI. If it is the case, the authors
of papers presented at the workshop will be asked to extend their
contributions, possibly incorporating the results of the workshop
discussion, to be included in the workshop post-proceedings, after
another round of refereeing.
Note that the selected papers of the previous workshops were publisehd
as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008),
LNAI6284(JURISIN 2009), LNAI6797(JURISIN2010) and LNAI7258(JURISIN2011),
respectively.
**** Financial Support for Students ****
We have received from JSAI partical economical support for travelling
costs for promising foreign students whose papers have been accepted
to be presented at JURISIN2012. The amount of the whole support is
250,000 yen and we divide it to students who need a support. The
actual support will vary based on the number of applicants and where
students come from. Please contact the chairperson (mnakamur ((at))
law.nagoya-u.ac.jp) for details.
**** Important Dates ****
Submission Deadline: September 17, 2012
Notification: October 15, 2012
Camera Ready Copy due: October 29, 2012
JURISIN 2012: November 30 - December 1, 2012
**** Workshop Chair ****
Makoto Nakamura, Nagoya University, Japan
Katsuhiko Toyama, Nagoya University, Japan
**** Organizing Committee Members ****
Makoto Nakamura, Nagoya University, Japan
Katsumi Nitta, Tokyo Institute of Technology, Japan
Seiichiro Sakurai, Meiji Gakuin University, Japan
Ken Satoh, National Institute of Informatics and Sokendai, Japan
Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST),
Japan
Katsuhiko Toyama, Nagoya University, Japan
**** Programme Committee Members ****
Thomas Agotnes, University of Bergen, Norway
Phan Minh Dung, AIT, Thailand
Tom Gordon, Franfoher FOKUS, Germany
Guido Governatori, The University of Queensland, Australia
Tokuyasu Kakuta, Nagoya University, Japan
Takehiko Kasahara, Toin University of Yokohama, Japan
Masahiro Kozuka, Kanazawa University, Japan
Makoto Nakamura, Nagoya University, Japan
Katsumi Nitta, Tokyo Institute of Technology, Japan
Paulo Novais, University of Minho, Portugal
Jeremy Pitt, Imperial College, UK
Henry Prakken, University of Utrecht & Groningen, The Netherlands
Seiichiro Sakurai, Meiji Gakuin University, Japan
Ken Satoh, National Institute of Informatics and Sokendai, Japan
Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan
Fumihiko Takahashi, Meiji Gakuin University, Japan
Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan
Katsuhiko Toyama, Nagoya University, Japan
Radboud Winkels, The University of Amsterdam, the Netherlands
Shin-ichi, Yoro, Osaka University, Japan
John Zeleznikow, Victoria University, Australia
**** Home page of JURISIN 2012 ****
http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/
**** preivous JURISIN workshops ****
JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html
JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/
JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html
JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html
JURISIN2011 http://research.nii.ac.jp/~ksatoh/jurisin2011.html
For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp".
--
中村 誠@名古屋大学大学院法学研究科附属法情報研究センター
Makoto Nakamura ( mnakamur(a)law.nagoya-u.ac.jp )
Japan Legal Information Institute,
Graduate School of Law, Nagoya University
TEL:(052)789-5145 / FAX:(052)789-3800
$B3'MM!"(B
$B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B
$B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$NO!Hx0lO:@h@8$G$9!#(B
$BM>Be?t$NM}O@$N7W;;5!2J3X$X$N1~MQ$K$D$$$F!"=iJb$+$i>\$7$/2r@b(B
$B$7$FD:$1$k$H;G$C$F$*$j$^$9!J7wO@$K4X$9$kM=HwCN<1$OITMW!"$H$N(B
$B$3$H$G$9!K!#(B
$BM}3X8&5f2J$N3+9V2JL\$G$9$,!"4X?4$r$*;}$A$NJ}$O$I$J$?$G$b$*5$(B
$B7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"D9C+@n$^$G$*Ld$$9g(B
$B$o$;$/$@$5$$!#(B
$BD9C+@n???M(B <hassei at kurims.kyoto-u.ac.jp>
$B5~ETBg3X?tM}2r@O8&5f=j(B
$B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r@O@l96?tM}2r@O7O(B
$B?tM}2r@OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B
$B!V(BCategorical Algebra and Coalgebra:
An Instance of Category Theory in Computer Science$B!W(B
$B9V(B $B;U!'O!Hx(B $B0lO:(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J(B $B9V;U!K(B
$BF|(B $B;~!'#2#0#1#2G/#77n#1#9F|!#0F|!#1F|!Wn#1F|(B $B#1#4;~!A(B
$B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B
$B!JCm!'KLIt$N?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B
$BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B
Abstract
Category theory is an abstract mathematical language that is used in
many different branches of mathematics. It has also found successful
applications in computer science - in fact, in many different
ways. The classic example is in the semantics of functional
programming, where types are objects and programs are arrows. In this
course we focus on another eminent use of categories in computer
science, namely categorical algebra and coalgebra.
The bottom-line here is: a coalgebra is a categorical abstraction of
dynamics, i.e. a state-based system like an automaton; and an algebra
(especially an initial one) is an abstraction of syntax, i.e. the set
of well-formed programs. Plotkin's structural operational semantics -
connecting syntax and dynamics - also allows an elegant categorical
modeling via a distributive law.
After exhibiting these basics of the (co)algebraic modeling in
computer science, we proceed to a more advanced categorical structure
of presheaf categories. We introduce the necessary categorical
machineries - (co)end, Kan extension, Yoneda lemma, etc. - as well as
demonstrate their applications in name-passing calculi like the
pi-calculus.
No preliminary knowledge in category theory is assumed. The course
materials will be announced at the course website.
$B0u:~MQ0FFb!'(B
http://www.kurims.kyoto-u.ac.jp/~hassei/hasuo2012.pdf
*Call for Papers*
TARK 2013
14th Conference on Theoretical Aspects of Rationality and Knowledge
January 7-9, 2013
The Institute of Mathematical Sciences, Chennai, India
Conference website: http://www.imsc.res.in/tark/
About the Conference
The mission of the TARK conferences is to bring together researchers
from a wide variety of fields, including Artificial Intelligence,
Cryptography, Distributed Computing, Economics and Game Theory,
Linguistics, Philosophy, and Psychology, in order to further our
understanding of interdisciplinary issues involving reasoning about
rationality and knowledge. Topics of interest include, but are not
limited to, semantic models for knowledge, belief, awareness and
uncertainty, bounded rationality and resource-bounded reasoning,
commonsense epistemic reasoning, epistemic logic, epistemic game
theory, knowledge and action, applications of reasoning about
knowledge and other mental states, belief revision, and foundations of
multi-agent systems.
Invited Speakers
Pierpaolo Battigalli, Bocconi University
Lin Fangzhen, Hong Kong University of Science and Technology
Rineke Verbrugge, University of Groningen
Submissions are now invited to TARK 2013. Extended Abstracts can be
submitted here:
https://www.easychair.org/conferences/?conf=tark2013
Strong preference will be given to papers whose topic is of interest
to an interdisciplinary audience, and papers should be accessible to
such an audience. Papers will be held to the usual high standards of
research publications. In particular, they should 1) contain enough
information to enable the program committee to identify the main
contribution of the work; 2) explain the significance of the work --
its novelty and its practical or theoretical implications; and 3)
include comparisons with and references to relevant literature.
Abstracts should be no longer than ten double-spaced pages (4,000
words). Optional technical details such as proofs may be included in
an appendix. An email address of the contact author should be
included. Papers arriving late or departing significantly from these
guidelines risk immediate rejection. One author of each accepted
paper will be expected to present the paper at the conference.
Economists should be aware that special arrangements have been made
with certain economics journals (in particular, with International
Journal of Game Theory, Games and Economic Behavior, Journal of
Economic Theory, and Mathematical Social Sciences, so that publication
of an extended abstract in TARK will not prejudice publication of a
full journal version.
TARK 2013 will precede the Indian Conference on Logics and
Applications (ICLA) held from January 10 - 12, 2013, also at the
Institute for Mathematical Sciences in Chennai, India.
TARK 2013 is the 14th conference of the TARK conference series.
Previous conferences have been held bi-annually around the world. The
most recent conference was held 2011 at the University of Groningen,
Netherlands, see http://www.philos.rug.nl/TARK2011/. The proceedings
of all previous TARK conferences can be accessed here
http://www.tark.org/.
TARK 2013 is the first TARK conference to be held in India. It is also
the first TARK conference to be held in January.
Key Dates for TARK 2013
Submission of abstracts: September 3, 2012
Notification of authors: October 29, 2012
Camera ready copy of accepted papers: November 30, 2012
Conference: January 7 - 9, 2013, Institute of Mathematical Sciences,
Chennai, India
Program Committee
Samson Abramsky, Oxford University
Thomas Agotnes, Universitetet i Bergen
Hans van Ditmarsch, Universidad de Sevilla
Amanda Friedenberg, Arizona State University
Aviad Heifetz, The Open University of Israel
Jerome Lang, CNRS and Université Paris-Dauphine
Fenrong Liu, Tsinghua University
Larry Moss, Indiana University, Bloomington
Antonio Penta, University of Wisconsin-Madison
Andres Perea, Maastricht University
Ramaswamy Ramanujam, Institute for Mathematical Sciences, Chennai
Olivier Roy, Ludwig-Maximilians-Universität München
Burkhard C. Schipper, University of California, Davis
Marciano Siniscalchi, Northwestern University
Giacomo Sillari, Scuola Normale Superiore, Pisa
Nobuyuki Suzuki,Shizuoka University
Jonathan Zvesper, London
Local Organizing Committee
Sujata Ghosh, Indian Statistical Institute, Chennai
Kamal Lodaya, Institute of Mathematical Sciences, Chennai
R. Ramanujam, Institute of Mathematical Sciences, Chennai
S. P. Suresh, Chennai Mathematical Institute
Program Chair
Burkhard C. Schipper
University of California, Davis
Department of Economics
One Shields Avenue
Davis, CA 95616, USA
Email: bcschipper-at-ucdavis-dot-edu
Local Organizing Chair
R. Ramanujam
Institute for Mathematical Sciences
CIT Campus, Taramani
Chennai 600 113, India.
Email: tark2013org at gmail dot com
Chair of the TARK Conference Series
Joe Halpern
Cornell University
Computer Science Department
Kobe Colloquium on Logic, Statistics and Informatics
以下の要領でコロキウムを開催します。
日時:2012年6月28日(木)15:10-16:40
場所:神戸大学自然科学総合研究棟3号館4階421室(プレゼンテーション室)
講演者:Paul Larson (Miami University, Oxford, Ohio)
========================================================================
題目:Models of size aleph_1 in abstract elementary classes
アブストラクト:
We will present some applications of set theoretic techniques to the study
of models of
cardinality aleph_1 in various abstract elementary classes. The impetus for
this work was the still-open
question of absoluteness of aleph_1-categoricity for the class of models of
a fixed sentence of L_{omega_1, omega}.
Most of our results apply to the class of analytically presented AEC's,
those whose restriction to countable models is analytic.
These classes have been studied for many years under various names. Time
permitting, connections with Vaught's
Conjecture will also be discussed. This is joint work with Baldwin and
Shelah.
========================================================================
交通:阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車,「神大本部工学部前」停留所下車,徒歩すぐ.
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm
連絡先:ブレンドレ ヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp