Logic-ml February 2011

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

14 participants
16 discussions

Fw: Second International Conference on Order, Algebra, and Logics (3rd announcement)
by Suzuki, Nobu-Yuki 13 Feb '11

13 Feb '11

皆さま静岡大学理学部数学科の鈴木信行と申します。以下のような案内が来ましたので、お知らせします。重複して受け取られた方には、ご寛恕をお願いいたします。 -----------------------転送元のメール----------------------- From: Order Algebra Logic <Order.Algebra.Logic(a)tcs.uj.edu.pl> To: smnsuzu(a)ipc.shizuoka.ac.jp Subject: Second International Conference on Order, Algebra, and Logics (3rd announcement) Date: Mon, 14 Feb 2011 08:15:01 +0900 ==================================================================== THIRD ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski on the occasion of their 70th Birthdays) June 6-10, 2011, Krakow, POLAND ==================================================================== The organizers of the 2nd OAL conference in Cracow kindly inform the following: The conference website http://2oal.tcs.uj.edu.pl contains up to date information about the conference, including how - to register: http://2oal.tcs.uj.edu.pl/register.html and - to submit an abstract of a proposed talk: http://2oal.tcs.uj.edu.pl/submissions.html With kind regards, Marcin Kozik /on behalf of the organizers/

1 0

Second International Conference on Order, Algebra, and Logics (3rd announcement)
by Order Algebra Logic 11 Feb '11

11 Feb '11

==================================================================== THIRD ANNOUNCEMENT ==================================================================== SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski on the occasion of their 70th Birthdays) June 6-10, 2011, Krakow, POLAND ==================================================================== The organizers of the 2nd OAL conference in Cracow kindly inform the following: The conference website http://2oal.tcs.uj.edu.pl contains up to date information about the conference, including how - to register: http://2oal.tcs.uj.edu.pl/register.html and - to submit an abstract of a proposed talk: http://2oal.tcs.uj.edu.pl/submissions.html With kind regards, Marcin Kozik /on behalf of the organizers/

1 0

第24回量子情報技術研究会（QIT24）のご案内
by Harumichi Nishimura 10 Feb '11

10 Feb '11

logic-mlの皆様，第24回量子情報技術研究会（QIT24）の案内について，世話人からの依頼投稿をさせていただきます．なお，重複してお受け取りの節はご容赦ください．大阪府立大学理学系研究科西村治道 http://www.mi.s.osakafu-u.ac.jp/~hnishimura/ ============================================================== 各位この場をお借りしまして，第24回量子情報技術研究会（QIT24）についてご案内させていただきます．周囲の方々にご周知いただければ幸いです．なお，口頭発表申込締切は 2011年 3月3日（木）となっております．何かご不明な点などございましたら，QIT24世話人 (qit24(a)ngc.is.ritsumei.ac.jp) までお尋ねください． QIT24世話人細谷暁夫（東京工業大学理工学研究科基礎物理学専攻）山下茂（立命館大学情報理工学部情報システム学科）河内亮周（東京工業大学情報理工学研究科数理・計算科学専攻） ============================================================== 第24回量子情報技術研究会のご案内研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と，そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第24回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．期日　2011年 5月12日（木）, 13日（金）会場　東京工業大学西９号館ディジタル多目的ホール（〒152-0033 東京都目黒区大岡山東京工業大学大岡山キャンパス内）発表募集内容発表募集分野（申込状況によっては査読可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，およびその関連分野招待講演： Aephraim M. Steinberg氏 (CQIQC) 佐藤文隆氏 (甲南大学) 蔡兆申氏 (理研/NEC) 定員　200名程度参加費　事前振込み　一般5,000円, 学生1,000円 (当日会場払いは一般6,000円, 学生2,000円) (懇親会は別途）研究会参加申込要領講演(口頭・ポスター)申込，聴講申込は下記URLにて受付を行います http://staff.aist.go.jp/s-kawabata/qit/ 【講演申込締切】 2011年 3月 3日（木）口頭 2011年 4月 1日（金）ポスター【参加申込締切】 2011年 4月15日（金）【世話人】細谷暁夫（東京工業大学理工学研究科基礎物理学専攻）山下茂（立命館大学情報理工学部情報システム学科）河内亮周（東京工業大学情報理工学研究科数理・計算科学専攻） e-mail: qit24(a)ngc.is.ritsumei.ac.jp 主催　量子情報技術時限研究専門委員会 (委員長　北川勝浩(大阪大学)) 共催　応用物理学会量子エレクトロニクス研究会

1 0

BLAST 2011
by No-Reply 09 Feb '11

09 Feb '11

BLAST 2011 June 1-5, 2011 Lawrence, Kansas http://www.math.ku.edu/conferences/blast2011/ BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first three BLAST conferences were at the University of Denver, New Mexico State University, and the University of Colorado in Boulder. Go to the BLAST 2011 website for complete details. Invited Talks * Themba Dube (University of South Africa) * Todd Eisworth (Ohio University) * Christian Herrmann (Technische Universitat Darmstadt) * Albin Jones (National Security Agency) * Milos Kurilic (University of Novi Sad) * Keye Martin (Naval Research Laboratory) * Jorge Martinez (University of Florida) * Paul Szeptycki (York University) Tutorials * Magdalena Grzech (Cracow University of Technology) * Pieter Hofstra (University of Ottawa) * Marion Scheepers (Boise State University) * Stevo Todorcevic (University of Toronto) A limited amount of financial support is available for graduate students and recent Ph.D.'s. To apply for support, send an email of request to the conference organizers. The conference organizers can be contacted at blast2011(a)math.ku.edu. A printable version of this flyer is available for download here: http://www.math.ku.edu/conferences/blast2011/announcement-flyer.pdf

1 0

[PPDP'11] Call for Papers
by Kazunori UEDA 08 Feb '11

08 Feb '11

メーリングリストをお借りして、PPDP'10 の論文募集をお送りします。論文締切は３月１５日（アブストラクトは８日）です。上田和紀＠早稲田大学 ====================================================================== CALL FOR PAPERS PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www-ps.informatik.uni-kiel.de/ppdp11/ July 20-22, 2011, Odense, Denmark (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011) ====================================================================== PPDP 2011 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will held in cooperation with ACM SIGPLAN and take place in July 2011 in Odense, Denmark, co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011). TOPICS: - Logic, Constraint, and Functional Programming - Database, AI and Knowledge Representation Languages - Visual Programming - Executable Specification Languages - Applications of Declarative Programming - Methodologies: Program Design and Development - Declarative Aspects of Object-Oriented Programming - Concurrent Extensions to Declarative Languages - Declarative Mobile Computing - Integration of Paradigms - Proof Theoretic and Semantic Foundations - Type and Module Systems - Program Analysis and Verification - Program Transformation - Abstract Machines and Compilation - Programming Environments This list is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. IMPORTANT DATES: Abstract submission: March 8, 2011 Paper submission: March 15, 2011 Notification: April 19, 2011 Camera-ready version: May 12, 2011 Symposium: July 20-22, 2011 SUBMISSION GUIDELINES: Papers should be submitted via the submission website for PPDP 2011: http://www.easychair.org/conferences/?conf=ppdp11 Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. PROCEEDINGS: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. PROGRAM COMMITTEE: Peter Achten Radboud University Nijmegen, The Netherlands Sergio Antoy Portland State University, USA Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene Kirchner INRIA, France Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Salvador Lucas Universidad Politecnica de Valencia, Spain Simon Peyton Jones Microsoft Research, Cambridge, UK Kostis Sagonas Uppsala University, Sweden Peter Schneider-Kamp University of Southern Denmark, Denmark Doaitse Swierstra Utrecht University, The Netherlands Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy Catholic University of Louvain, Belgium For more information, contact the chairs: Program Chair: Michael Hanus University of Kiel, Germany Email: mh(a)informatik.uni-kiel.de Symposium Chair: Peter Schneider-Kamp University of Southern Denmark Email: petersk(a)imada.sdu.dk ----------------------------------------------------------------------

1 0

CALCO 2011: Last Call for Papers
by Ichiro Hasuo 02 Feb '11

02 Feb '11

みなさま，国際会議 CALCO のご案内です．プロセス代数，代数的仕様，余代数，項書換え，様相論理など幅広いトピックが対象です．ぜひ投稿をご検討ください．招待講演者も豪華です！！蓮尾一郎京都大学数理解析研究所 ========================================================================= !! LAST CALL FOR PAPERS: CALCO 2011 !! 4th International Conference on Algebra and Coalgebra in Computer Science August 29 - September 2, 2011 Winchester, UK http://calco2011.ecs.soton.ac.uk/ ========================================================================= Abstract submission: February 6, 2011 Paper submission: February 13, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (England), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England. -- INVITED SPEAKERS -- Vincent Danos (UK) Javier Esparza (Germany) Philippa Gardner (UK) Gopal Gupta (USA) -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. -- IMPORTANT DATES -- Abstract submission: February 6, 2011 Paper submission: February 13, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 -- PROGRAMME COMMITTEE -- Jiri Adamek (Technical University of Braunschweig, Germany) Lars Birkedal (IT University of Copenhagen, Denmark) Filippo Bonchi (INRIA Saclay, France) Corina Cirstea (University of Southampton, UK) Andrea Corradini (co-chair, University of Pisa, Italy) Maribel Fernandez (King's College London, UK) Jose Fiadeiro (University of Leicester, UK) H. Peter Gumm (Philipps University Marburg, UK) Ichiro Hasuo (Kyoto University, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Bartek Klin (co-chair, University of Warsaw, Poland) Barbara Koenig (University of Duisburg-Essen, Germany) Alexander Kurz (University of Leicester, UK) Marina Lenisa (University of Udine, Italy) Jose Meseguer (University of Illinois, Urbana-Champaign, USA) Ugo Montanari (University of Pisa, Italy) Larry Moss (Indiana University, Bloomington, USA) Till Mossakowski (DFKI Lab Bremen and University of Bremen, Germany) Catuscia Palamidessi (INRIA Saclay, France) Dusko Pavlovic (Kestrel Institute, USA) John Power (University of Bath, UK) Jan Rutten (CWI and Radboud University Nijmegen, The Netherlands) Sam Staton (University of Cambridge, UK) Lutz Schroeder (DFKI Lab Bremen and University of Bremen, Germany) Andrzej Tarlecki (Warsaw University, Poland) Yde Venema (University of Amsterdam, The Netherlands) Martin Wirsing (Ludwig-Maximilians-University Munich, Germany) -- ORGANISING COMMITTEE -- Corina Cirstea (University of Southampton, UK) Dirk Pattinson (Imperial College London, UK) Toby Wilkinson (University of Southampton, UK) -- LOCATION -- Winchester is a beautiful historic city in southern England, known for its 11th-century cathedral and 12th-century castle. It is located just under an hour by rail from London Waterloo, and 15 minutes by road or rail from Southampton Airport. London Heathrow is 50 miles away and London Gatwick 72 miles away. -- SATELLITE WORKSHOPS -- CALCO 2011 will be preceded by the CALCO Young Researchers Workshop, CALCO-Jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO-Tools, will be held on the same dates as the main CALCO conference. There are separate submission procedures for CALCO-Jnr and CALCO-Tools. -- CALCO-Jnr Overview -- The CALCO Young Researchers Workshop invites submissions on the same topics as the CALCO conference. CALCO-Jnr presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page abstracts. After the workshop, the author(s) of each presentation will be invited to submit a full 10-15 page paper on the same topic. Following additional reviewing, selected papers will be published as a technical report. http://calco2011.ecs.soton.ac.uk/workshops/calco-jnr.html -- CALCO-Jnr Dates -- Abstract submission: May 8, 2011 Author notification: May 30, 2011 Final version due: June 30, 2011 -- CALCO-Jnr Programme Committee -- Corina Cirstea (University of Southampton, UK) Magne Haveraaen (University of Bergen, Norway) John Power (University of Bath, UK) Monika Seisenberger (chair, Swansea University, UK) Toby Wilkinson (University of Southampton, UK) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems/prototypes/tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. http://calco2011.ecs.soton.ac.uk/workshops/calco-tools.html -- CALCO-Tools Dates -- Paper submission: March 23, 2011 Author notification: April 20, 2011 Final version due: May 18, 2011 -- CALCO-Tools Programme Committee -- Paolo Baldan (University of Padova, Italy) Luis Barbosa (University of Minho, Portugal) Dorel Lucanu (chair, Al. I. Cuza University of Iasi, Romania) Milad Niqui (CWI, Amsterdam, The Netherlands) Peter Olveczky (University of Oslo, Norway) Dirk Pattinson (Imperial College London, UK) -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant PC chairs. Queries related to the organisation should be emailed to calco2011(a)ecs.soton.ac.uk .

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2011