Logic-ml March 2012

9 participants
14 discussions

セミナー案内
by KASHIMA Ryo 12 Oct '12

12 Oct '12

数理論理学セミナーのご案内日時：12月22日(木)17時から場所：東京工業大学大岡山西８号館W棟11階 W1101セミナー室会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html 話者：藤原誠（東北大学）題目：結婚定理の逆数学概要： 1972年にManasterとRosensteinは可算版結婚定理を再帰理論的に分析し、通常の可算版結婚定理は計算可能には成立しないことを示した。一方、1983年にKiersteadは拡張Hall条件を導入し、計算可能に成立する結婚定理を得た。本発表では、拡張Hall条件を用いて考え得るあらゆる結婚定理の複雑さを逆数学的に分析する。また、Kiersteadとは別の観点から、計算可能に成立する結婚定理について考察する。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃＃＃＃詳細はお問い合わせください＃＃＃

1 1

Fwd: PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg
by Ichiro Hasuo 28 Mar '12

28 Mar '12

みなさま，東京大学の蓮尾です．ドイツの博士学生・ポスドクの求人，念のため転送します．Lutz Schröder さんは modal logic/coalgebra/computational effect の文脈で大活躍の方です．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ---------- Forwarded message ---------- From: Lutz Schröder <lutz.schroeder(a)cs.fau.de> Date: Wed, Mar 28, 2012 at 5:25 AM Subject: PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg [I would be grateful for further distribution of the job advertisement below] In the newly founded Theoretical Computer Science group (Chair 8) at the University of Erlangen-Nürnberg, several research positions are available that can be filled at the doctoral or post-doctoral level. These include project positions of up to two years, in the TV-L E13 or E14 pay scale depending on qualification of the applicant; project topics include - coalgebraic logic - probabilistic description logic - formal methods in mechanical engineering. Additionally, at least one position is available that is not tied to a specific research project but does carry a teaching obligation of 5h per week; in this case, research work can be positioned in any of the core fields of the group including - modal logic - knowledge representation - coalgebra - formal methods - program semantics - applications of semantic technologies Such positions can be filled at TV-L E13 for an initial appointment of three years, with a possibility of extension for another three years subject to provisions by German laws on temporal employment in academia; postdoctoral applicants from EU countries can be appointed at the A13 payscale ("akademischer Rat") (which pays better and has better benefits) for two periods of three years, with a possible extension of two periods of two years at the A14 payscale ("akademischer Oberrat") for candidates who successfully complete a habilitation during the first six years. Please send applications consisting of a cover letter, resume, and contact details of three references by email to lutz.schroeder(a)cs.fau.de. There is no particular application deadline; positions will be filled when suitable candidates are found. Best regards, Lutz -- -------------------------------------- Prof. Dr. Lutz Schröder Chair of Theoretical Computer Science Department of Computer Science Friedrich-Alexander-Universität Erlangen-Nürnberg lutz.schroeder(a)informatik.uni-erlangen.de lutz.schroeder(a)cs.fau.de --------------------------------------

1 0

Prof. Dieter Spreen Lecture at NII Logic Seminar
by Makoto Tatsuta 27 Mar '12

27 Mar '12

Prof. Dieter Spreen Lecture at NII Logic Seminar Date: April 4, 2012, 13:30--15:30 Place: National Institute of Informatics, Room 1213 (12th floor) 場所: 国立情報学研究所 12階 1213室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Dieter Spreen (University of Siegen) Title: A refined model construction for the polymorphic lambda calculus Abstract: We present and discuss a stable model for the polymorphic lambda calculus. The domains are enriched by an approximation structure. This allows to put additional requirements on the morphisms of the underlying category. Moreover, a totality notion can be introduced such that in the induced model the polymorphic booleans are interpreted by the two-element set {True, False}. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

RTA 2012: Call for Participation
by Nao Hirokawa 26 Mar '12

26 Mar '12

皆様 5月30日に名古屋大学で行われます書換えに関する国際会議 RTA 2012 の参加者募集をご案内致します。皆様のご参加を心よりお待ち申し上げます。廣川 (JAIST) +===================================================================+ | | | CALL FOR PARTICIPATION | | | | International Conference on Rewriting Techniques and Applications | | | | RTA 2012 | | | | May 30 - June 1, 2012 | | Nagoya, Japan | | | | http://rta2012.trs.cm.is.nagoya-u.ac.jp/ | | | +===================================================================+ --------------------------------------------------------------------- -- REGISTRATION -- --------------------------------------------------------------------- For online registration visit: https://apollon.nta.co.jp/rta2012/ * Early registration closes on April 25 JST(GMT+9). * Online registration closes on May 9 JST(GMT+9). --------------------------------------------------------------------- -- ABOUT RTA -- --------------------------------------------------------------------- RTA 2012 is the 23rd International Conference on Rewriting Techniques and Applications, collocated with five satellite workshops, IFIP WG 1.6, IWC, WFLP, HOR and TTATT. --------------------------------------------------------------------- -- CONFERENCE VENUE -- --------------------------------------------------------------------- Noyori Memorial Hall, Higashiyama Campus of Nagoya University --------------------------------------------------------------------- -- RTA 2012 INVITED SPEAKERS -- --------------------------------------------------------------------- * Hirokazu Anai (FUJITSU LABORATORIES LTD / Kyushu University) * Claude Kirchner (INRIA & LORIA) * Sebastian Maneth (NICTA & University of New South Wales) --------------------------------------------------------------------- -- WORKSHOPS -- --------------------------------------------------------------------- * IFIP WG 1.6 IFIP Working Group 1.6 on Term Rewriting * IWC 1st International Workshop on Confluence * WFLP 21st International Workshop on Functional and (Constraint) Logic Programming * HOR 6th International Workshop on Higher-Order Rewriting * TTATT 1st International Workshop on Trends in Tree Automata and Tree Transducers --------------------------------------------------------------------- -- SCHEDULE -- --------------------------------------------------------------------- * May 28 IFIP WG 1.6 * May 29 IWC, WFLP * May 30 - June 1 RTA * June 2 HOR, TTATT --------------------------------------------------------------------- -- ASSOCIATED EVENTS -- --------------------------------------------------------------------- FLOPS 2012 11th International Symposium on Functional and Logic Programming May 23 - 25, Kobe, Japan http://www.org.kobe-u.ac.jp/flops2012/ * It takes about 70 minutes to go from Nagoya to Kobe by Shinkansen. --------------------------------------------------------------------- -- HOST CITY: NAGOYA, JAPAN -- --------------------------------------------------------------------- Nagoya is located at the center of Honshu (the main island of Japan) with a population of 2.24 million. Thanks to the rich water resources of the Kisogawa, Nagaragawa and Ibigawa Rivers, the fertile land which enjoy the blessings of the rivers, and other advantages including good transportation links, its people have lived affluent lives since early days. Nagoya has a long history and is the birthplace of three notable feudal lords, Oda Nobunaga, Toyotomi Hideyoshi and Tokugawa Ieyasu. Also in Nagoya, traditional industries like ceramics and textiles, and today's key industries like automobiles, aviation and machine tools have developed, and Nagoya has an important role in Japan's industrial society. Furthermore, the Central Japan International Airport (Centrair) opened in February 2005, and in March 2005, Expo 2005 Aichi Japan started. Centrair has flight connections with Frankfurt, Helsinki, Detroit, Tokyo Narita, etc. Today, Nagoya grabs attention and keeps on developing as a Japanese international city. You can see more detailed information from the website of Nagoya Convention & Visitors Bureau: http://www.ncvb.or.jp/en/contents/ For travel and accommodation information, please consult the RTA 2012 website: http://rta2012.trs.cm.is.nagoya-u.ac.jp/ RTA 2012 is organized by Nagoya University, Graduate School of Information Science and will take place in Higashiyama campus of Nagoya University. --------------------------------------------------------------------- -- REGISTRATION (again) -- --------------------------------------------------------------------- For online registration visit: https://apollon.nta.co.jp/rta2012/ * Early registration closes on April 25. * Online registration closes on May 9. --------------------------------------------------------------------- -- CONTACT -- --------------------------------------------------------------------- See http://rta2012.trs.cm.is.nagoya-u.ac.jp/

1 0

CFP: AiML 2012 (with deadline extension)
by Thomas Bolander 22 Mar '12

22 Mar '12

AiML-2012: FINAL CALL FOR PAPERS (WITH DEADLINE EXTENSION) 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012.html Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference center in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels. PAPER SUBMISSIONS There will be two types of submissions to AiML-2012: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at AiML but not for the published proceedings. All submissions should be submitted electronically using our EasyChair page http://www.easychair.org/conferences/?conf=aiml2012 At least one author of each accepted paper or short presentation must register for, and attend, the conference. (1) FULL PAPERS. Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2012 will be published by College Publications (http://www.collegepublications.co.uk) in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template provided on the AiML'2012 website (click "Paper Submissions"). We also ask authors of full papers to submit the abstract in plain text to the EasyChair page by 30 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. SPECIAL SESSION ON HYBRID LOGIC. Hybrid logic is an extension of modal logic allowing to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered. SPECIAL SESSION IN HONOUR OF LARISA MAKSIMOVA. There will be a special session of AiML devoted to papers and talks in honour of Larisa Maksimova, in recognition of her many outstanding contributions to modal logic. SPECIAL SESSION ON MODALITES FOR TYPES. Recent years have witnessed significant growth of interest in constructive type-theoretical modalities, in particular modalities ensuring productivity and type safety of (co-)recursive definitions in reactive programming. Some earlier examples include the use of modalities for staged computation, metaprogramming or in computational lambda-calculus. In order to boost interaction between programming, type-theoretical and modal communities, AiML 2012 will host a special session on these topics. Papers for the special sessions should be submitted to the EasyChair site along with others. INVITED SPEAKERS Lev Beklemishev (Moscow State University) Johan van Benthem (University of Amsterdam and Stanford University) Lars Birkedal (IT University of Copenhagen, Denmark) Patrick Blackburn (Roskilde University) Balder ten Cate, (UC Santa Cruz) Larisa Maksimova (Novosibirsk State University) PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Università di Bologna, Italy) Giovanna D'Agostino (Università di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Rosalie Iemhoff (University of Utrecht, The Netherlands) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Università degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) IMPORTANT DATES [Please notice that the deadline for full papers submission has moved to April 7, 2012; authors should however submit an abstract by the old deadline of March 30, 2012 to speed up PC paper selection.] Abstract of Full papers submission deadline: 30 March 2012 Full papers submission deadline: 7 April 2012 Full papers acceptance notification: 18 May 2012 Short presentations submission deadline: 1 June, 2012 Short presentations acceptance notification: 7 June, 2012 Final version of full papers and short presentations due: 15 June 2012 Conference: 22-25 August, 2012. FURTHER INFORMATION. Please see http://hylocore.ruc.dk/aiml2012/ ENQUIRIES. E-mail enquiries should be directed respectively to the PC co-chairs, sent to aiml2012(a)easychair.org

1 0

CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
by Yuki Chiba 22 Mar '12

22 Mar '12

(重複の場合はご容赦ください．) 皆様，北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の案内を再度送らせて頂きます． http://www.jaist.ac.jp/icfem2012 ICFEMは形式手法とその実用的応用に関する国際会議です．ぜひ投稿をご検討下さい．アブストラクトの締め切りは4月9日です．よろしくお願いします． ************************************************************ ICFEM 2012: 14th International Conference on Formal Engineering Methods CALL FOR PAPERs 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan URL: http://www.jaist.ac.jp/icfem2012 ************************************************************ ICFEM will come back to Japan in 2012 again! Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2012 will be hosted by National Institute of Advanced Industrial Science and Technology (AIST) and Japan Advanced Institute of Science and Technology (JAIST), which will be held in Kyoto, JAPAN. Kyoto is the ancient capital of JAPAN, where you can find many historical sites which have been designated as World Heritage there. We are looking forward to your submissions. AREA AND TOPICS Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered: * Abstraction and refinement * Formal specification and modelling * Software verification * Program analysis * Software model checking * Formal approaches to software testing * Formal methods for object and component systems * Formal methods for cloud computing/robotics/cyber-physical systems/ medical devices/aeronautics/railway * Formal methods for self-* systems * Formal methods for software safety, security, reliability and dependability * Experiments involving verified systems * Formal methods used in certifying products under international standards (ISO 26262, IEC 61508, etc) * Formal model-based development and code generation SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be done through the ICFEM 2012 submission page (https://www.easychair.org/conferences/?conf=icfem2012), handled by the EasyChair conference system. IMPORTANT DATES Abstract Submission Deadline: 9th April, 2012 Full Paper Submission Deadline: 16th April, 2012 Acceptance/Rejection Notification: 18th June, 2012 Camera Ready Copy Due: 16th July, 2012 Conference: 12th-16th, November, 2012. ORGANIZATION COMMITTEE General Chairs: Kokichi Futatsugi, JAIST, Japan Shaoying Liu, Hosei Uni., Japan Conference Chair: Hitoshi Ohsaki, AIST, Japan Program Chairs: Kenji Taguchi, AIST, Japan Toshiaki Aoki, JAIST, Japan Steering Committee: Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, UK Jin Song Dong, National University of Singapore, Singapore He Jifeng, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, USA Shengchao Qin, University of Teesside, UK Program Committee: Bernhard K. Aichernig (Graz University of Technology, Austria) Cyrille Artho (AIST, Japan) Richard Banach (University of Manchester, UK) Nikolaj Bjorner(Microsoft Research Redmond, USA) Jonathan P. Bowen (University of Westminster, UK) Michael Butler (University of Southampton, UK) Sagar Chaki (CMU/SEI, USA) Rance Cleaveland (University of Maryland/Reactive Systems, USA) Jim Davies (Oxford University, UK) Zhenhua Duan (Xidian University, China) Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain) Andy Galloway (University of York, UK) Stefania Gnesi (ISTI-CNR, Italy) Wolfgang Grieskamp (Google, USA) Klaus Havelund (NASA JPL, USA) Daniel Jackson (MIT, USA) Thierry Jeron (INRIA, France) Gerwin Klein (NICTA, Australia) Weiqiang Kong (Kyushu University, Japan) Kim G. Larsen (Aalborg University, Denmark) Peter Gorm Larsen (Engineering College of Aarhus, Denmark) Insup Lee (University of Pennsylvania, USA) Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany) Xuandong Li (Nanjing University, China) Yuan-Fang Li (Monash University, Australia) Zhiming Liu (UNU/IIST, Macau) Dominique Mery (Nancy University and LORIA, France) Stephan Merz (INRIA Nancy & LORIA, France) Huaikou Miao (Shanghai University, China) Alexandre Mota (CIn-UFPE, Brasil) Shin Nakajima (NII, Japan) Kazuhiro Ogata (JAIST, Japan) Jose Nuno Oliveira (Universidade do Minho, Portugal) Jun Pang (University of Luxembourg, Luxembourg) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) S. Ramesh (General Motors India, India) Alexander Romanovsky (Newcastle University, UK) Wuwei Shen (Western Michigan University, USA) Marjan Sirjani (Reykjavik University, Iceland) Greame Smith (The University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Jun Sun (Singapore University of Technology and Design, Singapore) Yih-Kuen Tsay (National Taiwan University, Taiwan) Viktor Vafeiadis (MPI-SWS, Germany) Hai H. Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Wang Yi (Uppsala University, Sweden) Jian Zhang (Chinese Academy of Sciences, China) Huibiao Zhu (East China Normal University, China)

1 0

フォーマルアプローチ特集論文募集
by Ichiro Hasuo 22 Mar '12

22 Mar '12

フォーマルアプローチ特集論文募集電子情報通信学会論文誌英文ED分冊フォーマルアプローチ特集編集委員会フォーマルアプローチ(形式手法・形式技法・形式理論)は，情報システムの設計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．本特集は，情報システムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．奮って御投稿下さいますよう御案内申し上げます． 1. 対象分野主な対象は以下のとおりですが，これに限らず，「情報システムおよびそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します． - 基礎理論：要求，仕様，検証，静的・動的解析等のフォーマルアプローチに関する理論． - 方法論：軽量フォーマルメソッド，モデルベース設計，詳細化等のフォーマルアプローチに関する方法論． - 言語：仕様記述言語，モデリング言語，モデルベースプログラミング言語，ハードウェア記述・検証言語． - ツール：モデル検査器，定理証明器，静的・動的解析器． - 応用：組込システム，ハイブリッドシステム，社会システム(内部統制等)等の形式解析，コンコリックテスト等のテスト技法，形式仕様からのコード生成． 2. 論文の執筆と取扱い - 論文(一般論文)，レター，及びサーベイ論文を募集します．投稿規定等は電子情報通信学会の英文誌の規定と同じです．以下の規定を御参照ください． "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール論文投稿締切平成 24年 7月18日(水) 23:59 JST 第一回判定通知予定平成 24年 9月14日(金) 初回修正締切平成 24年11月13日(火) 最終判定通知予定平成 24年12月22日(土) 発行予定平成 25年 6月号 4. 投稿方法本特集では，電子投稿のみを受付けます．ステップ1. 論文を下記のweb pageから投稿してください．初期投稿時に，編集可能な論文本体(TeX/Word)，図，著者の写真, biographyも投稿する必要があります． https://review.ieice.org/regist_e.aspx 投稿の際には以下の項目を選択してください． ``Type of Section (Issue)/Transactions'' -> ``[Special ED] Formal Approach'' データ登録時点で論文原稿のアップロードができない場合，「郵送による投稿」を選択して登録を一旦完了させてください．論文原稿のアップロードは，登録後に送付される電子メールに記載のURLにアクセスして行ってください．ステップ2. 仮登録後に作成される``Copyright Transfer and Page Charge Agreement''と``Confirmation Sheet of Manuscript Registration''に記入，署名し，論文投稿締切日までに下記問合せ先まで電子メールまたは郵便にてお送り下さい(電子メールが望ましいです)．郵送の場合，封筒に『フォーマルアプローチ特集』と記載してください． 5. 特集編集委員会委員長緒方和博(北陸先端大) 幹事岡野浩三(阪大) 磯部祥尚(産総研) 土屋達弘(阪大) 結縁祥治(名大) 委員岩沼宏治(山梨大) 河辺義信(愛知工大) 小林孝一(北陸先端大) 坂本比呂志(九工大) 寺内多智弘(名大) 中村正樹(富山県立大) 蓮尾一郎(東大) 浜口清治(阪大) 廣川直(北陸先端大) 6. 問合せ先本特集のホームページ: (和文) http://www.jaist.ac.jp/~ogata/FA/index-j.html (英文) http://www.jaist.ac.jp/~ogata/FA/ 緒方和博 fa-submit(at)jaist.ac.jp 〒923-1252 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 FAX: 0761-51-1149

1 0

CFP: HOR 2012 - extend deadline: March 26, 2012
by Makoto Hamana 19 Mar '12

19 Mar '12

皆様、高階書換え系ワークショップ HOR'12 の投稿〆切延長のご案内です。新〆切は来週 3月26日です。トピックスは、書換え研究はもちろんのこと、 λ計算、関数型言語、プログラム変換、証明変換、自動証明技術などの広い意味での高階書換えもカバーしますので、ぜひ日本の関連研究者の投稿をお待ちしています。すでに発表済み論文の紹介発表もOKとなっていますので、名古屋の RTA'12に参加予定の方は、ぜひHORへの投稿もご検討ください。 -- 浜名誠/群馬大学 ===================================================================== Call for papers 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. The following is a non-exhaustive list of topics for the workshop: * Applications: proof checking, type checking, theorem proving, functional programming, declarative programming, program transformation, using some notions of higher-order rewriting. * Foundations: pattern matching, unification, strategies, termination, syntactic properties, type theory, for higher-order rewriting. * Frameworks: graph rewriting, net rewriting, comparisons of different formats. * Implementation: explicit substitution, rewriting tools, compilation techniques. * Semantics: semantics of higher-order rewriting, higher-order abstract syntax, categorical rewriting. Important dates --------------- Paper submission: ** EXTENDED: March 26, 2012 ** Notification: April 20, 2012 Final version: May 10, 2012 Workshop: June 2, 2012 Invited speakers ---------------- * Zhenjiang Hu (National Institute of Informatics, Japan) Can Graph Transformation be Bidirectionalized? -- Bidirectional Semantics of Structural Recursion on Graphs -- * Another speaker to be annouced Submissions ----------- Two categories of papers are solicited: - Category A: Extended abstracts of new results, describing work in progress, or problems in higher-order rewriting. - Category B: Short versions of recently published or submitted elsewhere articles on higher-order rewriting. Papers in this category are for presentation only, and not considered as candidates for the post-workshop proceedings. Papers in both categories should be between 2 and 5 pages, and should note the category (either A or B). Papers are formatted according to EPTCS style, and submitted electronically via the EasyChair submission website. Papers will be judged on relevance, originality, correctness and usefulness. Please address your questions to the PC chair: hamana at cs.gunma-u.ac.jp. Proceedings ----------- The proceedings of HOR 2012 will be made available on the HOR 2012 web page, and a printed version will be distributed at the workshop. Post-workshop proceedings of extended abstracts of selected contributions is planned to be published as a volume of EPTCS. Program Committee ------------------- Andreas Abel (Ludwig-Maximilians-University Munich, Germany) Frederic Blanqui (INRIA, France) Makoto Hamana (Gunma University, Japan) (chair) Stefan Kahrs (University of Kent, UK) Fer-Jan de Vries (University of Leicester, UK) Program and Organizing Chair ---------------------------- Makoto Hamana (Gunma University, Japan)

1 0

Call for Papers - LfSA'12 - Logics for System Analysis
by Ichiro Hasuo 12 Mar '12

12 Mar '12

みなさま，こんにちは！東京大学の蓮尾です． 7月のバークレー，CAV 併設ワークショップ LfSA のご案内です． - トピックは（広い意味での）論理を用いたシステム検証で， - まだ新しいワークショップ（2回目）で正式なプロシーディングスもありませんが，専門家が集うので「出席して役に立つ」会合であると考えます．ぜひ投稿をご検討ください．（3カテゴリあります）それでは！蓮尾一郎東京大学大学院情報理工学系研究科コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ================================================ Call for Papers -------------------------------------------------- LfSA'12 -- Logics for System Analysis http://www.ls.cs.cmu.edu/LfSA12 -------------------------------------------------- Workshop Affiliated with CAV 2012 July 7th, 2012, Berkeley, USA Safety-critical systems frequently occur as real-time systems, embedded systems, hybrid systems, distributed systems, and cyber-physical systems. They are also becoming more and more important in many application domains, including aviation, automotive, railway, robotic, or medical applications, where both safety and security are relevant aspects. To ensure the correct functioning of safety-critical systems it is necessary to model and reason about hardware, software, communication aspects, physical properties, and the system environment. LfSA’12 is the second workshop on Logics for System Analysis, devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study. Topics include * Logics for safety-critical systems (real-time, embedded, hybrid, distributed, stochastic, cyber-physical) * Logic-based methods for development of safety-critical systems * Logics to study security aspects of systems or protocols * System representations using logics, automata, modeling languages, state charts, Petri nets, dataflow models * Theories, decision procedures, and calculi for system analysis * Model checking, theorem proving, and systematic testing * Case studies for logical system analysis * Applications of system analysis to industrial problems In particular, we invite contributions that bridge the gap between theory and practice or that combine different application domains. Submission Categories --------------------- * Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. * Short papers (up to 5 pages), which describe work in progress or aim at initiating discussions. * Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop; such papers will not be included in the LfSA proceedings but will be presented during the workshop. In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop Workshop/Programme Chairs ------------------------- Andre Platzer Carnegie Mellon University Philipp Ruemmer Uppsala University Programme Committee ------------------- A. Banerjee (IMDEA Madrid) R. Barbosa (U. Coimbra) F. S. de Boer (CWI Amsterdam) A. Cimatti (IRST Trento) M. Dam (KTH Stockholm) S. Demri (CNRS Cachan) M. Giese (U. of Oslo) I. Hasuo (U. Tokyo) F. Ivancic (NEC Lab. Princeton) E. B. Johnsen (U. of Oslo) V. Sofronie-Stokkermans (U. Koblenz) U. Waldmann (MPI Saarbrücken) Important Dates/Deadlines ------------------------- Abstract submission: April 13, 2012 Paper submission: April 20, 2012 Notification: June 8, 2012 Final version: June 29, 2012 Workshop: July 7, 2012 Workshop Webpage ---------------- http://www.ls.cs.cmu.edu/LfSA12 Submission via Easychair ------------------------ https://www.easychair.org/conferences/?conf=lfsa12

1 0

Tokyo Forum for Analytic Philosophy (TFAP)
by rdietz＠l.u-tokyo.ac.jp 12 Mar '12

12 Mar '12

Dear Sir/Madam, May I introduce myself, I am Dr Richard Dietz. I was recently appointed as a Lecturer the Department of Philosophy at the University of Tokyo ( Hongo Campus). I just founded a new discussion for analytic philosophy, which is going to be launched in April. It is called the Tokyo Forum for Analytic Philosophy (TFAP). For further information, please see: http://tf-ap.com On this note, I wanted to ask you whether you circulate the news of the upcoming launching of TFAP in your logic mailing list. This would be very helpful. Also, if this is possible, I would be grateful if I could join your mailing list. Thank you very much. I look forward to hearing from you. With best regards, Richard Dietz

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2012