Logic-ml

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

1792 discussions

第49回 MLG 数理論理学研究集会のご案内（再送：講演・宿泊の申し込み締め切り11/21）
by Katsuhiko Sano 30 Oct '14

30 Oct '14

第49回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦と申します。締め切りまで三週間程となりましたので、再度アナウンスさせていただきます。 2014年度MLG数理論理学研究集会（第49回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第49回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2014 年 12 月 5 日(金) 〜 12 月 7 日(日) - 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり） -- 〒922-0126 石川県加賀市山中温泉河鹿町ホ100 -- URL : http://www.daiwaresort.jp/kajikasou/ - 講演・宿泊申込締め切り: 2014 年 11 月 21 日（木） - 申し込みはこちらから --> http://goo.gl/RfZ5SE - ホームページ: https://sites.google.com/site/mlg2014kaga/ - 連絡先E-mail: mlg.logic.japan [at] gmail.com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 12月6日（土）の夜に懇親会を行います。 - 全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。 - ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）3000円をいただきます。 - 参加・講演申し込みは、http://goo.gl/RfZ5SE の registration form からお願い致します。世話人: 佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2014 に関するメールは，mlg.logic.japan [at] gmail.com まで。

1 0

TPP2014: 3rd Announcement and call for participation
by Jacques Garrigue 27 Oct '14

27 Oct '14

皆様、 TPP2014の参加募集案内をお送りします。参加される方、今週中に返事をいただければと思います。 Jacques Garrigue ========================================================================= TPP2014: 3rd Announcement and call for participation ========================================================================= 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内　　　　　　　　　　　　　　　　　　　(English version is below.) 12月3日(水)-5日(金)に九州大学西新プラザにて, 研究集会「高信頼な理論と実装のための定理証明および定理証明器」を開催します. 皆様のご参加をお待ちしています. 日時：2014年 12月3日(水)13:00 〜 12月5日(金)15:00 (予定) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 福岡空港から地下鉄で西新駅まで約20分, その後, 徒歩約10分. プログラム：詳細は未定ですが, 適宜HPを更新予定です. みなさまのご講演をお待ちしています. Adam Chlipala氏とCyril Cohen 氏をお招きして, ご講演頂く予定です. Correct-by-Construction Program Synthesis in Coq, Adam Chlipala (MIT, USA). Mathematical components and algebraic numbers, Cyril Cohen (INRIA Sophia-Antipolis, France). 御講演を頂く予定です. 参加者と講演の数を大体把握しておきたいと思いますので，参加される方は 10月末までに下の参加申し込みを下記メールアドレスまでお送りください．参加者には，できるだけ講演していただければと思います． TPPMARK: 形式証明のための問題を掲示し証明を募集しています. 皆で問題(PDF)を解いて, ワークショップ中に証明を比べようと思います. 証明支援系, 解き方を問わず, みなさまの多くの証明例を募集しています. 証明や質問は下記のメールアドレスに送って下さい. 都合で参加出来ない方の証明の応募も歓迎致します. 申込み・問い合わせ先: tpp2014(a)imi.kyushu-u.ac.jp (溝口佳寛(九州大学)) URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/index_ja.html (注. 作成途中です.「TPP2014 数学」で検索してみて下さい.) ------------------------------------------------------------------------- TPP 2014 参加申し込みお名前：ご所属：講演　：する／しない懇親会：参加する／参加しない講演する場合タイトル：（講演のタイトルが決まっていなければ，TBAでもかまいません．決まったらご連絡ください．）講演希望日: (○/×) 12/3 (○/×) 12/4 (○/×) 12/5 その他(ご意見/ご要望ありましたらお願いします): ------------------------------------------------------------------------- ========================================================================= Workshop: Theorem proving and provers for reliable theory and implementations (TPP2014) This is the call for participation for TPP2014, to be held on Dec. 3(Wed) - 5(Fri), 2014 at Kyushu University. Date: 2014/12/03 around 1pm to 12/05 around 3pm Venue: Nishijin Plaza, Kyushu University (2-16-23 Nishijin, Sawara-ku, Fukuoka City) http://bit.ly/QdaiNishijinPDF Invited Speakers: Correct-by-Construction Program Synthesis in Coq, Adam Chlipala (MIT, USA). Mathematical components and algebraic numbers, Cyril Cohen (INRIA Sophia-Antipolis, France). If you are planning to attend the meeting, please send the information slip below to the indicated address by the end of October. TPPMARK: A problem for a formal proof is attached in our HP. We would like you to solve a problem in your favorite theorem prover, and compare solutions at the workshop. Please send your proof to the email address below. Submission/questions to: 　　　tpp2014(a)imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi) URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/ ------------------------------------------------------------------------- TPP 2014 Registration Name: Affiliation: Will give a talk: Yes/No Will attend the party: Yes/No Title of the talk: (If it is not decided yet, TBA is OK.) Which date do you prefer to talk ? 12/3 (OK/NG) 12/4 (OK/NG) 12/5 (OK/NG) Requests for the organizer (if any): ------------------------------------------------------------------------- =========================================================================

1 0

LICS 2015 - First Call for Papers
by Ichiro Hasuo 22 Oct '14

22 Oct '14

みなさま，来年行われる LICS 2015 の CFP をお送りします（なんと京都開催です！）． ICALP 2015 とも共催で，両方の情報をあわせたウェブページが http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/index.html にあります．ぜひ，投稿また参加をご検討ください．京都でお会いできるのを楽しみにしております．蓮尾一郎東京大学情報理工コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ =========================== CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) July 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ VENUE LICS 2015 will be hosted in Kyoto, Japan during the week 6-10 July 2015 and will be colocated with ICALP 2015. SCOPE 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, 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 and privacy, 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. The exact deadline time on these dates is given by AoE (anywhere on earth). Titles & Short Abstracts Due: January 12, 2015 Extended Abstracts Due: January 19, 2015 Author feedback/rebuttal period: March 12-16, 2015 Author Notification: March 30, 2015 Final Versions Due for Proceedings: April 27, 2015 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via https://www.easychair.org/conferences/?conf=lics2015. SUBMISSION INSTRUCTIONS Every extended abstract must be submitted in the IEEE Proceedings 2-column 10pt format and may not be longer than 12 pages, including references. LaTeX style files are 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. Paper selection will be merit-based, with no a priori limit on the number of accepted papers. Papers authored or co-authored by members of the program committee are not allowed. 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 conference 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 ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. PROGRAM COMMITTEE CHAIR Catuscia Palamidessi, INRIA & E. Polytechnique PROGRAM COMMITTEE Pablo Barceló, U. Chile Gilles Barthe, IMDEA Andrej Bauer, IMFM Lev Beklemishev, Russian Ac. of Sci. Patricia Bouyer-Decitre, CNRS & ENS Cachan Adam Chlipala, MIT Agata Ciabattoni, TU Wien Véronique Cortier, CNRS Loria Pedro D'Argenio, UN Cordoba Anuj Dawar, U. Cambridge Mariangiola Dezani, U. Torino Yuxi Fu, SJTU Rob van Glabbeek, NICTA Ichiro Hasuo, U. Tokyo Martin Hofmann, LMU Delia Kesner, U. Paris Diderot Barbara König, U. Duisburg-Essen Laura Kovács, Chalmers UT Dexter Kozen, Cornell U. Manfred Kufleitner, U. Stuttgart Anthony W. Lin, Yale-NUS College Simone Martini, U. Bologna Madhavan Mukund, Chennai Math. Inst. Filip Murlak, U. Warsaw Gopalan Nadathur, U. Minnesota Frank Pfenning, CMU Ian Pratt-Hartmann, U. Manchester Albert Rubio, U. Barcelona Peter Selinger, Dalhousie U. Alessandra Silva, Radboud U. Tachio Terauchi, JAIST Ashish Tiwari, SRI Bow-Yaw Wang, Academia Sinica CONFERENCE CHAIR Masahito Hasegawa, RIMS, Kyoto U. WORKSHOP CHAIR Patricia Bouyer-Decitre, CNRS & ENS Cachan PUBLICITY CHAIR Andrzej Murawski, University of Warwick LICS ORGANIZING COMMITTEE M. Abadi, L. Aceto, R. Alur, M. P. Bonacina, P. Bouyer-Decitre, K. Chatterjee, A. Compagnoni, A. Dawar, N. Dershowitz, M. Fernandez, M. Grohe, O. Grumberg, T. Henzinger, P. Kolaitis, O. Kupferman, B. Larose, D. Miller, M. Mislove, A. Murawski, C. Palamidessi, L. Ong (chair), P. Panangaden, K. Rose, A. Scedrov, D. Shmoys, M. Valeriote

1 0

ICALP 2015 (Kyoto, 6-10 Jul, 2015)
by Shinya Katsumata 22 Oct '14

22 Oct '14

皆様、来年京都で開催されるICALP 2015 (LICS2015と共催)のご案内をお送りいたします。勝股 ----- ICALP 2015 http://www.kurims.kyoto-u.ac.jp/icalp2015/ First Call for Papers ====================== The 42nd International Colloquium on Automata, Languages, and Programming (ICALP) will take place in the period 6-10 July 2015 in Kyoto, Japan. The conference will co-locate with LICS 2015, the 30th ACM/IEEE Symposium on Logic in Computer Science. The ICALP 2015 conference chair is Kazuo Iwama (Kyoto University). ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, the main conference will be preceded and/or followed by a series of workshops. Important dates --------------- Submission deadline: Tuesday, 17 February 2015, 23:59 PST (Pacific Standard Time, UTC-8) Author notification: 15 April 2015 Final manuscript due: 30 April 2015 Deadlines are firm; late submissions will not be considered. Proceedings ----------- ICALP proceedings are published in the Springer-Verlag ARCoSS (Advanced Research in Computing and Software Science) subseries of LNCS (Lecture Notes in Computer Science). Invited Speakers ================= Ken Kawarabayashi, NII, Japan Valerie King, University of Victoria, Canada Thomas Moscibroda, MSR Asia, China Anca Muscholl, Universitè Bordeaux, France (Joint with LICS) Peter O'Hearn, Facebook, UK (Joint with LICS) Invited Tutorial Speakers (Joint with LICS) ------------------------------------------- Piotr Indyk, MIT, USA Andrew Pitts, University of Cambridge, UK Geoffrey Smith, Florida International University, USA Masterclass speaker ------------------- Ryuhei Uehara, JAIST, Japan Topics ====== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------- * Algorithmic Game Theory * Approximation Algorithms * Combinatorial Optimization * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Cryptography * Data Structures * Design and Analysis of Algorithms * Machine Learning * Parallel, Distributed and External Memory Computing * Randomness in Computation * Quantum Computing Track B: Logic, Semantics, Automata and Theory of Programming ------------------------------------------------------------- * Algebraic and Categorical Models * Automata, Games, and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * Principles and Semantics of Programming Languages * Logic in Computer Science, Theorem Proving and Model Checking * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid and Stochastic Systems * Program Analysis and Transformation * Specification, Refinement, Verification and Synthesis * Type Systems and Theory, Typed Calculi Track C: Foundations of Networked Computation: Models, Algorithms and Information Management ------------------------------------------------------ * Algorithmic Aspects of Networks and Networking * Formal Methods for Network Information Management * Foundations of Privacy, Trust and Reputation in Networks * Mobile and Wireless Networks and Communication * Network Economics and Incentive-Based Computing Related to Networks * Networks of Low Capability Devices * Network Mining and Analysis * Overlay Networks and P2P Systems * Specification, Semantics, Synchronization of Networked Systems * Theory of Security in Networks Submission Guidelines -------------------- Authors are invited to submit an extended abstract of no more than 12 pages, including references, in LNCS style presenting original research on the theory of Computer Science. All submissions will be electronic via the EasyChair page for the conference, with three tracks (A, B and C): https://easychair.org/conferences/?conf=icalp2015 Submissions should be made to the appropriate track of the conference. No prior publication or simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Submissions must adhere to the specified format and length. Submissions that are too long or formatted incorrectly may be rejected immediately. All the technical details that are necessary for a proper scientific evaluation of a submission must be included in a clearly-labelled appendix, to be consulted at the discretion of program committee members. This includes, in particular, the proofs of all the key theorems in a paper. Should I submit my paper to Track A or Track C? ------------------------------------------------ While the scope of Tracks A and B are generally well understood given their long history, the situation for Track C may be less obvious. In particular, some clarifications may be helpful regarding areas of potential overlap, especially between Tracks A and C. The aim for Track C is to be the leading venue for theory papers truly motivated by networking applications, and/or proposing theoretical results relevant to real networking, certified analytically, but not necessarily tested practically. The motivation for the track was the lack of good venues for theory papers motivated by applications in networking. On the one hand, the good networking conferences typically ask for extended experiments and/or simulations, while the TCS community is hardly able to do such experiments or simulations. On the other hand, the good conferences on algorithms tend to judge a paper based only on its technical difficulty and on its significance from an algorithmic perspective, which may not be the same as when judging the paper from the perspective of impact on networks. Several areas of algorithmic study of interest to track C have a broad overlap with track A. Graph algorithmics can belong in either, though if the work is not linked to networking, it is more appropriate in track A. Algorithmic game theory is another area of major overlap. Aspects involving complexity, the computation of equilibria and approximations, belong more in Track A, while results with applications in auctions, networks and some aspects of mechanism design belong in Track C. Finally, it should be noted that algorithms and complexity of message-passing based distributed computing belong squarely in track C, while certain other aspects of distributed computing do not fall under its scope. Best Paper Awards ----------------- As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission. Committees ========== Track A: Algorithms, complexity, and games ------------------------------------------ Peyman Afshani, Aarhus University, Denmark Hee-Kap Ahn, POSTECH, South Korea Hans Bodlaender Utrecht University, The Netherlands Karl Bringmann, Max-Planck Institut für Informatik, Germany Sergio Cabello, University of Ljubljana, Slovenia Ken Clarkson, IBM Almaden Research Center, USA Éric Colin de Verdière, École Normale Supérieure Paris, France Stefan Dziembowski, University of Warsaw, Poland David Eppstein, University of California at Irvine, USA Dimitris Fotakis, National Technical University of Athens, Greece Paul Goldberg, University of Oxford, UK MohammadTaghi Hajiaghayi, University of Maryland at College Park, USA Jesper Jansson, Kyoto University, Japan Andrei Krokhin, Durham University, UK Asaf Levin, Technion, Israel Inge Li Gørtz, Technical University of Denmark, Denmark Pinyan Lu, Microsoft Research Asia, China Frédéric Magniez, Université Paris Diderot, France Kazuhisa Makino, Kyoto University, Japan Elvira Mayordomo, Universidad de Zaragoza, Spain Ulrich Meyer, Goethe University Frankfurt am Main, Germany Wolfgang Mulzer, Free University Berlin, Germany Viswanath Nagarajan, University of Michigan, USA Vicky Papadopoulou, European University Cyprus, Cyprus Michał Pilipczuk, University of Bergen, Norway Liam Roditty, Bar-Ilan University, Israel Ignaz Rutter, Karlsruhe Institute of Technology, Germany Rocco Servedio, Columbia University, USA Jens Schmidt, TU Ilmenau, Germany Bettina Speckmann (chair), TU Eindhoven, The Netherlands Csaba D. Tóth, California State University Northridge, USA Takeaki Uno, National Institute of Informatics, Japan Erik Jan van Leeuwen, Max-Planck Institut für Informatik, Germany Rob van Stee, University of Leicester, UK Ivan Visconti, University of Salerno, Italy Track B: Logic, semantics, automata and theory of Programming ------------------------------------------------------------- Andreas Abel, Chalmers and Gothenburg University, Sweden Albert Atserias, Universitat Politècnica de Catalunya, Spain Christel Baier, TU Dresden, Germany Lars Birkedal, Aarhus University, Denmark, Luís Caires, Universidade Nova de Lisboa, Portugal James Cheney, University of Edinburgh, UK Wei Ngan Chin, National University of Singapore, Singapore Ugo Dal Lago, University of Bologna, Italy Thomas Ehrhard, CNRS, Université Paris Diderot, France Zoltán Ésik, University of Szeged, Hungary Xinyu Feng, University of Science and Technology of China, China Wan Fokkink, VU University Amsterdam, The Netherlands Shin-ya Katsumata, Kyoto University, Japan Naoki Kobayashi (chair), The University of Tokyo, Japan Eric Koskinen, New York University, USA Antonín Kučera, Masaryk University, Czech Republic Orna Kupferman, Hebrew University, Israel Annabelle Mclver, Macquarie University, Australia Dale Miller, INRIA Saclay, France Markus Müller-Olm, University of Münster, Germany Andrzej Murawski, Univeristy of Warwick, UK Joel Ouaknine, Univeristy of Oxford, UK Prakash Panangaden, McGill University, Canada Pawel Parys, University. of Warsaw, Poland Reinhard Pichler, TU Vienna, Austria Simona Ronchi Della Rocca, University of Torino, Italy Jeremy Siek, Indiana University, USA Track C: Foundations of networked computation: Models, algorithms and information management ------------------------------------------------------ Ioannis Caragiannis, Univ. Patras, Greece Katarina Cechlarova, Pavol Jozef Safarik Univ., Slovakia Shiri Chechik, Tel Aviv Univ., Israel Yuval Emek, Technion, Israel Sándor Fekete, TU Braunschweig, Germany Pierre Fraigniaud, CNRS and Paris Diderot, France Leszek Gąsieniec, Univ. Liverpool, UK Aristides Gionis, Aalto Univ., Finland Magnús M. Halldórsson (chair), Reykjavik Univ, Iceland Monika Henzinger, Univ. Wien, Austria Bhaskar Krishnamachari, USC, USAL Fabian Kuhn, Freiburg, Germany Michael Mitzenmacher, Harvard Univ, USA Massimo Merro, Univ. Verona, Italy Gopal Pandurangan, NTU, Singapore Pino Persiano, Salerno, Italy R. Ravi, CMU, USA Ymir Vigfusson, Emory Univ., USA Roger Wattenhofer, ETH Zurich, Switzerland Masafumi Yamashita, Kyushu Univ., Japan

1 0

再送：数学基礎論若の手会（10/29締切）
by YOSHIDA Satoru 17 Oct '14

17 Oct '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014のご案内です。数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日程：11月19日（水）午後－21日（金）午前場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） http://www.city.tottori.lg.jp/www/contents/1198114185831/ 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ 申込み要領については上記ホームページをご参照ください。 -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

PSSJ Symposium
by takeuti＠kuis.kyoto-u.ac.jp 16 Oct '14

16 Oct '14

各位科学哲学会シンポジウムの宣伝を致します。シンポジウム「数学を巡る思索」日時：11月15日（土）14:15〜16:45 会場：南山大学名古屋キャンパスＢ棟B11教室ウェブ：http://pssj.info/program/program.html 会費が1000円掛かります。論理学の観点からは、野本和幸氏のデデキントの数概念に関する講演があります。数学としての話はありません。計算機科学としては、蓮尾さんに会えます。産総研竹内泉 takeuti(a)ni.aist.go.jp

1 0

第101回プログラミング研究会開催案内
by Rei Odaira 13 Oct '14

13 Oct '14

Logic-mlの皆さま、 IBMの大平です。＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊情報処理学会第101回プログラミング研究発表会開催のご案内をさせて頂きます． 11月10日(月)・11日(火)に東京都文京区にて開催されます．最新情報は以下のWEBページに掲載致します． http://staff.aist.go.jp/reynald.affeldt/pro101/index.htm 皆様のご参加をお待ちしております．担当: 大平怜 (日本アイ・ビー・エム東京基礎研究所) AFFELDT Reynald (産業技術総合研究所) ================================================================= 情報処理学会第101回プログラミング研究発表会プログラム ================================================================= 日程: 2014年11月10日(月)・11日(火) 会場: 東京大学創造情報学専攻 I-REF 棟 6階 Hilobby 　　　東京都文京区弥生 1-1-1 　　　http://www.ci.i.u-tokyo.ac.jp/site/?access-j ※ 1件あたり45分 (発表25分，質疑・討論20分) 発表の順番につきましてはまだ確定ではありませんのでご了承ください． 11月10日（月） 2014-3-(1) 10:00-10:45 Unified Memoryを利用したCUDAプログラミングと性能評価土井淳, 今井晴基 (日本アイ・ビー・エム株式会社東京基礎研究所) 2014-3-(2) 10:45-11:30 Ruby向けトレース方式Just-in-timeコンパイラの設計と実装井出真広 (横浜国立大学大学院) 2014-3-(3) 11:30-12:15 Rubyにおけるライトバリアのないオブジェクトを考慮した世代別インクリメンタル GCの実装笹田耕一, 松本行弘 (Heroku, Inc.) 12:15-13:30 昼食 2014-3-(4) 13:30-14:15 A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem 長島正憲, 加藤友郁, 酒井正彦, 西田直樹 (名古屋大学) 2014-3-(5) 14:15-15:00 挿抜可能メソッドに基づく統一的な抽象単位複合機構久野靖 (筑波大学ビジネスサイエンス系) 15:00-15:15 休憩 15:15-16:30 CS領域奨励賞授与式パネルセッション「PROのこれまで目指したことと目指すべきもの」登壇者（予定）：　萩谷昌己（東京大学）　上田和紀（早稲田大学）　河内谷清久仁（日本アイ・ビー・エム株式会社）　南出靖彦（筑波大学；主査）　西崎真也（東京工業大学；司会） 18:00-20:00 懇親会 11月11日（火） 2014-3-(6) 09:30-10:15 CとLuaを容易に埋め込むための言語LuCa 谷村明, 岩崎英哉 (電気通信大学大学院情報理工学研究科) 2014-3-(7) 10:15-11:00 C#プログラム実行時書き換えによるコンテキスト指向プログラミングの実現谷川郁太 (東海大学), 小倉信彦 (東京都市大学), 菅谷みどり (芝浦工業大学 ), 渡辺晴美 (東海大学) 11:00-11:15 休憩 2014-3-(8) 11:15-12:00 グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用小林哲, 佐藤重幸, 岩崎英哉 (電気通信大学大学院情報理工学研究科) 2014-3-(9) 12:00-12:45 Tracing Packrat Parsing 倉光君郎 (横浜国立大学) ================================================================= 大平　怜 (Rei Odaira), Ph.D. IBM Research - Tokyo Phone: +81-3-5144-2847

1 0

TPP2014: 2nd Announcement and call for participation
by Jacques Garrigue 09 Oct '14

09 Oct '14

皆様、 TPP2014の案内をお送りします。更新点は - TPP2014のHPにAdam Chlipala氏の講演タイトル等を掲示しました. http://imi.kyushu-u.ac.jp/lasm/tpp2014/index_ja.html - TPPMARKの問題を掲示し証明を募集しています. 　証明支援系, 解き方を問わず, みなさまの多くの証明例を募集しています. 　よろしく, お願いします. 投稿された証明はclosedなrepositoryに投稿者のみ見えるようにしています. 開催時には全てをopenにさせて頂きます. - 学生の講演者へ若干の旅費の援助を計画しています. 援助を希望される学生の方は, 溝口 tpp2014(a)imi.kyushu-u.ac.jp までご相談下さい. その際には, 手続きの都合上, 10月末までに講演申し込みをお願いします. みなさまの参加をお待ちしています. お気づきの点, ご質問等ありましたら, お知らせ下さい. TPP2014幹事 (溝口佳寛) ========================================================================= 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内　　　　　　　　　　　　　　　　　　　(English version is below.) 12月3日(水)-5日(金)に九州大学西新プラザにて, 研究集会「高信頼な理論と実装のための定理証明および定理証明器」を開催します. 皆様のご参加をお待ちしています. 日時：2014年 12月3日(水)13:00 〜 12月5日(金)17:00 (予定) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 福岡空港から地下鉄で西新駅まで約20分, その後, 徒歩約10分. プログラム：詳細は未定(準備中)です. みなさまのご講演をお待ちしています. Adam Chlipala氏 (MIT, USA), Cyril Cohen 氏 (Univ. Gothenburg, Sweden) をお招きして, Coqおよび Ssreflect, MathCompに関する御講演を頂く予定です. 参加者と講演の数を大体把握しておきたいと思いますので，参加される方は 10月末までに下の参加申し込みを下記メールアドレスまでお送りください．参加者には，できるだけ講演していただければと思います．申込み・問い合わせ先: tpp2014(a)imi.kyushu-u.ac.jp (溝口佳寛(九州大学)) URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/index_ja.html (注. 作成途中です.「TPP2014 数学」で検索してみて下さい.) ------------------------------------------------------------------------- TPP 2014 参加申し込みお名前：ご所属：講演　：する／しない懇親会：参加する／参加しない講演する場合タイトル：（講演のタイトルが決まっていなければ，TBAでもかまいません．決まったらご連絡ください．）講演希望日: (○/×) 12/3 (○/×) 12/4 (○/×) 12/5 その他(ご意見/ご要望ありましたらお願いします): ------------------------------------------------------------------------- ========================================================================= Workshop: Theorem proving and provers for reliable theory and implementations (TPP2014) This is the call for participation for TPP2014, to be held on Dec. 3(Wed) - 5(Fri), 2014 at Kyushu University. Date: 2014/12/03 around 1pm to 12/05 around 3pm Venue: Nishijin Plaza, Kyushu University (2-16-23 Nishijin, Sawara-ku, Fukuoka City) http://bit.ly/QdaiNishijinPDF Invited Speakers: Adam Chlipala (MIT, USA) Cyril Cohen (Univ. Gothenburg, Sweden) If you are planning to attend the meeting, please send the information slip below to the indicated address by the end of October. Submission/questions to: 　　　tpp2014(a)imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi) URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/ ------------------------------------------------------------------------- TPP 2014 Registration Name: Affiliation: Will give a talk: Yes/No Will attend the party: Yes/No Title of the talk: (If it is not decided yet, TBA is OK.) Which date do you prefer to talk ? 12/3 (OK/NG) 12/4 (OK/NG) 12/5 (OK/NG) Requests for the organizer (if any): ------------------------------------------------------------------------- ========================================================================= -- 〒819-0395 福岡市西区元岡744 九州大学　マス・フォア・インダストリ研究所数理棟B1階 (120室) 准教授　溝口　佳寛 Email. ym(a)imi.kyushu-u.ac.jp http://imi.kyushu-u.ac.jp/~ym/ Tel. 092(802)4402 (事務室)

1 0

ACSI 2015: Deadline extended
by Kohei SUENAGA 26 Sep '14

26 Sep '14

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永と申します．来年1月につくばで開催されるSACSISの後継のACSI 2015につきまして，登録締切，原稿締切がそれぞれ2週間延長されました．論文登録の時点で未発表の論文はもちろん，他の会議・雑誌に投稿中でも採否未決定であればこれらの論文に含まれる研究成果の投稿が可能とのことです．（ACSIではプロシーディングスを出さないとのことです．）投稿をどうぞご検討くださいませ．末永幸平 -- 2015年1月につくば市で開催するACSI2015につきまして，一般論文の登録〆切，アップロード〆切をそれぞれ二週間延長することにいたしましたので，ご連絡いたします．変更後の日時は下記の通りです． 2014年10月10日(金) 17:00 一般論文登録〆切（延長しました） 2014年10月17日(金) 17:00 一般論文アップロード〆切（延長しました）皆さまからのご投稿をお待ちしています．本メールの末尾に投稿サイトのURL，CFPを記載しています．適宜，ご参照ください．なお，本メールではACSIへの論文投稿に関してよくある質問に回答させて頂きます． Q.　ACSIで投稿可能な論文（研究成果）はどのようなものでしょうか？ A.　ACSI2015の論文登録の時点で未発表の論文や，他の会議・雑誌に投稿中でも採否が未決定の論文については，これらの論文に含まれる研究成果の投稿が可能です．ACSI登録後，開催日までに別会議・雑誌に採録された場合でも，ACSIにおいて発表することができます．詳細は末尾のCFPをご確認ください． Q.　ACSIで発表するメリットはなんでしょうか？研究会との違いはどこにありますか？ A.　ACSIに投稿することによって，査読者から論文や研究に関するコメントをもらうことができます．ACSIのHP（http://acsi.hpcc.jp/2015/committee.html.ja）に記載の通り，ACSI2015のPCは関連分野における当代のエキスパートにより構成されています．こうした専門家に自身の論文を読んでもらい，客観的なコメントをもらえることは研究会では得られないメリットです．また，査読のない研究会とは異なり，PCによって良質な研究であると認定を受けた上で発表できることは，将来の国際会議・学術雑誌への投稿に向けて著者らの自信を深めるものとなりますし，より幅広い聴衆に興味を持って聞いてもらえる可能性もでてきます． Q.　ACSIでの発表論文は引用可能でしょうか？ A.　ACSIでは会議録を発行しませんが，会議参加者に論文のコピーが配布されます．会議録が発行されていない会議における発表を引用している論文は公に見られるものであり，同様の引用形態は可能と考えます．具体的には， XXX, YYY, ZZZ, "Performance.......", ACSI2015, (2015). のような形で引用することができると考えています．どうぞよろしくお願いします． --------------------------------------------------------------------------------- ACSI2015は論文投稿システムにEasyChairを用います． ACSI2015 EasyChairサイトは以下のURLになります． https://www.easychair.org/conferences/?conf=acsi2015 投稿方法の詳細な説明は以下のURLに記載してあります． http://acsi.hpcc.jp/2015/submission_instruction.html.ja (日本語) http://acsi.hpcc.jp/2015/submission_instruction.html.en (English) 重要日程 2014年10月10日(金) 17:00 一般論文登録〆切（NEW） 2014年10月17日(金) 17:00 一般論文アップロード〆切（NEW） 2014年12月上旬一般論文採否通知 2014年12月中旬ポスター論文〆切 2014年12月下旬ポスター論文採否通知（予定） 2015年1月26日(月)～28日(水) ACSI2015開催 ---------------------------------------------------------------------------------------------------- Call for Papers Annual Meeting on Advanced Computing System and Infrastructure: ACSI2015 (http://acsi.hpcc.jp/) 日時: 2015年1月26日(月)－28日(水) 会場: つくば国際会議場主催（予定）（順不同）　（社）情報処理学会・計算機アーキテクチャ研究会 (ARC) 　同・システムソフトウェアとオペレーティングシステム研究会 (OS) 　同・ハイパフォーマンスコンピューティング研究会 (HPC) 　同・プログラミング研究会 (PRO) 【概要】　ACSI (Annual Meeting on Advanced Computing System and Infrastructure)はJSPP, SACSISの系譜を受け継ぐ，情報処理学会のARC, HPC, OS, PROの4研究会が主催する国内会議です．これらの4つの研究会が対象とする研究分野を中心に，広い意味での先進的な計算を支えるシステムや基盤技術を対象分野とします．　ACSIは，従来のSACSISが担っていた対象研究分野における国内最高峰の研究に関する発表や議論の機会を与えるという目的に加え，これらの良質な研究成果を国際的に発信することを支援し，主催4研究会を中心としたコミュニティの国際発信力を高めることを目的とします．その結果，従来のSACSISから以下のような大きな変更があります．　－SACSISからの変更点－　・論文は英語論文とする　・会議録は会議参加者のみに配布し，一般には公開しない．上記の通り，ACSIにおける発表論文は一般公開されません．そこで，ACSIで発表される研究成果は，別途，国際会議や学術論文誌において英語により発表されることを強く推奨いたします．【査読について】　ACSIにおいて募集する一般論文では査読を行います．査読の主たる目的は，ACSIにおける発表の質を一定水準以上に保つこと，限られた発表枠に対する発表の選定，表彰論文の選出となります．これらに加え，研究に対する客観的な評価やコメントを投稿者が自身の研究において活用し，将来の国際会議・学術論文投稿へ生かすことも目的とします．　なお，査読結果報告に使用する言語は日本語または英語としますが，投稿時に英語による報告を希望する選択を可能とする予定です．【会議録について】　ACSI2015では，一般に公開する会議録を発行しません．但し，各採録論文は，会議参加者のみに対して一定期間（本会議の前後あわせて一週間程度を予定），閲覧可能とします．【一般論文の募集内容】　下記のテーマに関連するオリジナリティ溢れる論文，実装・開発事例等も含め有用性の高い論文，実用性を重視した基盤に関する論文を広く募集します．計算科学アプリケーション数値計算アルゴリズム, ライブラリ大規模データ処理高性能計算環境(スパコン・クラスタ・クラウド) プログラミング言語オペレーティングシステム高速ネットワーキングコンピュータアーキテクチャより詳細な対象研究分野は下記のトラック毎のキーワードをご参照ください．【一般論文の投稿規定・規定スタイル】 (1) IEEEのフォーマット（IEEE conference style，用紙サイズはLetterまたはA4）を用いた10ページ以内の英文による研究論文を募集します．募集対象は，国内外の査読付き雑誌・査読付き会議に既発表/採録決定済みでない論文とします．レターやテクニカルノートなどの，通常の論文とは異なる基準で査読されるカテゴリの発表/投稿も同様の基準で取り扱います．なお，雑誌・会議で既発表/採録決定済みであっても予稿集等がISBN番号あるいはISSN番号を有しない配布物の場合には未発表とみなします． (2) 原稿のテンプレートはhttp://www.ieee.org/conferences_events/conferences/publishing/tem… (3) ページ数は最大で10ページとしますが，将来の投稿予定等の理由から4ページ程度の論文を投稿して頂くことも可能です．ページ数の多寡に関わらず，積極的なご応募をお待ちしています．但し，査読の基準は一律であるため，ページ数が少ないことに起因して提案する内容やその有効性が十分に説明されていない場合には，評価が下がる可能性があります．その点はご留意ください． (4) 使用言語が異なっている，ページ数が大幅に超過している等，規定のフォーマットに従っていない場合にはプログラム委員長の判断で不採択となることがありますのでご注意ください．【一般論文に関する発表】　採択された一般論文の各々について，本会議中に口頭発表を行って頂きます．口頭発表に使用する言語は日本語，英語のいずれでも構いません．また，スライドについても同様とします．聴衆への配慮，国際会議への投稿予定等を総合的に勘案し，発表者各自で適宜使用する言語を選択してください. 【一般論文における表彰】　一般論文では，トラック毎に最大一件のOutstanding Research Awardを選出し，表彰します．　また，学生が第一著者である論文の中からOutstanding Student Research Award一件を選出し，表彰します．なお，Student Research Awardについては，会議における発表者が第一著者でなかった場合，理由を問わず表彰の対象とならないことを付記します．　両賞はいずれも研究内容の質の高さに加え，研究の将来性，実用性を総合的に評価して選出します．論文の完成度よりも研究内容の評価をより重視しますが，論文における論旨の確かさ等，研究内容を他者に的確に伝えているかどうかは評価の対象となります．【ACS論文誌における連携号】　ACSI2015採録通知3週間後頃を目途に投稿を募集する，ACS論文誌（ACSI連携号）を企画します．本連携号では，ACSIへの投稿論文を元にした一般論文の審査をACSIのプログラム委員会がACS編集委員会に協力して行い，通常の投稿論文よりもさらに迅速な審査を目指します．ACSIで発表される研究成果に関する論文投稿先の一つとしてご検討ください．なお，同連携号ではACS論文誌としての基準で審査が行われ，ACSIの論文採録基準と同一ではないことにご留意ください．【ポスター論文】 (1) 一般論文採否決定後，ポスター論文を募集します．投稿受付開始は2014年12月初旬を予定しており，一般論文に準じた形式で分量は英文1～2ページとします．ポスター論文では，構想段階の研究，問題提起などを含めた研究を広く募集し，将来の国際会議への投稿等を視野に入れた参加者間の議論の場を提供します． (2) ポスター論文は英文としますが，会場で貼付するポスターに使用する言語は日本語・英語のいずれでも構いません． (3) 優秀なポスター発表を対象とした表彰を予定しています．プログラム正副委員長および審査を担当するプログラム委員により，ポスター論文の内容およびポスター発表時の審査に基づき選出します．【論文の投稿方法】　投稿方法の詳細な説明を以下のURLに記載しています．　　http://acsi.hpcc.jp/2015/submission_instruction.html.ja (日本語) 　　http://acsi.hpcc.jp/2015/submission_instruction.html.en (English) 　なお，投稿時には，論文の内容に応じて以下の3つの査読トラックのうちの1つを選択していただきます．ただし，列挙されているテーマに属さないなど，トラックの選択が難しい場合には指定しなくてもかまいません．この場合，プログラム委員会で適切なトラックを選択します．また，投稿時にトラックが指定された場合でも，査読に際してプログラム委員会の判断で異なるトラックに移動することもあります．トラックA: アプリケーション, アルゴリズム（トラックチェア: 高橋大介）　計算科学・シミュレーション　数値計算アルゴリズム　数値計算ライブラリ　自動チューニング　大規模データ処理アルゴリズム　省電力アルゴリズム　アルゴリズム耐故障トラックB: プログラミング・システムソフトウェア（トラックチェア: 合田憲人）　オペレーティングシステム　プログラミング言語設計・実装　仮想化技術　データ集約的計算基盤(MapReduce, KVS) 　ファイルシステム　データベース　クラウドコンピューティング　サイバーフィジカルシステム　グリッドコンピューティング　セキュリティ　通信ライブラリ　広域ネットワーキング　大規模システム運用・評価トラックC: システムアーキテクチャ（トラックチェア: 吉瀬謙二）　プロセッサアーキテクチャ　メモリアーキテクチャ　ネットワークアーキテクチャ　ヘテロジニアスアーキテクチャ(GPU, メニーコア) 　リコンフィギャラブルシステム　省電力設計　ディペンダブルシステム　アプリケーション専用アーキテクチャ　組み込みシステム【運営・組織委員】　組織委員長　　朴泰祐（筑波大学）　組織副委員長　　八杉昌宏（九州工業大学）　プログラム委員長　　岩下武史（北海道大学）　プログラム副委員長（一般論文）　　嶋田創（名古屋大学）　プログラム副委員長（ポスター）　　池上努（産業技術総合研究所）　プログラム副委員長（ＡＣＳ論文誌連携）　　鯉渕道紘（情報学研究所）　ローカルアレンジメント委員長　　高野了成（産業技術総合研究所）　会計委員長　　横山大作（東京大学）　広報委員長　　児玉祐悦（筑波大学）　企画展示委員長　　池上努（産業技術総合研究所）　総務委員長　　多田野寛人（筑波大学）【お問い合わせ】　ACSI2015組織委員会 acsi2015 .at. ccs.tsukuba.ac.jp -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

HSCC 2014: Call for Papers
by Kohei SUENAGA 26 Sep '14

26 Sep '14

皆様，京都大学の末永と申します．先日お知らせしましたハイブリッドシステムに関する国際会議 HSCC 2014 の締切 (10月20日) まで一ヶ月を切りましたので，再度 CFP をお送りします．アブストラクト締切が 10月13日です．どうぞ投稿をご検討くださいませ．末永幸平 -- 18th International Conference on Hybrid Systems: Computation and Control April 14-16, 2015, Seattle, USA. URL: http://2015.hscc-conference.org/ Important dates Abstract Submission deadline: October 13, 2014. Full Paper Submission deadline: October 20, 2014. (no extensions possible). Rebuttal phase: December 4 to December 7, 2014. Author notification: December 17, 2014. Camera-ready submission: February 3, 2015. Conference dates: April 14-16, 2015. Conference Scope Hybrid Systems: Computation and Control (HSCC) has long been a leading, single-track conference on foundations, techniques, and tools for analysis, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications include cyber-physical systems (CPS), mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models. In particular, we solicit theoretical as well as applied research papers that present original work combining ideas from computer science and control systems. Topics of interest include, but are not limited to: - Design, synthesis and control - Analysis and verification - Computability and complexity - Programming languages, specification formalisms - Software tool engineering and experimentation - Real-time and resource-aware control for embedded systems - Network science and control over networks - Applications in automotive, avionics, energy, mobile robotics, medical devices, manufacturing, systems biology, transportation, and other areas HSCC 2015 will be part of the 8th CPSWeek (Cyber-Physical Systems Week) to be held in Seattle, USA, collocating 5 conferences: HSCC, the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Conference on High Confidence Networked Systems (HiCoNS), and the Real-Time and Embedded Technology and Applications Symposium (RTAS). Special Issue: Authors of distinguished papers will be invited to submit an extended version of their work for possible publication in a special issue of the journal Nonlinear Analysis: Hybrid Systems. Best Student Paper Award: As established in the previous years, a best student paper award will be given to a contribution which has been primarily authored by a student. Each paper nominated for this award should be co-authored primarily by a student (as certified by the student’s faculty advisor). Repeatability Evaluation: HSCC has a history of publishing strong papers emphasizing computational contributions; however, recreating these computational elements is hard, because details of the implementation are unavoidably absent in the paper. Following a successful inaugural run in 2014, authors of papers accepted to HSCC (in any track) that contain a computational component will be invited to participate in an optional repeatability evaluation process after final submission of the paper in February. Papers that pass will be highlighted at the conference, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Review criteria and suggestions on how to get started on reproducible research are posted at the conference web page (http://2015.hscc-conference.org). Submission Guidelines Submitted papers should present original research that is unpublished and not submitted elsewhere. Regular papers: maximum 10 pages in the 10pt, two-column ACM format. Submission by October 20, 2014 through the EasyChair system. Regular papers should present original research or industrial applications of techniques for design and/or analysis of hybrid systems, or their integration into industrial design flows. Tool and Case-Study papers: maximum 6 pages in the 10pt, two-column ACM format. Submission by October 20, 2014 through the EasyChair system. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques. Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2015 EasyChair submission website: https://www.easychair.org/conferences/?conf=hscc2015 Demo/poster abstracts: Approximately 2 pages. Submission by January 10, 2015 through email to hscc2015(a)easychair.org with “HSCC demo/poster submission” in the subject line. Questions should be directed to the same address. Demo/poster abstracts serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings. Program Chairs Antoine Girard, University of Grenoble, France. Sriram Sankaranarayanan, University of Colorado, Boulder, USA. Publicity Chair Sayan Mitra, University of Illinois, Urbana-Champaign, USA. Repeatability Evaluation Chair Ian Mitchell, University of British Columbia, Vancouver, Canada. Program Committee Erika Abraham, RWTH Aachen University, Germany Matthias Althoff , TU Ilmenau, Germany Shun-ichi Azuma, Kyoto University, Japan Hamsa Balakrishnan, MIT, USA Mireille Broucke, University of Toronto, Canada Krishnendu Chatterjee , IST Austria, Austria Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Motors, USA Alexandre Donzé , UC Berkeley, USA Georgios Fainekos, Arizona State University, USA Eric Feron, Georgia Institute of Technology, USA Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Eric Goubault, CEA France and Ecole Polytechnique, France Radu Grosu, Vienna University of Technology, Austria Maurice Heemels, TU Eindhoven, Netherlands Jun-ichi Imura, Tokyo Institute of Technology, Japan (Samuel) Qing-Shan Jia, Tsinghua University, PR China Marta Kwiatkowska, Oxford University, England Kim Larsen, Aalborg University, Denmark Javad Lavaei, Columbia University, USA John Lygeros, ETH Zurich, Switzerland Sayan Mitra, University of Illinois at Urbana Champaign, USA Jens Oehlerking , Robert Bosch GmbH, Germany Meeko Oishi, University of New Mexico, USA Necmiye Ozay, University of Michigan, USA Carla Piazza, University of Udine, Italy Andre Platzer , Carnegie Mellon University, USA Pavithra Prabhakar, IMDEA Software Institute, Spain Maria Prandini, Politecnico di Milano, Italy Daniel Quevedo, University of Newcastle, Australia Jörg Raisch, TU Berlin, Germany S Ramesh, General Motors, USA Kohei Suenaga, Kyoto University, Japan Danielle Tarraf, Johns Hopkins University, USA P.S. Thiagarajan, National University of Singapore, Singapore Ufuk Topcu, University of Pennsylvania, USA Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Majid Zamani, Technical University of Munich, Germany Naijun Zhan, Chinese Academy of Sciences, PR China\ Steering Committee Rajeev Alur, University of Pennsylvania, USA Bruce Krogh, Carnegie-Mellon University, USA Oded Maler, Verimag, France Claire Tomlin, University of California Berkeley, USA Werner Damm, OFFIS, Germany -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml