Logic-ml June 2015

16 participants
19 discussions

ICALP Satellite Workshop on Quantum Computational Complexity
by NISHIMURA Harumichi 17 Jun '15

17 Jun '15

logic-ml の皆様，国際会議ICALP2015のサテライトワークショップとして以下のような量子計算量に関するワークショップを開催します．ご興味のある方の積極的なご参加をお待ちしております．名古屋大学大学院情報科学研究科西村治道 --------------------------------------------------------------------------- 7月4日京都大学百周年時計台記念館において、ICALP2015のSatellite Workshopとして，量子計算の分野で著名な以下の研究者による講演会を企画しました． URL: http://cs.e.yamagata-u.ac.jp/qcc/ -Richard Cleve (Waterloo University / IQC) -Matthew Coudron (MIT) -Joseph Fitzsimons (Singapore University of Technology and Design) -Keisuke Fujii (Kyoto University) -Troy Lee (CQT Singapore) -Jamie Sikora (CQT Singapore) -Seiichiro Tani (NTT) ICALPに参加されない方でも当日5,000円で参加できます．研究費などから補助がない学生の方の参加費を新学術領域研究「計算限界解明」プロジェクトから補助可能です．詳しくは，下記までお問い合わせください． Email: qcc2015(a)cs.e.yamagata-u.ac.jp ---------------------------------------------------------------------------

1 0

[Last CFP] Symposium on Foundations & Practice of Security (10/26-28, France)
by Lu Yifeng 16 Jun '15

16 Jun '15

皆様直前のＣＦＰで恐縮ですが、下記の国際会議の call-for-papers をお送りいたします。ご投稿をお待ちしております。小川瑞史（北陸先端大） --------------------------------------------------------------------- ****** PLease forgive me if you receive multiple copies ****** Call for Papers =============== **The 8th International Symposium on Foundations & Practice of Security (FPS 2015), Clermont-Ferrand, France, 26-28 October 2015.** Conference Website ------------------ <http://confiance-numerique.clermont-universite.fr/fps2015/> Scope ----- Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. After the previous meetings held in La Rochelle, Montreal, Grenoble, Toronto and Paris, this 8th edition of the FPS symposium will be held in Clermont-Ferrand, France. The aim of FPS is to discuss and exchange theoretical and practical ideas that address security issues in inter-connected systems. It aims to provide scientific presentations as well as to establish links, promote scientific collaboration, joint research programs, and student exchanges between institutions involved in this important and fast moving research field. We also invite papers from researchers and practitioners working in security, privacy, trustworthy data systems and related areas to submit their original papers. The main topics, but not limited to, include: * Computer and Network Security * Formal foundations in Information or Operational Security * Security of Service Oriented Architectures * Information Theoretic Security * Security of Cloud Computing * Security Management and Security Policies * Policy-based Security Architectures * Security of P2P systems * Security & Privacy on Social Networks * Access Control Languages * Data Mining & Watermarking * Cryptography & Cryptanalysis * Threat Analysis and Trust Management * Privacy & Sensitive Data Management * Policy-based Distributed Information Systems * Security in Sensor Networks and RFIDs * Security of Cloud Computing, Grid Computing * Security of Distributed Embedded Middleware * Distributed Security Protocols & Policies * Security and Privacy in Digital Currencies * Malware, Botnet and Advanced Persistent Threats * Code Reverse Engineering and Vulnerability Exploitation * Side Channel & Physical Attacks * Social Engineering Submissions Guidelines ---------------------- Full papers should be at most 16 pages, including the bibliography and appendices. Short papers should be up to 8 pages. Authors should indicate whether their paper is a "position paper" to differentiate them from regular ones (you mention "Position paper" in the title). Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Authors must submit their papers by the deadline indicated below, using the EasyChair web site (using the link http://www.easychair.org/conferences/?conf=fps2015) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer's LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged. Publication ----------- As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper. Committees ------------------ General Chair Pascal Lafourcade (Universite d'Auvergne) Program Committee Co-Chairs Guillaume Bonfante (Mines de Nancy) Joaquin Garcia-Alfaro (Telecom SudParis) Evangelos Kranakis (Carleton University) Publicity Co-Chairs Asia: Mizuhito Ogawa (Japan Advanced Institute of Science and Technology) Europe: Giovanni Livraga (University of Milan) North America: Zhiqiang Lin (University of Texas at Dallas) Program Committee Michel Barbeau (Carleton University) Jordi Castella-Roca (Rovira i Virgili Univ.) Frederic Cuppens (Telecom Bretagne) Nora Cuppens-Boulahia (Telecom Bretagne) Mila Dalla Preda (University of Verona) Josep Domingo-Ferrer (Universitat Rovira i Virgili) Jean-Luc Danger (Telecom ParisTech) Sara Foresti (Univ. degli Studi di Milano) Marc Frappier (Univ. de Sherbrook) Martin Gagne (Wheaton College) Sebastien Gambs (Universite de Rennes) Flavio D. Garcia (University of Birmingham) Diala Haidar (Dar Al Hekma College) Jordi Herrera-Joancomarti (Univ. Aut. de Barcelona) Bruce Kapron (University of Victoria, Canada) Hyoungshick Kim (Sungkyunkwan University) Giovanni Livraga (Univ. degli Studi di Milano) Luigi Logrippo (Univ. du Quebec en Outaouais) Javier Lopez (University of Mﾃ｡laga) Flaminia Luccio (Ca'Foscari University of Venice) Joan Melia-Segui (Universitat Oberta de Catalunya) Ali Miri (Ryerson University) Guillermo Navarro (Univ. Aut. de Barcelona) Jordi Nin (Universitat Politecnica de Catalunya) Melek Onen (Eurecom) Andreas Pashalidisi (K. U. Leuven) Marie-Laure Potet (Ensimag) Silvio Ranise (FBK, Security and Trust Unit) Claudio Soriente (ETH Zurich) Chamseddine Talhi (ETS, Montreal) Nadia Tawbi (Universite LAVAL) Emmanuel Thome (INRIA Lorraine) Alexandre Viejo (Rovira i Virgili University) Lena Wiese (Gottingen University) Nicola Zannone (Eindhoven Univ. of Technology) Nur Zincir Heywood (Dalhousie University) Steering Committee Frederic Cuppens (Telecom Bretagne) Nora Cuppens-Boulahia (Telecom Bretagne) Mourad Debbabi (Concordia University) Joaquin Garcia-Alfaro (Telecom SudParis) Evangelos Kranakis (Carleton University) Pascal Lafourcade (Universite d'Auvergne) Jean-Yves Marion (Mines de Nancy) Ali Miri (Ryerson University) Rei Safavi-Naini (Calgary University) Nadia Tawbi (Universite Laval) Submission Website ------------------ <http://www.easychair.org/conferences/?conf=fps2015> Important Dates --------------- Submission Deadline: | June 14, 2015 Acceptance Notification: | August 17, 2015 Camera Ready: | September 13, 2015 Conference: | October 26-28, 2015, Clermont-Ferrand, France

2 2

ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ
by 西澤弘毅 15 Jun '15

15 Jun '15

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと講演の募集をさせていただきます。 **************************************************************** * 第二十六回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2015年8月31日（月）午後～9月1日（火） * * 公立鳥取環境大学本部講義棟27講義室（鳥取県鳥取市） * * * * 開催のお知らせと講演の募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十六回ALGIを開催することになりました。開催期間及び開催場所は上記のとおりです。会場の手配などは公立鳥取環境大学の吉田聡先生にお願いしています。初日は午後から開催いたします。最終日の午後まで開催するかどうかは、講演の数によります。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

セミナー案内
by KASHIMA Ryo 13 Jun '15

13 Jun '15

数理論理学セミナーのお知らせ【本セミナーは定期的に東工大で開催しているものです。初めて参加される方は前日までにご連絡ください。】日時：6月19日(金) 16:30 場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 話者：田中一之（東北大）題目：決定問題とオートマトン概要： 1920年代にヒルベルト学派が数理論理学の中心テーマとして掲げた「決定問題」は，狭義には1階論理における真偽を判定する手続きを求める問題である．これはゲーデルやチューリングによってすぐに否定的に解かれたが，その後も様々な角度から類似の問題が提起され，肯定的にも否定的にも豊富な結果と解決手法が生れた．肯定的な手法としてはオートマトンの利用がしばしば有効であることが知られているが，その方法はもちろん万能ではなく，決定可能と不可能の分水嶺となる興味深い現象も数多く見られる．本講演では，周辺の話題に広く触れ，予備知識を仮定せずに決定問題の数理へと誘いたい。参考文献：D．クライアン他著田中訳『ロジックの世界』講談社ブルーバックス 2015年3月．田中一之『ゲーデル、チューリング、超パズル』東京大学出版会 UP 2015年5月号．田中一之『「イミテーション・ゲーム」と数学映画の楽しみ方』数学セミナー2015年7月号． ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

CCA 2015 と併設ワークショップの御案内
by Akitoshi Kawamura 06 Jun '15

06 Jun '15

皆様計算可能解析学の国際会議　　Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015) 　　平成27年7月12～15日　明治大学駿河台キャンパス（東京都千代田区）　　http://cca-net.de/cca2015/ の参加登録を受付けておりますので御案内申し上げます。 http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/ こちらのページより御登録下さい（参加費12000円（懇親会ナシの場合2000円）は当日受付にてお支払い下さい）。早期・晩期の参加費の違いは設けておりませんが、準備の都合上なるべく早めに登録頂けますと幸いです。特に懇親会参加の場合は今月中の御登録をお願い致します。初日である7月12日（日）には　　日独ワークショップ「実数計算の理論と実際」を開催します。こちらは計算理論と数値計算の協働的発展を目指し、双方の専門家が基礎から最近の話題まで紹介するワークショップで、この日だけなら参加無料・申込不要です。詳しくは上記ウェブページを御覧下さい。皆様の御参加をお待ち申し上げます。 -- 河村彰星東京大学大学院総合文化研究科広域科学専攻広域システム科学系 2015-02-03 11:39 GMT+09:00 Hajime Ishihara <ishihara(a)jaist.ac.jp>: > First Call for Papers: > > Twelfth International Conference on > > Computability and Complexity in Analysis (CCA 2015) > http://cca-net.de/cca2015/ > > July 12-15, 2015, Tokyo, JAPAN > > ______________________________________________________________ > > > Scientific Program Committee > > * Andrej Bauer (Ljubljana, Slovenia) > * Stephen A. Cook (Toronto, Canada) > * Guido Gherardi (Munich, Germany) > * Daniel Graça (Faro, Portugal) > * Hajime Ishihara (Ishikawa, Japan) > * Ker-I Ko (Hsinchu, Taiwan) > * Timothy McNicholl (Ames, USA) > * André Nies (Auckland, New Zealand) > * Mariko Yasugi (Kyoto, Japan) > * Martin Ziegler, chair (Darmstadt, Germany) > > > Organizing Committee > > * Naohi Eguchi (Chiba University, Japan) > * Kojiro Higuchi (Chiba University, Japan) > * Akitoshi Kawamura, chair (University of Tokyo, Japan) > * Kenshi Miyabe (Meiji University, Japan) > * Ryuhei Mori (Tokyo Institute of Technology, Japan) > * Hideki Tsuiki (Kyoto University, Japan) > > > Submissions > > Authors are invited to submit 1-2 pages abstracts in PDF format > by March 31st via https://easychair.org/conferences/?conf=cca2015 > > > Conference Web Page > > http://cca-net.de/cca2015/ > > > > _______________________________________________ > Kisoron-ml mailing list > Kisoron-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/kisoron-ml

1 0

APLAS 2015: Deadline extension (June 15)
by Kohei SUENAGA 05 Jun '15

05 Jun '15

皆様，京都大学の末永です． APLAS 2015 の締め切りが延長となりました．投稿をご検討ください．よろしくお願いいたします．末永幸平 -- ** DEADLINE EXTENSION FOR SUBMISSIONS TO APLAS 2015: ** - Paper submission deadline: June 15, 2015. ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 15, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* 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 Singapore ('14), Melbourne ('13), 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: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 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. b) 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://easychair.org/conferences/?conf=aplas2015> using EasyChair. 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. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China) -- 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

数学基礎論サマースクール2015
by Makoto Kikuchi 05 Jun '15

05 Jun '15

数学基礎論サマースクール2015のご案内以下の要領で数学基礎論サマースクール2015を開催します． 7月初旬に参加申し込みの案内をお送りします．皆様のご参加を心よりお待ちしています．【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義．　また，様相論理と他分野との関係や発展的内容についての特論．【日時】2015年8月18日（火）13:30 ～ 21日（金）15:00 【場所】神戸大学六甲台第2キャンパス内工学部教室棟LR501教室（戎記念ホール）【住所】〒657-8501神戸市灘区六甲台町1-1 【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html 【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専），　黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）【内容】〈講義〉（各3コマ） 1. 様相論理入門（佐野） 2. 証明可能性論理（倉橋） 3. 強制法と様相論理（薄葉） 4. 真理と様相（黒川）〈特論〉（各1コマ） 1. 認識論理のゲーム論的意思決定への応用（金子） 2. 計算機科学と様相論理（佐藤） 3. 公理的集合論と様相論理（渕野）【懇親会】18日夜に神戸大学内で懇親会を開催する予定です．【世話人】神戸大学大学院システム情報学研究科菊池誠，酒井拓史【連絡先】菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

モデル理論研究集会のお知らせ
by ikeda＠hosei.ac.jp 03 Jun '15

03 Jun '15

皆様，法政大学の池田と申します．今年８月に法政大学で研究集会「モデル理論夏の学校2015」が開催されます．この研究集会は毎年夏に開催されるモデル理論および関連分野に関する研究集会です．モデル理論に興味のある方の参加をお待ちしております．・日程：２０１５年８月２２日（土）- ２４日（月）・会場：法政大学市ヶ谷キャンパス５５年館５５１教室・所在地：〒102-8160東京都千代田区富士見2-17-1 ・世話人：池田宏一郎（法政大学経営学部，ikeda(at)hosei.ac.jp）・Web page：https://sites.google.com/site/modeltheorysummer2015/ 参加を希望される方は，下記のフォームに必要事項を記入の上，池田宛に電子メールでお申し込みください．（講演申込み締切は６月３０日） %%%%%%%%%%モデル理論夏の学校・参加申し込みフォーム%%%%%%%%%% ・氏名：・所属機関：・職名／学年：・講演：する／しない・講演題目： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 池田宏一郎（法政大学）

1 0

ポスドクの公募（＠産総研関西センター）のお知らせ
by Takashi Kitamura 03 Jun '15

03 Jun '15

*** 重複して受け取られた場合はご容赦ください *** みなさま、産業技術総合研究所の北村と申します。本 ML をお借りいたしまして、産総研（関西センター）でのポスドク公募のお知らせをさせていただきます。弊所情報技術研究部門ソフトウェアアナリティクス研究グループでは、現在、ポスドクの公募を行っております。採用者は、当研究グループが開発するモデルベーストのソフトウェアテスト技術に関する研究プロジェクトに従事していただきます。主な仕事内容は以下の通りとなります。・テスト自動化のためのアルゴリズムの研究やプログラムコードの開発・企業と共同実施による本技術の実証実験・ソフトウェアテストに関するチュートリアルやセミナの開発・研究論文の執筆本プロジェクトでは、ソフトウェアツール開発が重要な項目であり、C++ によるプログラムコードの開発技術・経験が求められます。また研究対象となる技術はソフトウェアテストに関するものですが、アルゴリズムや論理学、形式手法の側面も強く、これらについて素養があることが望ましいです。（ただし、必須ではないです。）雇用条件・応募方法等は以下をご参照ください。 https://unit.aist.go.jp/hrd/keiyaku_koubo/list_dith_1_kansai.html#itri https://unit.aist.go.jp/hrd/keiyaku_koubo/27-itri_0028.html 応募締め切りが「平成27年6月8日(月)」とありますが、延長可能ですので、興味のある方やまずはお早めに、私のほうにメールだけでもいただければと存じます。以上、よろしくお願いいたします。 -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Internal Tel: *33-274-71902 Fax: +81-6-6494-8073

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2015