Logic-ml March 2016

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

8 participants
10 discussions

Start a nNew thread

homotopy type theory
by logic＠math.tsukuba.ac.jp 09 Apr '16

09 Apr '16

昨日差し上げたものはだいぶ誤植があったので、修正したものをお送りします。にしむら筑波大学数学追伸:オマケです。手持無沙汰な折にでもどうぞ。 https://www.youtube.com/watch?v=lVTXNa4UMHs

1 2

[CSC Journals] CFP - INTERNATIONAL JOURNAL OF ENGINEERING (IJE)
by J. Stewart 28 Mar '16

28 Mar '16

Call for Papers International Journal of Engineering (IJE) ISSN - 1985-2312 http://www.cscjournals.org/journals/IJE/description.php International Journal of Engineering (IJE) is devoted in assimilating publications that document development and research results within the broad spectrum of subfields in the engineering sciences. The journal is publishing scientific research relating to various disciplines of the engineering field from theoretical, practical and analytical research to physical implications and theoretical or quantitative discussion intended for both academic and industrial progress. IJE is a peer review open access journal and aims to provide scientific knowledge to its readers in the field of aerospace engineering, biomedical engineering, civil & structural engineering, electrical engineering, electronic engineering, fluid engineering, mechanical engineering and nuclear engineering etc. IJE intended audience is comprised of scientists, researchers, mathematicians, practicing engineers, among others working in Engineering and welcomes them to publish their research in their particular disciplines. Besides targeting different research communities, IJE mainly focuses on engineers and researchers relevant to aerospace, agriculture, manufacturing, mechanics, mining and nuclear by publishing relevant research articles that will help them to learn from real time experiences, logics and conclusions drawn by other researchers and industrial experts. ASSOCIATE EDITORS Professor Ernest Baafi - University of Wollongong (Australia) Dr. Tarek M. Sobh - University of Bridgeport (United States of America) Assistant Professor Aleksandar Vujovic - Univeristy of Montenegro (Montenegro) Dr. Jelena Jovanovic - University of Montenegro (Serbia and Montenegro) Dr. Xuefei Guan - Siemens Corporate Research (United States of America) Dr. Cheng-Xian (Charlie) Lin - Florida International University (United States of America) EDITORIAL BOARD MEMBERS Associate Professor Fichera Sergio - University of Catania (Italy) Professor Jing Zhang - University of Alaska Fairbanks (United States of America) Dr. Tao Chen - Nanyang Technological University (Singapore) Dr. Oscar Hui - University of Hong Kong (Hong Kong) Associate Professor Aidy Ali - Universiti Putra Malaysia (Malaysia) Dr. Alireza Bahadori - Curtin University (Australia) Dr. Wanquan Liu - Curtin University (Australia) Dr. Xing-Gang Yan - University of Kent (United Kingdom) Dr. Reza Shadnam - KPMG (Canada) Associate Professor Miladin Stefanovic - University of Kragujevac (Serbia and Montenegro) Associate Professor Hong-Hu Zhu - Nanjing University (China) Professor Dr Mazlina Esa - Universiti Teknologi Malaysia (Malaysia) Associate Professor Mohd Amri Lajis - Universiti Tun Hussein Onn Malaysia (Malaysia) Associate Professor Khalifa Saif Al-Jabri - Sultan Qaboos University (Oman) Professor Tarek Abdel-Salam - East Carolina University (United States of America) Dr. Mohamed Rahayem - Örebro University (Sweden) Professor Zdravko Krivokapic - University of Montenegro (Serbia and Montenegro) Dr. Rosli - Universiti Tun Hussein Onn Malaysia (Malaysia) Professor Qingling Zhang - Northeastern University (China) Dr. Guoxiang Liu - University of North Dakota (United States of America) Dr. Nam Nguyen Dang - PetroVietnam University (Vietnam) Professor Dr.-Eng. Shehata E. Abdel Raheem - Assiut University - Egypt/Taibah University - KSA (Saudi Arabia) LIST OF TOPICS Aerospace Engineering Agricultural Engineering Biomedical Engineering Chemical Engineering Civil & Structural Engineering Computer Engineering Control Systems Engineering Education Engineering Electrical Engineering Electronic Engineering Engineering Mathematics Engineering Science Environmental Engineering Fluid Engineering Geotechnical Engineering Industrial Engineering Manufacturing Engineering Materials & Technology Engineering Mechanical Engineering Mineral & Mining Engineering Nuclear Engineering Optical Engineering Petroleum Engineering Robotics & Automation Engineering Telecommunications Engineering IMPORTANT DATES Submission Deadline: April 30, 2016 Notification : May 31, 2016 Issue Publication: : June2016 PAPER SUBMISSION DETAILS In order to submit the paper, you need to register as author and then submit the paper through Author Dashboard. It is also important to ensure that the manuscript must be formatted as per IJE Manuscript Preparation Guidelines. For further information, please refer to the following information. IJE Website - http://www.cscjournals.org/journals/IJE/description.php Submission Guidelines - http://www.cscjournals.org/journals/IJE/submission-guidelines.php Register as Author - http://www.cscjournals.org/login.php CSC-OpenAccess Library - http://www.cscjournals.org/library/oa-library.php Call for EDITORS International Journal of Engineering (IJE) seeks applications from enthusiastic researchers and scholars who can oversee and maintain the editorial direction of the journal to ensure a steady flow of engaging and thought-provoking original research publications. IJE is a peer-reviewed International journal dedicated to publishing an open access original research, reports, and reviews. For future improvement and development, IJE particularly seeks editors who can continue the enduring and ongoing editorial successes to next level and introduce the journal profile to different libraries and research centers around the globe. IJE welcome applications from editors with strong academic background and Internationally recognized reputation. Applicants with significant publishing or reviewing experience will be preferred. To qualify for the post of editorial board member (EBM), Associate Editor-in-Chief (AEiC) or Editor-in-Chief (EiC) applicants must have PhD degree having wide experience in academic/Industry/ research and international conferences. For more information on editorial role & responsibilities, benefits & privileges and application criteria to apply for editorial collaborations with IJE-CSC Journals, please refer to the following URLs. Editors Guidelines - http://www.cscjournals.org/editors/editors-guidelines.php Call For Editors - http://www.cscjournals.org/journals/IJE/call-for-editors.php Please do not hesitate to contact us at cscpress(a)cscjournals.org if you require more information prior to submission. Our team is committed to provide quick response and support from submission to final publication. Sincerely Editorial Board Members International Journal of Engineering (IJE) Thank you, J. Stewart Computer Science Journals (CSC Journals) B-5-8 Plaza Mont Kiara, Mont Kiara 50480, Kuala Lumpur, Malaysia Phone: 00603 6204 5627 Fax: 00603 6204 5628 Url: http://www.cscjournals.org

1 0

Talk by Nayuta Yanagisawa, Wed 30 Mar
by Toshiki Kataoka 25 Mar '16

25 Mar '16

皆様，以下のように，来週水曜日，京都大学の柳澤名由太さんをお招きして講演をしていただきます。ぜひご参加ください。 -- 片岡俊基 (Toshiki Kataoka, http://www-mmm.is.s.u-tokyo.ac.jp/~tos/) -------------------- Wed 30 Mar 2016, 16:30–18:00 Room 236, Chemistry Building East (“Kagaku-Higashikan”). Next to our building (School of Science Bldg. No. 7) Access: http://www-mmm.is.s.u-tokyo.ac.jp/access.html 1. Topological Theory of Distributed Computing 分散コンピューティングへの組合せトポロジー的なアプローチについて解説します． 2. A Topological Characterization of Wait-Free Solvability in the Infinite Arrival Model We extend the topological theory of distributed computing for systems with a fixed set of n processes to that for systems with infinitely many processes. We investigate a necessary and sufficient condition for the finitely-valued colorless tasks to be wait-free solvable in such distributed systems. A finitely-valued colorless task is a task that assumes a finite set of possible input/output values, and specifies input/output relation without referring to process IDs. Our characterization only resorts to finite combinatorial structures, called finite simplicial complexes as the topological device. By restricting our attention to finitely-valued colorless tasks, we can represent possible protocol states that are innocent of process IDs by a finite simplicial complex, even if the number of participating processes is infinite.

1 0

homotopy type theory
by logic＠math.tsukuba.ac.jp 23 Mar '16

23 Mar '16

私が筑波大学数理物質研究科数学専攻で来年度講義する講義をご案内しておきます。にしむら筑波大学数学追伸：オマケです。手持ち無沙汰な折にでもどうぞ。 https://www.youtube.com/watch?v=K_xTet06SUo

1 0

Prof. Dieter Spreen at NII Logic Seminar
by Makoto Tatsuta 16 Mar '16

16 Mar '16

Prof. Dieter Spreen at NII Logic Seminar Date: March 22, 2016, 14:00--16:00 Place: National Institute of Informatics, Room 1901 (19th floor) 場所: 国立情報学研究所 19階 1901室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Dieter Spreen (Siegen University) Ttile: Information Frames Abstract: In 1982, Dana Scott introduced information systems as a logic-based approach to domain theory. Here, a domain is a bound-complete algebraic complete partial order with least element. An information system consists of a set of tokens to be thought of as atomic statements about a computational process, a consistency predicate telling us which finite sets of such statements contain consistent information, and an entailment relation saying what atomic statements are entailed by which consistent sets of these. Theories of such a logic, also called states, i.e. finitely consistent and entailment-closed sets of atomic statements, form a bounded-complete algebraic complete partial order with respect to set inclusion, and, conversely, every such domain can be obtained in this way, up to isomorphism. This gives Scott's idea that domain elements represent information about stages of a computation a precise mathematical meaning. The role of bounded completeness becomes also clear in this context: States represent consistent information. So, any finite collection of substates must contain consistent infor- mation as well, and this fact is witnessed by any of its upper bounds. Whereas in Scott's approach the consistency witnesses are hidden, in this paper we present an approach that makes them explicit. This allows to consider the more general situation in which there is no longer a uniform global consistency predicate. Instead there a is consistency predicate for each atomic statement telling us which finite sets of atomic statements express information that is consistent with the given statement. As it turns out the theories, or states, of such a more general information system form an L-domain, and, up to isomorphism, each L-domain can be obtained in this way. Since every token in the just delineated kind of information system has its own consistency predicate, we can also think of each such system as a family of logics, or a Kripke frame. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

CCA 2016（計算理論と解析学）論文募集
by Akitoshi Kawamura 15 Mar '16

15 Mar '16

皆様東京大学の河村と申します。来年6月15～17日にポルトガルで開催される国際会議Computability and Complexity in Analysisの御案内です。どうぞ御検討下さい。 ______________________________________________________________ First Call for Papers Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016) http://cca-net.de/cca2016/ June 15-17, 2016, Faro, Portugal Submission deadline: March 14, 2016 ______________________________________________________________ Scientific Programme Committee * Matthew de Brecht (Osaka, Japan) * Fernando Ferreira (Lisbon, Portugal) * Sicun Gao (Cambridge, USA) * Mathieu Hoyrup (Nancy, France) * Akitoshi Kawamura, chair (Tokyo, Japan) * Bob Lubarsky (Boca Raton, USA) * Elvira Mayordomo (Zaragoza, Spain) * Robert Rettinger (Dortmund, Germany) * Ning Zhong (Cincinnati, USA) Organising Committee * Daniel Graça, chair (Faro, Portugal) * Rui Marreiros (Faro, Portugal) 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 1-2 pages abstracts in PDF format, including references via the following web page: https://easychair.org/conferences/?conf=cca2016 If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list. Final versions of abstracts might be distributed to participants in hardcopy and/or in electronic form. Dates * Submission deadline: March 14, 2016 * Notification of authors: April 16, 2016 * Final version: April 30, 2016 Conference Web Page http://cca-net.de/cca2016/ ______________________________________________________________ 東京大学総合文化研究科河村彰星

1 1

初めて筑波大学へ来られる方へ
by logic＠math.tsukuba.ac.jp 15 Mar '16

15 Mar '16

この３月１６日から１９日にかけて筑波大学で開催される日本数学会年会に来られるかたで筑波大学へ行くのはこれが初めてという方もかなりおられるかと思いますが、迷子にならないために次の点に注意してください。お手持ちの年会Programに非常によくできた案内図がございますが、筑波大学は二層構造になっているという点に十分ご注意ください。これはこういうことです。例えば筑波大学の附属図書館ですが、通常の利用者は２階の出入り口から出入りすることを期待されています。１階にも出入り口はござますが、これは附属図書館職員のためのもので、一般の利用者が使うことは許されておりません。こういうと不思議な感じがして筑波大学の教員や学生は空中浮揚術を習得しているのかと思われる向きもございましょうが、そういうことではありません。筑波大学Campus内の移動は初心者はかならずPedestrianに沿って行ってください。Pedestrianは１階部分を走っていることもあれば、２階部分を走っていることもあり、また１階部分から２階部分へのSlopeのこともございます。添付の地図でPedestrianをわかりやすく図示しています。２階の出入り口から入った建物を別の会場にいくために１階の出入り口からでるのはやめておかれたほうが無難です。にしむら筑波大学数学域追伸：オマケです。手持無沙汰の折にでもどうぞ。 https://www.youtube.com/watch?v=HHL0qQm-S6s

1 0

CFP: ATVA'16 (@Oct 17-19th, Chiba)
by takashi kitamura 03 Mar '16

03 Mar '16

みなさま産総研の北村です。自動検証技術に関する国際会議 ATVA'16 (10月に千葉で開催)の論文募集をお送りいたします。是非ご投稿・ご参加をご検討ください。 `````````````````````````````````````````````````````````````` === Automated Technology for Verification and Analysis (ATVA) 2016 === --- Springer LNCS proceedings --- --- Special issue in "Formal Methods in System Design" (Springer) --- http://atva2016.gforge.inria.fr/ The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan - 2003-5, Beijing - 2006, Tokyo - 2007, Seoul - 2008, Macao - 2009, Singapore - 2010, Taiwan - 2011, Thiruvananthapuram - 2012, Hanoi - 2013, Sydney - 2014, and Shanghai - 2015. Scope ATVA 2016 solicits high quality submissions in areas related to the theory and practice of automated analysis and verification of hardware and software systems. Topics of interest include, but are not limited to: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized system * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced/weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent hardware/software systems * Verification in industrial practice * Applications and case studies Theory papers should preferably be motivated by practical problems, and applications should be based on sound theory and should solve problems of practical interest. Submission ATVA invites research contributions in two categories: * Regular research papers (with 16 pages page limit, including references) * Tool papers (with 5 pages page limit, not counting references) Contributions must be written in English and in LNCS format, and must present original research that is unpublished and not submitted elsewhere (conferences or journals). The proceedings of ATVA 2016 will be published by Springer as a volume in the series of Lecture Notes in Computer Science (LNCS). For formatting instructions, see: http://www.springer.de/comp/lncs/authors.html PDF versions of the papers should be submitted to EasyChair: https://easychair.org/conferences/?conf=atva2016 Proofs and details omitted due to space constraints may be put in an appendix. Any such additional material will be read by reviewers/program committee members at their discretion. Authors are therefore urged to include details necessary for evaluation of the technical merit of their work within the prescribed page limits. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user's manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must also contain a document clearly giving instructions for installation of the tool on Linux/Windows/MacOS. Accepted papers in both categories will be published by Springer as a LNCS volume. At least one author of each accepted paper must also register for the conference and present the paper. Selected papers will be invited for a publication in Formal Methods in System Design, published by Springer. Important Dates: Abstract due: April 23 Paper due: April 26 Notification: June 6 Invited Speakers for keynotes and tutorials Masahiro Fujita Javier Esparza Tevfik Bultan Programme Committee Co-Chairs Cyrille Artho Axel Legay Doron Peled Publicity Chair Takashi Kitamura (AIST, Japan) Local Chairs Mitsuharu Yamamoto (Chiba University, Japan) Yoshinori Tanabe (Tsurumi University, Japan) Programme Committee Toshiaki Aoki Cyrille Artho Christel Baier Armin Biere Tevfik Bultan Franck Cassez Krishnendu Chaterjee Allesandro Cimatti Rance Cleaveland Deepak D'Souza Allen Emerson Bernd Finkbeiner Radu Grosu Klaus Havelund Marieke Huisman Ralf Huuck Moonzoo Kim Marta Kwiatkowska Kim Larsen Axel Legay Tiziana Margaria Madhavan Mukund Anca Muscholl Doron Peled Andreas Podelski Geguang Pu Sven Schewe Oleg Sokolsky Marielle Stoelinga Bow-Yaw Wang Chao Wang Farn Wang Wang Yi Naijun Zhan Lijun Zhang Huibiao Zhu Contact atva2016-info(a)lists.gforge.inria.fr -- Takashi KITAMURA t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Tel: +81-6-6494-8054, AIST internal: *33-274-71902

1 0

PhDs in Logic VIII, Darmstadt, Germany 9-11 May 2016
by Ishihara Hajime 01 Mar '16

01 Mar '16

皆様 PhDs in Logicの案内を転送いたします。北陸先端科学技術大学院大学石原　哉 --------------------------------------------------------------------------------------------------------------------------------- Call for submissions: PhDs in Logic VIII, Darmstadt, May 9-11, 2016 "PhDs in Logic" is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science. It involves tutorials by established researchers as well as short presentations by PhD students on their research. We are happy to announce that the next edition of "PhDs in Logic" will take place in Darmstadt, Germany, during May 9-11 2016, hosted by the Logic research group of the Department of Mathematics, TU Darmstadt. Confirmed tutorial speakers are : Mirna Dzamonja (University of East Anglia, UK) Nina Gierasimczuk (University of Amsterdam, the Netherlands) Ulrich Kohlenbach (TU Darmstadt, Germany) Piotr Kowalski (University of Wroklaw, Poland) Martin Otto (TU Darmstadt, Germany) Registration and abstract submission for interested PhD students are now open. We welcome contributions from any general field of Logic. The deadline for abstract submission is February 7, 2016. For more information please see: http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site… Local organisers: Julian Bitterlich, Felix Canavoi, Angeliki Koutsoukou-Argyraki, Daniel Koernlein, Florian Steinberg Technische Universität DarmstadtDepartment of MathematicsLogic GroupSchloßgartenstr. 764289 DarmstadtGermany

2 1

池上氏と横山氏の講演会(仙台)
by Tanaka Kazuyuki 01 Mar '16

01 Mar '16

皆様池上大祐氏と横山啓太氏による講演会を以下の通り行いますので、ふるってご参加下さい。 Sendai Logic Seminar 特別講演会日時：3月8日　15:00 - 17:30 場所：東北大学大学院理学研究科（青葉山）　　　合同Ａ棟２階　２０２号室＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊ Sendai Logic Seminar: Special Lectures Date: March 8 (Tuesday) Place: Room 202, Science Complex A Tohoku University (Aobayama) 15:00 - 16:00 Speaker: Daisuke Ikegami 池上大祐（東京電機大学） Title: Introduction to \Omega-logic Abstract: In this talk, we give some basic ideas on Woodin's \Omega-logic. If time permits, we discuss the connections between \Omega-logic and Boolean valued higher order logics. 16:30 - 17:30 Speaker: Keita Yokoyama 横山啓太 (JAIST, U.C. Berkeley) Title: Nonstandard models of subsystems of PA and KP Abstract: There are several similarities between nonstandard models of subsystems of PA and nonstandard models of subsystems of KP. Using nonstandard models of PRA and ISigma_1, one can prove the Parsons theorem, which states that the provably total functions of ISigma_1 are primitive recursive functions. In contrast to the Parsons theorem, Rathjen showed that the provably total functions of KP^-+Sigma_1-foundation+Pi_1-foundation are so-called primitive recursive set functions. In this talk, we will prove Rathjen's theorem by using recursively saturated models of KP^-. This is a joint work with Tin Lok Wong. 連絡先：田中一之（東北大学）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2016