Logic-ml

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

7 participants
1772 discussions

国際会議 : 2nd CFP IWC 2017 (with FSCD in Oxford )
by Fujita Kenetsu 20 Jun '17

20 Jun '17

皆様，群馬大学の藤田と申します． 9月の IWC 2017 のご案内をさせていただきます．どうぞよろしくお願いいたします． ----- (* Apologies for any cross-postings. *) ===================================================================== Call for Papers IWC 2017 6th International Workshop on Confluence September 8th, 2017, Oxford, United Kingdom Collocated with FSCD 2017 http://cl-informatik.uibk.ac.at/events/iwc-2017/ ===================================================================== Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and has 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 support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2017 is collocated with FSCD 2017. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), and Obergurgl (2016). During the workshop, the 6th Confluence Competition (CoCo 2017) takes place. IMPORTANT DATES: * submission Saturday, July 1st, 2017 * notification Saturday, July 22nd, 2017 * final version Saturday, August 5th, 2017 * workshop Friday, September 8th, 2017 (deadlines are AoE) 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: * Stefan Kahrs (University of Kent) * tba PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Jörg Endrullis (Vrije Universiteit Amsterdam) * Bertram Felgenhauer (University of Innsbruck) * Ken-Etsu Fujita (Gumma University) * Philippe Malbos (Université Claude Bernard Lyon 1) * Jakob Grue Simonsen (University of Copenhagen) 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/conferences/?conf=iwc2017 EasyChair style: http://easychair.org/publications/for_authors -----

1 0

[LORI-VI] 1st Call for Participation
by Katsuhiko Sano 20 Jun '17

20 Jun '17

[Please circulate. Apologies for multiple copies] The Sixth International Conference on Logic, Rationality and Interaction September 11-14, 2017, Hokkaido University, Sapporo, Japan http://golori.org/lori2017/ [About LORI] The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers. [Invited Speakers] Mike Dunn: Indiana University, U.S.A. Alan Hajek: Australian National University, Australia Nina Gierasimczuk: Technical University of Denmark, Denmark Natasha Alechina: University of Nottingham, UK Sara Negri: University of Helsinki, Finland Hiroakira Ono: JAIST, Japan [PC Chairs] Alexandru Baltag: University of Amsterdam, The Netherlands Jeremy Seligman: University of Auckland, New Zealand [Conference Organiser] Tomoyuki Yamada: Hokkaido University, Japan [News] ****** ASL Sponsorship ****** Student ASL members may apply for (limited) ASL travel funds that ASL is making available for sponsored meetings. For more on this, see http://www.aslonline.org/studenttravelawards.html . The deadline for student travel grant applications and recommendations for LORI VI is kindly extended to June 30th, 2017. [Website] For detailed conference information and registration, please visit http://golori.org/lori2017/ . [Sponsors] LORI Tsinghua University - University of Amsterdam Joint Research Centre for Logic Graduate School of Letters, Hokkaido University Association for Symbolic Logic [Contacts] Programme: The PC Chairs <lori6(a)easychair.org> Conference: Tomoyuki Yamada <tomoyuki.s.yamada(a)gmail.com>

1 0

教員公募（東北大学電気通信研究所教授）
by Atsushi Ohori 17 Jun '17

17 Jun '17

sonoteno皆様，PPLの皆様，logic-mlの皆様，メーリングリストをお借りして、教員公募の案内をお送りいたします．教授１名（理論計算機科学等を含む基礎研究分野），応募締切 6月30日です．(重複して受信された場合はご容赦ください) 東北大学大堀淳 ------------------------------------------------------------------------- 教員公募情報東北大学大電気通信研究所では、教授職の教員を下記により公募いたします。募集人員：教授１名所　　属：　システム・ソフトウェア研究部門コンピューティング情報理論研究分野専門分野：　　本分野では、情報の意味や計算の構造に関する基礎研究の飛躍的発展とその応用的展開を通じて、複雑で多様な情報のより高速、より安全、より効率的な処理の実現を目指します。　この実現のため、計算理論分野の基礎研究を対象とし、プログラム検証や自動証明、高度コミュニケーションシステム、人工知能などへの応用に資する計算理論への展開なども視野にいれた研究と教育を行います。着任時期：平成30年4月以降のなるべく早い時期応募資格：博士の学位を持つ者応募期限：平成29年6月30日（消印有効）なお、提出書類や書類送付先などの詳細につきましては以下をご覧ください。 http://www.riec.tohoku.ac.jp/ja/information/proposals/2017/04/post-14412/ -------------------------------------------------------------------------

1 1

24th WoLLIC 2017 - Call for Participation
by 小野寛晰 13 Jun '17

13 Jun '17

[Please circulate. Apologies for multiple copies] Call for Participation WoLLIC 2017 24th Workshop on Logic, Language, Information and Computation July 18-21, 2017 University College London (UCL), London, UK SPECIAL SESSION: Screening of Navajo Math Circles <http://www.zalafilms.com/navajo/about.html> (Directed by George Paul Csicsery, 2016, 58min) 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) IN COOPERATION WITH ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) ORGANISATION Department of Computer Science, University College London, London, UK School of Electronic Engineering and Computer Science, Queen Mary College, London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, University College London, London, UK INVITED SPEAKERS Hazel Brickhill (Bristol) (University of Bristol) Michael Detlefsen (University of Notre Dame) Alexander Kurz (University of Leicester) Frederike Moltmann (New York University) David Pym (University College London) Nicole Schweikardt (Humboldt Universität) Fan Yang (Delft University) Boris Zilber (University of Oxford) STUDENT GRANTS ASL sponsorship of WoLLIC 2017 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2017). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. PROGRAMME COMMITTEE Matthias Baaz <http://www.logic.tuwien.ac.at/staff/baaz/home.html> (University of Technology, Vienna, Austria) John Baldwin <http://homepages.math.uic.edu/~jbaldwin/> (University of Illinois at Chicago, USA) Dana Bartozová <http://www.math.toronto.edu/bartosov/> (Universidade de São Paulo, Brazil) Agata Ciabattoni <https://www.logic.at/staff/agata/> (University of Technology, Vienna, Austria) Walter Dean <http://www2.warwick.ac.uk/fac/soc/philosophy/people/dean/> (University of Warwick, UK) Erich Grädel <https://logic.rwth-aachen.de/~graedel/> (RWTH Aachen, Germany) Volker Halbach <http://users.ox.ac.uk/~sfop0114/> (University of Oxford, UK) Juliette Kennedy <http://www.math.helsinki.fi/logic/people/juliette.kennedy/> (Helsinki University, Finland) (Chair) Dexter Kozen <http://www.cs.cornell.edu/~kozen/> (Cornell University, USA) Janos Makowsky <http://www.cs.technion.ac.il/~janos/> (Technion - Israel Institute of Technology, Israel) Larry Moss <http://www.indiana.edu/~iulg/moss/> (indiana University, USA) Alessandra Palmigiano <http://www.appliedlogictudelft.nl/alessandra-palmigiano/> (Delft University, The Netherlands) Mehrnoosh Sadrzadeh <http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh> (Queen Mary, UK) Sonja Smets <http://sonja.tiddlyspot.com/#HOME> (Amsterdam University, The Netherlands) Asger Törnquist <http://www.math.ku.dk/~asgert/> (Københavns Universitet, Denmark) Rineke Verbrugge <http://www.rinekeverbrugge.nl/> (University of Groningen, The Netherlands) Andrés Villaveces <https://avillavecesn.net/> (Universidad Nacional, Colombia) Philip Welch <http://www.maths.bris.ac.uk/~mapdw/> (University of Bristol, UK) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. ORGANISING COMMITTEE Alexandra Silva <http://www.alexandrasilva.org/#/main.html> (Univ College London, UK) (Local co-chair) Mehrnoosh Sadrzadeh <http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh> (Queen Mary, UK) (Local co-chair) Paulo Oliva <http://www.eecs.qmul.ac.uk/~pbo/> (Queen Mary, UK) James Brotherston <http://www0.cs.ucl.ac.uk/staff/J.Brotherston/> (Univ College London, UK) Anjolina G. de Oliveira <http://www.cin.ufpe.br/~ago> (U Fed Pernambuco) Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2017/ <http://wollic.org/wollic2017/> ACCEPTED PAPERS Fausto Barbero, Lauri Hella and Raine Rönnholm. Independence-Friendly logic without Henkin quantification. Fedor Pakhomov. Solovay completeness without fixed points. Paola Bruscoli and Lutz Strassburger. On the length of Medial-Switch-Mix derivations. Almudena Colacito and George Metcalfe. Proof Theory and Ordered Groups. Rohit Parikh. An Epistemic Generalization of Rationalizability. Lev Beklemishev. On the reflection calculus with partial conservativity operators. Arnold Beckmann and Jean Jose Razafindrakoto. Total Search Problems in Bounded Arithmetic and Improved Witnessing. Flavio Ferrarotti, Senén González and Jose Turull-Torres. On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. Michał Tomasz Godziszewski and Joel David Hamkins. Computable quotient presentations of models of arithmetic and set theory. Nathanael L. Ackerman and Cameron E. Freer. On the Computability of Graph Turing Machines. Ian Mackie. A Geometry of Interaction Machine for Gödel's System T. Zhaohui Luo and Serguei Soloviev. Dependent Event Types. Igor Sedlar. Substructural logics with a reflexive transitive closure modality. Stepan Kuznetsov. The Lambek calculus with iteration: two variants. Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics. Karin Cvetko Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis and Benjamin Blundell. Non-commutative logic for compositional distributional semantics. Daniyar Shamkanov. Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. Vít Punčochář. Knowledge is a Diamond. Gijs Wijnholds. Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. Zhiguang Zhao. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. Marcin Mostowski and Marek Czarnecki. Concrete mathematics. Finitistic approach to foundations. Denis I. Saveliev and Nikolai L. Poliakov. On two concepts of ultrafilter extensions of first-order models and their generalizations. Yury Savateev and Daniyar Shamkanov. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Sérgio Marcelino and Carlos Caleiro. Disjoint fibring of non-deterministic matrices. Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano. Multi-type display caculus for Semi De Morgan Logic. Dan Marsden, Fabrizio Genovese, Bob Coecke and Martha Lewis. Applications of Generalized Relations in Linguistics and Cognition. Bjørn Kjos-Hanssen. Shift registers fool finite automata. Giuseppe Greco and Alessandra Palmigiano. Lattice logic properly displayed.

1 0

Kyoto Philosophical Logic Workshop IIのご案内
by Hitoshi Omori 13 Jun '17

13 Jun '17

Kyoto Philosophical Logic Workshop IIのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。概要などの詳細はウェブサイトをご覧下さい。 ------------------------------------- Kyoto Philosophical Logic Workshop II 【日時】2017年6月19日、20日【場所】京都大学文学部校舎地下大会議室【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kplw2017-2 【プログラム】 19日: 11:00--12:30 Eduardo Barrio "What is a Paraconsistent Logic?" 12:30--14:00 Lunch 14:00--15:00 Damian Szmuc "On all Weak Kleene generalizations of Classical Logic" 15:00--16:00 Takuro Onishi "Routley’s American plan revisited" 16:00--16:15 Coffee break 16:15--17:15 Yosuke Fukuda "On a computational interpretation of Rumfitt's bilateral natural deduction" 17:15--18:45 Shunsuke Yatabe "Deflationism, logical notion of truth and proof theoretic semantics" 19:00-- Dinner 20日: 11:00--12:30 Wen-fang Wang "Three-Valued Semantic Pluralism: A Defense of A Three-Valued Solution to the Sorites Paradox" 12:30--14:00 Lunch 14:00--15:00 Ryosuke Igarashi "Kant's Transcendental Logic and Antinomies of Pure Reason" 15:00--16:00 Ryo Ito "Classes, Fusions and Russell's original theory of types" 16:00--16:15 Coffee break 16:15--17:15 Timo Weiss "Logic, Probability, Belief" 17:15--18:45 Graham Priest "Logical Theory-Choice: the Case of Vacuous Counterfactuals" 19:00-- Dinner ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

ERATO MMSD キックオフワークショップのご案内
by Shin-ya KATSUMATA 01 Jun '17

01 Jun '17

国立情報学研究所の勝股です。 ERATO蓮尾メタ数理システムデザインプロジェクトでは、プロジェクトの紹介と研究交流のためのキックオフワークショップを以下の要領で行います。お気軽にお越しください。名称 ERATO MMSD キックオフワークショップ日時 6月15日(木) 14:30開始 17:15終了場所東京都千代田区一ツ橋2-1-2 国立情報学研究所12階 1208-1210 参加をご希望の方は文末のフォームにご記入の上、s.katsumata+kickoff(a)gmail.com に6月8日午前中までにご連絡下さいますようお願い申し上げます。また、ワークショップ後に研究交流会を行います。こちらもお気軽にお越しください。名称 ERATO MMSD 研究交流会日時 6月15日(木) 18:00開始場所東京都千代田区一ツ橋1-1-1 パレスサイドビルディング3階 ERATO蓮尾プロジェクト (http://group-mmm.org/eratommsd/accessj.html 東エレベータをご利用下さい) 参加費一般 3000円程度学生割引あり ========== ワークショッププログラム(発表は英語です) ========== 14:30-14:35 Introduction 14:35-14:55 Kengo Kido Nonstandard Static Analysis (Metatheoretical Transfer via Logic) 15:00-15:20 Natsuki Urabe Coalgebraic Unfolding in Forward and Backward Simulations (Metatheoretical Transfer via Category Theory) 15:25-15:45 Shin-ya Katsumata Simulations and Fibrational Liftings (Categorical Foundation for System Approximation) 15:45-16:00 Break 16:00-16:05 Interlude 16:05-16:25 Takamasa Okudono Generating Polynomial Interpolant with Semidefinite Programming (Numerical Optimization and Formal Methods) 16:30-16:50 Masaki Waga Efficient Timed Pattern Matching by Automata-Based Skipping (Automata Theory in Light-Weight Formal Methods) 16:55-17:15 Fuyuki Ishikawa Insights into Verification of Complex Systems from Software Testing Research (Formal Methods and Intelligence) ========== s.katsumata+kickoff(a)gmail.com 宛ワークショップ参加連絡フォーム ========== ERATO MMSD キックオフワークショップにご出席します。お名前: 研究交流会の参加：するしない (該当しないものを消去して下さい) 研究交流会の参加区分：一般学生 (該当しないものを消去して下さい) ========== ERATOプロジェクトホームページ ========== http://www.jst.go.jp/erato/research_area/ongoing/16816853.html 国立情報学研究所勝股審也

1 0

名古屋ロジックセミナー (UC Berkeley校Antonio Montalban氏の講演 6/12)
by Takayuki Kihara 26 May '17

26 May '17

皆様，名古屋大学の木原貴行です．この度，UC BerkeleyのAntonio Montalban氏の日本訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：6月12日 (月) 15:00〜場所：名古屋大学大学院情報学研究科棟 322号室講演者：Antonio Montalbán (カリフォルニア大学バークレー校) 題目：A classification of the natural many-one degrees アブストラクト： A common phenomenon in mathematics is that naturally-occurring objects behave better than general objects. This is definitely the case of the many-one degrees within Computability Theory. Our theorem, in a sense, completely classifies the natural many-one degrees and sets them apart from the non-natural ones. The theorem is a version of the uniform Martin's conjecture, but for the case of the many-one degrees. 講演終了後に夕食会を予定しています．夕食会にご参加いただける方は木原貴行 kihara(a)i.nagoya-u.ac.jp <mailto:kihara@i.nagoya-u.ac.jp> までご一報お願い致します． -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

ALGIについての重要なお知らせ３件と第二十八回ALGIの開催について
by 西澤弘毅 25 May '17

25 May '17

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。 ALGI（代数，論理，幾何と情報科学研究集会）について重要なお知らせ３件と、第二十八回 ALGIの開催に関する告知をさせていただきます。 < 重複してお受け取りの節はご容赦願います。> 【重要なお知らせ３件】 1. 現在の algi メーリングリストのアドレスは algi(a)sakura.imi.kyushu-u.ac.jp ですが、googleグループを利用したメーリングリストへの移行を計画しています。近いうちに、現在ご登録いただいているメールアドレスに招待メールが届く予定ですので、ぜひ承認作業をお願いいたします。 2. ALGIのウェブサイトが新しくなりました。新しいURLはこちらです。 https://sites.google.com/site/algimeeting/home 一部のコンテンツは旧サイトへのリンクになっていますが、順次移行いたしますので、ブックマークには新サイトをご登録ください。 3. 昨年度まで長きにわたり幹事を務めていただきました鹿児島大学の古澤仁さんに代わりまして、今年から崇城大学の津曲紀宏さんに幹事をお願いすることにいたしました。西澤も引き続き幹事を務めさせていただきます。よろしくお願いいたします。【第二十八回 ALGIの開催について】 **************************************************************** * 第二十八回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2017年8月28日（月）午後～8月29日（火） * * 鹿児島大学郡元キャンパス理学部 1号館 101講義室 * * * * 開催のお知らせと講演の募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。このたび、第二十八回ALGIを開催することになりました。会場の手配などは、昨年度まで幹事を務めていただきました鹿児島大学の古澤仁先生にお願いしています。開催場所は下記のとおりです。鹿児島大学郡元キャンパス理学部 1号館 101講義室 http://www.kagoshima-u.ac.jp/about/campusmap.html 講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。初日は午後から開催いたします。夕方には懇親会を計画しています。 ALGIは申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学）津曲紀宏（崇城大学） ----------------------------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

LFCS 2018 Call for Papers
by Hajime Ishihara 23 May '17

23 May '17

FIRST CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS '18), Deerfield Beach, Florida, January 8-11, 2018. LFCS GENERAL CHAIR: Anil Nerode. LFCS STEERING COMMITTEE: Anil Nerode, (Ithaca); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St. Petersburg); Samuel Buss (San Diego); Gerald Sacks (Cambridge, MA); Dana Scott, (Pittsburgh, PA - Berkeley, CA). LFCS ’18 PROGRAM COMMITTEE: Sergei Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris); Steve Awodey (Pittsburgh, PA); Matthias Baaz (Vienna); Lev Beklemishev (Moscow); Andreas Blass (Ann Arbor, MI); Samuel Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thierry Coquand (Göteborg); Michael Fellows (Bergen), Melvin Fitting (New York); Sergey Goncharov (Novosibirsk); Denis Hirschfeldt (Chicago, IL); Martin Hyland (Cambridge); Rosalie Iemhoff (Utrecht); Hajime Ishihara (JAIST - Kanazawa); Bakhadyr Khoussainov (Auckland); Roman Kuznets (Vienna); Daniel Leivant (Bloomington, IN); Robert Lubarsky (Boca Raton, FL); Victor Marek (Lexington, KY); Lawrence Moss (Bloomington, IN); Anil Nerode (Ithaca, NY) - General LFCS Chair; Hiroakira Ono (JAIST - Kanazawa); Alessandra Palmigiano (Delft); Ramaswamy Ramanujam (Chennai); Michael Rathjen (Leeds); Jeffrey Remmel (San Diego); Andre Scedrov (UPenn); Helmut Schwichtenberg (Munich); Philip Scott (Ottawa); Alex Simpson (Ljubljana); Sonja Smets (Amsterdam); Sebastiaan Terwijn(Nijmegen). LFCS ’18 LOCAL ORGANIZING COMMITTEE CHAIR: Robert Lubarsky. LFCS TOPICS of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. SUBMISSION DETAILS. Proceedings will be published in the Springer LNCS series. There will be a post-conference volume of selected works published. Submissions should be made electronically via http://www.easychair.org/LFCS18/. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings. LFCS issues the BEST STUDENT PAPER AWARD named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science. IMPORTANT DATES. Submissions deadline: September 10, 2017, any time zone. Notification: October 10, 2017. LOCAL ARRANGEMENTS. The venue of LFCS ’18 will be the spectacular Wyndham Deerfield Beach Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441. Website: http://www.wyndhamdeerfieldresort.com Further Information about LFCS symposia: http://lfcs.ws.gc.cuny.edu/ About LFCS. The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992. LFCS has enjoyed support and endorsements from a number of bodies, including the US National Science Foundation (NSF) and the City University of New York Research Foundation.

1 0

2017年度数学基礎論サマースクール案内第１報
by Toshio Suzuki 19 May '17

19 May '17

皆様首都大学東京の鈴木登志雄です。 2017年度数学基礎論サマースクールの案内第１報です。今年度のテーマは「計算理論」です。日時：８月５日（土）から７日（月）初日午後、２日目以降午前・午後（時間割は後日、ウェブに掲載）会場：明治大学駿河台キャンパス　リバティタワー1073 http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html 世話人：鈴木登志雄（首都大学東京），隈部正博（放送大学），河村彰星（東京大学），宮部賢志（明治大学）参加費：無料講師・テーマ：河村彰星「はじめての計算可能性」，宮部賢志「チューリング次数」，隈部正博「ジェネリック次数」，鈴木登志雄「ＨＦデルタ１関係」ウェブサイト： toshio-suzuki-logic.jp/meeting/summer2017.html 近い日程の集会：サマースクールの翌日から，SLACS 2017（記号論理と情報科学）が開催されます（千葉工業大学）。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml