Kisoron-ml December 2010

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

6 participants
6 discussions

サーバの不具合(？)
by Atsushi Igarashi 25 Dec '10

25 Dec '10

kisoron-ml 管理人の五十嵐です．先日，kisoron-ml が動いているサーバが変わったのですが，それ以来，メイリングリストサーバの挙動がおかしいようです．これはサーバのテストを兼ねたメールです．ご迷惑をおかけしています． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/

1 1

[TACL 2011] First call for papers
by Hiroakira Ono 20 Dec '10

20 Dec '10

= = = = = = = ======================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) = = = = = = = ======================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------- Contributed presentations will be of two types: 20 minutes long presentations in parallel sessions and featured, 30 minutes long, plenary presentations. The submission of an abstract of 1-4 pages is required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure is available on the conference website. Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr Luigi Santocanale, Yves Lafont, Nicola Olivetti, TACL 2011 local organisers ============================================================

1 0

Prof. Olivier Danvy Lecture at NII Logic Seminar
by Makoto Tatsuta 08 Dec '10

08 Dec '10

Prof. Olivier Danvy Lecture at NII Logic Seminar Date: December 16, 2010, 14:00--16:00 Place: National Institute of Informatics, Room 2005 (20th floor) 場所: 国立情報学研究所 20階 2005室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Olivier Danvy (University of Aarhus) Title: Small-step and Big-step Aspects of Computation (A Walk in the Semantic Park) Abstract: On the one hand, there are the De Morgan laws: it is clear how to repeatedly apply them to put a proposition in, say, negational normal form, with many small computational steps. On the other hand, such a normal form can be obtained with one big computational step by recursive descent. On the second hand, there is the lambda-calculus: it is clear how to repeatedly apply its contraction rules to put a lambda-term in, say, weak-head normal form, if one exists, with many small computational steps. On the other hand, such a normal form can be obtained with one big computational step by recursive descent. On the third hand, there are also abstract machines: state transition systems that will obligingly yields normal forms as well, if they exist. There is no fourth hand in this talk: our goal is not to monkey with computation, but to demonstrate a profound structural unity in the various styles of semantic artifacts that have been proposed to specify computation: as a calculus with a reduction strategy, as a small-step system of proof rules, as a small-step system of reductions in contexts, as a small-step abstract machine, as a big-step abstract machine, as a continuation-passing big-step evaluation function, and as a direct-style big-step evaluation function. In the course of this talk, we will materialize this unity by using off-the-shelf program transformations to constructively inter-derive semantic artifacts for deterministic sequential programming languages, or, to be precise, their representation as functional programs. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

The 45th MLG Meeting: Deadline Extension
by Takahiro Seki 07 Dec '10

07 Dec '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　参加・講演申込締め切りを12月22日（水）まで延長しました。　多くの方のご講演・ご参加をお待ちしております。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 1 月 6 日(木)〜 1 月 8 日(土) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2010 年 12 月 22 日（水）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・1月7日（金）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，1月7日（金）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,000円をいただきます。・講演・宿泊を希望される方は，12月22日(水)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG45 とご記載ください。 ----------------------------------- 第45回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　6日(午後) / 7日(午前/午後) / 8日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　6日(夕食/宿泊) / 7日(朝食/昼食/夕食/宿泊) / 8日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

日本数学会の講演申し込みについて
by Hirotaka Kikyo 02 Dec '10

02 Dec '10

各位 2011年度日本数学会年会について、今週末の１２月５日（日）２３：５９が一般講演の締切になっております。キーワードについてですが、プログラム編成を円滑にするためのものですので、「数学基礎論」か「歴史」を記入願います(同じような意味の別の言葉でも構いません)。 ID Activation および講演申込は、ほぼ順調に進行しているようですが、いくつかトラブルが報告されているそうです。activation(a)mathsoc.jp からの確認メールが、迷惑メールフォルダーに入ってしまうということが散見されてます。現在、情報システム運用委員会とワーキンググループで原因を分析いたしておりますが、簡単な問題でないようです。確認メールが届かない場合は迷惑メールフォルダーも探すようお願い致します。また、万が一システムが関係する何らかのトラブルによって講演締切に間に合わなかった場合は、数学会の方で柔軟に対応してくれるそうですので、 inquiry.mgate(a)mathsoc.jp まで連絡願います。不測の事態が生じた場合は https://app.mathsoc.jp/ http://mathsoc.jp/ のどちらかで、アナウンスがあるそうです。以上、よろしくお願い致します。連絡責任評議員桔梗宏孝

1 0

Trends in Logic IX Conference - first announcement
by Suzuki, Nobu-Yuki 01 Dec '10

01 Dec '10

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕をお願いいたします。 ---------------------------------------------------------------- Studia Logica International Conference Church's Thesis: Logic, Mind and Nature Krakow, Poland, June 3-5, 2010 http://StudiaLogica.org/TrendsIX contact: trendsIX(a)upjp2.edu.pl FIRST ANNOUNCEMENT Conference goals: In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). The acceptance of the CT led to a negative answer to Hilbert's Entscheindungsproblem. Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. The problems include attempts at a proof of the CT, analysis of its status and its logical value, etc. These various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature. The main goals of the conference include the discussion over the major results concerning the CT, as well as the presentation of contemporary approaches to problems connected with the CT. Call for papers: We invite contributions pertaining to issues which lie in the fields for which the CT is an important problem. Especially, but not exclusively, we invite contributions related to: (A)Perspectives on Church's Thesis: history of the Church's Thesis; Church's Thesis and Turing's Thesis; pro and contra: arguments in the discussions concerning the CT; (B)Church's thesis and logic: definitions of the concept of algorithm, attempts at formalizing the CT, CT in constructivism, CT in epistemic mathematics, modal logics and the CT, functional programming and the CT, logical theory of concepts; (C)Church's Thesis and the mind: cognitivist approaches to the mind; theories of concepts; mind and computability; (D) Church's Thesis and nature: analog computations, computations by physical systems. Invited speakers: Jack Copeland (University of Canterbury), Marie Duzi (VSB-Technical University of Ostrava), Yuri Gurevich (University of Michigan), Petr Hajek (Academy of Sciences of the Czech Republic), Pavel Materna (Academy of Sciences of the Czech Republic), David McCarty (Indiana University), Wilfried Sieg (Carnegie Mellon University), Oron Shagrir (Hebrew University of Jerusalem), Stewart Shapiro (Ohio State University), Jan Wolenski (Jagiellonian University), Ryszard Wojcicki (Institute of Philosophy and Sociology, Polish Academy of Sciences), Konrad Zdanowski (Paris Diderot University). Some of the invited speakers have not confirmed their participation yet. Organizing Committee: Adam Olszewski (Chairman), Bartosz Brozek, Jacek Malinowski, Piotr Urbanczyk, Malgorzata Drozdz. Program Committee: Jacek Malinowski (Chairman), Heinrich Wansing, Hannes Leitgeb, Leon Horsten, Adam Olszewski. Organizers: Studia Logica, Copernicus Center for Interdyscyplinary Studies, Pontifical University of John Paul II in Cracow. Deadline: Please send an abstract not exceeding 2 pages to atolszad(a)cyf-kr.edu.pl not later than March 15. The authors will be notified about the acceptance of their papers within 4 weeks after submission. More details will be provided in the second announcement, which is to be distributed in the middle of February, 2011. On behalf of the Organizing Committee Adam Olszewski

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml December 2010