Logic-ml August 2012

15 participants
18 discussions

セミナー案内
by KASHIMA Ryo 12 Oct '12

12 Oct '12

数理論理学セミナーのご案内日時：12月22日(木)17時から場所：東京工業大学大岡山西８号館W棟11階 W1101セミナー室会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html 話者：藤原誠（東北大学）題目：結婚定理の逆数学概要： 1972年にManasterとRosensteinは可算版結婚定理を再帰理論的に分析し、通常の可算版結婚定理は計算可能には成立しないことを示した。一方、1983年にKiersteadは拡張Hall条件を導入し、計算可能に成立する結婚定理を得た。本発表では、拡張Hall条件を用いて考え得るあらゆる結婚定理の複雑さを逆数学的に分析する。また、Kiersteadとは別の観点から、計算可能に成立する結婚定理について考察する。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃＃＃＃詳細はお問い合わせください＃＃＃

1 1

an opening of an Assistant professor position at Kobe University
by fuchino＠diamond.kobe-u.ac.jp 31 Aug '12

31 Aug '12

神戸大学大学院システム情報学研究科の渕野昌と申します．神戸大学自然科学系先端融合研究環重点研究部では現在次のような教員 (助教) の公募を行なっております．応募資格に該当の方は応募をご検討ください．またお近くに該当者がいる方はこの公募についてお伝えいただければ幸です．　　神戸大学自然科学系先端融合研究環重点研究部教員(助教) 公募 1 . 公募責任者神戸大学自然科学系先端融合研究環長　野海　正俊　　　　　　　　神戸大学自然科学系先端融合研究環重点研究チーム　　　　　　　「計算による数理科学の展開」研究代表者　高山　信毅 2 . 機関名神戸大学 3 . 部署名自然科学系先端融合研究環重点研究部 4 . 機関種別国立大学法人 5 . 仕事内容計算による数理科学の展開に関わる数学の研究 6 . 研究分野数学(数理論理学，集合論，統計学等，研究環重点研究チーム「計算による　　数理科学の展開」(http://www.oast.kobe-u.ac.jp/teams/index-01.html) 　　の構成員の研究と連携する数学の研究分野) 7 . 職種助教 8 . 勤務形態常勤(任期5 年 -- 審査の上再任可，但し1回限りとし，その場合は2年　　とする) 採用された研究者の居室は，システム情報学研究科情報科学専　　攻渕野グループで提供される 9 . 勤務地近畿 -- 兵庫県 10. 人員1 名 11. 応募資格博士の学位(海外での授与を含む) を10 年以内に取得していること，ま　　たは，平成25 年3 月末までに取得見込みであること．「男女共同参画社会　　基本法」の趣旨に則り，女性の積極的な応募を歓迎します． 12. 応募期間2012 年8 月24 日〜2012 年10 月1 日(必着) 13. 着任時期2013 年4 月1 日応募に関するより詳しい情報は， http://kurt.scitec.kobe-u.ac.jp/~fuchino/tmp/kan-2012-recruitment.pdf をごらんください． -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

2nd CFP: JURISIN2012
by Makoto Nakamura 31 Aug '12

31 Aug '12

（重複して受け取られた場合はご容赦ください）名古屋大学の中村と申します。法情報学に関する国際ワークショップ JURISIN2012 の 2nd CFP をお送りします。今年の１１月３０日から１２月１日にかけて宮崎で開催されます。多数のご投稿をお待ちしております。 [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. **** Invited Speakers **** 1. Kazuhisa Todayama (Professor, Graduate School of Information Science, Nagoya University, Japan) 2. Philip T H Chung (Executive Director, Australasian Legal Information Institute, Australia) and Graham Greenleaf (Professor, Faculty of Law, University of New South Wales, Australia) **** 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 Marina De Vos, University of Bath, UK 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".

1 0

TARK 2013: Extended Submission Deadline
by Suzuki, Nobu-Yuki 31 Aug '12

31 Aug '12

The deadline for submissions has been extended to September 20, 2012, 23:59 Samoa Time Zone. *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 - New Deadline: September 20, 2012, 23:59 Samoa Time Zone 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 -- ----------------------------------------------------------

1 0

CFP: LENLS 9 (Logic and Engineering of Natural Language Semantics 9)
by BEKKI Daisuke 31 Aug '12

31 Aug '12

（重複して受け取られた場合はご容赦ください）今年の１２月に宮崎で開催される LENLS 9 国際ワークショップのFinal CFPをお送り致します。多数のご投稿をお待ちしております。 ※投稿締切が ***9/9(日)*** に延長されました。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= DEADLINE EXTENDED!! ================================================================= FINAL CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 9 (LENLS 9) Workshop Site : "Amusement Zone Miyazaki (The JA-AZM Hall)" Kirishima 1-1-1, Miyazaki, Japan. http://www.jaazm.jp/access/english.html Dates : December 1-3, 2012 Contact Person: Alastair Butler (PRESTO JST/Tohoku University) Contact Email : lenls9[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (PRESTO JST/Tohoku University) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Hans Kamp (University of Stuttgart) Call For Papers: ================ LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of the third JSAI International Symposia on AI (isAI2012) (http://www.ai-gakkai.or.jp/jsai-isai/2012/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Submissions: ============ Abstracts (up to 4 pages, including figures, bibliography, apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls9 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers =============== A selection of the accepted/invited papers will be published as a portion of a volume "New Frontiers in Artificial Intelligence, JSAI-isAI2012 selected papers", Lecture Notes in Artificial Intelligence (LNAI) series, Springer Verlag. Important dates: ================ Abstract submission deadline: September 9, 2012 (EXTENDED!!) Notification of acceptance: October 10, 2012 Deadline for camera-ready copy: October 31, 2012 Deadline for onsite registration: November 24, 2012 LENLS9: December 01-02, 2012 Tutorial Lecture (by Hans Kamp): December 03, 2012 Workshop Organizers/Program Committee: ====================================== - Alastair Butler (PRESTO JST/Tohoku University) - Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology) - Kei Yoshimoto (Tohoku University)

1 0

【懇親会情報】数学基礎論サマースクール 2012「計算可能性とランダムネス」
by Kohtaro Tadaki 29 Aug '12

29 Aug '12

＜重複してお受け取りの方はご容赦ください＞皆様：中央大学の只木孝太郎です。「数学基礎論サマースクール 2012」の開催まで、一週間を切りましたので、改めてご案内申し上げます.。加えて、懇親会情報をお知らせ致します。 -------------------------------------------------- 数学基礎論サマースクール 2012 ホームページ： http://www2.odn.ne.jp/tadaki/LSS2012.html ◆テーマ：計算可能性とランダムネス ◆日時： 2012年9月4日（火）午後 -- 9月7日（金）午前 ◆場所：東京工業大学　大岡山キャンパス ◆参加費：無料 ◆参加申込：不要 -------------------------------------------------- 【懇親会情報】数学基礎論サマースクールでは６日（木）の夜に、以下の内容で懇親会を開催することになりました。講師・参加者の気軽な交流の場にしたいと思いますので、皆さん奮ってご参加ください。日時：2012年9月6日（木）18時から場所：東工大生協第１食堂（立食形式）会費：3千円程度（予定）幹事：鹿島亮先生（東工大）参加される方は9月3日（月）までにメールで kashima(a)is.titech.ac.jp （鹿島亮先生）宛に連絡をください。それでは、宜しくお願い致します。 -- 只木孝太郎 (Kohtaro Tadaki) 中央大学研究開発機構〒112-8551 東京都文京区春日1-13-27 E-mail: tadaki(a)kc.chuo-u.ac.jp

1 0

証明論に関する２つのトーク (JAIST Seminar)
by Hiroakira Ono 28 Aug '12

28 Aug '12

　　　　JAIST 第41, 42回多次元セミナーの開催について以前にもご連絡しましたが来る9月7日(金)に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　今回は10日（月）より金沢市で開催される LATD 2012 http://www.jaist.ac.jp/rcis/latd12/index.php?index へ出席のため来日される N. Galatos さん、G. Restall さんのお二人による証明論に関する２つのトークがあります。お気軽にご参加ください。　　　　　　　　　　　　記　　1. 日　　時　平成24年9月7日(金) 　　2. 場　　所　JAIST 情報科学研究科講義棟2階　I3・I4 http://www.jaist.ac.jp/general_info/access/index.html 　　3. 講演　　　(1) 14:00～15:30 Nikolaos Galatos, Department of Mathematics, University of Denver 「Rediscovering Structural Proof Theory: an algebraic account」 (2) 15:45～17:15 Greg Restall, School of Historical and Philosophical Studies, University of Melbourne 「Sequent Systems and Defining Rules」二つの講演のアブストラクトは以下をご覧下さい　 http://www.jaist.ac.jp/rcis/seminar/ 北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰　　 http://www.jaist.ac.jp/rcis/en

1 0

JAIST 第41回多次元セミナーの開催
by Hiroakira Ono 24 Aug '12

24 Aug '12

　　　　　JAIST 第41回多次元セミナーの開催について　来る9月7日(金)に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　なお、本セミナーの参加申込等は不要ですので、直接、会場までお越しください。　　　　　　　　　　　　記　　1.日　　時　平成24年9月7日(金) 14:00～15:30 　　2.場　　所　JAIST 情報科学研究科講義棟2階　I3・I4 http://www.jaist.ac.jp/general_info/access/index.html 　　3.講演者　 Nikolaos Galatos, Associate Prof. Department of Mathematics, University of Denver 　　4.講演題目　「Rediscovering Structural Proof Theory: an algebraic account」　　 http://www.jaist.ac.jp/rcis/seminar/multi-dimension/41 　　5.担当教員　先端融合領域研究院　　　　　　　　小野　寛晰 http://www.jaist.ac.jp/rcis/en

1 0

CFP - INTERNATIONAL JOURNAL OF LOGIC and COMPUTATION (IJLP)
by J. Stewart 24 Aug '12

24 Aug '12

CALL FOR PAPERS - INTERNATIONAL JOURNAL OF LOGIC and COMPUTATION (IJLP) ISSN: 2180-1290 Volume 3, Issue 1 Info. at http://www.cscjournals.org/csc/journals/IJLP/journal_cfp.php?JCode=IJLP Computer Science Journals (CSC Journals) invites researchers, editors, scientists & scholars to publish their scientific research papers in an International Journal of Logic and Computation (IJLP) Volume 3, Issue 1. The International Journal of Logic and Computation aims to promote the growth of logic and computing research from the perspectives of logic, mathematics and computer science, but emphasizes semantics of programs, in contrast with the traditional treatment of formal languages as sets of strings. IJLP promote this new field with its comprehensive selection of technical scientific papers and regular contributions such as letters, reviews and discussions for logical systems using classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, logical issues in logic programming, knowledge-based systems and automated reasoning programing; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI. CSC Journals anticipate and invite papers on any of the following topics: Applications of Logic in Hardware and VLSI Modal Logic Categorical Logic Natural Language Challenges in Natural Language and Reasoning Non-Monotonic Reasoning Classical and Non-Classical Logic Programming Expressiveness Computer Logical Reasoning Programming Reasoning Test Collection Constructive Logic Reasoning Systems Knowledge-Based Systems and Automated Reasoning Pr Semantic Representation in Logic Programming Logic Representation Techniques Soft Computing Techniques Logical Issues in Logic Programming State-Based Semantics Logical Programming Issues in Knowledge Representa Type Theory Logics and Semantics of Programming Important Dates - IJLP CFP - Volume 3, Issue 1. Paper Submission: September 30, 2012 Author Notification: November 15, 2012 Issue Publication: December 2012 For complete details about IJLP archives publications, abstracting/indexing, editorial board and other important information, please refer to IJLP homepage. We look forward to receive your valuable papers. If you have further questions please do not hesitate to contact us at cscpress(a)cscjournals.org. Our team is committed to provide a quick and supportive service throughout the publication process. A complete list of journals can be found at http://www.cscjournals.org/csc/bysubject.php Sincerely, J. Stewart Computer Science Journals (CSC Journals) B-5-8 Plaza Mont Kiara, Mont Kiara 50480, Kuala Lumpur, Malaysia Tel: + 603 6207 1607, + 603 2782 6991 Fax:+ 603 6207 1697 Url: http://www.cscjournals.org

1 0

第二十三回ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのお知らせ
by 西澤弘毅 22 Aug '12

22 Aug '12

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。直前のご連絡になりましたが、第二十三回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定版プログラムのお知らせと参加の募集をさせていただきます。 ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十三回ALGIを開催することになりました。 **************************************************************** * 第二十三回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2012年9月6日（木）午後〜7日（金） * * 九州工業大学　情報工学部（福岡県飯塚市） * * * * 暫定版プログラムのお知らせと参加の募集 * **************************************************************** プログラムの簡略版は下記の通りです。アブストラクトや、会場の詳細な情報は後日お知らせいたします。なお、7日（金）の 11:00 からの講演枠がまだ空いております。講演を希望される方は西澤（koki(a)kankyo-u.ac.xn--jp)-ub4boe ご連絡ください。 9月6日（木） 13:15〜13:30 　オープニング＋連絡など 13:30〜14:15 　河原康雄　題目：Heyting 代数値関係における所属関係 14:30〜15:30 　只野誉（大阪大学大学院理学研究科数学専攻）　題目：　Numerical solutions of K\"{a}hler-Einstein equations on toric del Pezzo surfaces 15:45〜16:30 　津曲紀宏（京都大学数理解析研究所）　題目：Galois connections for abstraction of probabilistic systems 16:45〜17:45 　丸山善宏（オックスフォード大学大学院）　演題：Categorical Universal Logic:Lawvere-Tierney Topology and Logical Translation. 夕方　懇親会 9月7日（金） 10:00〜10:45 　西澤弘毅（鳥取環境大学）　演題：weak split fork について 11:00〜11:45 　空き 12:00〜12:20 　田中慎一（（株）日立ソリューションズ）　演題：量子論理における含意結合子の強弱関係 12:20〜13:00 　クロージング＋連絡などできるだけ多くの皆さんのご参加をお待ちしております。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは九州工業大学の藤尾光彦先生にお願いしています． -- 西澤弘毅鳥取環境大学経営学部経営学科兼環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2012