Logic-ml

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

7 participants
1772 discussions

ゲーム論的確率論に関する研究集会のご案内および参加募集 11/12~11/14
by Kenshi Miyabe 26 Oct '12

26 Oct '12

ゲーム論的確率論と関連する話題に関する以下のような国際研究集会を開催いたします: http://kenshi.miyabe.name/gtp2012/ 集会名: Fourth Workshop on Game-Theoretic Probability and Related Topics (GTP2012) 日時: 2012年11月12日(月)〜14日(水) 場所: 東京大学本郷工学部6号館セミナー室A,D 招待講演者: Laurent Bienvenu, Gert de Cooman, Bjorn Kjos-Hanssen, Alexander Outkin, Glenn Shafer, Kazuyuki Tanaka, Vladimir Vovk, Vladimir V'yugin 集会の狙い: ゲーム論的確率論を一つの接点として，ランダムネス，(測度論的)確率論，数理統計などの幅広い分野の基礎を統一的に議論する．今回は特にランダムネスに関する最近の研究成果も紹介します．プログラムおよびアブストラクトが以下で見ることができます． http://kenshi.miyabe.name/gtp2012/programme.php 皆様のご参加お待ちしております。なお，本集会は FIRST 合原最先端数理モデルプロジェクト及び科学研究費基盤(A) 22240029 の支援を受けております．東京大学情報理工学系研究科竹村彰通 takemura(a)stat.t.u-tokyo.ac.jp 京都大学数理解析研究所宮部賢志 kmiyabe(a)kurims.kyoto-u.ac.jp -- Kenshi Miyabe email: kmiyabe(a)kurims.kyoto-u.ac.jp Researcher Research Institute for Mathematical Sciences, Kyoto University Kyoto 606-8502 Japan Tel: +81-75-753-7202 / Fax: +81-75-753-7272

1 0

情報処理学会_2012年度第4回プログラミング研究会(2013/01)_発表募集
by suzuki 25 Oct '12

25 Oct '12

logic-mlのみなさま：複数受け取られた場合はご容赦ください。島根大学の鈴木です．この場を借りて2012年度第4回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3-4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です． 2013年1月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は11月12日月曜日(投稿締切は12月14日金曜日)です．よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．また，今回も和文として投稿された論文の英語化を支援する試みを実施します．和文原稿にて採録を判断し，(著者が希望する場合は) 採録決定後に英語化していただいてから掲載致します．この英語化に関する詳細については， http://millsmess.cs.uec.ac.jp/pro/2011-5/english-paper-encouragement.html をご覧ください． 2012年第4回プログラミング研究会(PRO92)発表募集日程: 2013年1月15日(火)・16日(水) 会場: AiAiひろば（鹿児島県奄美市）　　　〒894-0027 鹿児島県奄美市名瀬末広町14-10 発表申込締切: 2012年11月12日(月) 投稿論文原稿提出締切: 2012年12月14日(金) 申込先：鈴木貢 (島根大) 　　　　E-mail: suzuki [at] cis.shimane-u.ac.jp 案内ページ: http://glab.cis.shimane-u.ac.jp/ipsj-pro/pro2012-4/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ をご参照ください．・申込みの際には整理のために，Subject欄に以下をご指定頂けると助かります．「PRO2012-4_発表申込み」（カッコ不要）・できるだけE-mailでお願いします．・申込み後3日以内に返信がない場合はご連絡下さい．・11月4日に島根大が停電を予定していますので，その日を避けてご連絡を頂けますようお願いいたします．

1 0

Dr. Sylvain Salvati Lecture at NII Logic Seminar
by Makoto Tatsuta 24 Oct '12

24 Oct '12

Dr. Sylvain Salvati Lecture at NII Logic Seminar Date: October 31, 2012, 13:30--15:30 Place: National Institute of Informatics, Lecture Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Dr. Sylvain Salvati (INRIA Bordeaux Sud-Ouest) Title: Myhill-Nerode, Loader, Urzyczyn and logical relations Abstract: When trying to define a notion of recognizability on languages over a particular class of structures, it is customary to prove an equivalence between a class of machines and congruences of finite index on those structures. Such equivalences can be coined as "Myhill-Nerode theorems". This talk is going to be centered on such an equivalence concerning languages of simply typed lambda-terms. Here machines are type-checkers based on "uniform intersection types" and finite index congruences are "extensional finite models" of the lambda-calculus. The use of logical relations give a nice way of proving that uniform intersection types and extensional finite models allow to define exactly the same sets of lambda-terms. This result relates two important results of the literature on lambda-calculus: the undecidability of lambda-definability in finite standard models by Loader (2001) and the undecidability of the inhabitation problem for intersection types by Urzyczyn (1999). It shows in particular that these two problems are turing-equivalent, and provides a refinement of Urzyczyn's result. (Joint work with Giulio Mazonetto, Mai Gehrke and Henk Barendregt) 問合せ先: 金沢誠 (国立情報学研究所) e-mail: kanazawa(a)nii.ac.jp

1 0

東北大学ロジックセミナーのご案内(9月2日)
by Naohi Eguchi 23 Oct '12

23 Oct '12

Logic-ml の皆様，東北大学の江口と申します．以下の要領で東北大学ロジックセミナー(田中・山崎研究室) を開催いたします．ご興味のある方は是非参加をご検討ください．日時　平成24年9月2日(金)16時から．場所　東北大学北青葉山キャンパス理学総合棟1201号室．講演者　新井敏康　(千葉大学大学院理学研究科) タイトル　Proof theory of indescribable cardinals アブストラクト I will explain how to lift up the ordinal analyses to set theories of indescribable cardinals. This yields a proof-theoretic reduction of the existence of a $\Pi^{1}_{n+1}$-indescribable cardinal to iterations of $\Pi^{1}_{n}$-indescribabilities over ZF+V=L. 東北大学ロジックセミナーの情報は東北大学ロジックグループのホームページからもご覧いただけます． https://sites.google.com/site/sendailogichomepage/ 江口直日 -- 江口直日東北大学大学院理学研究科数学専攻産学官連携研究員 980-8578 宮城県仙台市青葉区荒巻字青葉6ー3 E-mail: eguchi(a)math.tohoku.ac.jp

1 1

JAIST 多次元セミナー（１１月）
by Hiroakira Ono 16 Oct '12

16 Oct '12

　　　　　JAIST 多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。 (I)　1. 日　　時　平成24年11月9日 (金) 15:15〜16:45 　　2. 場　　所　JAIST 知識科学研究科講義棟1階　 K-1,2 　　3. 講演者　Sebastiaan A. Terwijn 　　　 Department of Mathematics, Radboud University Nijmegen 　　4. 講演題目 Information distance ============= (II)　1. 日　　時　平成24年11月13日（火） 13:15〜15:00 　　2. 場　　所　JAIST 知識科学研究科講義棟2階　 K-3,4 　　3. 講演者　Rosalie Iemhoff 　　　 Department of Philosophy, Utrecht University 　　4. 講演題目 Substitutions and rules ============== なおすでにお知らせしましたように、つぎの講演が１日にあります。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室　　3. 講演者　Melvin Fitting 　　　 Department of Mathematics and Computer Science Lehman College, City University of New York 　　4. 講演題目　Tableau/Sequent Duality ============== これらの講演のアブストラクトは以下をご覧下さい　　http://www.jaist.ac.jp/rcis/seminars また講演会場については以下をご覧下さい　　　http://www.jaist.ac.jp/general_info/access/index.html 　　　北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰、ノルベルト　プライニング　　 http://www.jaist.ac.jp/rcis/en _______________________________________________ Logic-ml mailing list Logic-ml(a)fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

RTA 2013: First Call for Papers
by Nao Hirokawa 15 Oct '12

15 Oct '12

皆様 RTA 2013 の論文募集をご案内致します。今回の RTA はオランダ Eindhoven で行われ、TLCA 2013 との共催となっています。ぜひ投稿をご検討下さい。廣川　直 (JAIST) ************************************************************************* RTA 2013: FIRST CALL FOR PAPERS 24th International Conference on Rewriting Techniques and Applications June 24 - 26, 2013 Eindhoven, The Netherlands collocated with TLCA 2013 as part of RDP 2013 http://www.win.tue.nl/rdp2013/ ************************************************************************* abstract submission February 1 2013 paper submission February 5 2013 rebuttal period March 18-21 2013 notification April 4 2013 final version April 26 2013 ************************************************************************* The 24th International Conference on Rewriting Techniques and Applications (RTA 2013) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013), and several workshops. RDP 2013 will be held at the Eindhoven University of Technology in the Netherlands. *** TOPICS OF INTEREST *** RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; SMT solving; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; XML queries and transformations; systems biology; homotopy theory; implicit computational complexity; Foundations: equational logic; universal algebra; rewriting logic; rewriting models of programs; matching and unification; narrowing; completion techniques; strategies; rewriting calculi; constraint solving; tree automata; termination; complexity; modularity; Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; stochastic rewriting; net rewriting; binding techniques; Petri nets; higher-dimensional rewriting; Implementation: implementation techniques; parallel execution; rewrite and completion tools; certification of rewriting properties; abstract machines; explicit substitutions; automated (non)termination and confluence provers; automated complexity analysis. *** PUBLICATION *** The proceedings of RTA 2013 will be published by LIPIcs (Leibniz International Proceedings in Informatics). LIPIcs is open access, meaning that publications will be available online and free of charge, and authors keep the copyright for their papers. LIPIcs publications are indexed in DBLP. For more information about LIPIcs please consult: <http://www.dagstuhl.de/en/publications/lipics> *** SUBMISSION GUIDELINES *** Submissions must be - original and not submitted for publication elsewhere, - written in English, - a research paper, or a problem set, or a system description, - in pdf prepared with pdflatex using the LIPIcs stylefile: <http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz>, - at most 10 pages for system description, at most 15 pages for the other two types of submissions - submitted electronically through the EasyChair system at: <https://www.easychair.org/conferences/?conf=rta2013>. The page limit and the deadline for submission are strict. Additional material for instance proof details, may be given in an appendix which is not subject to the page limit. However, submissions must be self-contained within the respective page limit; reading the appendix should not be necessary to assess the merits of a submission. *** PROGRAMME COMMITTEE CHAIR *** Femke van Raamsdonk (VU University Amsterdam, The Netherlands) *** PROGRAMME COMMITTEE *** Eduardo Bonelli, National University of Quilmes Byron Cook, Microsoft Research Cambridge Stephanie Delaune, ENS Cachan Gilles Dowek, Inria Paris-Rocquencourt Maribel Fernandez, King's College London Nao Hirokawa, JAIST Ishikawa Delia Kesner, University Paris-Diderot Helene Kirchner, Inria Paris-Rocquencourt Barbara Koenig, University Duisburg Essen Temur Kutsia, Johannes Kepler University Linz Aart Middeldorp, University of Innsbruck Vincent van Oostrom, Utrecht University Femke van Raamsdonk, VU University Amsterdam Kristoffer Rose, IBM Research New York Manfred Schmidt-Schauss, Goethe University Frankfurt Peter Selinger, Dalhousie University Paula Severi, University of Leicester Aaron Stump, The University of Iowa Tarmo Uustalu, Institute of Cybernetics Tallinn Roel de Vrijer, VU University Amsterdam Johannes Waldmann, HTWK Leipzig Hans Zantema, Eindhoven University of Technology *** CONFERENCE CHAIR *** Hans Zantema (Eindhoven University of Technology, The Netherlands) *** STEERING COMMITTEE *** Mauricio Ayala-Rincon, Brasilia University Frederic Blanqui, INRIA Tsinghua University Beijing Salvador Lucas, Technical University of Valencia Georg Moser, University of Innsbruck Masahiko Sakai, Nagoya University Sophie Tison, University of Lille *** FURTHER INFORMATION *** Questions related to submission, reviewing, and programme should be sent to the programme committee chair Femke van Raamsdonk, email femke at few.vu.nl.

1 0

Call for Participation: APLAS and CPP 2012
by Atsushi Igarashi 15 Oct '12

15 Oct '12

logic-ml の皆様， 12月に京都で開催される APLAS と CPP という国際会議の参加募集案内を送らせて頂きます。沢山のご参加をお待ちしております。五十嵐淳 & Jacques Garrigue ====================================================================== CALL FOR PARTICIPATION The 10th Asian Symposium on Programming Languages and Systems (APLAS2012) and The 2nd International Conference on Certified Programs and Proofs (CPP2012) Kyoto, Japan December 11-15, 2012 http://aplas12.kuis.kyoto-u.ac.jp/ (APLAS) http://cpp12.kuis.kyoto-u.ac.jp/ (CPP) APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics and education, that consider certification as a essential paradigm for their work. The 10th APLAS and 2nd CPP will be held together in Kyoto, Japan from December 11 to 15, 2012. The five-day event includes, five invited talks, and two conferences. The common registration site for both conferences is now open at: https://v3.apollon.nta.co.jp/aplas12_cpp12/ Early Registration (until November 10, 2012) Regular | Student -----------------------+----------- APLAS+CPP: JPY 54000 | JPY 36000 APLAS only: JPY 31000 | JPY 22000 CPP only: JPY 31000 | JPY 22000 Venue APLAS and CPP will take place at the Kyoto International Community House, nearby the touristic area of Okazaki, inside Kyoto. Kyoto International Community House 2-1 Torii-cho, Awataguchi, Sakyo-ku, Kyoto 606-8536 Invited Speakers o Jan Vitek (Purdue University) "Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection" o Greg Morrisett (Harvard University) “Scalable Formal Machine Models” o Xavier Leroy (INRIA) “Mechanized Semantics for Compiler Verification” o Gilles Barthe (IMDEA) "Automation in computer-aided cryptography: proofs, attacks and designs" o Naoki Kobayashi (University of Tokyo) "Program Certification by Higher-Order Model Checking" For detailed conference programs, see - http://aplas12.kuis.kyoto-u.ac.jp/program.html - http://cpp12.kuis.kyoto-u.ac.jp/program.html

1 0

セミナー案内
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

国際会議TQC2013のご案内
by NISHIMURA Harumichi 12 Oct '12

12 Oct '12

logic-mlの皆様，名古屋大学の西村と申します．東京大学の村尾先生のご依頼により，量子情報科学の国際会議TQC2013の告知を投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 --以下告知-- ------- Dear Friends, The 8th Conference on the Theory of Quantum Computation, Communication and Cryptography will be held at the University of Guelph, 21st--23rd May 2013. http://www.uoguelph.ca/quigs/tqc2013/index.html There are some interesting news about TQC! The proceedings consisting of accepted papers and a selection of posters will be published electronically in the LIPIcs (Leibniz International Proceedings in Informatics) series. The LIPIcs series guarantees perennial, free and easy electronic access, while the authors will retain the rights over their work (Attribution 3.0 Unported (CC BY 3.0)). Notice that abstract material can be published elsewhere after TQC. For further information please visit http://www.uoguelph.ca/quigs/tqc2013/en/submissions.html Here are the important dates: Submission deadline: *** February 05, 2013 (23:59h in any time zone) *** Notification of acceptance/rejection: March 15, 2013 Registration deadline: April 20, 2013 Short abstracts submission: May 5, 2013 Conference: May 21-23, 2013 Proceedings submission (final version of accepted papers): July 03, 2013 It would be great if you could forward this email to your students/colleagues at your home institution. Please accept our apologies if you receive multiple copies of this message. Best wishes, The TQC2013 Committees tqc2013(a)gmail.com

1 0

教員公募（JAIST 情報科学研究科）
by Nao Hirokawa 11 Oct '12

11 Oct '12

皆様 JAIST 情報科学研究科の教員公募のご案内を致します。案内は以下の PDF からも入手可能です: http://www.jaist.ac.jp/jimu/syomu/koubo/pdf/is_20121005.pdf 廣川直 (JAIST) - - - - 北陸先端科学技術大学院大学情報科学研究科ソフトウェア科学領域募集人員　　助教１名専門分野及び関連する主な業務・研究：ソフトウェア検証分野に関する研究・教育：検証論分野担当教員と協力して、博士前期・　後期課程学生を指導。情報科学研究科の導入講義の　一部を担当。応募資格　採用時に博士の学位を有する方。学生の指導に熱意　を有し、数理論理や形式言語等の基礎理論のソフト　ウェア検証への（ツール実装を含む）応用に意欲を　もって研究を推進する方。国際的な共同研究の推進　に意欲を持つ方。英語を使ってのグローバルコミュ　ニケーション能力のある方（日本語能力は必須とし　ない）。本学では、教員の選考に際して機会均等、　多様性が重要と考え、女性や外国人の採用を積極的　に進めています。着任時期　　平成25年4月1日提出書類１．履歴書(写真添付)および学位証明書の写し、２．研究業績リスト（国際論文誌、査読付国際会議、　　国内論文誌、研究会・国内シンポジウム等の発表　　論文、著書、特許、その他に区別し、新しいもの　　から順番に列記）、３．主要論文の別刷りまたはコピー（3編）、４．主たる研究概要（2000字程度)、５．研究、教育に関連するその他の活動（学術雑誌の　　編集委員、国際会議のプログラム委員等学術的貢　　献や標準化等の社会貢献など、また、受賞、研究　　費調達状況など選考の参考になる事項、過去に担　　当した講義等）、６．今後5年間の研究計画 (2000字程度)、７．教育に対する抱負 (2000字程度)、８．応募者本人の連絡先（郵便宛先と電子メールアド　　レス）、９．推薦書2通、または意見を伺える方2名の氏名・所　　属と連絡先（e-mail）応募締切　　平成24年11月30日当日消印可送付先　　　〒923-1292 石川県能美市旭台1-1 　　　　　　北陸先端科学技術大学院大学　　　　　　情報科学研究科長　浅野　哲夫 ※「教員応募書類在中（ソフトウェア科学領域・助教）」　と朱書して、簡易書留にて郵送のこと。 ※ Eメールにより提出された書類は受け付けません。照会先　情報科学研究科　（共通事務管理課共通事務第二係研究科長秘書）　Tel: 0761-51-1155 　Fax: 0761-51-1149 　e-mail: is-dean(a)jaist.ac.jp その他　本学に関する情報については、 http://www.jaist.ac.jp/index-jp.html をご覧ください。

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml