Logic-ml June 2013

12 participants
15 discussions

SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 04 Aug '13

04 Aug '13

(English below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学の蓮尾です．京都大学数理解析研究所で行うワークショップ SLAGICS 2013: ALGI and SLACS join forces 京都大学数理解析研究所 RIMS研究集会 2013/9/24（火） -- 2013/9/26（木） https://sites.google.com/site/slagics2013/ へのお誘いです． === 背景 ================================ 毎年行われている研究集会 ALGI (Algebra, Logic and Geometry in Informatics) 代数, 論理, 幾何と情報科学研究集会 http://sakura.math.kyushu-u.ac.jp/algi/ と SLACS (Symbolic Logic and Computer Science) 記号論理と情報科学研究集会 http://www.math.s.chiba-u.ac.jp/SLACS/ は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の研究集会として共催をすることにしました．（応募に際してご協力いただいた皆さま，どうもありがとうございました．無事採択されました） 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場にできればと考えております． === プログラム ================================ 9/24 は SLACS day 9/25 は相互乗り入れ day 9/26 は ALGI day とします（なんとなく）．9/25 には，東京大学の塚田武志さん http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ によるゲーム意味論のチュートリアルを予定しています．懇親会は 9/24 です． 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講演の数によっては短縮の可能性があります． === 旅費の補助・宿泊 ================================ 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは https://sites.google.com/site/slagics2013/practical をごらんください． === 参加登録 ================================ https://sites.google.com/site/slagics2013/registration からお願いします．参加登録の締切は， - 旅費希望または北白川学舎宿泊希望のかたは， *** 2013/8/16 （金）*** （ただし基本的に早い者勝ちなので，早めがおすすめです） - それ以外の方は *** 2013/9/13 （金）*** とさせてください．ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね．それでは！ SLAGICS 2013 オーガナイザー星野直彦京都大学数理解析研究所 http://www.kurims.kyoto-u.ac.jp/~naophiko/ 蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ======================================================== SLAGICS 2013: ALGI and SLACS join forces RIMS, Kyoto University 2013/9/24 (Tue) -- 2013/9/26 (Thu) https://sites.google.com/site/slagics2013/ ALGI and SLACS are two series of workshops in Japan whose interests range widely from formal logic and semantics to algebraic geometric, and categorical methods, with emphases on computer science. This year the two series join forces and hold a joint workshop in Kyoto. Though many talks will be in Japanese, your contributed talks in English are most welcome and appreciated. See https://sites.google.com/site/slagics2013/practical-in-english for some practical information. (There will be travel support by courtesy of RIMS, Kyoto University). The registration deadlines are: - *** Fri 16 Aug *** if you'd like travel support or a room at the RIMS accommodation (but do it ASAP since these are first come, first served); - *** Fri 13 Sep *** otherwise. Looking forward to seeing you in Kyoto! Best regards, SLAGICS 2013 Organizers: Naohiko Hoshino RIMS, Kyoto U. http://www.kurims.kyoto-u.ac.jp/~naophiko/ Ichiro Hasuo Dept. CS, U. Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 2

RIMS set theory workshop 2013
by fuchino＠diamond.kobe-u.ac.jp 01 Jul '13

01 Jul '13

今年の RIMS set theory workshop の世話人の渕野昌＠神戸大学システム情報学研究科です．今年 (平成25年度) の workshop は，9月9日(月) から，9月12日(木) の開催予定です．この集会の webpage は http://kurt.scitec.kobe-u.ac.jp/~fuchino/rims2013/RIMS_Set_Theory_Workshop_… にあります．参加申し込みの必要はありませんが，参加者人数の把握をしておきたいので，参加をご予定の方は，講演を予定されていない方でも私にあらかじめ御一報くださると助かります． RIMS からの補助もありますので，学生の方などで補助を御希望の方は御連絡ください．上のページからたどれる日本語のページにも書きましたが，RIMS では，原則として，集会で講演をしなかった人のペーパーは講究録には載せない，というポリシーを昨年からとりはじめたようです．これに対応するために，プログラムでは Short Reports のセクションの設定を計画しています．講演は考慮中だが後で講究録にはペーパーを載せたいと考えていらっしゃる方はこれをご利用ください．今回は，松江のトポロジーの学会がワークショップの直前にあるため，海外からの参加者が多く参加予定です．海外からの参加者の多くは，スーパーホテル四条河原町に泊ってもらうことになる予定です．このホテルに宿泊を御希望の方は，酒井拓史 ( h-sakai(a)mvj.biglobe.ne.jp ) さんが部屋の予約をキープしていますので，彼に連絡をしてください． -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 Japan e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

Logic Seminar at Kobe
by Makoto Kikuchi 27 Jun '13

27 Jun '13

皆様，直前の連絡となり申し訳ございませんが，以下の要領でセミナーを開きます．日時: 2013年7月28日 (金), 10:40-12:10 場所: 神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者: Paul Larson (Miami University, Oxford, Ohio) 題目: Vaught's Conjecture and the Scott Analysis このセミナーは世界的に著名な集合論の専門家によるものですが，内容は数理論理学全般の大学院生を主な対象とした比較的入門的なものです．神戸大学大学院システム情報学研究科情報数理グループでは，こうした数理論理学の入門的なセミナーを半定期的に開催しています．ご興味をお持ちの方があれば下記までご連絡下さい．連絡先：神戸大学大学院システム情報学研究科菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

Kobe Colloquium on Logic, Statistics and Informatics, July 2 (John Pardo)
by Joerg Brendle 27 Jun '13

27 Jun '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年7月2日（火）13:20-14:50 講演者：John Pardo (Pennsylvania State University and JAIST) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Forcing and Basis Theorems in Computability Theory アブストラクト： The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well. I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

CFP: LENLS10 (Logic and Engineering of Natural Language Semantics 10)
by BEKKI Daisuke 17 Jun '13

17 Jun '13

（重複して受け取られた場合はご容赦ください）今年の１０月に東京で開催される LENLS 10 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。戸次大介（お茶の水女子大学／国立情報学研究所） [Apologies for multiple copies] ================================================================= SECOND CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 10 (LENLS 10) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : October 27-28, 2013 Contact Person: Shunsuke Yatabe (West Japan Railway Company) Contact Email : lenls10[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Shunsuke Yatabe (West Japan Railway Company) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Nicholas J.J. Smith (the University of Sydney) - Richard Dietz (the University of Tokyo) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) (http://www.ai-gakkai.or.jp/jsai-isai/2013/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). Aims and Topics: ================ 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-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Submissions: ============ Abstracts (up to 4 pages, including figures and references) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls10 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-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Important dates: ================ Abstract submission deadline: July 31, 2013 Notification of acceptance: August 26, 2013 Deadline for camera-ready copy: September, 2013 LENLS10: October 27-28, 2013 Tutorial Lecture: October 29, 2013 Workshop Organizers/Program Committee: ====================================== - Shunsuke Yatabe (West Japan Railway Company) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Kei Yoshimoto (Tohoku University)

1 0

証明論研究集会（８月８日−９日）
by Kazushige TERUI 16 Jun '13

16 Jun '13

みなさま例年行われている証明論を中心とした研究集会についてご案内させていただきます。昨年度の様子については http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html をご覧ください。今年度は下記の要領で開催します。日時：2013年8月8日（木）午前 − 9日（金）午後　　　　※ただし発表件数によっては10日まで延長の可能性があります。　　　　延長の場合はなるべく早く通知します。　　　　なお5日（月）−7日（水）には数学基礎論サマースクールが開催されます。会場：慶応義塾大学三田キャンパス東館6階G-Sec Lab 　　　http://www1.gsec.keio.ac.jp/text/about_access.php 世話人：照井一成（京都大学）ホームページ：http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 講演をご希望の方は7月11日までに下記を記入の上、terui(a)kurims.kyoto-u.ac.xn--jp-g73aubyah0f2d4208a8fyh. 氏名所属身分（学年）メールアドレス講演タイトル（未定でも可）講演希望時間：長め（４５分〜）・短め（２５分）（※必ずしもご希望に沿えない場合があることをご了承ください。）講演日時：不都合な日時がありましたらお知らせください。 ------------------------------------------ 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

Kobe Colloquium on Logic, Statistics and Informatics, June 25 (Paul Larson)
by Joerg Brendle 11 Jun '13

11 Jun '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年6月25日（火）13:20-14:50 講演者：Paul Larson (Miami University, Oxford, Ohio) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Fragments of MM(c^+) in Pmax extensions アブストラクト： Hugh Woodin invented the forcing construction Pmax in the early 1990's, and proved that MM(c), the restriction of Martin's Maximum to partial orders of cardinality the continuum, holds in the Pmax extension of a model of AD_R + ``Theta is regular". We will survey some recent work (with Caicedo, Sargsyan, Schindler, Steel and Zeman) on getting fragments of MM(c^+) to hold in Pmax extensions of models of stronger forms of determinacy. Of particular interest are various principles asserting the nonexistence of square sequences of length omega_3. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

愛媛大学理学部・教員公募（ 6 日締切）
by FUJITA Hiroshi 09 Jun '13

09 Jun '13

（同一文面で logic-ml と数学会基礎論分科会の kisoron-ml にポストしております。ご了承ください。）愛媛大学の藤田です。この場をお借りして理学部数学科の教員人事の告知をさせてください。位相空間論や集合論的トポロジーあるいは集合論の研究者の応募を広く呼びかけたいと思っております。どうぞご検討くださいませ。下記引用文と同一の文面のPDFファイルを http://www.ehime-u.ac.jp/information/employment/teacher_details.html?new_re… からダウンロードできます。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> =========================================================== 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年６月６日　各　　位　　　　　　　　　　　　　　　　愛媛大学大学院理工学研究科（理学系）　　　　　　　　　　　　　　　　　　　人事委員会委員長　　　宇　野　英　満　　　　　　　　　　　　教員の公募について（依頼）　謹啓　時下ますますご清祥のこととお慶び申し上げます。　さて，このたび当研究科では下記の要領により教員を公募いたします。つきましては，関係各位への周知方並びに適任者の推薦又は応募につきまして，ご高配賜りますようお願い申し上げます。　　　　　　　　　　　　記１．募集人員　　教授または准教授　１名２．所属部門　　大学院理工学研究科数理物質科学専攻数理科学講座３．専門分野　　位相数学及びその周辺の分野４．応募資格　（１）優れた研究業績をあげている方　　　　　　　（２）教育や研究活動並びに大学の運営に熱意をもって取り組める方　　　　　　　（３）博士の学位を有している方５．着任時期　　平成２６年４月１日（予定）６．任　　期　　なし７．提出書類　（１）履歴書（写真貼付、賞罰、所属学会を含むこと）　　　　　　　（２）研究業績リスト（原著論文、総説、著書、研究費取得状況、その他）　　　　　　　（３）主要論文５編程度の別刷（コピー可）　　　　　　　（４）これまでの研究概要とこれからの研究計画（それぞれＡ４紙１枚程度）　　　　　　　（５）これまでの教育経験と今後の教育に関する抱負（Ａ４紙１枚程度）　　　　　　　（６）応募者について照会可能な方２名の氏名と連絡先８．公募締切　　平成２５年８月６日（火）必着９．提出先　　　〒790-8577　松山市文京町２−５愛媛大学大学院理工学研究科（理学系）人事委員会委員長　　宇野　英満 10．問合せ先　愛媛大学大学院理工学研究科数理物質科学専攻数理科学コース　　　　　　　　コース長　　内藤　雄基　　　　　　　　電話：089-927-9564　　Fax：089-927-9560（数学事務室）　　　　　　　　E-mail：ynaito(a)ehime-u.ac.jp 11．その他　　封筒に「数学教員応募書類在中」と朱書し，簡易書留で郵送して下さい。選考の過程で，講演をお願いし，面接を行うことがあります。ただし，旅費は応募者の負担とします。また，応募書類に記載された個人情報は，本人事のみに使用し，応募書類は原則として返却いたしません。なお，採用予定者の氏名は，本学ホームページで公表させていただきます。　　　　　　　愛媛大学では，男女共同参画を積極的に推進しています。数理科学コースホームページ：http://www.math.sci.ehime-u.ac.jp/index.html

1 0

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 06 Jun '13

06 Jun '13

（重複して受け取られた場合はご容赦ください）数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組宿泊設備（1人部屋×3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記の形式に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

APLAS 2013 second call for papers
by Jacques Garrigue 04 Jun '13

04 Jun '13

APLASの締め切りが6月14日に迫って来ました。重複をご容赦下さい。 =============================================================== APLAS 2013 11th Asian Symposium on Programming Languages and Systems 9-11 December 2013 Melbourne, Australia (colocated with CPP 2013) CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 16 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2013 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. (While the general chair and the program chair cannot submit papers, other members of the program committee can.) ===== DATES ===== Abstract due: 10 June 2013 (Monday), 23:59 UTC Submission due: 14 June 2013 (Friday), 23:59 UTC Notification: 26 August 2013 (Monday) Final paper due: 19 September 2013 (Thursday) Conference: 9-11 December 2013 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Peter Schachte (University of Melbourne) Program chair: Chung-chieh Shan (Indiana University) Program committee: Filippo Bonchi (CNRS, ENS-Lyon, France) Yu-Fang Chen (Academia Sinica, Taiwan) Shigeru Chiba (The University of Tokyo, Japan) Jacques Garrigue (Nagoya University, Japan) Robert Glück (University of Copenhagen, Denmark) R. Govindarajan (Indian Institute of Science, India) Kazuhiro Inaba (Google, Inc., Japan) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Shin-ya Katsumata (Kyoto University, Japan) Gabriele Keller (University of New South Wales, Australia) Ana Milanova (Rensselaer Polytechnic Institute, USA) Keisuke Nakano (The University of Electro-Communications, Japan) Hakjoo Oh (Seoul National University, Korea) Bruno C. d. S. Oliveira (National University of Singapore, Singapore) Kaushik Rajan (Microsoft Research, India) Max Schäfer (Nanyang Technological University, Singapore) Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany) Paula Severi (University of Leicester, UK) Gang Tan (Lehigh University, USA) Hiroshi Unno (University of Tsukuba, Japan) Meng Wang (Chalmers University of Technology, Sweden) Jingling Xue (University of New South Wales, Australia) Mingsheng Ying (University of Technology, Sydney, Australia) Kenny Q. Zhu (Shanghai Jiao Tong University, China) ======= CONTACT ======= http://aplas2013.soic.indiana.edu/ aplas2013(a)easychair.org

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2013