Logic-ml

9 participants
1782 discussions

講演会/セミナーのお知らせ
by Makoto Kikuchi 11 Mar '13

11 Mar '13

各位 Segei Artemov 教授 (City University of New York)，Elena Nogina 教授 (City University of New York) をお招きして，以下の要領で講演会とセミナーを開催します．ご出席希望の方は事前にそれぞれの問い合わせ先までご連絡下さい．【１】論理学講演会日時：2013年3月24日（日）14:30-18:00 場所：日本大学文理学部1号館1階122教室プログラム: 14:30-16:00 Sergei Artemov (CUNY) Logic of Proofs and Justification 16:30-18:00 Elena Nogina (CUNY) Joining Two Goedel's Models of Provability 問い合わせ先：日本大学文理学部哲学科飯田隆 iida.takashi19(a)nihon-u.ac.jp 【２】Seminar in Logic and Philosophy of Mathematics 日時：2013年3月26日（火）〜27日（水）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）プログラム： 3月26日 10:30-12:00 Sergei Artemov (CUNY) Provability Brouwer-Heyting-Kolmogorov semantics (1/2) 13:00-14:30 Elena Nogina (CUNY) Provability and Explicit Proofs 15:00-16:30 Taishi Kurahashi (Kobe) Syntax and semantics of predicate modal logic of provability 3月27日 10:30-12:00 Sergei Artemov (CUNY) Provability Brouwer-Heyting-Kolmogorov semantics (2/2) 13:00-14:30 Ryota Akiyoshi (Kyoto) Proper Explanation of Brouwer's Fundamental Assumption 15:00-16:30 Hidenori Kurokawa Kreisel's second clause and the theory of constructions 問い合わせ先：神戸大学大学院システム情報学研究科菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

3/12講演Alexandre Costa-Leite
by Yoichi Hirai 10 Mar '13

10 Mar '13

logic-mlの皆様萩谷研の平井洋一です。きたる火曜日、Alexandre Costa-Leiteさんが東京大学本郷で講演されます。多様相論理の話と、自然言語の意味論への応用だそうです。急な話でございますが、ご参加お待ちしております。登録不要です。・3月12日 14:00〜・東京大学本郷キャンパス　理学部7号館　2階214室 --------------------------------------------------------------- Alexandre Costa-Leite (University of Brasilia, Brazil) /Fusions of modal logics, interactive laws and natural languages/ I will present two very general theorems on fusions of modal logics extended with interactive laws. Then I also show how these fusions can be applied to formalize non-interdefinable concepts in natural languages. ---------------------------------------------------------------

1 0

3月8日―9日：認識論理とゲーム理論研究会
by Suzuki, Nobu-Yuki 04 Mar '13

04 Mar '13

皆様金子守さん（筑波大社会工学系）の依頼で代理投稿します。よろしくお願いします。 ---------------------------------------------------------- 　　　　　　　　　　　認識論理とゲーム理論研究会日時：　2013年3月8日（金）―　9日（土）場所：筑波大　第3エリア　F棟12階1222室 TXつくば駅から筑波大循環（左回り・右回り、可）に乗り、第3エリア下車。前の12階建の建物12階 (連絡先：筑波大社会工学系　金子守　kaneko(a)sk.tsukuba.ac.jp) 発表・議論の方針：小さな（開かれた）研究会で議論のための場です。一人の持ち時間は1時間ですが、発表そのものは45分程度で終えると考え、必要なこと・重要なことに絞って準備してください。発表のレジュメを10部ほど用意してください。 3月8日（金）午後1：２0−2：２0：矢田部俊介：構成的素朴集合論と無限 2：３０−3：３０佐野勝彦：Dynamic Epistemic Logic for Channel-Based Agent Communication 　 4：00−5：00 金子守：Small Infinitary Epistemic Logics and Some Fixed-Point Logicｓ（with T.-W. Hu ＆N.-Y. Suzuki）懇親会：６：３０−８：３０　（居酒屋大将） 3月9日（土）午前９：1０−１０：1０　田中義人：Common Knowledge logicのクリプキ完全性 10：20―１１：20 本浦庄太：On the semantic meaning of reduction axioms in public announcement logic 11：40−12：40 鈴木信行：述語論理でのPrediction/Decision Criteriaの予備的考察

1 0

日本数学会キャリアパスセミナーのご案内
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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml