Logic-ml December 2013

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

12 participants
17 discussions

春の数学会
by KASHIMA Ryo 24 Dec '13

24 Dec '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演オンライン申し込み締め切り（12月1日）が迫ってきました。現在のところ申し込み件数が少ない状態ですので、ぜひとも発表をご検討ください。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

CFP: Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (Russia)
by BEKKI Daisuke 24 Dec '13

24 Dec '13

------------------------------------------------------------------- The International Interdisciplinary Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) St. Petersburg, Russia, April 21--25, 2014 <http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html> ------------------------------------------------------------------- CONFERENCE DESCRIPTION ====================== The conference PhML-2014 will be held on April 21--25, 2014 at the Euler International Mathematical Institute (EIMI), which is a research unit of the St. Petersburg Department of Steklov Institute of Mathematics of the Russian Academy of Sciences (PDMI RAS). The conference PhML-2014 is endorsed by the American National Committee of the Division of Logic, Methodology and Philosophy of Science (DLMPS) of the International Union of the History and Philosophy of Science (IUHPS), the Japan Association for Philosophy of Science, the Swedish National Committee for Logic, Methodology and Philosophy of Science. The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. Presentations will be given in English. PROGRAM COMMITTEE ================= Toshiyasu Arai, Chiba University Edward Hirsch, PDMI RAS Wilfrid Hodges, Queen Mary University of London Makoto Kanazawa, National Institute of Informatics, Japan Alexander Leitsch, Vienna University of Technology Angus Macintyre, Queen Mary University of London Klaus Mainzer, University of Munich Per Martin-Lo"f, Stockholm University Ivan Mikirtumov, St. Petersburg State University Grigori Mints, University of Stanford -- chair Grigory Olkhovikov, Ural Federal University Vladimir Orevkov, PDMI RAS Rohit Parikh, The City University of New York Barbara Partee, University of Massachusetts, Amherst Dag Prawitz, Stockholm University Oleg Prosorov, PDMI RAS Michael Rathjen, University of Leeds Andrei Rodin, Institute of Philosophy RAS, St. Petersburg State University Vladimir Rybakov, University of Liverpool Vladislav Shaposhnikov, Moscow State University Albert Visser, Utrecht University ORGANIZING COMMITTEE ==================== Vladimir Orevkov, PDMI RAS Oleg Prosorov, PDMI RAS -- chair Andrei Rodin, Institute of Philosophy RAS, St. Petersburg State University Maxim Vsemirnov, PDMI RAS PLENARY SESSIONS ================ At present, the following plenary speakers are confirmed: Dmitry Grigoryev, CNRS, Universite' Lille 1 Klaus Mainzer, University of Munich Yuri Manin, Max-Planck-Institut fu"r Mathematik, Bonn Grigori Mints, University of Stanford Aleksei Parshin, Steklov Institute of Mathematics RAS, Moscow Oleg Prosorov, PDMI RAS Andrei Rodin, Institute of Philosophy RAS, St. Petersburg State University Gabriel Sandu, University of Helsinki Anatol Slissenko, LACL, Universite' Paris-Est Cre'teil Nikolai Vavilov, St. Petersburg State University Anatoly Vershik, PDMI RAS Each presentation of a plenary paper is allotted 55 min, which includes 10 min for questions and discussion. PANEL DISCUSSION ================ The conference will feature a panel discussion entitled "Understanding complexity in cross-disciplinary research" allotted up to 90 min. Discussion will be led by Klaus Mainzer (University of Munich). THEMATIC SESSIONS ================= Apart from plenary sessions, there will also be three parallel thematic sessions to present contributed papers: - Mathematical and logical methods in philosophy and in sciences of language; - Philosophical Insights into Logic and Mathematics; - Complexity in mathematics, philosophy, linguistics. Each presentation of a contributed paper is allotted 25 min, including 5 min for questions. CALL for PAPERS =============== For presentation at thematic sessions, the conference PhML-2014 invites the submission of contributed papers on original and unpublished research relating to the interplay between philosophy, mathematics and linguistics. Papers from any tradition and from a wide variety of perspectives are welcome, including but in no way limited to the following topics: - New trends in the foundations of mathematics; - Complexity in mathematics, logic, linguistics; - Ontology of mathematics and the nature of mathematical truth; - The problem of abstract entities in mathematics, philosophy and linguistics; - Philosophical aspects of informatics, novel computational models and paradigms; - Philosophy of mathematics and philosophy of logic; - Mathematical investigation of natural language structures. PAPER SUBMISSION ================ Papers should be prepared in LaTeX or MS Word using style files of PhML-2014 format and be submitted electronically as pdf and source files via e-mail: <PhML-2014(a)pdmi.ras.ru>. For more details, see: <http://www.pdmi.ras.ru/EIMI/2014/PhML/index_files/submission.html>. IMPORTANT DATES =============== - Submission deadline for contributed papers: March 1st, 2014 - Notification of acceptance: March 15, 2014 - Final date for camera-ready copy: March 31st, 2014 - Conference starts: April 21st, 2014 PROCEEDINGS =========== The Proceedings of PhML-2014, including both invited and contributed papers, will be published before the meeting as a volume in the EIMI's local series and distributed to the participants. It is planned that selected papers will be published at an international publishing house as a special post-conference issue. PARTICIPATION ============= For further practical information, see: <http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html>

1 0

IWC 2014 & CoCo 2014: First Call for Papers and Provers
by Takahito Aoto 24 Dec '13

24 Dec '13

来年，ウィーンで開催されます FLoC の併設ワークショップになります，合流性に関するワークショップ IWC 2014 と，IWC 開催中に行われます，合流性自動証明システムのコンペティション CoCo 2014 のご案内です．関連する話題をお持ちの方がおられましたら，ぜひご投稿を検討頂ければ幸いです．青戸等人東北大学電気通信研究所 This is a joint call for papers and provers for IWC 2014 and CoCo 2014. ===================================================================== First Call for Papers IWC 2014 3rd International Workshop on Confluence 13 July 2014, Vienna, Austria, a FLoC workshop affiliated with RTA-TLCA http://www.nue.riec.tohoku.ac.jp/iwc2014/ ===================================================================== Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool supports, certification as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is a FLoC workshop affiliated with RTA-TLCA (FLoC 2014 is collocated with Vienna Summer of Logic 2014). Previous editions of the workshop were held in Nagoya (2012) and Eindhoven (2013). During the workshop the 3rd Confluence Competition (CoCo 2014) takes place. IMPORTANT DATES: * submission April 16, 2014 * notification May 14, 2014 * final version May 28, 2014 * workshop July 13, 2014 TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * TBA PROGRAM COMMITTEE: * Takahito Aoto Tohoku University (co-chair) * Thibaut Balabonski Gallium - Inria Rocquencourt * Eduardo Bonelli Universidad Nacional de Quilmes * Delia Kesner University Paris - Diderot (co-chair) * Naoki Nishida Nagoya University * Colin Riba LIP - ENS Lyon * Pierre-Yves Strub IMDEA Software * René Thiemann University of Innsbruck * Ashish Tiwari SRI International SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/account/signin.cgi?conf=iwc2014 ====================================================================== First Call for Provers CoCo 2014 3rd Confluence Competition 13 July 2014, Vienna, Austria http://coco.nue.riec.tohoku.ac.jp/2014/ ====================================================================== Recently, several new implementations of confluence tools are reported and interest for proving/disproving confluence "automatically" has been grown. The confluence competition aims to foster the development of techniques for proving/disproving confluence automatically by a dedicated competition among such tools. The 3rd Confluence Competition (CoCo 2014) will run ***live*** during the 3rd International Workshop on Confluence (IWC 2014), which is a FLoC workshop affiliated with RTA-TLCA (FLoC 2014 is collocated with Vienna Summer of Logic 2014). The following categories are currently planned: * confluence of first-order term rewrite systems * confluence of (oriented/join/semi-equational) conditional term rewrite systems * certification Besides these categories, new categories will be considered if there are tools and problems dedicated to those categories. Submissions of new confluence problems are also welcome. For more information including examples of new categories to be considered, platforms, competition rules and problems, see the webpage of CoCo 2014 indicated above. IMPORTANT DATES: * requests for new categories March 7, 2014 * tool registration June 27, 2014 * tool submission July 4, 2014 * problem submission July 9, 2014 * competition July 13, 2014 REQUEST FOR NEW CATEGORIES: We welcome requests for new categories. Request for new categories is via the contact email address. Please send us the following information at your earliest convenience: * description of problems and semantics (rewrite steps, confluence, etc.) together with adequate references * a proposal of the input format (if necessary) Requests for new categories may be rejected for technical reasons. SUBMISSION OF NEW PROBLEMS: Submissions of new confluence problems are welcome. Please use the web interface of Cops (Confluence Problems) database linked from the webpage of CoCo 2014. REGISTRATION/SUBMISSION: Tool registration is via the contact email address. Every tool registration should also contain a one page system description. Tool submission will be via StarExec. ORGANISING COMMITTEE: * Takahito Aoto Tohoku University (chair) * Nao Hirokawa JAIST * Harald Zankl University of Innsbruck CONTACT: coco-sc [AT] jaist.ac.jp

1 0

Fwd: [PVS] Fwd: Preliminary CfP: IFIP-TCS 2014
by Ichiro Hasuo 23 Dec '13

23 Dec '13

======================================================= TCS 2014 8th IFIP International Conference on Theoretical Computer Science September 1-3, 2014 Rome, Italy http://www.cyprusconferences.org/tcs2014/ Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014) AIM AND SCOPE OF THE CONFERENCE: Under the patronage of the International Federation of Information Processing (IFIP), since year 2000 the IFIP Technical Committee 1 (Foundations of Computer Science) has organized a series of biannual international conferences in Theoretical Computer Science. After Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006), Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition will be held in Rome in September 2014, in cooperation with the IFIP Working Group 2.2 (Formal Description of Programming Concepts) and in conjunction with the 25th Conference on Concurrency Theory. We call for papers in all areas of Theoretical Computer Science: they will be evaluated by two committees: Track A: Algorithms, Complexity and Models of Computation Track B: Logic, Semantics, Specification and Verification TOPICS: Suggested, but not exclusive, topics of interest include: Track A - analysis and design of algorithms; automata and formal languages; cellular automata and systems; combinatorial, graph and optimization algorithms; computational learning theory; computational complexity; computational geometry; cryptography; descriptive complexity; evolutionary and genetic computing; experimental algorithms; mobile computing; molecular computing and algorithmic aspects of bioinformatics; network computing; neural computing; parallel and distributed algorithms; probabilistic and randomized algorithms; quantum computing; structural information and communication complexity. Track B - automata theory; automated deduction; constructive and non-standard logics in computer science; concurrency theory and foundations of distributed and mobile computing; database theory; finite model theory; formal aspects of program analysis, foundations of hybrid and real-time systems; lambda and combinatory calculi; logical aspects of computational complexity; modal and temporal logics; model checking and verification; probabilistic systems; logics and semantics of programs; foundations of security; term rewriting; specifications; type, proof and category theory in computer science. SUBMISSION GUIDELINES: Authors are invited to submit an extended abstract of at most 15 pages (LNCS style with at least 11-point font size) to arrive before April 27, 2014. If more space is needed, a clearly marked appendix, to be read at the discretion of the program committee, may be included if desired. Submission will be handled by EasyChair. Further information and submission details can be found on the Conference web page. Simultaneous submissions to other conferences with published proceedings are not allowed. PROCEEDINGS: The conference proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science (LNCS) series. Selected papers from TCS 2014 will be invited to a special issue of the Journal Theoretical Computer Science. IMPORTANT DATES: Deadline for submission: April 27, 2014. Notification of acceptance: June 25, 2014. Final manuscript due: July 6, 2014. Conference: September 1-3, 2014. STEERING COMMITTEE: - Giorgio Ausiello, Sapienza Univ. di Roma - Jos Baeten, CWI Amsterdam - Jacques Sakarovitch, CNRS/T el ecom ParisTech CONFERENCE CO-CHAIRS: - Daniele Gorla, Sapienza Univ. di Roma - Rossella Petreschi, Sapienza Univ. di Roma PROGRAM COMMITTEES: Track A - Cristian Calude, University of Auckland - Josep Diaz (Chair), UPC Barcelona - Irene Finocchi, Sapienza Univ. di Roma - Paola Flocchini, University of Ottawa - Aristides Gionis, Aalto University Helsinki - Mordecai Golin, Hong Kong University of Tech. - Juhani Karhumaki, Turku University - Massimo Melucci, Univ. di Padova - Elvira Mayordomo, Universidad de Zaragoza - Friedhelm Meyer auf der Heide, Univ. of Paderborn - Pekka Orponen, Aalto University Helsinki - Giuseppe Persiano, Univ. di Salerno - G eraud S enizergues, Universit e Bordeaux 1 - Olivier Serre, CNRS / Universit e Paris 7 - Paul Spirakis, University of Liverpool - Osamu Watanabe, Tokyo Inst. of Technology - Peter Widmayer, ETH Zurich Track B - Jos Baeten, CWI Amsterdam - Lars Birkedal, Aarhus University - Andrei Bulatov, Simon Fraser University - James Cheney, University of Edinburgh - Ugo Dal Lago, Univ. di Bologna - Jos ee Desharnais, Universit e Laval - Jorg Endrullis, Vrije Universiteit Amsterdam - J erome Feret, ENS Paris - Marcelo Fiore, University of Cambridge - Silvio Ghilardi, Univ. di Milano - Benjamin Gr egoire, INRIA Sophia - Ichiro Hasuo, University of Tokyo - Marieke Huisman, University of Twente - Jean Krivine, CNRS / Universit e Paris 7 - Radha Jagadeesan, DePaul University, Chicago - Ivan Lanese, Univ. di Bologna - Grigore Rosu, University of Illinois at U-C - Davide Sangiorgi (Chair), Univ. di Bologna - Vladimiro Sassone, University of Southampton - Igor Walukiewicz, CNRS / Universit e Bordeaux 1

1 0

GaLoP 2014: Call for Abstracts (1 page max)
by Ichiro Hasuo 23 Dec '13

23 Dec '13

9th Workshop on Games for Logic and Programming Languages (GaLoP 2014) Grenoble, France, 12-13 April http://www.gamesemantics.org GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials. GaLoP IX will be held in Grenoble, France on 12-13 April 2014 as a satellite workshop of ETAPS (http://www.etaps.org/). Areas of interest include: * Games and other interaction-based denotational models; * Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of game semantics; * Categorical aspects of game semantics; * Programming languages and full abstraction; * Higher-order automata and Petri nets; * Geometry of interaction; * Ludics; * Epistemic game theory; * Logics of dependence and independence; * Computational linguistics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered (the 2005, 2008 and 2011 workshops led to special issues in Annals of Pure and Applied Logic). Submission Instructions Please submit an abstract (up to one page) of your proposed talk on the easychair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC. https://www.easychair.org/conferences/?conf=galop2014 Important Dates Submission: January 25, 2014 Notification: February 5, 2014 Workshop: April 12-13, 2014 Program Committee • Pierre Clairambault, Lyon • Dan Ghica, Birmingham • Ichiro Hasuo, Tokyo • Jim Laird, Bath (chair) • John Longley, Edinburgh • Gabriel Sandu, Paris • Alexis Saurin, Paris

1 0

Call for papers: LATD2014
by 小野寛晰 18 Dec '13

18 Dec '13

　　　　　Logic, Algebra and Truth Degrees 2014 　　　　　　　http://www.logic.at/latd2014 　　　　　　July 16 - 19, Vienna, Austria Call for papers The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event http://vsl2014.at . Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The featured topics include: Proof theory and computational complexity Algebraic semantics and abstract algebraic logic First, higher-order and modal formalisms Applications and foundational issues Geometric and game theoretic aspects We particularly welcome contributions on many-valued and related logical systems. Invited speakers: Silvio Ghilardi, Italy Melvin Fitting, USA George Metcalfe, Switzerland Dale Miller, France Dana Scott, USA Alasdair Urquhart, Canada Tutorials: Franz Baader, Germany Vincenzo Marra, Italy Programme Committee: Arnon Avron, Israel Matthias Baaz (Chair), Austria Agata Ciabattoni (Co-Chair), Austria Petr Cintula, Czech Republic Nikolaos Galatos, USA Lluis Godo, Spain Rosalie Iemhoff, The Netherlands Nicola Olivetti, France Hiroakira Ono, Japan Kazushige Terui, Japan Richard Zach, Canada Contributed talks: Abstracts of contributed talks, 2-4 pages, are to be prepared using the ASL abstract template and submitted via Easychair. The accepted abstracts will be available on-line and published in the joint volume of abstracts with the Logic Colloquium. The deadline for contributions is 6th April 2013. The notification of acceptance will be sent by 10th May 2013. For more information please visit the official web page of the conference: http://www.logic.at/latd2014. All correspondence should be directed to latd2014(a)logic.at. Please feel free to distribute this call. The Organizing Committee Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula, Bjorn Lellmann, Revantha Ramanayake, Lara Spendier

1 0

WoLLIC 2014 - 2nd Call for Papers
by 小野寛晰 16 Dec '13

16 Dec '13

[Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Verónica Becher (U Buenos Aires) Juha Kontinen (U Helsinki) Aarne Ranta (U Gothenburg) Kazushige Terui (U Kyoto) Luca Viganò (King’s College London) Thomas Wilke (U Kiel) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

[CFP] PPL2014 論文募集のお知らせ: 第16回プログラミングおよびプログラミング言語ワークショップ
by Keisuke Nakano 16 Dec '13

16 Dec '13

＊＊＊重複して受け取られた場合はご容赦ください＊＊＊電気通信大学の中野と申します．来年3月に熊本県阿蘇市阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) の論文募集の最終案内をさせていただきます．カテゴリ1への発表申込(タイトルと概要のみ)の締切は今週の金曜(12/20)ですが，論文の締切は1/8ですので是非投稿をご検討ください． -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)～3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションを披露した学生に発表賞を授与する予定です．カテゴリ1（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2014参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2014プログラム委員会により優れていると認めるものは，PPL2014終了後（2014年4月下旬予定），「コンピュータソフトウェア」誌のPPL2014推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定する可能性があります．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 投稿・発表申込要領 3つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ------------------------------ 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://www.easychair.org/account/signin.cgi?conf=ppl2014 (EasyChairのアカウントが必要です) 発表申込締切：2013年12月20日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300～400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2014年1月8日(水) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2014年2月3日(月) 最終原稿提出締切：2014年2月14日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年1月24日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2014年2月5日(水) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年2月7日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200～300字程度）をご提出ください．採否通知：2014年2月14日(金) 問い合わせ先：ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

CFP for MSFP 2014
by Makoto Hamana 15 Dec '13

15 Dec '13

$B3'MM!"(B $B?t3XE*9=B$$K4p$E$/4X?t7?%W%m%0%i%_%s%08&5f$N%o!<%/%7%g%C%W(B MSFP $B$N$40FFb$G$9!#(BETAPS'14$BJ;@_$G!:@Z$,6a$/$J$C$F$*$j$^$9$,!"(B $B$<$REj9F$r$48!F$$/$@$5$$!#(B $B$J$*!">7BT9V1i$N0l?M$O5~ETBg3X$N>!8T$5$s$G$9!#(B -- $BIML>(B $B72GOBg3X(B ======================================================================== Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A satellite workshop of ETAPS 2014 http://www.cs.bham.ac.uk/~pbl/msfp2014/ The fifth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. Important Dates: ================ Abstract 24 December 2013 Submission 31 December 2013 Notification 3 February 2014 Final version 10 February 2014 Workshop 12 April 2014 Invited Speakers: ================= Bob Atkey Shin-ya Katsumata, Kyoto Universty Topics: ======= Submissions are welcomed on, but by no means restricted to, topics such as: * structured effectful computation * structured recursion * structured corecursion * structured tree and graph operations * structured syntax with variable binding * structured datatype-genericity * structured search * structured representations of functions * structured quantum computation * structure directed optimizations * structured types * structure derived from programs and data Program Committee: ================== Andreas Abel, Chalmers and Gothenburg University Neil Ghani, The University of Strathclyde Makoto Hamana, Gunma University Neelakantan R. Krishnaswami (co-chair), University of Birmingham Paul Blain Levy (co-chair), University of Birmingham Rasmus M$Bxg(Belberg, IT University of Copenhagen Russell O'Connor, McMaster University Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors, and will be published under the auspices of EPTCS under a Creative Commons license. There is no specific page limit, but authors should strive for brevity.

1 0

Call for Papers: 2nd AWPL
by 小野寛晰 10 Dec '13

10 Dec '13

The Second Asian Workshop on Philosophical Logic 12-13 April, 2014 Institute for Logic and Cognition Sun Yat-Sen University Guangzhou, China All researchers working on various aspects of philosophical logic are cordially invited to submit their papers by the submission deadline of January 20th, 2014. Authors should submit an (extended) abstract at least two pages but no more than ten pages. Papers must be submitted as PDF files and sent to liuhu2(a)mail.sysu.edu.cn . Each submission will be refereed. DESCRIPTION OF THE CONFERENCE: The Second Asian Workshop on Philosophical Logic will be held at Guangzhou, China, and is organized by the Institute of Logic and Cognition, Sun Yat-sen University from 12th to 13th April, 2014. The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science. IMPORTANT DATES: Abstract submission deadline: January 20, 2014 Notification of authors: February 15, 2014 Conference: April 12-13, 2014 POST-CONFERENCE PUBLICATION: All authors of papers presented at the conference will be encouraged to submit a full version to a post-conference volume published by Springer at the book series "Logic in Asia". See http://www.springer.com/series/13080 . All papers submitted to the post-conference proceedings will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The details of the post-conference proceedings will be announced later COMMITTEE: Chairs: Shier Ju （Sun Yat-sen University, China） Hiroakira Ono （JAIST, Japan） Program Committee: Wojciech Buszkowski （Adam Mickiewicz University, Poland） Mihir Chakraborty (Jadavpur University, India) Phan Minh Dung (Asian Institute of Technology, Thailand) Fenrong Liu (Tsinghua University, China) Jeremy Seligman (The University of Auckland, New Zealand) Wen-fang Wang (National Yang Ming University, Taiwan, China) Chin-mu Yang (National Taiwan University, Taiwan，China) Xishun Zhao (Sun Yat-sen University, China) Furthur information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml December 2013