Logic-ml

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

7 participants
1772 discussions

Talk by Kohei Suenaga, Thursday next week (2011.07.21 11:00-)
by Shinya Katsumata 15 Jul '11

15 Jul '11

京都大学数理解析研究所の勝股です。来週7月21日木曜午前11時から、京都大学の末永幸平さんに以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Speaker: Kohei Suenaga JSPS Research Fellow (PD), Kyoto University Title: Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling (Joint work with Ichiro Hasuo) Date and time: 11:00-12:00, 21 Jul, 2011 Place: Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan), Kyoto university http://www.kyoto-u.ac.jp/en/access/campus/main.htm 京都大学総合研究2号館 4階 478 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: We add, to the common combination of a WHILE-language and a Hoare-style program logic, a constant dt that represents an infinitesimal (i.e. infinitely small) value. The outcome is a framework for modeling and verification of hybrid systems: hybrid systems exhibit both continuous and discrete dynamics and getting them right is a pressing challenge.We rigorously define the semantics of programs in the language of nonstandard analysis, on the basis of which the program logic is shown to be sound and relatively complete.

1 0

The 52nd ToPS [Aug 3]
by Kazuyuki ASADA 14 Jul '11

14 Jul '11

[Apologies for multiple copies] I am pleased to announce the 52nd Tokyo Programming Seminar, which will be held at NII on August 3 (Wed). Janis Voigtlander from University of Bonn will give a talk about quantitative free theorems for reasoning runtime efficiency, and Zhenjiang Hu from National Institute of Informatics will give a talk about backward transformation determinization for bidirectional transformation. The programme is attached below. I'm looking forward to meeting you at ToPS. Best regards, Kazuyuki Asada ---- The 52nd ToPS http://www.ipl.t.u-tokyo.ac.jp/~tops/upcoming_seminar.html Time: August 3rd (Wed) 2011, 15:00--17:00 Place: Rm. 1208, 12F, National Institute of Informatics Speaker: 1. Janis Voigtländer (Institute for Computer Science, University of Bonn) Type-Based Reasoning about Efficiency Abstract: Phil Wadler (1989) showed how to use John Reynolds' (1983) concept of relational parametricity to derive statements about programs in a purely functional language just from their (polymorphic) types. Such statements have found applications as so-called "free theorems". Traditionally, they have had an extensional flavor only: statements relating the value semantics of program expressions, but not statements relating their runtime (or other) cost. We present an extension of the technique that allows precisely statements of the latter flavor, by deriving quantitative theorems for free. Extending the underlying theory (of relational parametricity) is one thing, finding effective ways to do the actual deriving of concrete free theorems (by symbolic manipulations) is quite another, and more challenging here than in the standard/extensional cases. 2. Zhenjiang Hu (National Institute of Informatics) Determinization of Backward Transformation Abstract: Bidirectionalization is an automatic program transformation that derives a backward transformation from a given forward transformation. In general, more than one backard transformations exist and the problem is how to choose the "best" backward transformation that not only satisfies the roundtrip property but also meets the user's intention. I would like to discuss the importance of backward transformation determinization and explain some possible solutions.

1 0

東北大学ロジックセミナー（7/22）
by higurashi3873＠yahoo.co.jp 13 Jul '11

13 Jul '11

皆様，東北大学の堀畑佳宏です．下記の日程でロジックセミナーを行いますので，興味のある方はぜひご参加ください．日時： 7月22日(金)，16時から場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者： Antonina Kolokolova (Memorial University of Newfoundland, Canada) タイトル： Expressing versus Proving: Relating Forms of Complexity in Logic アブストラクト： The program of Bounded Reverse Mathematics studies computational complexity of concepts needed to prove theorems. But what does it mean to have a theorem provable with, for example, polynomial-time concepts, or non-deterministic logspace concepts? This talk presents a framework for defining theories of (bounded) arithmetic corresponding precisely to feasible complexity classes. In particular, I will talk about building theories of bounded arithmetic based on logics (in finite model theory sense) of known descriptive complexity. セミナーの詳細につきましては，下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ 堀畑　佳宏 -- -- 東北大学大学院　理学研究科数学専攻　博士後期課程三年 E-mail: sa6m31(a)math.tohoku.ac.jp E-mail: higurashi3873(a)yahoo.co.jp

1 0

workshop on categories, logic and computation (28 July 2011, Kyoto)
by Hasegawa Masahito 12 Jul '11

12 Jul '11

$B3'MM!"(B $B5~Bg$ND9C+@n$H?=$7$^$9!#(B Robin Cockett$B65<x(B(University of Calgary)$B$NMhF|$r4|$K!"0J2<$N$h$&$J0lF|(B $B$@$1$N%o!<%/%7%g%C%W$r3+:E$7$^$9!#(BCockett$B65<x$O%W%m%0%i%_%s%08@8l(B Charity$B$N3+H/$d@~7AO@M}$N7wO@E*$J%b%G%k$N8&5f$J$I$GCN$i$l$F$*$j!":#2s(B $B$N%o!<%/%7%g%C%W$b!"7wO@$H$=$N7W;;5!2J3X$X$N1~MQ$K4X$9$k9V1i$,Cf?4$H(B $B$J$kM=Dj$G$9!#(B ==== Workshop on Categories, Logic and Computation 28 July 2011, Research Institute for Mathematical Sciences, Kyoto University Venue: Room 478, General Research Building No.2, Kyoto University Programme (Tentative) 09:55-10:00 Opening 10:00-10:40 Naohiko Hoshino (Kyoto University) A Modified GoI Interpretation for A Linear Functional Programming Language and Its Adequacy 11:00-11:40 Craig Pastro (Kyushu University) TBA (lunch break) 13:30-14:30 Robin Cockett (University of Calgary) Differential Categories 15:00-15:40 Masahiro Hamano (JST) A Polarized Int Construction 16:00-16:40 Shin-ya Katsumata (Kyoto University) TBA 17:00-17:40 Ryu Hasegawa (University of Tokyo) A Categorical Reduction System and Its Properties 17:40-17:45 Closing (dinner) ==== $B$3$N%W%m%0%i%`$O;CDjE*$J$b$N$G$"$j!":#8e99?7$5$l$k2DG=@-$,$"$j$^$9!#(B $B:G?7$N>pJs$K$D$$$F$O!"%&%'%V%Z!<%8(B http://www.kurims.kyoto-u.ac.jp/~hassei/CatLogComp20110728.html $B$r$4Mw$/$@$5$$!#(B $B%o!<%/%7%g%C%W$N%F!<%^$K4X?4$r$*;}$A$NJ}$N$4;22C$r$*BT$A$7$F$*$j$^$9!#(B $B$J$*!"2q>l$N=`Hw$NET9g>e!";22C$5$l$kJ}$O!"%*!<%,%J%$%6!<!JD9C+@n(B <hassei(a)kurims.kyoto-u.ac.jp>$B!K$^$G$4O"MmD:$1$^$9$H9,$$$G$9!#$=$N(B $BB>!"$3$N%o!<%/%7%g%C%W$K4X$9$k$*Ld$$9g$o$;$bD9C+@n$^$G$*4j$$CW$7$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B

1 0

証明論研究集会のご案内
by Suzuki Toshio 11 Jul '11

11 Jul '11

証明論研究集会のご案内皆様首都大学東京の鈴木登志雄です。さて、恒例の証明論研究集会を以下のように開催することになりました。メーリングリストへの投稿に先立ってお知らせします。皆様のご講演、ご参加を心よりお待ち申し上げます。 2011年証明論と計算論研究集会（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）９月１２日（月）から１４日（水）東京都八王子市南大沢１−１首都大学東京国際交流会館中ホールアクセス：京王相模原線南大沢駅、徒歩10分新宿から南大沢までは電車で最速約３４分（京王線準特急・京王八王子行に乗り、調布で京王相模原線急行・橋本行に乗り換え）。 http://www.tmu.ac.jp/university/campus_guide/access.html ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki(a)tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合も、会場確保のため上記の日までにご連絡いただけると助かります。宛先は上記と同じです。それでは、よろしくお願いいたします。関連する最近の集会： Feb. 2011, Workshop on Proof Theory and Computability Theory http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ Sep. 2010, Formal Systems and Computality Theory http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の講演募集
by 西澤弘毅 07 Jul '11

07 Jul '11

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと参加・講演の募集をさせていただきます。 ************************************************************* * 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2011年8月23日（火）午後〜24日（水） * * 東京大学　柏キャンパス（千葉県柏市） * * * * 開催のお知らせと参加・講演の募集 * ************************************************************* < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十二回ALGIを開催することになりました。開催期間及び開催場所は上記のとおりです。初日の23日は午後から開催いたします。最終日24日の午後まで開催するかどうかは、講演の数によります。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を furusawa(a)sci.kagoshima-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは東京大学の松野裕さんにお願いしています． ------------------------------------------------- -- 西澤弘毅鳥取環境大学環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

論理学セミナー情報(7月9日, 名古屋大学)
by Takahumi Saikawa 07 Jul '11

07 Jul '11

皆様今週末土曜の9日、名古屋大学多元数理科学研究科で、産総研の矢田部俊介さんをお招きしてのセミナーを下記のとおり開催します。ご参加をお待ちします。才川隆文 (m09018f(a)math.nagoya-u.ac.jp) 多元数理科学研究科 ---- 発表者：矢田部俊介 (産業技術総合研究所) タイトル: ヤブローのパラドックスと自己言及性日時：7月9日(土) 13:00から場所: 名古屋大学東山キャンパス理1号館 1階109号室要旨: 　嘘つきのパラドックスやラッセルのパラドックスをはじめ, 真理や素朴集合論に関わる多くのパラドックスは, 自己言及性（「この文はウソである」）を原因に持つ. そのため, 自己言及性こそ矛盾の原因であると思われやすい. しかし, 真理に関し, 一見自己言及的ではないにも関わらず, （体系がω矛盾でない場合は）矛盾を導くパラドックスが存在する. その代表例がヤブローのパラドックスである. 　ヤブローのパラドックスでは, 直接的な自己言及性の代わりに, 無限的に自己言及的な機構を使用しており, ω矛盾性（自然数が超準数を含む）と密接な関係がある. 　本講演では, ヤブローのパラドックスに関する論争の歴史を紹介し, またω矛盾性との関係について説明する.

1 0

大阪府立大学情報数理談話会（7月20日水曜日/渕野昌先生）
by Masaru Kada 04 Jul '11

04 Jul '11

logic-ml のみなさま：大阪府立大学嘉田です．下記の通り，大阪府立大学理学部情報数理科学科にて，渕野昌先生（神戸大学）を講師にお招きして談話会を実施いたしますので，ご案内申し上げます．学外からのご参加も歓迎です．お近くの方はお気軽にお越しください． ======== 第40回大阪府立大学情報数理談話会講演題目：平面単位距離グラフの彩色について講師：渕野昌（神戸大学システム情報学研究科）日時：2011年7月20日（水） 17：00〜18：00 （16:45 から会場で茶菓を用意しています）場所：大阪府立大学中百舌鳥キャンパス A14棟322教室講演概要は http://www.mi.s.osakafu-u.ac.jp/lec-meeting/col40.html でご覧いただけます． ======== 情報数理談話会ウェブページ http://www.mi.s.osakafu-u.ac.jp/lec-meeting/ 交通案内・キャンパスマップ http://www.osakafu-u.ac.jp/access/index.html お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

2nd Call for Participation: 12th Meeting on Mathematics of Language
by Makoto Kanazawa 04 Jul '11

04 Jul '11

*** EARLY-BIRD REGISTRATION DEADLINE EXTENDED *** CALL FOR PARTICIPATION (early-bird registration deadline: July 8, 2011) 12th Meeting on Mathematics of Language Nara, Japan, September 6-8, 2011 http://sites.google.com/site/mol12nara/ Invited Speakers Kit Fine, New York University Andreas Maletti, University of Stuttgart Program available at http://sites.google.com/site/mol12nara/program Contact: mol12(a)googlegroups.com

1 0

CFP: AiML 2012
by Thomas Bolander 03 Jul '11

03 Jul '11

AiML-2012: FIRST CALL FOR PAPERS 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012 Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + model generation + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + modal logics over non-boolean bases + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + substructural logics + computationally light fragments of all such logics Papers on related subjects will also be considered. INVITED SPEAKERS: TO BE ANNOUNCED PAPER SUBMISSIONS There will be two types of submissions to AiML-2012 (1) Full papers for publication in the proceedings and presentation at the conference. (2) Abstracts for short presentation only. Both types of papers should be submitted electronically using the EasyChair submission page at http://www.easychair.org/conferences/?conf=aiml2012 (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2012 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTex, using a style file and template that will be provided on the AiML'2012 website hylocore.ruc.dk/aiml2012. (2) ABSTRACTS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted abstracts will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. At least one author of each accepted paper or abstract must register for, and attend, the conference to present his or her work. SPECIAL SESSION ON HYBRID LOGIC Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered. Papers for this session should be submitted the same way as others. PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Universita' di Bologna, Italy) Giovanna D'Agostino (Universita' di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schroeder (DFKI GmbH and University of Bremen, Germany) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Universita' degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) IMPORTANT DATES Full papers submission deadline: 16 March 2012 Full papers acceptance notification: 18 May 2012 Short presentations (abstracts) submission deadline: 1 June, 2012 Short presentations acceptance notification: 7 June, 2012 Final version of full papers and abstracts due: 15 June 2012 Conference: 22-25 August, 2012. CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference center in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels.

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml