Logic-ml February 2015

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

12 participants
17 discussions

PPL2015最終参加募集：第17回プログラミングおよびプログラミング言語ワークショップ
by Kazutaka Matsuda 16 Feb '15

16 Feb '15

logic-ml関係者の皆様，東京大学の松田です．複数受け取られた場合はご容赦ください． 3月4日（水）から3月6日（金）に道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップ (PPL2015) の参加募集の締切が2/17とせまっておりますので，再度の参加募集のご案内をお届けいたします．今回は， * 橋本和幸 (NVIDIA. 元日本シンボリックス株式会社) 「1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング」 * Chung-Kil Hur (Seoul National University) 「Formal C semantics and LLVM compiler validation」の二件の招待講演を予定しております．暫定プログラムを公開いたしました． http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/programme/tentative.txt カテゴリ1，2，4の採択論文・発表のリストも http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/accepted.html ご参考ください．参加登録の案内ページは http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/registration/ です．参加登録の締切は2月17日（火）です．どうぞお早めのご登録をお願い致します．多くの方々のご参加をお待ちしております． -------------------------------------------------------------------------- 第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2015年3月4日(水)～3月6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」 http://www.dogoprince.co.jp/ PPL2015は、プログラミングおよびプログラミング言語に関する研究者が一堂に会し、最新の研究成果の発表、および新たな研究課題についての討論やアイディア交換等を行うことを目的とした、合宿形式のワークショップです． ====================================================================== 参加登録ならびに宿泊予約を2月17日(火)まで日本旅行のWebサービスにて受け付けております． http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/registration/ をご参照いただき，ご登録ください．問い合わせ先：ppl2015-oc [at] kb.is.s.u-tokyo.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会青戸等人東北大学浅田和之東京大学岩崎英哉電気通信大学鵜川始陽高知工科大学馬谷誠二京都大学 [プログラム共同委員長] 大岩寛産業技術総合研究所亀山幸義筑波大学河内谷清久仁日本IBM 久野靖筑波大学木村大輔国立情報学研究所宋剛秀神戸大学塚田武志 University of Oxford 中田景子 FireEye DresDen 浜名誠群馬大学 [プログラム共同委員長] 平井洋一 FireEye Dresden 平石拓京都大学藤田憲悦群馬大学星野直彦京都大学増原英彦東京工業大学渡部卓雄東京工業大学組織委員会松田一孝東京大学 [組織委員長] 浜名誠群馬大学 [プログラム共同委員長] 馬谷誠二京都大学 [プログラム共同委員長] 末永幸平京都大学上野雄大東北大学海野広志筑波大学木村大輔国立情報学研究所 [ポスターセッション幹事] --------------------------------------------------------------------------

1 0

PPL2015参加募集：第17回プログラミングおよびプログラミング言語ワークショップ
by Kazutaka Matsuda 13 Feb '15

13 Feb '15

logic-mlの皆様，東京大学の松田です．複数受け取られた場合はご容赦ください． 3月4日（水）から3月6日（金）に道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップ (PPL2015) の参加募集のご案内をお届けいたします．今回は， * 橋本和幸 (NVIDIA. 元日本シンボリックス株式会社) 「1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング」 * Chung-Kil Hur (Seoul National University) 「Formal C semantics and LLVM compiler validation」の二件の招待講演を予定しております．また，カテゴリ1，2，4の採択論文・発表のリストは http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/accepted.html からご欄になれます．多くの方々のご参加をお待ちしております．参加登録の案内ページは http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/registration/ です．参加登録の締切は2月17日（火）です．どうぞお早めのご登録をお願い致します．今年は昨年と異なり，*三日目は15:30終了予定*となります．ご注意ください． -------------------------------------------------------------------------- 第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2015年3月4日(水)～3月6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」 http://www.dogoprince.co.jp/ PPL2015は、プログラミングおよびプログラミング言語に関する研究者が一堂に会し、最新の研究成果の発表、および新たな研究課題についての討論やアイディア交換等を行うことを目的とした、合宿形式のワークショップです． ====================================================================== 参加登録ならびに宿泊予約を2月17日(火)まで日本旅行のWebサービスにて受け付けております． http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/registration/ をご参照いただき，ご登録ください．問い合わせ先：ppl2015-oc [at] kb.is.s.u-tokyo.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会青戸等人東北大学浅田和之東京大学岩崎英哉電気通信大学鵜川始陽高知工科大学馬谷誠二京都大学 [プログラム共同委員長] 大岩寛産業技術総合研究所亀山幸義筑波大学河内谷清久仁日本IBM 久野靖筑波大学木村大輔国立情報学研究所宋剛秀神戸大学塚田武志 University of Oxford 中田景子 FireEye DresDen 浜名誠群馬大学 [プログラム共同委員長] 平井洋一 FireEye Dresden 平石拓京都大学藤田憲悦群馬大学星野直彦京都大学増原英彦東京工業大学渡部卓雄東京工業大学組織委員会松田一孝東京大学 [組織委員長] 浜名誠群馬大学 [プログラム共同委員長] 馬谷誠二京都大学 [プログラム共同委員長] 末永幸平京都大学上野雄大東北大学海野広志筑波大学木村大輔国立情報学研究所 [ポスターセッション幹事] --------------------------------------------------------------------------

1 0

講演会(Pawel Parys氏）
by koba 10 Feb '15

10 Feb '15

東京大学の小林と申します。以下のように、ワルシャワ大学のPawel Parys氏を招いて講演会を開催しますので、ふるってご参加ください。 Parysさんは、ここ数年、高階文法、高階プッシュダウンオートマトンなどについて未解決問題を解いたりしてよい仕事をされている方です小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻〒113-0033 東京都文京区本郷7-3-1 Phone: 03-5841-4124 Fax: 03-5841-4124 email: koba(a)is.s.u-tokyo.ac.jp ---------------------------------- Time: 2月18日（水） 15:00〜 Place: 理学部7号館 214号室 Title: A Characterization of Lambda-terms Transforming Numbers Speaker: Pawel Parys (Warsaw University) Abstract: It is well known, that simply-typed lambda-terms can be used to represent numbers, as well as some other data types. We show that lambda-terms of each fixed (but possibly very complicated) type can be described by a finite piece of information (a set of appropriately defined intersection types) and by a vector of natural numbers. On one hand the description is compositional: having only the finite piece of information for two closed lambda-terms M and N, we can determine its counterpart for MN, and a linear transformation that applied to the vectors of numbers for M and N gives us the vector for MN. On the other hand, when a lambda-term represents a natural number, then this number is approximated by a number in the vector corresponding to this lambda-term. As a consequence, we prove that in a lambda-term of a fixed type we can store only a fixed number of natural numbers, in such a way that they can be extracted using lambda-terms. More precisely, while representing k numbers in a closed lambda-term of some type we only require that there are k closed lambda-terms M1,...,Mk such that Mi takes as argument the lambda-term representing the k-tuple, and returns the i-th number in the tuple (we do not require that, using lambda-calculus, one can construct the representation of the k-tuple out of the k numbers in the tuple). Moreover, the same result holds when we allow that the numbers can be extracted approximately, up to some error (even when we only want to know whether a set is bounded or not). All the results remain true when we allow the Y combinator (recursion) in our lambda-terms, as well as uninterpreted constants.

1 0

Prof. Georg Moser at NII Logic Seminar
by Makoto Tatsuta 07 Feb '15

07 Feb '15

Prof. Georg Moser at NII Logic Seminar Date: February 13, 2015, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Georg Moser (University of Innsbruck) Title: Amortised Cost Analysis and Term Rewrite Systems Abstract: I will present a univariate resource analysis for typed term rewrite systems based on a potential-based type system. This type system gives rise to polynomial bounds on the innermost runtime complexity. The thus obtained amortised resource analysis relates to polynomial interpretations and we obtain the perhaps surprising result that whenever a rewrite system can be well-typed, then there exists a polynomial interpretation that orients the system. If time permits I'll speak about very recent generalisations to a multivariate analysis. This is a joint work with Martin Hofmann. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

Fwd: [PVS] Topics in Theoretical Computer Science 205 (Tehran, Iran) -- Call for Papers
by Ichiro Hasuo 04 Feb '15

04 Feb '15

みなさま，東京大学の蓮尾です．8月にテヘランで行われる国際会議 TTCS の案内をお送りします．ICALP や TCS のように track A/B に分かれていて，スコープの広い会議です．ぜひ投稿をご検討ください．また，お近くの研究者のみなさん（特にこのメールが届かない，アルゴリズム系のみなさま）にこのメールを転送いただけると助かります．どうかよろしくお願いいたします．蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/ (apologies if you receive multiple copies) ========================================= Topics in Theoretical Computer Science (TTCS 2015) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran August 26-28, 2015 ========================================= Scope ________________________________ TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects. Topics of interest include but are not limited to: algebra and co-algebra in computer science, algorithms and data structures, algorithmic coding theory, algorithmic graph theory and combinatorics, approximation algorithms, computational complexity, computational geometry, computational learning theory, concurrency theory, coordination languages, economics and algorithmic game theory, fixed parameter algorithms, formal verification and model-based testing, logic in computer science, machine learning methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, optimization, parallel and distributed algorithms, quantum computing, randomness in computing, stochastic and probabilistic specification and reasoning theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, theoretical cryptography, theory of programming languages, and type theory and its application in program verification. Keynote Speakers ________________________________ Anuj Dawar, Cambridge University, UK Michael Fellows, Charles Darwin University, Australia Mehrnoosh Sadrezadeh, Queen Mary University of London, UK Submission ________________________________ For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions. Important Dates ________________________________ Paper Submission: May 15, 2015 (Anywhwere on Earth) Author notification: June 26, 2015 Camera ready paper due: July 10, 2015 Conference: August 26-28, 2015 Program Committee ________________________________ Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran Saeed Akbari, Sharif University of Technology, Iran Saeed Alaei, Cornell University, USA Mohammad Hossein Bateni, Google Research, USA Salman Beigi, IPM, Iran Amir Daneshgar, Sharif University of Technology, Iran Fedor Fomin, University of Bergen, Norway Ali Ghodsi, University of Waterloo, Canada Mohammad Ghodsi, Sharif University of Technology, Iran Mohammad T. Hajiaghayi, University of Maryland, USA (Chair) Amin Karbasi, Yale University, USA Nicole Immorlica, Microsoft Research, USA Amit Kumar, IIT Delhi, India Mohammad Mahdian, Google Research, USA Hamid Mahini, University of Maryland, USA Bojan Mohar, Simon Fraser University, Canada Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Morteza Monemizadeh, Frankfurt University, Germany Shayan Oveisgharan, UC Berkeley and University of Washington, USA Debmalya Panigrahi, Duke University, USA Jorg Sack, Carleton University, Canada Mohit Singh, Microsoft Research, USA Dimitrios M. Thilikos, CNRS, France and University of Athens, Greece Suresh Venkatasubramanian, University of Utah, USA Jan Vondrak, IBM Almaden Research Center, USA Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI and Leiden University, The Netherlands S. Arun-Kumar, IIT Delhi, India Ilaria Castellani, INRIA Sophia Antipolis, France Dave Clarke, Uppsala University, Sweden and KU Leuven, Belgium Pieter Cuijpers, Eindhoven University of Technology, The Netherlands Fatemeh Ghassemi, Tehran University, Iran Matthew Hennessy, Trinity College Dublin, Ireland Ichiro Hasuo, University of Tokyo, Japan Mahdi Jaghoori, AMC University of Amsterdam, The Netherlands Jeroen Keiren, Vrije Universiteit Amsterdam, The Netherlands Bas Luttik, Eindhoven University of Technology, The Netherlands Jose Meseguer, University of Illinois at Urbana, USA Lary Moss, Indiana University, USA Mohammad Mousavi, Halmstad University, Sweden (Chair) Jun Pang, University of Luxembourg, Luxembourg Gerardo Schneider, Chalmers University of Technology, Sweden Marjan Sirjani, Reykjavik University, Iceland Walter Vogler, Augsburg University, Germany Tim Willemse, Eindhoven University of Technology, The Netherlands

1 0

ICTAC 2015 First call for papers
by Kohei SUENAGA 04 Feb '15

04 Feb '15

（複数お受け取りの場合はご容赦ください．）皆様，京都大学の末永です．今年10月にコロンビアで開かれる国際会議 ICTAC の論文募集をお送りします．ご投稿をお待ちしております．末永幸平 -- ********************************************************************** CALL FOR PAPERS -- ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing 29-31 October 2015, Cali, Colombia http://www.ictac2015.co DEADLINE FOR SUBMISSIONS: JUNE 5, 2015. ********************************************************************** ICTAC 2015 will take place at the campus of Universidad Javeriana, Cali, Colombia during October 29-31, 2015. The ICTAC conference series aims at bringing together practitioners and researchers to exchange ideas and experiences addressing challenges in theoretical aspects of computing as well as in exploiting theory through methods and tools for system development. ICTAC also aims to promote cooperation between participants and institutions from developing and industrial countries in research and education. THEMES AND TOPICS OF PAPERS Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for software modeling, system design and verification. The topical areas of the conference include, but are not limited to * Automata theory and formal languages; * Principles and semantics of programming languages; * Theories of concurrency, mobility and reconfiguration; * Logics and their applications; * Software architectures, their models, refinement and verification; * Relationship between software requirements, models and code; * Program static and dynamic analysis and verification; * Software specification, refinement, verification and testing; * Model checking and theorem proving; * Models of object and component systems; * Coordination and feature interaction; * Integration of theories, formal methods and tools for engineering computing systems; * Service-oriented architectures: models and development methods; * Models of concurrency, security, and mobility; * Theory of distributed, grid and cloud computing; * Real-time, embedded, hybrid and cyber-physical systems; * Type and category theory in computer science. INVITED SPEAKERS * Jean-Raymond Abrial * Volker Diekert * César Muñoz * Catuscia Palamidessi * Davide Sangiorgi * Moshe Vardi * Glynn Winskel ASSOCIATED EVENTS * ICTAC Summer School on Formal Methods (October 25-27) * DCM 2015: 11th International Workshop on Developments in Computational Models (October 28) PAPER SUBMISSION == Important Dates * Abstract submission: Monday, June 1, 2015. * Paper submission: Friday, June 5, 2015. * Author notification: Monday, July 20, 2015. * Camera ready: Monday, August 3, 2015. == Paper Categories and Format We call for submissions, related to the above areas and topics, according to the following three categories: * Regular papers, with original research contributions; * Short papers, on recent work or proposals of emerging challenges; * Tool papers, on tools that support formal techniques for software modeling, system design and verification. Submissions should adhere to the LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Regular papers should not exceed 18 pages. Short and tool papers should not exceed 10 pages. Submissions to the colloquium must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, as well as their relevance to the conference. ==Submission Link Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2015. ==Proceedings As for the past editions, the proceedings of ICTAC 2015 will be published by Springer in the series Lecture Notes in Computer Science (LNCS). ==Special Issue Extended versions of selected papers from ICTAC 2015 will be invited to a special issue of Mathematical Structures in Computer Science (http://journals.cambridge.org/action/displayJournal?jid=MSC). GENERAL CHAIRS * Martin Leucker, University of Luebeck (DE). * Camilo Rueda, Pontificia Universidad Javeriana - Cali (CO). * Frank Valencia, CNRS and LIX, Ecole Polytechnique (FR). CONTACT CHAIR * Frank D. Valencia (frank.valencia(a)gmail.com). PROGRAM COMMITTEE * Nazareno Aguirre (AR) * Gerard Assayag (FR) * Mauricio Ayala-Rincón (BR) * Pablo Barceló (CL) * Gustavo Betarte (UY) * Filippo Bonchi (FR) * Marco Carbone (DK) * Ilaria Castellani (FR) * Néstor Cataño (CO) * Gabriel Ciobanu (RO) * Silvia Crafa (IT) * Pedro R. D'Argenio (AR) * Nicolas D'Ippolito (AR) * Stefan Dantchev (UK) * Rocco De Nicola (IT) * Yuxin Deng (CN) * Gilles Dowek (FR) * Moreno Falaschi (IT) * José Luiz Fiadeiro (UK) * Wan Fokkink (NL) * Fabio Gadducci (IT) * Julian Gutierrez (UK) * Stefan Haar (FR) * Thomas Hildebrandt (DK) * Einar Broch Johnsen (NO) * Bartek Klin (PL) * Marta Kwiatkowska (UK) * Kim G. Larsen (DK) * Martin Leucker (DE) (co-chair) * Etienne Lozes (FR) * Larissa Meinicke (AU) * Hernan Melgratti (AR) * Dominique Mery (FR) * Matteo Mio (FR) * Andrzej Murawski (UK) * Vivek Nigam (BR) * Mauricio Osorio (MX) * Prakash Panangaden (CA) * Jorge A. Pérez (NL) * Elaine Pimentel (BR) * António Ravara (PT) * Camilo Rocha (CO) * Camilo Rueda (CO) (co-chair) * Augusto Sampaio (BR) * Vijay Saraswat (US) * Vladimiro Sassone (UK) * Gerardo Schneider (SE) * Alexandra Silva (NL) * Jiri Srba (DK) * Jean-Bernard Stefani (FR) * Perdita Stevens (UK) * Kohei Suenaga (JP) * Alwen Tiu (SG) * Kazunori Ueda (JP) * Frank Valencia (FR) (co-chair) * Vasco T. Vasconcelos (PT) * Kapil Vaswani (IN) * Björn Victor (SE) * Igor Walukiewicz (FR) * Farn Wang (TW) * Alan Wassyng (CA) * Gianluigi Zavattaro (IT) -- 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

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2015