Logic-ml December 2014

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

7 participants
10 discussions

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

Logical Inference & Proof 学際会議（Jan 12-13th　Mita Campus Keio Univ）のお知らせ
by Mitsuhiro Okada 26 Dec '14

26 Dec '14

哲学、論理、計算、ソフトウエア科学基礎論、論理の認知・神経科学に関わるつぎのようなインフォーマルな会合を予定していますので、ご案内させていただきます。　慶應義塾大学哲学専攻　岡田光弘 “Logical Inference and Proofs”　Franco-Japanese Interdisciplinary Workshop　Jan 12-13^th 　“論理推論と証明”学際ワークショップ（１月１２日―１３日） (http://abelard.flet.keio.ac.jp/ilip2015/ ) 論理推論と証明に関する, 論理哲学、計算機科学、認知・神経科学などの学際的研究集会を案内させていただきます。(With Logic, Philosophy, Computer Science, Neuroscience, cognitive Science) 参加自由です。 (慶応大三田キャンパス、　Mita Campus, KeioUniversity) ―――――――――――――――――――――――――――――――― 日時：2015年1月1２日（月）13:00*〜18:00 / 1３日(火) 10:00*〜16:00 Date: January 12th (13:00-18:00) /13th (10:00-17:00), 201 東館6階G-Sec Lab () Place: G-Sec Lab, 6th Floor of East Research Building Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html (* 開始時間変更の可能性あり．プログラムは http://abelard.flet.keio.ac.jp/ilip2015/ でアップデートいたします。) ――――――――――――――――――――――――――― （ゲスト講演者リストやプログラム, abstracts情報はイベントページ http://ctj.keio.ac.jp/news/14 にアップデートされます．）参加方法：参加費無料。会場準備のため氏名、所属を明記して「Logical Inference集会参加希望」と件名を記したメールを事務局 logic(a)abelard.flet.keio.ac.jp 宛に1/10 までにお送りください。 (※12日セッション終了後のレセプションも参加自由です。) 主な講演者：フランス側主な講演者 Pierre Wagner ( University of Paris I and Institute of History and Philosophy of Science))　論理哲学 Jean-Baptiste Joinet（ University of Lyon III and Jean-Cavaiiles Institute, ENS-Paris ）論理哲学 Gilles Dowek (INRIA－Coq-Team Leader）タイプ理論・Coqシステム Jérôme Prado（University of Lyon I―CNRS　Language-Brain-Cognition Lab））推論の脳科学 Alberto Naibo (University of Paris I and Institute of History and Philosophy of Science)　証明と計算の論理 Discussantｓinclude Philippe Codognet （CNRS-Tokyo Joint Lab Director, and University of Paris VI）計算機科学日本側講演者 Shigeru Watanabe (Psychology, Keio University)　比較認知神経科学 Kazushige Terui (Mathematical Science Institute, Kyoto University)　情報論理学 Koji Mineshima (Center for Simulation Science, Ochanomizu University)　タイプ理論的言語学その他の日本側講演者は会合Web-siteでupdateします。 Tentative Program and tentative topics (See the conference website for further updated information.) １月１２日（月）１２th Jan. (Mon) １3；００PM　 Session on Proofs and Computation　 Baptiste-Joinet (Computatonal basis of semantics) Kazushige Terui (TBA) Pierre Wagner (Logical Pluralism) Gilles Dowek (Proof, type and Computation) Discussion (Discussion coordinator Phillipe Codognet Discussant Mitsuhiro Okada and others. To be announced. 18:30PM Reception １月１３日（火）13^th Jan. (Tue) 10:00AM Session on Logic and Types Alberto Naibo (Typed vs untyped proof theory) Koji Mineshima (Type theory and natural language) Discussion (Discussion coordinator, Mitsuhiro Okada) Discussants to be announced. 12:30AM-14:00PM Lunch Break 14:00pm Session on Logical Inference and Cognition Shigeru Watanabe (Comparative Cognitive-Neuroscientific Study of logical inference) Jerome Prado (Brain Imaging Study of Logical Inference) Yuri Sato (Cognitive Scientific Study of Logical Inference) Concluding Discussion (Discussion Coordinator Pierre Wagner) Discussants to be announced. 17:30PM Closing お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室） think-judge(a)abelard.flet.keio.ac.jp ―――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター後援：慶応義塾　「論理思考の次世代型研究と論理的思考力、発達支援への応用研究」プロジェクト後援：　新学術領域「予測と意思決定の論理と計算 ----------------------------------------------

1 0

42nd TRS Meeting - Final CFPart
by Naohi Eguchi 22 Dec '14

22 Dec '14

(Apologies for cross-posting) Final Call for Participation 42nd TRS Meeting February 7 - 9, 2015, Tokyo, Japan http://www.math.s.chiba-u.ac.jp/~neguchi/42trsmeeting/ The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on term rewriting and related areas. Every participant is highly encouraged to present recent works possibly in progress. It is perfectly acceptable to explain a paper written by someone else. Date: February 7th (Sat) – 9th (Mon), 2015 Venue: Harumi Grand Hotel 8-1, Harumi 3-chome, Chuo-ku, Tokyo 104-0053 Japan Lodging fees: 31812 yen (2 nights, non-smoking 2 persons' shared room) (breakfasts, banquet (Sat), lunch (Sun), dinner (Sun) included) Tentative Schedule: Meeting: Feb 7 (Sat) 14:00 - Feb 9 (Mon) 12:00 Banquet: Feb 7 (Sat) Registration: Deadline: January 5 (Mon), 2015 Please fill in the following registration form and send it to Naohi Eguchi (neguchi [at] g.math.s.chiba-u.ac.jp) by e-mail. (Items marked with * can be sent later) -------------------------------------------------------------------- Registration Form of the 42nd TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): hotel reservation: (A)/(B) (A) Please accommodate me at Harumi Grand Hotel. February 7 (Sat): yes/no February 8 (Sun): yes/no additional request: (In case of partial accommodation) lunch (Sun): yes/no (B) I will attend without accommodation. February 7 (Sat): yes/no February 8 (Sun): yes/no February 9 (Mon): yes/no banquet (Sat): yes/no lunch (Sun): yes/no -------------------------------------------------------------------- In case of participation without accommodation: Registration fees: 2376 yen /day (for the use of meeting room) Banquet (Sat): 6000 yen Lunch (Sun): 1296 yen Further information can be found at the website of the meeting. 42nd TRS Meeting - Registration http://www.math.s.chiba-u.ac.jp/~neguchi/42trsmeeting/#registration

1 0

CFP: PPL2015 第17回プログラミングおよびプログラミング言語ワークショップ論文募集
by Makoto Hamana 15 Dec '14

15 Dec '14

皆様、群馬大学の浜名です．来年3月に愛媛県松山市道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップのカテゴリ1 論文申込〆切まであと一週間ですので、最終のご案内です． * 新しく設けたカテゴリ4（サーベイ・チュートリアル発表）は発表は30分、申込みは簡単なアウトラインの提出のみで、新規の解説論文などは、なくてもよいものです。こちらの〆切は 1/23 でまだ先ですのでこちらもご検討ください。魅力的な招待講演もありますので、みなさまのご投稿、ご参加をお待ちしております。 -------------------------------------------------------------------------- 第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2015年3月4日(水)〜3月6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」 http://www.dogoprince.co.jp/ PPL2015は、プログラミングおよびプログラミング言語に関する研究者が一堂に会し、最新の研究成果の発表、および新たな研究課題についての討論やアイディア交換等を行うことを目的とした、合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を、カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが、国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません）カテゴリ4【新規】: サーベイ・チュートリアルの発表（既発表・未発表の別を問いません）カテゴリ1の採択論文の中から、特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから、聴衆の投票によりそれぞれ、最も優秀な論文プレゼンテーションには発表賞（一般の部、学生の部．既受賞者は除く）、最も優秀なポスター・デモにはポスター賞【新規】を授与する予定です．カテゴリ1（国内外未発表論文） ---------------------------- 完成した理論やシステムの研究発表のみならず、萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし、PPLでの発表として相応しくないと判断される場合は、この限りではありません）．また、カテゴリ1で発表された研究については、会場での討議や査読コメントをもとにその完成度を高め、将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため、予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は、PPL2015参加者に配布される予稿集に掲載され、参加者のみがアクセス可能な形でWeb上で公開されます（論文へのリンク集ページを作成し、閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち、PPL2015プログラム委員会により優れていると認めるものは、PPL2015終了後（2015年4月下旬予定）、「コンピュータソフトウェア」誌のPPL2015推薦論文としての投稿が可能です．推薦論文は、PPL プログラム委員が引き続き査読を行うことによる、迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが、申し込み多数の場合はプログラム委員会での選考により、発表をご遠慮いただく可能性もございますので、その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また、申し込み多数の場合はプログラム委員会での選考により採否を決定します． ※ショートプレゼンテーションは行いませんカテゴリ4（サーベイ・チュートリアル発表）【新規】 ------------------------------------------------ サーベイはプログラミング言語に関連するトピックについての（発表者の研究も含め）研究動向を紹介する発表、チュートリアルはプログラミング言語に関連する基礎事項について解説する発表を募集します．既発表・未発表の別を問いません．プログラミング言語分野の学生、研究者に役立つような発表を想定しています．また、発表と同じ内容のサーベイ・解説論文の投稿も可能です (サーベイ、解説論文の投稿はオプショナルで必須ではありません)．本カテゴリは、分野間の相互理解と全体の底上げとなる事を期待し、新たに設置するものです．PPLへの関連および関連研究への言及をもとに採録を判定いたします．通常発表と同様の30分での発表を予定していますが、採択件数によっては発表者との相談で延長も考慮します．招待講演 -------- 橋本和幸 (NVIDIA. 元日本シンボリックス株式会社) 1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング Chung-Kil Hur (Seoul National University) Formal C semantics and LLVM compiler validation ====================================================================== 投稿・発表申込要領 4つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ---------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://easychair.org/conferences/?conf=ppl2015 (EasyChairのアカウントが必要です) 発表申込締切：2014年12月22日(月) 17:00 (JST) 著者名、所属、論文タイトル、論文概要（日本語300〜400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2015年1月8日(木) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語、PDF形式）を提出してください．採否通知：2015年2月3日(火) 最終原稿提出締切：2015年2月16日(月) 17:00 (JST) 採録された論文の最終原稿の提出方法は、採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を、他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は、査読の有無に関わらず、その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが、採否の決定に利用する場合があります（他の会議との重複を避けるため、発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） -------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込先： ppl2015-submit [at] kb.is.s.u-tokyo.ac.jp ([at]を@に置き換えてください) 発表申込締切：2015年1月23日(金) 17:00 (JST) 原論文（ページ数不問、PDF形式）とabstract（テキスト形式）を、著者名、所属、論文タイトル、原論文の出典（発表会議名、掲載済／予定の別等）と併せてご提出ください．採否通知：2015年2月5日(木) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は、発表概要においてその旨をご説明ください．発表申込先：https://easychair.org/conferences/?conf=ppl2015poster (EasyChairのアカウントが必要です) 発表申込締切：2015年2月6日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して、著者名、所属、発表タイトル、発表概要（200〜300字程度）を abstract の部分に記入してご提出ください．論文提出のPDFファイルアップロード部分は無視してください．採否通知：2015年2月13日(金) カテゴリ4（サーベイ・チュートリアルの発表） ------------------------------------------ サーベイまたはチュートリアルの提案を募集いたします．発表申込み時に概要の提出を行ってください．概要の内容、PPLへの関連および関連研究への言及をもとに採録を判定いたします．発表申込先： ppl2015-submit [at] kb.is.s.u-tokyo.ac.jp ([at]を@に置き換えてください) 発表申込締切：2015年1月23日(金) 17:00 (JST) 著者名、所属、発表タイトル、発表の概要 (1〜3ページ、PDF形式．目的、カバーする話題、想定する聴衆、必要な知識の記述を含むもの)をご提出ください．新規にサーベイ論文・解説論文をご執筆される場合には、その原稿（ページ数不問・PDF形式）も併せてご提出ください．もし今回と同じ内容の既発表のサーベイ、チュートリアル、解説等があれば、その文書（ページ数不問、 PDF形式）、著者名、所属、タイトル、文書の出典（発表雑誌、掲載済／予定の別等）も併せてご提出ください．採否通知：2015年2月5日(木) 問い合わせ先：ppl2015-oc [at] kb.is.s.u-tokyo.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会青戸等人東北大学浅田和之東京大学岩崎英哉電気通信大学鵜川始陽高知工科大学馬谷誠二京都大学 [プログラム共同委員長] 大岩寛産業技術総合研究所亀山幸義筑波大学河内谷清久仁日本IBM 久野靖筑波大学木村大輔国立情報学研究所宋剛秀神戸大学塚田武志 University of Oxford 中田景子 Tallinn University of Technology 浜名誠群馬大学 [プログラム共同委員長] 平井洋一 FireEye 平石拓京都大学藤田憲悦群馬大学星野直彦京都大学増原英彦東京工業大学渡部卓雄東京工業大学組織委員会松田一孝東京大学 [組織委員長] 浜名誠群馬大学 [プログラム共同委員長] 馬谷誠二京都大学 [プログラム共同委員長] 末永幸平京都大学上野雄大東北大学海野広志筑波大学木村大輔国立情報学研究所 [ポスターセッション幹事] --------------------------------------------------------------------------

1 0

クリスマス・ワークショップ「証明論・計算論とその周辺」
by Kazushige TERUI 15 Dec '14

15 Dec '14

みなさま下記の通り研究集会を開催します。クリスマス期間中ではありますが、よろしければぜひご参加ください。・RIMS研究集会「証明論・計算論とその周辺」　http://www.kurims.kyoto-u.ac.jp/~terui/proof2014.html ・日時：2014年12月24日（水）13:20 − 26日（金）15:40 ・場所：京都大学数理解析研究所１１１号室　（交通アクセス：http://www.kurims.kyoto-u.ac.jp/ja/access-01.html）・プログラム：http://www.kurims.kyoto-u.ac.jp/~terui/program2014.pdf ・懇親会：12月25日18時より「くれしま」にて。会費4,000円。　http://r.gnavi.co.jp/bvfb2hsb0000/ ・懇親会参加希望の方は12月18日（木）までにご連絡ください。 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/ ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

WoLLIC 2015 - Second Call for Papers
by 小野寛晰 11 Dec '14

11 Dec '14

[Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html <http://wollic.org/wollic2015/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (to be confirmed). INVITED SPEAKERS Adriana Compagnoni (Stevens Institute, USA) John Harrison (Intel, USA) Peter Jipsen (Chapman U, USA) Andre Joyal (U du Québec à Montreal, Canada) Chung-chieh Shan (Indiana U, USA) Alexandra Silva (Radboud U Nijmegen, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles <https://risweb.st-andrews.ac.uk/portal/da/persons/juliana-kuster-filipe-bow…> (U St Andrews, Scotland) Guillaume Brunerie <http://www.eleves.ens.fr/home/brunerie/> (ENS Ulm, France) (TBC) Ann Copestake <http://www.cl.cam.ac.uk/~aac10/> (U Cambridge, UK) (TBC) Robin Cooper <http://www.ling.gu.se/~cooper/> (U Gothenburg, Sweden) Nikos Galatos <http://web.cs.du.edu/~ngalatos/>(U Denver, USA) Achim Jung <http://www.cs.bham.ac.uk/~axj/> (U Birmingham, UK) Sara <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> Kalvala <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> (U Warwick, UK) Elham Kashefi <http://www.inf.ed.ac.uk/people/staff/Elham_Kashefi.html> (Edinburgh U, Scotland) Peter Lefanu Lumsdaine <http://www.math.ias.edu/~plumsdaine/> (Institute for Advanced Study, USA) Ian Mackie <http://www.ianmackie.com/> (U Sussex, UK) Gerard de Melo <http://gerard.demelo.org/> (Tsinghua University, China) Vivek Nigam <http://www.nigam.info/> (Federal U of Paraíba, Brazil) Valeria de Paiva <http://www.cs.bham.ac.uk/~vdp/> (Nuance Comm, USA) (CHAIR) Luiz Carlos <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> Pereira <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> (PUC-Rio, Brazil) Elaine Pimentel <https://sites.google.com/site/elainepimentel/> (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva <http://alexandrasilva.org/> (Radboud Nijmegen U, The Netherlands) Carolyn Talcott <http://www.sri.com/about/people/carolyn-talcott> (SRI International, USA) Josef Urban <http://cs.ru.nl/~urban/> (Radboud Nijmegen U, The Netherlands) Laure Vieu <http://www.irit.fr/~Laure.Vieu/> (IRIT-Toulouse, France) (TBC) Renata Wasserman <http://www.ime.usp.br/~renata/> (U São Paulo, Brazil) Anna Zamansky <http://mailng.hevra.haifa.ac.il/~annazam/> (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2015/ <http://wollic.org/wollic2015/>

1 0

CFP: PPL2015 第17回プログラミングおよびプログラミング言語ワークショップ論文募集
by Makoto Hamana 09 Dec '14

09 Dec '14

皆様、群馬大学の浜名です．来年3月に愛媛県松山市道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップご案内(2回目)です．論文申込〆切が近くなってきました。 * カテゴリ1への発表申込(タイトルと概要のみ)の締切は今年 12/22、論文の締切は1/8です。 * 新しく設けたカテゴリ4（サーベイ・チュートリアル発表）は発表は30分、申込みは簡単なアウトラインの提出のみで、新規の解説論文などは、なくてもよいものです。こちらの締切は 1/23 でまだ先ですのでこちらもご検討ください。また、魅力的な招待講演者も決定しました(詳細以下)。ぜひみなさまのご投稿、ご参加をお待ちしております。 -------------------------------------------------------------------------- 第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2015年3月4日(水)〜3月6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」 http://www.dogoprince.co.jp/ PPL2015は、プログラミングおよびプログラミング言語に関する研究者が一堂に会し、最新の研究成果の発表、および新たな研究課題についての討論やアイディア交換等を行うことを目的とした、合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を、カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが、国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません）カテゴリ4【新規】: サーベイ・チュートリアルの発表（既発表・未発表の別を問いません）カテゴリ1の採択論文の中から、特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから、聴衆の投票によりそれぞれ、最も優秀な論文プレゼンテーションには発表賞（一般の部、学生の部．既受賞者は除く）、最も優秀なポスター・デモにはポスター賞【新規】を授与する予定です．カテゴリ1（国内外未発表論文） ---------------------------- 完成した理論やシステムの研究発表のみならず、萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし、PPLでの発表として相応しくないと判断される場合は、この限りではありません）．また、カテゴリ1で発表された研究については、会場での討議や査読コメントをもとにその完成度を高め、将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため、予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は、PPL2015参加者に配布される予稿集に掲載され、参加者のみがアクセス可能な形でWeb上で公開されます（論文へのリンク集ページを作成し、閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち、PPL2015プログラム委員会により優れていると認めるものは、PPL2015終了後（2015年4月下旬予定）、「コンピュータソフトウェア」誌のPPL2015推薦論文としての投稿が可能です．推薦論文は、PPL プログラム委員が引き続き査読を行うことによる、迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが、申し込み多数の場合はプログラム委員会での選考により、発表をご遠慮いただく可能性もございますので、その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また、申し込み多数の場合はプログラム委員会での選考により採否を決定します． ※ショートプレゼンテーションは行いませんカテゴリ4（サーベイ・チュートリアル発表）【新規】 ------------------------------------------------ サーベイはプログラミング言語に関連するトピックについての（発表者の研究も含め）研究動向を紹介する発表、チュートリアルはプログラミング言語に関連する基礎事項について解説する発表を募集します．既発表・未発表の別を問いません．プログラミング言語分野の学生、研究者に役立つような発表を想定しています．また、発表と同じ内容のサーベイ・解説論文の投稿も可能です (サーベイ、解説論文の投稿はオプショナルで必須ではありません)．本カテゴリは、分野間の相互理解と全体の底上げとなる事を期待し、新たに設置するものです．PPLへの関連および関連研究への言及をもとに採録を判定いたします．通常発表と同様の30分での発表を予定していますが、採択件数によっては発表者との相談で延長も考慮します．招待講演 -------- 橋本和幸 (NVIDIA. 元日本シンボリックス株式会社) 1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング Chung-Kil Hur (Seoul National University) Formal C semantics and LLVM compiler validation ====================================================================== 投稿・発表申込要領 4つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ---------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://easychair.org/conferences/?conf=ppl2015 (EasyChairのアカウントが必要です) 発表申込締切：2014年12月22日(月) 17:00 (JST) 著者名、所属、論文タイトル、論文概要（日本語300〜400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2015年1月8日(木) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語、PDF形式）を提出してください．採否通知：2015年2月3日(火) 最終原稿提出締切：2015年2月16日(月) 17:00 (JST) 採録された論文の最終原稿の提出方法は、採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を、他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は、査読の有無に関わらず、その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが、採否の決定に利用する場合があります（他の会議との重複を避けるため、発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） -------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2015 のWeb ページをご確認ください．発表申込締切：2015年1月23日(金) 17:00 (JST) 原論文（ページ数不問、PDF形式）とabstract（テキスト形式）を、著者名、所属、論文タイトル、原論文の出典（発表会議名、掲載済／予定の別等）と併せてご提出ください．採否通知：2015年2月5日(木) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は、発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2015 の Web ページをご確認ください．発表申込締切：2015年2月6日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して、著者名、所属、発表タイトル、発表概要（200〜300字程度）をご提出ください．採否通知：2015年2月13日(金) カテゴリ4（サーベイ・チュートリアルの発表） ------------------------------------------ サーベイまたはチュートリアルの提案を募集いたします．発表申込み時に概要の提出を行ってください．概要の内容、PPLへの関連および関連研究への言及をもとに採録を判定いたします．発表申込方法につきましては PPL2015 の Web ページをご確認ください．発表申込締切：2015年1月23日(金) 17:00 (JST) 著者名、所属、発表タイトル、発表の概要 (1〜3ページ、PDF形式．目的、カバーする話題、想定する聴衆、必要な知識の記述を含むもの)をご提出ください．新規にサーベイ論文・解説論文をご執筆される場合には、その原稿（ページ数不問・PDF形式）も併せてご提出ください．もし今回と同じ内容の既発表のサーベイ、チュートリアル、解説等があれば、その文書（ページ数不問、 PDF形式）、著者名、所属、タイトル、文書の出典（発表雑誌、掲載済／予定の別等）も併せてご提出ください．採否通知：2015年2月5日(木) 問い合わせ先：ppl2015-oc [at] kb.is.s.u-tokyo.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会青戸等人東北大学浅田和之東京大学岩崎英哉電気通信大学鵜川始陽高知工科大学馬谷誠二京都大学 [プログラム共同委員長] 大岩寛産業技術総合研究所亀山幸義筑波大学河内谷清久仁日本IBM 久野靖筑波大学木村大輔国立情報学研究所宋剛秀神戸大学塚田武志 University of Oxford 中田景子 Tallinn University of Technology 浜名誠群馬大学 [プログラム共同委員長] 平井洋一 FireEye 平石拓京都大学藤田憲悦群馬大学星野直彦京都大学増原英彦東京工業大学渡部卓雄東京工業大学組織委員会松田一孝東京大学 [組織委員長] 浜名誠群馬大学 [プログラム共同委員長] 馬谷誠二京都大学 [プログラム共同委員長] 末永幸平京都大学上野雄大東北大学海野広志筑波大学木村大輔国立情報学研究所 [ポスターセッション幹事] --------------------------------------------------------------------------

1 0

Talk by John Power (U. Bath), Mon 15 Dec at UTokyo (Hongo)
by Ichiro Hasuo 09 Dec '14

09 Dec '14

Dear colleagues, John Power from U. Bath is visiting us and he is making a talk Monday next week. Feel free to join us. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Mon 15 Dec 2014, 14:00-15:30 化学東館 236教室（理学部7号館の隣．ご存知ない方は先に理学部7号館415へお越しください） Room 236, Chemistry Building East (“Kagaku-Higashikan”). Next to our building (School of Science Bldg. No. 7) アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) John Power <http://www.bath.ac.uk/comp-sci/contacts/academics/john_power/> (U. Bath), Coalgebraic Logic Programming: from Semantics to Implementation; embracing the laxness (joint with Ekaterina Komendantskaya) Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations fall into infinite loops. Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution of such logic programs can have both recursive and corecursive features at once. Observational and coalgebraic semantics have been used to study them abstractly. However, the programming developments have often occurred separately and have usually been implementation-led. Here, we start to give a coherent semantics-led account of the issues, proceeding from abstract category theoretic semantics and developing coalgebra to try to characterise naturally arising trees. As part of the project but not presented in this talk, the work is proceeding towards implementation of a new dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism.

1 0

QPL 2015: Call for papers
by Ichiro Hasuo 04 Dec '14

04 Dec '14

みなさま，来年7月の QPL 2015 @ Oxford の CFP をお送りします．ぜひ投稿・参加をご検討ください！（Tutorial もあります）蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ================ CALL FOR PAPERS The 12th International Workshop on Quantum Physics and Logic (QPL) July 13-17, Oxford, United Kingdom http://www.cs.ox.ac.uk/qpl2015 The 12th International Workshop on Quantum Physics and Logic (QPL) will take place at the Department of Computer Science of the University of Oxford between Wednesday 15 and Friday 17 July, 2015. The workshop will be preceded by tutorials on Monday 13 and Tuesday 14 July 2015. This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003). INVITED SPEAKERS Paul Busch (University of York) Dan Browne (University College London) Chris Douglas (University of Oxford) TUTORIALS Paul Busch (University of York): Quantum uncertainty Dan Browne (University College London): Teleportation and measurement- based computation Oscar Dahlsten (University of Oxford): Entropy and majorisation in generalised probabilistic theories Pawel Sobocinski (University of Southampton): Graphical linear algebra IMPORTANT DATES Submission Deadline: May 1, 2015 Notification of Acceptance: June 1 Papers Ready: June 15 Tutorials: July 13-14 Workshop: July 15-17 SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2015 There will be an award for the best paper whose authors are all students, at the discretion of the programme committee. REGISTRATION Please visit the website to register. We encourage participation by graduate students, and will be able to provide limited reimbursement to partially support students for travel and accommodation. Further information is found on the workshop website. PROGRAMME COMMITTEE John Baez (University of California Riverside) Dan Browne (University College London) Giulio Chiribella (Tsinghua University) Bob Coecke (University of Oxford) Ross Duncan (University of Strathclyde) Tobias Fritz (Perimeter Institute) Simon Gay (University of Glasgow) Ichiro Hasuo (University of Tokyo) Chris Heunen (University of Oxford, co-chair) Matty Hoban (University of Oxford) Bart Jacobs (Radboud University Nijmegen) Viv Kendon (Durham University) Matt Leifer (Perimeter Institute) Prakash Panangaden (McGill University) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS Nancy) Mehrnoosh Sadrzadeh (Queen Mary University of London) Peter Selinger (Dalhousie University, co-chair) Rob Spekkens (Perimeter Institute) Bas Spitters (Aarhus University) Isar Stubbe (Universite du Littoral-Cote-d'Opale) Jamie Vicary (University of Oxford, co-chair) Mingsheng Ying (University of Technology Sydney, Tsinghua University) STEERING COMMITTEE Bob Coecke (University of Oxford) Prakash Panangaden (McGill University) Peter Selinger (Dalhousie University) LOCAL ORGANISATION Destiny Chen Chris Heunen Jamie Vicary

1 0

The 49th MLG Meeting: Program
by Katsuhiko Sano 01 Dec '14

01 Dec '14

$BBh(B49$B2s(B MLG $B?tM}O@M}3X8&5f=82q$N$40FFb(B $B!J=EJ#$7$F$*<u$1<h$j$N:]$O$4MF<O$/$@$5$$!#!K(B $BKLN&@hC<2J3X5;=QBg3X1!Bg3X$N:4Ln>!I'$G$9!#(B 2014$BG/EY(BMLG$B?tM}O@M}3X8&5f=82q!JBh(B49$B2s!K$r2<5-$NMWNN$G3+:E$7$^$9!#(B $B9V1i!&=IGq$N?=$79~$_$ODy$a@Z$j$^$7$?$,!$;22C$9$k$3$H$O2DG=$G$9!#(B $B$=$N>l9g!";22C?M?t$N4X78$G!$G0$N$?$a;d$^$G%a!<%k$G$40lJs$/$@$5$$(B $B!J;22CHq!J2q>lBe!K(B3000$B1_$r$$$?$@$/M=Dj$G$*$j$^$9!K!#(B $B$I$&$>$h$m$7$/$*4j$$$$$?$7$^$9!#(B ========================================= $BBh(B49$B2s(B MLG $B?tM}O@M}3X8&5f=82q3+:EMWNN(B ========================================= $B4|4V(B: 2014 $BG/(B 12 $B7n(B 5 $BF|(B($B6b(B) $B!A(B 12 $B7n(B 7 $BF|(B($BF|(B) $B>l=j(B: $B;3Cf29@t2O</Aq%m%$%d%k%[%F%k!J(BJR$B2C2l29@t1X$+$i<V$GLs(B20$BJ,!$2C2l29@t1X$+$iAw7^$"$j!K(B $B")(B922-0126 $B@P@n8)2C2l;T;3Cf29@t2O</D.%[(B100, URL : http://www.daiwaresort.jp/kajikasou/ $B%[!<%`%Z!<%8!'(Bhttps://sites.google.com/site/mlg2014kaga/ $B9V1i%W%m%0%i%`!'(B 12/5 (Fri) 1315--1325 $B3+2q(B (opening) 1325--1400 $B;3yu(B $B<S5*;R(B ($B<sETBg3XEl5~(B), Constructive Embedding from Logics of Strict Implication to Modal Logics via Cut-free and complete Labelled Sequent Calculus 1400--1435 $B6b;R(B $B<i(B ($BAa0pEDBg3X(B), Game Theoretic Decidability and Undecidability 1435--1510 $B4X(B $BN49((B ($B?73cBg3X(B), A Note on American Plan Semantics of Relevant Modal Logics 1530--1605 $B0KF#(B $B@.9'(B (JAIST), A relationship between classical and intuitionistic linear logic 1605--1640 $B>>ED(B $BD>M4(B ($BEl5~9)6HBg3X(B), Intuitionistic tree sequent calculus and intuitionistic lambda rho calculus 1640--1715 $BNkLZ(B $B?.9T(B ($B@E2,Bg3X(B), Two weak variants of existence property in intermediate predicate logics 12/6 (Sat) 0930--1005 $B2#9B(B $B63J?(B ($BF|K\Bg3X(B), $BCf4VO@M}$NItJ,BN7O$H$=$NJ]B83HBg$K$D$$$F(B 1005--1040 PREINING Norbert (JAIST), Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences 1100--1135 $B6bBt(B $B@?(B ($B9qN)>pJs3X8&5f=j(B), Toward a Logic of Cumulative Quantification 1135--1210 $B2#;3(B $B7<B@(B (JAIST), What is needed to characterize the natural number system? 1340--1415 $BEDCf(B $B5A?M(B ($B6e=#;:6HBg3X(B), Algebraic models for description logics 1415--1450 Jonni Virtema (JAIST), Tableau calculi for propositional dependence logics 1450--1510 $B:4!9LZ(B $B9nL&(B ($BFn;3Bg3X(B), The exact K4-models constructed from the exact S4-models 1530--1605 $BLnB<(B $B>0?7(B (JAIST), Revising a Labelled Sequent Calculus for Public Announcement Logic 1605--1640 $B5HB<(B $BOB?M(B (JAIST), A general analysis on proof structures 1900-- $B:)?F2q(B (Conference dinner) 12/7 (Sun) 0930--1005 $B2-:d(B $B>MJ?(B ($BElKLBg3X(B), Lindstrom extension on finite models 1005--1040 $B2CF#(B $BH%(B ($BEl5~9)6HBg3X(B), $BM-8B%U%l!<%`$K$*$1$kMMAjO@M}<0$N(Bvalidity$B$H7W;;NL$K$D$$$F(B 1100--1135 $BsnF#(B $B?.?C(B ($BEl5~9)6HBg3X(B), lambda-mu-calculus $B$N?d0\N'$N=|5n(B 1135--1210 $B:4F#(B $B2mI'(B ($B5~ETBg3XL>M@65<x(B), A name-free lambda-calculus 1210--1220 Closing --- MLG49 $B@$OC?M(B $B:4Ln>!I'!JKLN&@hC<2J3X5;=QBg3X1!Bg3X!K(B E-mail : mlg.logic.japan(a)gmail.com / katsuhiko.sano(a)gmail.com

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml December 2014