Logic-ml October 2012

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

15 participants
19 discussions

セミナー案内
by KASHIMA Ryo 13 Oct '12

13 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

CALCO 2013: First Call for Papers
by Ichiro Hasuo 08 Oct '12

08 Oct '12

みなさま，こんにちは！東京大学の蓮尾です．国際会議 CALCO 2013 の案内をお送りします．トピックは代数・余代数・形式検証の理論一般，開催地はポーランド・ワルシャワ，締切は来年2月です．どうか投稿をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/ ---------- Forwarded message ---------- [Apologies for multiple copies] ========================================================================= FIRST CALL FOR PAPERS: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It 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), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. -- INVITED SPEAKERS -- N.N. -- 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 -- NEW TOPICS -- This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged. * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum 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. -- BEST PAPER AND BEST PRESENTATION AWARDS -- For the first time, this edition of CALCO will feature two kinds of awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Jiri Adamek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Université Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara König - University of Duisburg-Essen, D José Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - TU Braunschweig, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Imperial College London, UK Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schröder (Friedrich Alexander Universität Erlangen-Nürnberg). Papers of this workshop will be included in the CALCO proceedings. -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant conference or workshop chairs. Queries related to the organisation should be emailed to calco2013(a)mimuw.edu.pl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

JAIST 多次元セミナー (11月１日）
by Hiroakira Ono 06 Oct '12

06 Oct '12

　　　　JAIST 第43回多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室 http://www.jaist.ac.jp/general_info/access/index.html 　　3. 講演者　Prof. 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/seminar/multi-dimension/43 北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰　　 http://www.jaist.ac.jp/rcis/en

1 0

The 47th MLG Meeting
by Takahiro Seki 03 Oct '12

03 Oct '12

第47回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催いたします。　多くの方のご講演・ご参加をお待ちしております。 ========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　期間: 2012 年 11 月 16 日(金) 〜 11 月 18 日(日) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2012 年 11 月 2 日（金）　世話人：関　隆宏（新潟大学），佐野勝彦（北陸先端科学技術大学院大学）　連絡先E-mail : mlg.logic.japan(a)gmail.com 　ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・11月17日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，11月17日（土）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。・講演・宿泊を希望される方は，11月2日(金)までに下記の形式で電子メールにて　mlg.logic.japan(a)gmail.com　まで申し込んでください。 ----------------------------------- 第47回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　16日(午後) / 17日(午前/午後) / 18日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　16日(夕食/宿泊) / 17日(朝食/昼食/夕食/宿泊) / 18日(朝食) 領収書について：　発行する / 発行しないその他：（講演時間の変更や講演日時の希望等） -----------------------------------

1 0

PLPV 2013 Last Call For Papers
by Makoto Takeyama 03 Oct '12

03 Oct '12

皆様、（重複してお受け取りになられた場合はご容赦ください）産業技術総合研究所の武山と申します。この場をお借りしまして来年1月22日にPOPL 2013に併設して開催される国際ワークショップ PLPV 2013 の Last Call for Papers をご案内させていただきます。プログラミング言語とプログラム検証に跨る話題について、幅広く多くの研究コミュニティーからの論文投稿をお待ちしております。 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge Francois Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Makoto Takeyama <makoto.takeyama(a)aist.go.jp> AIST/RISEC (National Institute of Advanced Industrial Science and Technology / Research Institute for Secure Systems) tel: +81-6-6494-8045

1 0

数学基礎論若手の会２０１２（１１月２３−２５日・奈良）
by Kazushige TERUI 02 Oct '12

02 Oct '12

皆様：京都大学の照井一成と申します．締切が近づいてきましたので再度、今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の照井までお気軽にご連絡ください．日程： 11月23日(金)午後〜 25日(日)午前場所：奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/ 幹事：照井一成 (京都大学) terui(a)kurims.kyoto-u.ac.jp ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html [宿泊・食事] 宿泊は11月23日(金)と24日(土)の2晩，食事は23日(金)の夕食から 25日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 3,250円 (相部屋) 食事：朝食 700円，昼食 800円，夕食 900円 ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． ※ 宿泊や食事を伴わない参加も歓迎します。 [参加申し込み] 参加を希望される方は，幹事の照井にメールにてお申し込みください． <申込締切> 10月25日(木) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 23日(金)の夜 … ○ or × 24日(土)の夜 … ○ or × 食事： 23日(金)夕食 … ○ or × 24日(土)朝食 … ○ or × 24日(土)昼食 … ○ or × 24日(土)夕食 … ○ or × 25日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． ------------------------------------------ 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

LICS 2013 - Call for Papers
by Kazushige TERUI 02 Oct '12

02 Oct '12

CALL FOR PAPERS Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2013) June 25-28, 2013, New Orleans, USA http://www2.informatik.hu-berlin.de/lics/lics13/ LICS 2013 will be hosted by Tulane University, in New Orleans, LA USA, from June 25th to 28th, 2013. LICS 2013 will be co-located with MFPS13 (23-25 June) and CSF13 (28-30 June). The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification. Important Dates: Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 7, 2013 Extended Abstracts Due : January 14, 2013 Author Notification (approximate) : March 22, 2013 Final Versions Due for Proceedings: April 26, 2013 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via http://easychair.org/conferences/?conf=lics2013. Submission Instructions: Every extended abstract must be submitted in the IEEE Proceedings 2-column 10pt format and may not be longer than 10 pages, including references. LaTeX style files will be available on the conference website. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work must be included. (If necessary, detailed proofs of technical results may be included in a clearly-labeled appendix, to be consulted at the discretion of program committee members.) Extended abstracts not conforming to the above requirements will be rejected without further consideration. Papers selection will be merit-based, with no a priori limit on the number of accepted papers. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The program chair must be informed, in advance of submission, of any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present it at the conference. Short Presentations: A session of short presentations, intended for descriptions of student research, works in progress, and other brief communications, is planned. These abstracts will not be published. Dates and guidelines will be posted on the LICS website. Kleene Award for Best Student Paper: An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. Special Issues: Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing and by ACM SIGACT, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. Program Chair: Orna Kupferman, Hebrew University Program Committee: Parosh A. Abdulla, Uppsala University Amal Ahmed, Northeastern Universtiy Sergei Artemov, City University of New York Andrei Bulatov, Simon Fraser University Yijia Chen, Shanghai Jiao Tong University Veronique Cortier, CNRS, Loria Mariangiola Dezani-Ciancaglini, Univ. di Torino Thomas Ehrhard, CNRS, Universite Paris Diderot Javier Esparza, Technische Universitaet Muenchen Kousha Etessami, University of Edinburgh Maribel Fernandez, King’s College London Santiago Figueira, University of Buenos Aires Simon Gay, University of Glasgow Martin Grohe, Humboldt-Universitaet zu Berlin Martin Hofmann, LMU Munich Petr Jancar, Technical University Ostrava Barbara Jobstmann, CNRS, Verimag and Jasper DA Patricia Johann, University of Strathclyde Bakhadyr Khoussainov, The University of Auckland Antonina Kolokolova, University of Newfoundland Victor Marek, University of Kentucky Angelo Morzenti, Politecnico di Milano Lawrence Moss, Indiana University Madhavan Mukund, Chennai Math. Institute Anca Muscholl, Universite Bordeaux Mogens Nielsen, Aarhus University Catuscia Palamidessi, INRIA, Ecole Polytechnique Luc Segoufin, INRIA, ENS Cachan Natarajan Shankar, SRI International Alexandra Silva, Radboud University Nijmegen Balder ten Cate, UC Santa Cruz Kazushige Terui, Kyoto University Ron van der Meyden, Univ. of New South Wales Jeannette M. Wing, Carnegie Mellon University Nobuko Yoshida, Imperial College London Conference Chair: Mike Mislove, Tulane University Workshop Chair: Patricia Bouyer-Decitre, CNRS, ENS Cachan Publicity Chair: Andrzej Murawski, Univ. of Leicester General Chair: Luke Ong, University of Oxford Organizing Committee: Martin Abadi, Luca Aceto, Rajeev Alur, Franz Baader, Paul Beame, Patricia Bouyer-Decitre, Adriana Compagnoni, Anuj Dawar, Nachum Dershowitz, Martin Escardo, Maribel Fernandez, Martin Grohe, Orna Grumberg, Jean-Pierre Jouannaud, Phokion Kolaitis, Orna Kupferman, Benoit Larose, Vlatko Lipovac, Michael Mislove, Georg Moser, Andrzej Murawski, Luke Ong (chair), Andre Scedrov, Philip Scott, David Shmoys, Matt Valeriote Advisory Board: Martin Abadi, Samson Abramsky, Rajeev Alur, Bob Constable, Thierry Coquand, Thomas Henzinger, Phokion Kolaitis, Dexter Kozen, Dale Miller, John Mitchell, Prakash Panangaden, Andrew Pitts, Gordon Plotkin, Moshe Vardi, Glynn Winskel ------------------------------------------ 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2012