Logic-ml February 2013

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

15 participants
25 discussions

Computability and Complexity in Analysis 2013
by Akitoshi Kawamura 12 Apr '13

12 Apr '13

皆様東京大の河村と申しますお世話になっておりますメーリングリストをお借りして七月に仏ナンシーにて開催されます解析学に於る計算可能性と計算量に関する国際会議（CCA 2013）の御案内をさせて頂きます（投稿締切4月1日）御投稿・参加を検討頂ければ幸いです -- 河村彰星東京大学大学院情報理工学系研究科コンピュータ科学専攻助教（今井研究室） 03-5841-4097 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html First Call for Papers http://cca-net.de/cca2013/ The Tenth International Conference on Computability and Complexity in Analysis (CCA 2013) will take place in Nancy, France, July 8-11, 2013. The CCA 2013 Program Committee cordially invites researchers in the area of computability and complexity theory to submit papers for presentation at the conference. Topics: * Computable analysis * Complexity on real numbers * Constructive analysis * Domain theory and analysis * Theory of representations * Computable numbers, subsets and functions * Randomness and computable measure theory * Models of computability on real numbers * Realizability theory and analysis * Reverse analysis * Real number algorithms * Implementation of exact real number arithmetic Submissions: Authors are invited to submit a PDF version of an extended abstract (typically 10 pages) on the following web page: https://www.easychair.org/conferences/?conf=cca2013 Dates: Submission deadline: April 1, 2013 Notification of authors: May 6, 2013 Registration deadline: May 20, 2013 Final version: May 27, 2013 Invited Speakers: * Ulrich Berger (Swansea, UK) * Takayuki Kihara (JAIST, Japan) * Cristobal Rojas (Toronto, Canada) * Daniel Roy (Cambridge, UK) * Martin Ziegler (Darmstadt, Germany) Program Committee: * Andrej Bauer (Ljubljana, Slovenia) * Arno Pauly (Cambridge, UK) * Hannes Diener (Siegen, Germany) * Cameron Freer (MIT, USA) * Laurent Bienvenu (Paris, France) * Akitoshi Kawamura (Tokyo, Japan) * Ker-I Ko (Stony Brook, USA) * Matthias Schröder (Vienna, Austria) * Robert Rettinger (Hagen, Germany) * Ning Zhong (Cincinnati, USA), chair Local Organizers * Anne-Lise Charbonnier * Hugo Férée * Emmanuel Hainry * Mathieu Hoyrup (chair) * Emmanuel Jeandel * Romain Péchoux

1 1

Computability in Europe 2013
by Akitoshi Kawamura 28 Mar '13

28 Mar '13

皆様東京大の河村と申しますお世話になっておりますメーリングリストをお借りして七月に伊ミラノで開催されます欧洲計算可能性会議CiE 2013の御案内をさせていただきます投稿締切が二週間後に迫っておりますが御投稿・御参加を検討頂ければ幸いです -- 河村彰星東京大学大学院情報理工学系研究科コンピュータ科学専攻助教（今井研究室） 03-5841-4097 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html ************************************************************************ CiE13 CALL FOR PAPERS AND SPECIAL AWARDS: CiE 2013: The Nature of Computation: Logic, Algorithms, Applications Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it IMPORTANT DATES: Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 March 2013 Deadline for final revisions: 1 April 2013 CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012). The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, biology, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. AWARDS: Springer-Verlag has graciously funded two awards that will be given during the CiE 2013 Conference. Best student paper: This prize will be awarded for the best student paper presented at CiE 2013, as judged by the Program Committee. A prize of 500 euros will be given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). In order to be considered, a paper has to be submitted in the category 'Regular paper (eligible for best student paper award)' on EasyChair. Papers are eligible if all of its authors are full-time students at the time of submission. Best paper on Natural Computing: The prize consists of the four volumes of the Handbook of Natural Computing (see http://cie2013.disco.unimib.it/awards/). This prize will be awarded to the best paper on Natural Computing presented at CiE 2013, as judged by the Program Committee. A paper is eligible if its main topic falls within the scope of Natural Computing, roughly defined as the set of fields studied in the above handbook. The Program Committee is the only judge of the relevance of a paper within the Natural Computing scope. The authors of a paper eligible for the award must indicate this in the submission notes. INVITED SPEAKERS Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique Federale de Lausanne) Mariya Soskova (Sofia University) Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University) TUTORIAL SPEAKERS Gilles Brassard (Universite de Montreal) Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder) SPECIAL SESSIONS on Algorithmic Randomness organizers: Mathieu Hoyrup, Andre Nies Data Streams and Compression organizers: Paolo Ferragina, Andrew McGregor Computational Complexity in the Continuous World organizers: Akitoshi Kawamura, Robert Rettinger Computational Molecular Biology organizers: Alessandra Carbone, Jens Stoye Computation in Nature organizers: Mark Delay, Natasha Jonoska History of Computation organizers: Gerard Alberts, Liesbeth De Mol PROGRAM COMMITTEE: * Gerard Alberts (Amsterdam) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape Town, co-chair) * Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa) * Stephen Cook (Toronto ON) * S Barry Cooper (Leeds) * Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest) * Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan) * Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans) * Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI) * Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam) * Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin) * Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt) * Sonja Smets (Amsterdam) * Susan Stepney (York) * S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013. The submission site https://www.easychair.org/conferences/?conf=cie2013 is open. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it Website: http://cie2013.disco.unimib.it

1 2

日本数学会キャリアパスセミナーのご案内
by Masahiro Kumabe 28 Feb '13

28 Feb '13

こんにちは。日本数学会、数学基礎論及び歴史分科会の評議委員の隈部です。数学会より、日本数学会キャリアパスセミナーの案内を、分科会メーリングリストにて周知するよう依頼がありましたので、以下にご案内します。 %%%%%%%%%%%%%（以下は案内文）%%%%%%%%%**%%%%%%%%%%%%%%%%%%%%%%%%% 日本数学会会員の皆様日本数学会キャリアパスセミナーへのご参加のお願い日本数学会年会でのキャリアパスセミナー開催については、皆様に何度かご連絡をさせていただきましたが、再度お願いをさせていただきたく、ここにご案内申し上げます。今回は、前回を上回る21社の企業がご参加いただけます。**情報系、金融系、開発メーカー、**出版等多彩な企業に参加をお願いしております。参加される企業は、いずれも博士課程修了者を含めて、**数理系の専門を修めた学生、**若手研究者を受け入れる意思を十分持った企業です。このような企業と連携して、数学の需要を深めるためにもぜひ、**学会会員の方々、学生の方々に多数ご参加いただきたいと考えております。学生の方々が、数学のニーズを理解していただくことと同時に、**学会会員の方々に、直接このような企業とお話をしていただき、企業との結びつきを作っていただきたいということが大きな目的となってい**ます。学生の方々への推奨とともに、学会員の皆様にもおいでいただけることを切にお願いいたします。また、**関係各所へのご周知もお願いできれば幸いです。日時３月２０日（水）１３：００−１７：００場所京都大学百周年記念時計台記念館国際交流ホール I,II 以上日本数学会数学振興WG （前田吉昭） %%%%%%%%%%%%%%%（以上）%%%%%%%%%%%**%%%%%%%%%%%%%% よろしくお願い致します。隈部

1 0

CALCO 2013: Deadline Extension
by Ichiro Hasuo 26 Feb '13

26 Feb '13

みなさま，以前お知らせした国際会議 CALCO の締め切りが一週間延びました．まだ間に合います！のでどうか投稿をご検討ください．蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ======================== [Apologies for multiple copies] *** -------------------- DEADLINE EXTENSION ------------------------- *** To allow for some delays in submission of papers to CALCO 2013, the deadline has been moved by one week. See the new dates in the call for papers below and at the CALCO'13 web page http://coalg.org/calco13/ ========================================================================= 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: March 1, 2013 Paper submission: March 8, 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 -- Andrej Bauer - University of Lubljana, Sl Mikołaj Bojańczyk - Warsaw University, PL Neil Ghani - University of Strathclyde, UK Damien Pous - CNRS, ENS-Lyon, F -- 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. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2013 -- 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 Jiří Adámek - 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 - Friedrich-Alexander Universität Erlangen-Nürnberg, 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 - Australian National University, AUS 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. Attendance at the workshop is open to all - it is anticipated that many CALCO conference participants will want to attend the CALCO Early Ideas workshop (and vice versa). 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. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting 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. The list of topics of particular interest is shown on the main CALCO 2013 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be available at the workshop. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calcoearlyideas2013 The use of LNCS style is strongly encouraged. After the workshop, authors will have the opportunity to submit a full 10-15 page paper on the same topic. The reviewing will be carried out by the CALCO Early Ideas PC, with the support of the CALCO PC. The volume of selected papers will be available online. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. http://coalg.org/calco13/workshops.html#ei -- CALCO Early Ideas Dates -- 2-page short contribution submission: May 27, 2013 Notification for short contribution: June 24, 2013 Final short contribution due: July 15, 2013 CALCO Early Idead Workshop: September 2, 2013 10-15 page paper submission: October 15, 2013 Notification for paper: December 15, 2013 Final paper version due: January 15, 2014 -- CALCO Early Ideas Program Committee -- Bartek Klin, University of Warsaw, Poland John Power, University of Bath, UK Monika Seisenberger, Swansea University, UK (chair) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems, prototypes, and tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and use the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. http://coalg.org/calco13/workshops.html#tools -- CALCO-Tools Dates -- Paper submission: April 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- CALCO-Tools Programme Committee -- Einar Broch Johnsen, University of Oslo, Norway Mark Hills, CWI Amsterdam, The Netherlands Barbara König, University of Duisburg-Essen, Germany Dorel Lucanu, Alexandru Ioan Cuza University, Romania Dominik Luecke, CWI Amsterdam, The Netherlands Till Mossakowski, DFKI, Germany Lutz Schröder, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany (chair) Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands -- 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 .

1 0

３月の数学会年会について（重要）
by Masahiro Kumabe 24 Feb '13

24 Feb '13

皆様こんにちは。日本数学会の数学基礎論及び歴史分科会の連絡評議委員の隈部です。日本数学会より以下の連絡を受けたので、皆様にお知らせします。ーこれよりー会員の皆様２０１３年度分科会まで１ヶ月を切りました。今回の大会から下記の分科会と特別セッションがアブストラクト集を事前および大会当日に公開します。そのためにwebページ http://mathsoc.jp/meeting/kyoto13mar/abstract.html を用意しましたので、関係のある分科会が公開する場合は是非ご覧ください。今回の大会では函数論分科会が大会当日のアブストラクト販売を中止しますので、必要な方は事前にダウンロードをして下さいますようお願いいたします。オンラインシステム担当理事戸瀬信之ーここまでー以前にもこのメールでお知らせしましたが、当分科会では学会当日は、アブストラクトの冊子は部数を少なくして販売致しますので、会員の皆様は必ず、ホームページよりダウンロードして参加していただきますよう重ねてお願い致します。以上、よろしくお願いします。隈部

1 0

Workshop on constructivism
by Mariko Yasugi 23 Feb '13

23 Feb '13

Forwarded by Mariko Yasugi <yasugi(a)cc.kyoto-su.ac.jp> ----------------------- Original Message ----------------------- From: Yuichi Amitani <yuiami(a)gmail.com> To: Mariko Yasugi <yasugi(a)cc.kyoto-su.ac.jp> Cc: CAPE <CAPE(a)bun.kyoto-u.ac.jp> Date: Sat, 23 Feb 2013 21:09:37 +0900 Subject: Re: Sam Sandersの講演について伺い ---- -------------------------------- CAPE ワークショップ：An International Workshop on Constructivism 日時：2013年３月１日（金）午後２時〜６時場所：京都大学総合研究2号館第9講義室 http://www.kyoto-u.ac.jp/en/access/campus/main.htm （34番の建物です） CAPE International Workshop on Constructivism Date: March 1st (Fri.) 2013, 14:00-18:00 Place: 9th Lecture Room, General Research Building #2 (Sougoukenkyu 2 Goukan ), Kyoto University (No. 34 in the map below: http://www.kyoto-u.ac.jp/en/access/campus/main.htm ) Program (Each slot will have 45 minutes for a talk and 15 minutes for a Q&A session except for general discussion) 2:00-3:00 Yuta Takahashi　(Keio University): On Philosophical Significance of Gentzen's Finitism 3:00-3:10 Break 3:10-4:10 Ryota Akiyoshi (Kyoto University): Brouwer's Proof of the Bar Induction Revisited 4:10-4:20 Break 4:20-5:20 Sam Sanders (The University of Ghent): Nonstandard Analysis: a New Way to Compute 5:20-6:00 General Discussion Abstracts Yuta Takahashi　(Keio University): On Philosophical Significance of Gentzen's Finitism In the 1920s Hilbert proposed the finitary standpoint, on which he aimed to carry out Hilbert's Program. To formulate his finitary standpoint, he attempted to find the fundamental concepts in mathematics. Gentzen's finitism also made this attempt, though he had to extend Hilbert's standpoint due to G\"{o}del's incompleteness theorems. Particularly, in the 1935 consistency proof of $PA$ Gentzen included intuitionistic concepts such as the concept of choice sequences among the fundamental concepts. From philosophical point of view, their formulations of the fundamental concepts in mathematics are of remarkable importance. In this talk, we claim that by admitting choice sequences Gentzen extended the finitist conception of potential infinity. The concept of infinitely proceeding sequences generated by some calculation-rules is a typical infinite concept which can be found in Hilbert's finitary standpoint. However, Gentzen's finitism admits the infinitely proceeding sequences generated by free choices as well as ones generated by some rules. We conclude that in this respect he extended the concept of potential infinity which belongs to the finitist foundations of mathematics and this extension made his conception of potential infinity similar to intuitionists' one. Ryota Akiyoshi (Kyoto University): Brouwer's Proof of the Bar Induction Revisited In a series of papers, Brouwer had developed intuitionistic analysis, especially the theory of choice sequence. An important theorem called the ``fan theorem" is used in the development of intuitionistic analysis. The fan theorem was derived from another stronger theorem called the ``bar induction". Brouwer's argument for a justification of the bar induction contains a controversial assumption on canonical proofs of some formula. Constructive mathematicians have assumed the bar induction as axiom, hence the assumption has not been examined by them. On the other hand, Sundholm and van Atten claimed that the assumption should be regarded as transcendental one in the sense of Kant. They, however, did not give an explanation of why Brouwer needed such a problematic assumption. In this talk, we sketch a novel analysis of Brouwer's argument via infinitary proof theory. In particular, we point out that there is a close similarity between Brouwer's argument and Buchholz' the method of the $\Omega$-rule. By comparing these two arguments, we give a natural explanation of why Brouwer needed the assumption. If time is permitting, we list some open questions and problems. Sam Sanders (The University of Ghent) : Nonstandard Analysis: a New Way to Compute The system ERNA is a version of Nonstandard Analysis based on $I \Delta_0+EXP$. Recently, it was shown that many of the equivalences of $WKL_0$ over $RCA_0$ from Reverse Mathematics can be `pushed down' into ERNA's language, while preserving the equivalences, but at the price of replacing equality `=` by `$\approx$', i.e. equality up to infinitesimals from Nonstandard Analysis. We overview these results concerning ERNA and provide a possible explanation for the above similarity/robustness. In particular, we introduce `$\Omega$-invariance', a simple and elegant notion from Nonstandard Analysis meant to capture the notion of algorithm and Turing machine. Intuitively, an object is $\Omega$-invariant if it does not depend on the *choice* of infinitesimal used in its definition. We consider results regarding $\Omega$-invariance in classical and (time-permitting) constructive Reverse Mathematics. --------------------- Original Message Ends -------------------- -- mariko <yasugi(a)cc.kyoto-su.ac.jp>

1 0

ラムダ計算と論理の早春セミナー3/12--3/16
by Fujita Kenetsu 22 Feb '13

22 Feb '13

『ラムダ計算と論理の早春セミナー』のご案内日程：2013年3月12日(火) 午後5時から3月16日(土) 正午まで場所：国立大学草津セミナーハウス　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/ 興味をお持ちのみなさまのご参加をお待ちしております． ----------- 群馬大学　藤田憲悦

1 0

The Asian Mathematical Conference 2013 のご案内
by Masahiro Kumabe 21 Feb '13

21 Feb '13

皆様こんにちは。日本数学会、数学基礎論及び歴史分科会の評議委員の隈部です。数学会理事長より、The Asian Mathematical Conference 2013 の案内を、分科会メーリングリストにて周知するよう依頼がありましたので、以下にご案内します。会員各位 The Asian Mathematical Conference 2013 (AMC 2013) は韓国釜山で今年の6月30日（日）から7月4日（木）**の日程で開催されます。詳しくは「数学通信」**2月号に掲載されます元KMS会長でAMC2013の組織委員長**であるKimDohan 先生による情報提供や会議のwebページ http://www.kms.or.kr/amc2013/ をご覧ください。**日本数学会においてもこの会議の成功のために今後様々な支援を行**うことを予定しております。さて、**この会議の講演申し込みおよびポスターセッションの申し込みが3**月11日と迫っておりますので、会員の皆様にはご注意をお願いします。また、**この情報を会員間で共有ください。 http://www.kms.or.kr/amc2013/**sub/sub06.html<http://www.kms.or.kr/amc2013/sub/sub06.html> 一般社団法人日本数学会理事長宮岡洋一以上、よろしくお願い致します。隈部

1 0

CFP: Ninth Panhellenic Logic Symposium
by Nikolaos S. Papaspyrou 19 Feb '13

19 Feb '13

[My apologies for cross posting...] ====================================================================== PLS9: Ninth Panhellenic Logic Symposium July 15-19, 2013 National Technical University of Athens, Greece http://pls9.cs.ntua.gr/ ====================================================================== IMPORTANT DATES Deadline for submission: Friday, April 26, 2013 Notification: Wednesday, May 15, 2013 Final copy due: Wednesday June 5, 2013 ====================================================================== FIRST CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit a paper, in English, not exceeding six pages, by Friday, April 26, 2013. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/coolnews.cgi) and submitted electronically, using the Easy Chair conference system, at https://www.easychair.org/conferences/?conf=pls9. If possible, each submitted paper should be classified in one of the following areas (in alphabetical order): - Algebraic and Categorical Methods in Logic - Computability Theory - History and Philosophy of Logic - Logic in Computer Science - Model Theory - Nonclassical and Modal Logics - Proof Theory - Set Theory All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance. During the symposium, each accepted paper will be presented by one of its authors, with five extra minutes for questions. Authors of submitted papers will be notified of the decision by Wednesday, May 15, 2013. Camera-ready papers will be due by Wednesday June 5, 2013 for inclusion in the symposium proceedings which will be distributed to all participants. ====================================================================== SCIENTIFIC COMMITTEE - Costas Dimitracopoulos, University of Athens - Antonis Kakas, University of Cyprus - Lefteris Kirousis, University of Athens - George Koletsos, National Technical University of Athens - Joan Moschovakis, Occidental College and μΠλ∀ - Christos Nomikos, University of Ioannina - Nikolaos Papaspyrou, National Technical University of Athens - Athanasios Pheidas, University of Crete - George Tourlakis, York University, Canada, Chair - Athanassios Tzouvaras, Aristotle University of Thessaloniki - Stathis Zachos, National Technical University of Athens ORGANIZING COMMITTEE - Christos Nomikos, University of Ioannina - Nikolaos Papaspyrou, National Technical University of Athens, Chair - Panos Rondogiannis, University of Athens - Stathis Zachos, National Technical University of Athens -- Nikolaos S. Papaspyrou, Assistant Professor | Tel: +30-210-7723393, fax: 2519 National Technical University of Athens | Home: +30-210-7524801 School of Electrical & Computer Engineering |---------------------------------- Software Engineering Laboratory | E-mail: nickie(a)softlab.ntua.gr 15780 Zografou, Athens, Greece | URL: www.softlab.ntua.gr/~nickie/

1 0

PPL2013のご案内（参加登録:2/18まで）
by Shinya Katsumata 16 Feb '13

16 Feb '13

京都大学の勝股です。先週ご案内したばかりですが、PPL2013の参加登録の締め切り (来週月曜 2/18)が近くなったため、リマインダを兼ねて最終のご案内を御送りいたします。重複して受け取られていた場合はご容赦ください。 ---------- 東北大学の上野です． 3月に福島県会津若松市東山温泉で開催される第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) につきまして，参加登録を開始いたしましたのでお知らせします．参加登録要領 http://www.pllab.riec.tohoku.ac.jp/ppl2013/registration.html をご参照の上，日本旅行の参加登録受付ページからご登録ください．皆様のご参加をお待ちしております．最新情報は引き続き下記webページにてお知らせします． -------------------------------------------------------------------------- 第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013） http://www.pllab.riec.tohoku.ac.jp/ppl2013/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2013年3月4日(月)〜3月6日(水) 会場: 福島県会津若松東山温泉「御宿東鳳」 http://www.onyado-toho.co.jp/ ====================================================================== 参加申し込み締切： 2013年2月18日（月）参加登録要領 http://www.pllab.riec.tohoku.ac.jp/ppl2013/registration.html をご参照の上，日本旅行の参加登録受付ページからご登録ください．皆様のご参加をお待ちしております． ====================================================================== PPL2013は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集しています．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．詳細および最新情報は下記webページをご覧下さい． http://www.pllab.riec.tohoku.ac.jp/ppl2013/ ワークショップ全般に関する問い合わせ先：oc-ppl2013(a)kurims.kyoto-u.ac.jp ====================================================================== 招待講演 ====================================================================== 鍋島英知 (山梨大学) 村主崇行 (京都大学) 以上お二方の招待講演を予定しております． ====================================================================== 運営組織 ====================================================================== プログラム委員会青木利晃 (北陸先端科学技術大学院大学) 青谷知幸 (北陸先端科学技術大学院大学) 天野俊一 (IBM東京基礎研究所) 磯部祥尚 (産業技術総合研究所) 岩見宗弘 (島根大学) 角谷良彦 (東京大学) 勝股審也 (京都大学) [プログラム共同委員長] 小宮常康 (電気通信大学) 権藤克彦 (東京工業大学) [プログラム共同委員長] 田浦健次朗 (東京大学) 高田喜朗 (高知工科大学) 田辺良則 (国立情報学研究所) 中田景子 (Institute of Cybernetics at Tallinn University of Technology) 中野圭介 (電気通信大学) 長谷部浩二 (筑波大学) 番原睦則 (神戸大学) 松崎公紀 (高知工科大学) 実行委員会上野雄大 (東北大学) [実行委員長] 鵜川始陽 (電気通信大学) [実行副委員長] 勝股審也 (京都大学) [プログラム共同委員長] 権藤克彦 (東京工業大学) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2013