Logic-ml August 2011

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

11 participants
17 discussions

The 46th MLG Meeting
by Takahiro Seki 11 Sep '11

11 Sep '11

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

1 1

SLACS 2011 のご案内および講演募集（再々送）
by Kamo Hiroyasu 09 Sep '11

09 Sep '11

たびたび失礼します。（重複して受信された場合はご容赦ください。） SLACS 2011 の世話人をおおせつかっている奈良女子大学の鴨浩靖です。まだまだ講演が不足しておりますので、ご案内および講演募集を再々送いたします。第28回記号論理と情報科学研究集会 (SLACS 2011) は，奈良女子大学で開催の予定です．SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．完成された研究のみならず，発展途上の話題も大歓迎です． SLACS 2011 のページは http://taurus.ics.nara-wu.ac.jp/slacs2011/ です。 SLACS全般のページは http://www.sato.kuis.kyoto-u.ac.jp/SLACS です。開催要項開催日：2011年9月12日(月)午前〜 9月13日(火)午後（講演が少ない場合は、開始を遅らせます）場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・講演時間・講演に必要な道具などの情報を slacs2011(a)mensa.ics.nara-wu.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全情報でも結構です。多くの皆さんのご講演・ご参加をお待ちしております。奈良女子大学理学部情報科学科鴨浩靖 _______________________________________________ Logic-ml mailing list Logic-ml(a)sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 1

CFP: LENLS 8 (Logic and Engineering of Natural Language Semantics 8)
by BEKKI Daisuke 31 Aug '11

31 Aug '11

（重複して受け取られた場合はご容赦ください）今年の12/1-3に高松で開催される LENLS8 国際ワークショップのFinal CFPをお送りします。〆切が9/15に延長されました。引き続き、多数の投稿をお待ちしております。また、12/3にはアムステルダム大学のFrank Veltman先生によるチュートリアル講演を予定しています。戸次大介（お茶の水女子大学）照会先：lenls8 [[at]] easychair.org [Apologies for multiple copies] ================================================================= DEADLINE EXTENDED !! DEADLINE EXTENDED !! DEADLINE EXTENDED !! ================================================================= LAST CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 8 (LENLS8) Workshop Site : "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Dates : December 1-3, 2011 Contact Person: Alastair Butler Contact Email : lenls8(a)easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (JST/Tohoku University) Invited Speaker(s): Frank Veltman (University of Amsterdam) Kentaro Inui (Tohoku University) Information on Takamatsu: http://www.takamatsu.or.jp/eng/ http://www.city.takamatsu.kagawa.jp/english/access/ http://www.my-kagawa.jp/eg/ LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI). Call For Papers We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game- and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language This year we especially welcome submissions connected to the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future. On the 3rd December, there will also be special tutorial lectures at the workshop venue by Frank Veltman (University of Amsterdam) and Eric McCready (Aoyama Gakuin University). Submissions: Abstracts (4-6 pages, including figures, bibliography, possible apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls8 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers: We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI2011 selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Tutorial Lectures: Lecturer - Frank Veltman (University of Amsterdam) - Eric McCready (Aoyama Gakuin University) Location "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Time Table (Tentative) 10:00-12:00 Session 1 12:00-13:30 Lunch 13:30-17:30 Session 2 Important dates: Abstract submission deadline (extended) : September 15, 2011 Notification of acceptance : October 10, 2011 Deadline for camera-ready copy : October 28, 2011 Deadline for onsite registration : November 12, 2011 LENLS8 : December 01-02, 2011 Tutorial Lectures : December 03, 2011 Organizing Committee: Alastair Butler (Chair) Daisuke Bekki Eric McCready Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Shunsuke Yatabe Kei Yoshimoto Contact: lenls8 [[at]] easychair.org

1 0

証明論研究集会（第３報）DEADLINE EXTENDED
by Suzuki Toshio 28 Aug '11

28 Aug '11

証明論研究集会（第３報）DEADLINE EXTENDED 皆様首都大学東京の鈴木登志雄です。さて、2011年証明論と計算論研究集会にはまだ講演枠に若干の余裕があります。講演申込みを９月５日（月）までに延長しました。集会期間：９月１２日（月）から１４日（水）（最終日はＳＬＡＣＳとかぶっていません）場所：東京都八王子市首都大学東京国際交流会館中会議室集会のウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2011.html ご講演いただける方は以下にご記入の上、９月５日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki [atmark] tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合、申込みなしでも結構ですが、できれば事前に連絡をいただけるとこちらとしては助かります。宛先は上記と同じです。また、student session と称して、修士課程在学中の方による短い講演（20分から30分程度）の枠も作ります。そちらへの応募も歓迎します。それでは、よろしくお願いいたします。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki [atmark] tmu.ac.jp

1 0

[CFP] 情報処理学会第86回プログラミング研究会
by Kazuyuki Shudo 27 Aug '11

27 Aug '11

皆様、東工大首藤です。発表申込の締切まで一週間を切りました．再度のご案内をさせていただきます．この場を借りて2011年度第3回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています（論文誌投稿を希望しない発表も歓迎します）．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2011年度第3回研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込〆切は9月2日(投稿〆切は10月1日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第86回プログラミング研究会(PRO-2011-3)発表募集日程：　2011年 11月 1日(火)・2日(水) 会場：神奈川近代文学館〒231-0862 横浜市中区山手町110 港の見える丘公園内 http://www.kanabun.or.jp/ 発表申込締切: 2011年 9月 2日(金) 投稿論文原稿提出締切: 2011年 10月 1日(金) 申込先：首藤一幸（東京工業大学）　E-mail: ipsj-pro86 [at] shudo.net 　Tel/Fax: 03-5734-3211 案内ページ: http://www.shudo.net/sigpro/2011-3/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい．

1 0

[参加募集] 日本ソフトウェア科学会第28回大会
by Yukiyoshi Kameyama 25 Aug '11

25 Aug '11

皆様， 9月下旬に沖縄・那覇で開催される日本ソフトウェア科学会第28回大会の参加募集をお送りします．是非御参加ください． -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam -------------------------------------------------------------------------- 日本ソフトウェア科学会第28回大会日時：2011年9月26日(月) [プレイベント] 2011年9月27日(火)〜29日(木) [大会本体] 会場：沖縄産業支援センター・沖縄県市町村自治会館 (沖縄県那覇市) http://jssst11.kuis.kyoto-u.ac.jp/ -------------------------------------------------------------------------- 熱い企画満載です！ -------------------------------------------------------------------------- 日本ソフトウェア科学会では第28回大会を9月27日(火)から29日(木)まで沖縄県那覇市で開催します．今年の大会は，湊真一先生の招待講演をはじめ，特別講演，研究会セッション，ソフトウェア論文セッション，一般セッション，デモ・ポスターセッション，萌芽セッション，チュートリアル，PPLサマースクールなど盛り沢山の内容で開催します．今年から大会本体の事前参加登録が必要となりましたので，ご注意ください．皆様のご参加をお待ちしております． ■概要招待講演・BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開湊　真一 (北海道大学情報科学研究科 / JST ERATO) 特別講演・あみぐるみのための3次元モデリングと製作支援インタフェース (日本ソフトウェア科学会第15回論文賞受賞論文) 五十嵐悠紀, 五十嵐健夫, 鈴木宏正出典：コンピュータソフトウェア, Vol. 26, No. 1, pp. 51-58, 2009 ・Java言語への変換によるポインタ演算の安全な実装方式 (日本ソフトウェア科学会第15回論文賞受賞論文) 上嶋祐紀, 住井英二郎出典：コンピュータソフトウェア, Vol. 26, No. 1, pp. 139-154, 2009 ・Balanced Trees Inhabiting Functional Parallel Programming (ACM ICFP 2011採択論文) 森畑明昌, 松崎公紀出典：16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), 2011 一般の登壇発表・研究会セッション - プログラミング論研究会(PPL) - マルチ・エージェントと協調計算研究会(MACC) 「MACC企画セッション：エージェントシミュレーション」(第一線の研究者による講演) - インタラクティブシステムとソフトウェア研究会(ISS) - ソフトウェア工学の基礎研究会(FOSE) - ディペンダブルシステム研究会(DSW) - ネットワークが創発する知能研究会(EIN) ・ソフトウェア論文セッション・一般セッションデモ・ポスターセッション萌芽セッション(大会と同時開催の併設イベント) プレイベント・チュートリアル「ストリーミングコンピューティングの基礎と実践」 http://www.jssst.or.jp/tutorial/detail/id=131 日時：9月26日(月) 13:00〜18:00 ・PPLサマースクール2011「クラウドのプログラミング」 http://ppl.jssst.or.jp/index.php?ss2011 日時：9月26日(月) 10:00〜17:00 大会の詳細については以下のウェブサイトをご覧ください． http://jssst11.kuis.kyoto-u.ac.jp/ ■参加登録大会本体と萌芽セッションへの参加登録については，日本ソフトウェア科学会事務局が準備する以下の参加登録ページより事前参加登録を行い， 9月20日(火) までに参加費をお振り込みください． https://feb.db-boss.com/asas/seminar/regist.asp?sid=361 当日参加登録は原則として受け付けない予定です．また，プレイベントへの参加方法については各プレイベントのウェブサイトでご確認ください． ■組織大会委員長遠藤聡志 (琉球大学) 運営委員長河野真治 (琉球大学) プログラム委員長八杉昌宏 (京都大学) プログラム委員会八杉昌宏 (委員長, 京都大学) 明石修 (NTT未来ねっと研究所) 五十嵐淳 (京都大学) 伊知地宏 (ラムダ数学教育研究所) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 大沢英一 (はこだて未来大学) 亀山幸義 (筑波大学) 栗原聡 (大阪大学) 河野健二 (慶應義塾大学) 志築文太郎 (筑波大学) 杉山安洋 (日本大学) 中野圭介 (電気通信大学) 並木美太郎 (東京農工大学) 番原睦則 (神戸大学) 細部博史 (国立情報学研究所) 増原英彦 (東京大学) ■お問合せ研究発表，プログラムについてお問合せの際はプログラム委員長(八杉昌宏)宛てに以下へメールをお送りください． yasugi*ＡＴ*kuis.kyoto-u.ac.jp (*ＡＴ*は@に置き換えてください) その他，大会全般についてのお問合せは以下へお願いします． jssst11q*ＡＴ*kuis.kyoto-u.ac.jp (*ＡＴ*は@に置き換えてください) --------------------------------------------------------------------------

1 0

【講演募集】 RIMS 研究集会「記述集合論の展望」 (10/19 〜 21)
by FUJITA Hiroshi 23 Aug '11

23 Aug '11

愛媛大学の藤田です．残暑厳しき候，みなさまいかがお過ごしでしょうか．集合論分野のRIMS研究集会の講演申し込みの第一次締め切りが近付いてまいりましたので，再度お知らせいたします．今年度の集合論分野のRIMS研究集会は，「記述集合論の展望」 (Aspects of Descriptive Set Theory) という表題のもと，日時: 2011年10月19日(水) 9:00 より同21日(金) 17:00 まで会場: 京都大学数理解析研究所 420号室にて開催される運びとなっております．広い意味で記述集合論に関連する諸分野 (実数の集合論，内部モデル，強制法，巨大基数公理，集合論的実解析学，など) の講演を募ります． **** これまでのところ，講演申し込みが少なくてちょっと困っています．講演していただける方は，お名前と所属と職名 (それぞれ英語表記も) 講演タイトル (ひとまず未定でも結構です) を，できれば8月中を目処に藤田博司 (愛媛大学理学部) fujita.hiroshi.mh(a)ehime-u.ac.jp までお知らせください．タイトル未定の場合，どんな分野の話になりそうか大まかにでもお伝えくだされば，プログラム編成上助かります．旅費の補助が必要な方は，あわせてお知らせください．この研究集会の情報は次のWebサイトでも発信いたします． http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.ja.html (日本語) http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html (英語) をご覧ください．英語版ページには短縮URL http://ehimath.zz.tc/sets2011 もご用意しました．随時更新してまいりますのでご覧ください． -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学大学院理工学研究科

1 0

Final Call for Participation: MOL 12
by Makoto Kanazawa 21 Aug '11

21 Aug '11

FINAL CALL FOR PARTICIPATION (Registration closes on August 25, 2011.) 12th Meeting on Mathematics of Language (MOL 12) 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 SATELLITE EVENT Second Workshop on Multiple Context-Free Grammars and Related Formalisms (MCFG+2) Information on http://sites.google.com/site/mol12nara/mcfgplus Contact: mol12(a)googlegroups.com

1 0

第二十二回ALGI（代数，論理，幾何と情報科学研究集会）のプログラム（ほぼ決定）と参加募集
by 西澤弘毅 18 Aug '11

18 Aug '11

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。直前のご連絡になりましたが、第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）のプログラム決定のお知らせと参加の募集をさせていただきます。 ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十二回ALGIを開催することになりました。 **************************************************************** * 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2011年8月23日（火）13:15 〜24日（水）12:30 * * 東京大学　柏キャンパス第2総合研究棟3階315会議室（千葉県柏市）* * * * 開催のお知らせと参加・講演の募集 * **************************************************************** プログラムの詳細はウェブページ http://sakura.math.kyushu-u.ac.jp/algi/22/ に掲載されております。簡略版は下記の通りです。ただし、今後講演申込みがございましたら、 23日の休憩時間を減らすなどして１件のみ対応することが可能です。８月２３日（火） 13:15 - 13:30 オープニング＋連絡など 13:30 - 14:15 星野直彦（京都大学数理解析研究所）演題： A characterisation of unique decomposition categories 14:15 - 14:45 休憩 14:45 - 16:00 宮部賢志（京都大学数理解析研究所）演題： An optimal semimeasure and its convergence 神志那純，潮俊光（大阪大学大学院基礎工学研究科），木下佳樹（産業技術総合研究所）演題：部分観測Mealyオートマトンのスーパバイザ制御への余代数的アプローチ 16:00 - 16:30 休憩 16:30 - 17:30 末永幸平（京都大学情報学研究科日本学術振興会特別研究員 (PD)）演題： Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling 夕方：懇親会（柏キャンパス内「お魚倶楽部　はま」）８月２４日（水）10:00 - 10:45 西澤弘毅（鳥取環境大学）演題： Relational Representation Theorem for Algebraic Quantales with respect to Completely Coprime Elements and Atoms 10:45 - 11:00 休憩 11:00 - 12:00 倉永崇（名古屋大学大学院多元数理科学研究科）演題：認知幾何学に向けて木下佳樹（AIST）演題： NBE through Yoneda revisited in Agda 12:00 - 12:30 クロージング＋連絡などできるだけ多くの皆さんのご参加をお待ちしております。懇親会への参加希望は、初日に受け付けます。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは東京大学の松野裕さんと大島聡史さんにお願いしております。 -- 西澤弘毅鳥取環境大学環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

Open Position at the RCIS/JAIST
by Norbert Preining 16 Aug '11

16 Aug '11

Open Position for one post doctoral researcher at RCIS/JAIST At the Research Center for Integrated Science [1] at the Japanese Advanced Institute of Science and Technology [2] a post doctoral researcher position is open starting from October. Fields of research: Mathematical Logic, in particular Semantic/Proof-theoretic methods in Nonclassical logics (including substructural logics, intermediate and many-valued logics) and related fields Application: Application should comprise a curriculum vitae, a short statement on research interests, preferrably a recommendation letter, per email to ono(a)jaist.ac.jp, preining(a)jaist.ac.jp (both) Deadline for application: 17 September 2011 Inquiries should be sent to the above adresses, too. ONO Hiroakira PREINING Norbert [1] http://www.jaist.ac.jp/rcis/en [2] http://www.jaist.ac.jp/ ------------------------------------------------------------------------ Norbert Preining preining(a){jaist.ac.jp, logic.at, debian.org} JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2011