Logic-ml

9 participants
1781 discussions

CALCO 2011: Last Call for Papers
by Ichiro Hasuo 02 Feb '11

02 Feb '11

みなさま，国際会議 CALCO のご案内です．プロセス代数，代数的仕様，余代数，項書換え，様相論理など幅広いトピックが対象です．ぜひ投稿をご検討ください．招待講演者も豪華です！！蓮尾一郎京都大学数理解析研究所 ========================================================================= !! LAST CALL FOR PAPERS: CALCO 2011 !! 4th International Conference on Algebra and Coalgebra in Computer Science August 29 - September 2, 2011 Winchester, UK http://calco2011.ecs.soton.ac.uk/ ========================================================================= Abstract submission: February 6, 2011 Paper submission: February 13, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (England), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England. -- INVITED SPEAKERS -- Vincent Danos (UK) Javier Esparza (Germany) Philippa Gardner (UK) Gopal Gupta (USA) -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. -- IMPORTANT DATES -- Abstract submission: February 6, 2011 Paper submission: February 13, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 -- PROGRAMME COMMITTEE -- Jiri Adamek (Technical University of Braunschweig, Germany) Lars Birkedal (IT University of Copenhagen, Denmark) Filippo Bonchi (INRIA Saclay, France) Corina Cirstea (University of Southampton, UK) Andrea Corradini (co-chair, University of Pisa, Italy) Maribel Fernandez (King's College London, UK) Jose Fiadeiro (University of Leicester, UK) H. Peter Gumm (Philipps University Marburg, UK) Ichiro Hasuo (Kyoto University, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Bartek Klin (co-chair, University of Warsaw, Poland) Barbara Koenig (University of Duisburg-Essen, Germany) Alexander Kurz (University of Leicester, UK) Marina Lenisa (University of Udine, Italy) Jose Meseguer (University of Illinois, Urbana-Champaign, USA) Ugo Montanari (University of Pisa, Italy) Larry Moss (Indiana University, Bloomington, USA) Till Mossakowski (DFKI Lab Bremen and University of Bremen, Germany) Catuscia Palamidessi (INRIA Saclay, France) Dusko Pavlovic (Kestrel Institute, USA) John Power (University of Bath, UK) Jan Rutten (CWI and Radboud University Nijmegen, The Netherlands) Sam Staton (University of Cambridge, UK) Lutz Schroeder (DFKI Lab Bremen and University of Bremen, Germany) Andrzej Tarlecki (Warsaw University, Poland) Yde Venema (University of Amsterdam, The Netherlands) Martin Wirsing (Ludwig-Maximilians-University Munich, Germany) -- ORGANISING COMMITTEE -- Corina Cirstea (University of Southampton, UK) Dirk Pattinson (Imperial College London, UK) Toby Wilkinson (University of Southampton, UK) -- LOCATION -- Winchester is a beautiful historic city in southern England, known for its 11th-century cathedral and 12th-century castle. It is located just under an hour by rail from London Waterloo, and 15 minutes by road or rail from Southampton Airport. London Heathrow is 50 miles away and London Gatwick 72 miles away. -- SATELLITE WORKSHOPS -- CALCO 2011 will be preceded by the CALCO Young Researchers Workshop, CALCO-Jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO-Tools, will be held on the same dates as the main CALCO conference. There are separate submission procedures for CALCO-Jnr and CALCO-Tools. -- CALCO-Jnr Overview -- The CALCO Young Researchers Workshop invites submissions on the same topics as the CALCO conference. CALCO-Jnr presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page abstracts. After the workshop, the author(s) of each presentation will be invited to submit a full 10-15 page paper on the same topic. Following additional reviewing, selected papers will be published as a technical report. http://calco2011.ecs.soton.ac.uk/workshops/calco-jnr.html -- CALCO-Jnr Dates -- Abstract submission: May 8, 2011 Author notification: May 30, 2011 Final version due: June 30, 2011 -- CALCO-Jnr Programme Committee -- Corina Cirstea (University of Southampton, UK) Magne Haveraaen (University of Bergen, Norway) John Power (University of Bath, UK) Monika Seisenberger (chair, Swansea University, UK) Toby Wilkinson (University of Southampton, UK) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems/prototypes/tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. http://calco2011.ecs.soton.ac.uk/workshops/calco-tools.html -- CALCO-Tools Dates -- Paper submission: March 23, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 -- CALCO-Tools Programme Committee -- Paolo Baldan (University of Padova, Italy) Luis Barbosa (University of Minho, Portugal) Dorel Lucanu (chair, Al. I. Cuza University of Iasi, Romania) Milad Niqui (CWI, Amsterdam, The Netherlands) Peter Olveczky (University of Oslo, Norway) Dirk Pattinson (Imperial College London, UK) -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant PC chairs. Queries related to the organisation should be emailed to calco2011(a)ecs.soton.ac.uk .

1 0

PPL2011（3月＠北海道），ポスター・デモ発表募集および参加登録開始のお知らせ
by Kiyokuni Kawachiya 31 Jan '11

31 Jan '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，来年３月に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) のご案内を再度させて頂きたく存じます．参加登録ページがオープンしました． http://www.info.kochi-tech.ac.jp/ppl2011/registration.html 参加ご希望の方は説明をお読みの上，2/25(金)までに登録をお願いいたします．また，カテゴリ３（ポスター・デモ発表）の申込締切が，一週間後の2/7(月)に迫っております．こちらにも奮ってご応募ください． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ 今回はショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- （投稿受付は終了しました）カテゴリ３（ポスター・デモ発表） -------------------------------- ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．なお，PPL2011ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 以下の２件の招待講演が予定されています．田中哲朗氏 (東京大学) 講演タイトル(予定)「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 講演タイトル(予定)「Linear logic and implicit computational complexity」 ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．なお，PPL2011では，発表者の希望により発表の様子をインターネットでストリーミング放映することを検討しております．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- （投稿受付は終了しました）カテゴリ３（ポスター・デモ発表） ------------------------------------------ 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年2月7日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月14日(月) 問い合わせ先：organizers-ppl2011(a)pllab.is.ocha.ac.jp ====================================================================== プログラム委員会浅井健一 (お茶の水女子大学) 磯部祥尚 (産業技術総合研究所) 稲葉一浩 (国立情報学研究所) 今井宜洋 (ITプランニング) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 亀山幸義 (筑波大学) 河内谷清久仁 (日本IBM東京基礎研究所) 久野靖 (筑波大学) 中田景子 (Institute of Cybernetics) 中田秀基 (産業技術総合研究所) 蓮尾一郎 (京都大学・JSTさきがけ) 長谷川立 (東京大学) 番原睦則 (神戸大学) 廣川直 (北陸先端科学技術大学院大学) 森畑明昌 (東北大学) 横山大作 (東京大学) 実行委員会浅井健一 (お茶の水女子大学) [プログラム共同委員長] 河内谷清久仁 (日本IBM東京基礎研究所) [プログラム共同委員長] 松崎公紀 (高知工科大学) [実行委員長] --------------------------------------------------------------------------

1 0

Second Call for Papers: MOL 12 Tokyo
by Makoto Kanazawa 31 Jan '11

31 Jan '11

--------------------- PLEASE POST --------------------- Second Call for Papers 12th Meeting on Mathematics of Language Tokyo, September 5–7, 2011 http://sites.google.com/site/mol12tokyo/ Invited Speakers • Kit Fine, New York University • Andreas Maletti, Universität Stuttgart Background MOL 12 is the 12th Meeting on the Mathematics of Language, to be held at the National Center of Sciences in Tokyo from September 5 through 7, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. Previous meetings were held at Bielefeld University (2009), UCLA (2007), the University of Edinburgh (2005), and Indiana University (2003). Aims and Scope MOL (Mathematics of Language) is a biennial conference devoted to the mathematical study of languages and linguistics. Contributions to all areas of this field are welcome. The topics within the scope of the conference include, but are by no means limited to: • complexity and generative capacity of grammar formalisms • formal analysis of linguistic theories and frameworks • model-theoretic and proof-theoretic methods in linguistics • mathematical foundations of statistical and stochastic approaches to language analysis • formal models of language use and language change Submission Guideline We invite submission of original, unpublished papers suitable for 30-minute presentations. Papers should report original work which has not been presented at other conferences with published proceedings. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venues. Papers should not exceed 18 pages, including references and appendices (if any), and should be prepared in LaTeX using the Springer LNCS class files available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. Papers must be submitted electronically at http://www.easychair.org/conferences/?conf=mol12. Submissions will be reviewed anonymously by at least three reviewers. Proceedings The proceedings will be published by the time of the conference in the FoLLI LNAI subline of the Springer Lecture Notes in Computer Science. Important Dates • Deadline for submission: March 22, 2011 • Notification to authors: May 16, 2011 • Deadline for camera-ready copies for the proceedings: June 1, 2011 • Conference: September 5-7, 2011 Program Committee • Patrick Blackburn • Alexander Clark • Philippe de Groote • Aravind Joshi • Greg Kobele • Andras Kornai • Marcus Kracht (Chair) • Natasha Kurtonina • Michael Moortgat • Larry Moss • Gerald Penn • Sylvain Pogodalla • James Rogers • Sylvain Salvati • Hiroyuki Seki • Ed Stabler • Hans-Jörg Tiede Organizing Committee • Makoto Kanazawa (Chair) • Ryo Yoshinaka

1 0

「数学の哲学」研究集会２月１０日ー１１日のお知らせ
by Mitsuhiro Okada 28 Jan '11

28 Jan '11

PHILOSOPHY OF MATHEMATICS Feb 10th-11th, 2011 (Preliminary Announcement) 「数学の哲学の現在」シンポジウム 2011年2月10日―11日主催：慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター計算機科学，論理学，分析哲学，現象学，意識科学などの異なるフィールドで数学の哲学を研究しておられる研究者が集まり，次のような公開研究集会の開催を予定しています． The purpose of this meeting is to bring together researchers from different fields to discuss the resent state of philosophy of mathematics. （また、２月２４日ー２５日にFormal Ontologyの哲学と論理に関する研究会を、また２６日に数学基礎論の哲学に関する研究会を同一会場で予定しております。追ってご案内させていただきます。We also plan to have a Formal Ontology meeting on 24-25th and a Philosophy of the foundations of Mathematics meeting on 26th; to be announced shortly.) *日時:* 2011年2月10日午後1時 -- 11日午後5時 *Date:* Feb 10, 2011 (13pm) -- Feb 11 (17pm) *場所:* 慶應義塾大学三田キャンパス東館6階 G-Sec Lab *Place:* G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio University http://abelard.flet.keio.ac.jp/pom11/ 参加自由ですが会場設定や座席の優先確保などのためにできるだけ事前電子登録をお願いいたします．登録先はこちらです． https://abelard.flet.keio.ac.jp/pom11/registration.html 招待講演者は次の方を含みます． The main foreign guest speakers include: *講演者:* Henk Barendregt (オランダニーメゲン Radboud University, Foundations of Mathematics and Computer Science 講座長) *タイトル:* “Philosophy of mathematics, computer mathematics and lambda calculus” *講演者* Mirja Hartimo (フィンランド，ヘルシンキ大学) *タイトル* Husserl’s Philosophy of Mathematics *講演者* Mathieu Marion (カナダ，ケベック大学モントリオール校) *タイトル* Wittgenstein and Philosophy of Mathematics *講演者* Mark van Atten (フランス，パリ科学史科学哲学研究所) *タイトル* Intuitionism as phenomenology: a critique of Rota また国内ゲストはつぎの方たちを含みます．Other guest speakers include: 佐藤雅彦先生 (京都大学) “Formalization of mathematics” 矢田部俊介先生 (産業総合研究所) “Truth theories and co-induction” また，第一日目のプログラム終了時に懇親会 (参加自由) を予定しています． The (tentative) PROGRAM: 2月10日 (Feb 10th. The first Day) *13:00* Henk Barendregt “Philosophy of mathematics, computer mathematics and lambda calculus” *13:30* Discussion and short break *14:30* Mirja Hatimo “Husserl’s Philosophy of mathematics” *15:30* Discussion and short break *16:00* Mathieu Marion “Wittgenstein and Philosophy of Mathematics (tentative)” *17:00* Discussion and short break *18:00* Reception Party at Chuugoku Hanten Restaurant near (a few minutes walk distance from) the conference site/EAST GATE of the Mita Campus (Free for participation) 懇親会 (於中国飯店 <http://www.chuugokuhanten.com/>) 参加自由無料です． 2月11日 (Feb 11th. The second Day) *10:00* Masahiko Sato (Kyoto University) “Formalization of mathematics” *11:00* Discussion and short break *11:30* Lunch Break *13:00* Mark Van Atten “Intuitionism as phenomenology: a critique of Rota” *14:00* Discussion and short break *14:30* Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology, Collaborate Research Team for Verification) “Truth theories and co-induction (tentative)” *15:30* Discussion and short break *16:00* Mitsuhiro Okada (Keio University) “Some Remarks on Equational theories in the early foundational studies of Hilbert and Husserl and Concluding discussions” And Concluding Discussion *17:00* End of the Meeting 参加自由ですが，会場設定や座席の優先確保などのためにできるだけ事前電子登録をお願いいたします。登録先はこちらです。 https://abelard.flet.keio.ac.jp/pom11/registration.html この会議は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンターの主催で行われます． Organized by the Open Research Centre for Logic and Formal Ontology, Keio University. ------------------------------------------------------------------------ Organizing Committee: Mitsuhiro Okada (Keio University) Ryo Takemura (Keio University) Yutaro Sugimoto (Keio University) ------------------------------------------------------------------------ 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局住所:東京都港区三田2-15-45 TEL:03-3453-4511 (内線23847) E-Mail: logic[AT]abelard.flet.keio.ac.jp なお，セミナーの最新の情報は以下のページに掲示する予定です． http://abelard.flet.keio.ac.jp/pom11/ ------------------------------------------------------------------------ /This document was translated from L^A T_E X by //H//^E //V//^E //A/ <http://hevea.inria.fr/index.html>/./

1 0

$B=u65$N8xJg$N$*CN$i$;(B
by Hasegawa Masahito 27 Jan '11

27 Jan '11

$B3'MM(B $B!J=EJ#$7$F$*<u$1<h$j$N@a$O$4MF<O2<$5$$!K(B $B5~ETBg3X?tM}2r@O8&5f=j$G$O!"8=:_!"=u65<c43L>$N8xJg$r9T$J$C$F$*$j$^$9!#(B $B7W;;5!2J3X$d?tM}O@M}3X$r4^$a$??tM}2J3X4XO"J,Ln$+$i$N1~Jg$r4?7^CW$7$^$9!#(B $B8xJg$N>\:Y$K$D$$$F$O!"8&5f=j%Z!<%8(B http://www.kurims.kyoto-u.ac.jp/ja/index.html $B$h$j$4Mw2<$5$$!#(B $B$^$?!"?tM}2r@O8&5f=j$N7W;;5!2J3XJ,[email protected]$H8&5f3hF0FbMFEy$K$D$$$F$O(B http://www.kurims.kyoto-u.ac.jp/~cs/ $B$r$4Mw2<$5$$!#$I$&$>$h$m$7$/$*4j$$CW$7$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B Email: hassei at kurims.kyoto-u.ac.jp URL: http://www.kurims.kyoto-u.ac.jp/~hassei/index-j.html

1 0

1st CFP- THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III)
by Yuping Shen 26 Jan '11

26 Jan '11

*************************************************************************** CALL FOR PAPERS THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III) Guangzhou, China, October 10-13, 2011 URL: http://www.golori.org/lori2011/ *************************************************************************** LORI-III THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION October 10 - 13, 2011 Guangzhou, China CALL FOR PAPERS We invite submissions of contributed paper bearing on any of the broad themes of the LORI workshop series, including knowledge acquisition, use, and management, information exchange, rational action, and rational interaction. Specific topics of interest include but are not limited to: * semantic models for knowledge, for belief, and for uncertainty * dynamic logics of knowledge, information flow, and action * logical analysis of the structure of games * belief revision, belief merging * logics and preferences, compact preference representation * logics of intentions, plans, and goals * logics of probability and uncertainty * logical approaches to decision making and planning * argument systems and their role in interaction * norms, normative interaction, and normative multiagent systems * logical and computational approaches to social choice Papers can be submitted on the Easychair site for the conference and should be no longer than 4,000 words (approximately 12 double spaced pages). PUBLICATION INFORMATION A LNCS Proceedings Volume containing all accepted papers will be available at the workshop. *************************************************************************** Tentative dates Submission Deadline: June 1, 2011 Notification: July 1, 2011 Final version due: August 10, 2011 Conference: October 10 - 13, 2011 ***************************************************************************

1 0

第11回関西集合論セミナ：1月28日（金）大阪府立大学
by Masaru KADA 21 Jan '11

21 Jan '11

logic-ml のみなさま：大阪府立大学嘉田です．下記のとおり，集合論のセミナーを行いますので，ご案内申し上げます． ======== 第11回関西集合論セミナ 2011年1月28日（金）11:00--15:50 大阪府立大学中百舌鳥キャンパス A2棟2階226講義室 11:00--11:40 嘉田勝（大阪府立大学） Remarks on Scheepers' theorem on the cardinality of Lindelof spaces 13:10--14:40 酒井拓史（神戸大学） reflection principles and tree property (joint work with Boban Veclickovic) 15:10--15:50 大須賀昇（神戸大学） Separation of the covering numbers of J_g ======== 講演順，講演時間は変更の可能性あり．最新のスケジュール，講演アブストラクト，会場案内，関連情報は関西集合論セミナのウェブサイトでご覧いただけます． http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Workshop on Logic and Computation: 2月8,9日金沢市能楽美術館
by hirokawa＠jaist.ac.jp 21 Jan '11

21 Jan '11

logic-ml の皆様 JAISTの廣川と申します。2月に金沢市で行われます論理と計算に関するワークショップのご案内を申し上げます。 -------------------------------------------------------------------------------------- Workshop on Logic and Computation February 8–9, Kanazawa http://www.jaist.ac.jp/is/labs/ogawa-lab/wlc11.html -------------------------------------------------------------------------------------- The workshop aims at promoting interactions among logicians from proof theory, computability, and rewriting. Several internationally renowned scientists will participate and contribute talks on recent developments. We welcome participants from all areas and all levels, but due to space restrictions in the venue, the Kanazawa Noh Museum, we kindly ask to contact the organizers at preining(a)jaist.ac.jp beforehand. The tentative program is as follows: February 8: 10:00-11:00 Ulrich Berger (Swansea, UK) Extraction of verified algorithms in exact real arithmetic 11:00-11:20 Break 11:20-12:00 Monika Seisenberger (Swansea, UK) Program Extraction from Constructive and Classical Proofs: Higman's Lemma 12:00-13:50 Lunch break 13:50-14:30 Guillaume Bonfante (Nancy, France) Comparing implicit characterization by program transformations 14:30-15:10 Masahiko Sato (Kyoto, Japan) Formalization of Mathematics 15:10-15:30 Break 15:30-16:10 Christian Fermüller (Vienna, Austria) Parallel Dialogue Games and Hypersequents for Intermediate Logics 16:10-16:50 Nao Hirokawa (Nomi, Japan) Rewriting Techniques in Complexity Analysis February 9: 10:00-11:00 Constantine Tsinakis (Nashville, USA) The Finite Embeddability Property for Algebras of Logic 11:00-11:20 Break 11:20-12:00 Dominik Klein (Nomi, Japan) Maximal Completion 12:00-13:50 Lunch break 13:50-14:30 Matthias Baaz (Vienna, Austria) Epsilon-calculus for non-classical logics 14:30-15:10 Agata Ciabattoni (Vienna, Austria) Power and limits of analytic calculi: towards a systematic proof theory for nonclassical logics 15:10-15:30 Break 15:30-16:10 Norbert Preining (Nomi, Japan) Satsifiability in Gödel Logics 16:10-16:50 Kazushige Terui (Kyoto, Japan) Church => Scott = Ptime: an application of resource sensitive realizability Closing -- 廣川　直　（北陸先端科学技術大学院大学）

1 0

第11回関西集合論セミナ：1月28日（金）大阪府立大学
by Masaru Kada 21 Jan '11

21 Jan '11

logic-ml のみなさま：大阪府立大学嘉田です．下記のとおり，集合論のセミナーを行いますので，ご案内申し上げます． ======== 第11回関西集合論セミナ 2011年1月28日（金）11:00--15:50 大阪府立大学中百舌鳥キャンパス A2棟2階226講義室 11:00--11:40 嘉田勝（大阪府立大学） Remarks on Scheepers' theorem on the cardinality of Lindelof spaces 13:10--14:40 酒井拓史（神戸大学） reflection principles and tree property (joint work with Boban Veclickovic) 15:10--15:50 大須賀昇（神戸大学） Separation of the covering numbers of J_g ======== 講演順，講演時間は変更の可能性あり．最新のスケジュール，講演アブストラクト，会場案内，関連情報は関西集合論セミナのウェブサイトでご覧いただけます． http://www.mi.s.osakafu-u.ac.jp/~kada/kansaiset/ お問い合わせ：嘉田勝（大阪府立大学） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

研究集会：証明論と計算論の数理科学への展開
by YOKOYAMA Keita 20 Jan '11

20 Jan '11

皆様，この度以下のように、東北大学と北陸先端科学技術大学院大学の共催で研究集会を開催することとなりました。奮ってご参加ください．研究集会名：　証明論と計算論の数理科学への展開日時：　平成23年2月21日（月）〜2月24日（木） 20日（日）　チェックイン・受付 21日（月）　午前 problem session 1 21日（月）　午後〜23日（水）　午前 main sessions 23日（水）　午後 student session 24日（木）　午前 problem session 2 場所：　秋保温泉　岩沼屋（仙台市） http://www.iwanumaya.co.jp/ Organizers:　田中一之、石原　哉 Local organizers:　山崎武、Sam Sanders、江口直日、横山啓太研究集会の詳細につきましては以下のホームページを御覧ください． (随時更新されます．) http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ 会場の大きさの関係上，参加される方は事前に以下のフォームにて申し込みを御願いいたします．短い期間で恐縮ですが，1月31日を締め切りとさせていただきます．岩沼屋への宿泊をご希望の方は併せてお申し込みください． ---------------------------------------------- 申込フォーム氏名：所属：所属機関住所：〒電話番号：メールアドレス：参加希望宿泊なしの場合：21日/22日/23日/24日 ※宿泊なしの参加の場合，1日につき1000円程度の参加費(会場使用料)をお願いいたします．宿泊を希望する場合：　日から　日まで　泊　日．(20日から24日の期間のうち) ※宿泊の際の料金は以下の通りです．学生部屋(和室大部屋)：8000円/1泊2食，相部屋(和室)：10000円/1泊2食，個室(洋室シングル)：12000円/1泊2食 (いずれも予定，人数により変更の可能性があります．また，室数の関係からご希望に添えない場合がございます，あらかじめご了承ください．) 上記料金は，1泊につき夕・朝食に加え期間中の会場使用料を含みます．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita(a)math.tohoku.ac.jp

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml