Logic-ml December 2012

15 participants
17 discussions

ESSS 2013 -- submission deadline extended
by 山形賴之 26 Dec '12

26 Dec '12

ESSS 2013の論文投稿締め切りが延長されました。皆様の投稿をお待ちしております。 ================================================== 2nd International Workshop on Engineering Safety and Security Systems March 18, 2013, Luxembourg Co-located with ICST 2013 in Luxembourg, March 18-22, 2013 More information: http://www.comp.nus.edu.sg/~pat/esss2013/ =================================================== Important dates ----------------- * January 6th 2013: Submission deadline (extended) * February 11th 2013: Notification of acceptance/rejection (extended) * March 18th 2013: Workshop Introduction of the Workshop ----------------- The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop ----------------- The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines ----------------- Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2013. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html ). Papers should not exceed 6 pages for full papers and 2 pages for short papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All workshop papers will be published in the IEEE Digital Library in the form of a post-proceedings. A pre-workshop version of the papers will be available on the workshop website prior. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair ----------------- Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs ----------------- Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee ----------------- Etienne Andre, Universite Paris 13, France Cyrille Artho, AIST, Japan Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan -- 山形頼之独立行政法人産業技術総合研究所研究員 E-mail: yoriyuki.yamagata(a)aist.go.jp http://staff.aist.go.jp/yoriyuki.yamagata/

1 0

QIT28のご案内
by NISHIMURA Harumichi 26 Dec '12

26 Dec '12

logic-mlの皆様，来年５月に開催される第２８回量子情報技術研究会（QIT28）のご案内をQIT28世話人に代わって投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 http://www.math.cm.is.nagoya-u.ac.jp/~hnishimura/ --- 第28回量子情報技術研究会研究会の内容情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。期日 2013年5月27日（月）, 28日（火）会場北海道大学創成科学研究棟大会議室（〒001-0021 札幌市北区北21条西10丁目）発表募集内容発表募集分野（申込状況によっては査読可能性あり）：量子情報、量子計算、量子暗号など広く量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、およびその他関連分野定員 150名参加費事前振込み一般6,000円, 学生1,000円． (当日会場払いは一般7,000円, 学生2,000円) (懇親会は別途）研究会参加申込要領参加申込は下記Webにて受付けます． http://staff.aist.go.jp/s-kawabata/qit/ 講演（口頭，ポスター）申込，予稿集原稿PDF提出は電子情報通信学会のWebシステムを使用する予定．【講演申込締切】 2013年4月12日（金）；口頭講演 2013年4月26日（金）；ポスター講演【予稿集原稿提出】 2013年4月26日（金）【参加申込締切】 2013年5月2日（木）【問合先】富田章久（北海道大学大学院情報科学研究科）竹内繁樹（北海道大学電子科学研究所/大阪大学産業科学研究所）長谷川俊夫（三菱電機株式会社情報技術総合研究所） E-mail: qit28(a)ml.hokudai.ac.jp 主催量子情報技術時限研究専門委員会 (委員長枝松圭一(東北大)) 共催応用物理学会量子エレクトロニクス研究会物質・デバイス領域共同研究拠点北海道大学電子科学研究所

1 0

SAT 2013 Call For Papers
by Naoyuki Tamura 25 Dec '12

25 Dec '12

# 重複の場合はご容赦ください．神戸大学の田村と申します．メーリングリストをお借りして，来年7月にヘルシンキで開催されます SAT 2013 の Call For Papers をお送りします． -- 田村直之 (tamura(a)kobe-u.ac.jp) 神戸大学情報基盤センター〒657-8501 神戸市灘区六甲台町1-1 Phone: 078-803-5364, Fax: 078-803-5375 http://bach.istc.kobe-u.ac.jp/tamura-jp.html COPRIS+SCALA+CSP=SOLVER ------------------------------------------------------------------------- 1st CALL FOR PAPERS Sixteenth International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2013 --- Helsinki, Finland, July 8-12, 2013 http://sat2013.cs.helsinki.fi/ Abstract submission deadline: February 1, 2013 Paper submission deadline: February 8, 2013 ------------------------------------------------------------------------- The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers studying the theory and applications of the propositional satisfiability problem, broadly construed. Besides plain propositional satisfiability, it includes Boolean optimization (including MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be encoded as SAT instances, in the broad sense mentioned above, including problems in formal verification (hardware and software), artificial intelligence, and operations research. More recently, biology, cryptology, data mining, machine learning, and mathematics have been added to the growing list. The SAT conference aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability. SAT 2013 takes place in Helsinki, the capital of Finland. Helsinki is a vibrant Scandinavian and international city with a lot to offer to visitors. SAT 2013 takes place during the main summer season, allowing one to experience the whitenights during which the sun almost never sets. IMPORTANT DATES =============== (Follow http://sat2013.cs.helsinki.fi/ for updates.) February 1, 2013: Abstract Submission February 8, 2013: Paper Submission March 18, 2013 (approx.): Response from Authors begins, lasts 72 hours April 3, 2013: Acceptance Notifications April 22, 2013: Final Camera-Ready Versions July 8, 2013: Workshops begin July 9-12, 2013: Main Conference SCOPE ===== SAT 2013 welcomes scientific contributions addressing different aspects of the satisfiability problem. interpreted in a broad sense. Domains include MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraint Satisfaction Problems (CSP). Topics include (but are not restricted to) Theoretical advances (including exact algorithms, proof complexity, and other complexity issues); Practical search algorithms; Knowledge compilation; Implementation-level details of SAT solving tools and SAT-based systems; Problem encodings and reformulations; Applications (including both novel applications domains and improvements to existing approaches); Case studies and reports on insightful findings based on rigorous experimentation. OUT OF SCOPE ============ Papers claiming to resolve a major long-standing open theoretical question in mathematics or computer science (such as those for which a Millennium Prize is offered, see http://www.claymath.org/millennium) are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. SUBMISSIONS =========== Submissions to SAT 2013 are solicited in three paper categories, describing original contributions: REGULAR PAPERS (9 to 15 pages, excluding references) Regular papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions reporting on case studies are also encouraged, and should describe details, weaknesses, and strengths in sufficient depth. SHORT PAPERS (up to 8 pages, excluding references) The same evaluation criteria apply to short papers as to regular papers. They will be reviewed to the same standards of quality as regular papers, but will naturally contain less quantity of new material. Short papers will have the same status as regular papers and be eligible for the same awards (to be announced later). TOOL PAPERS (up to 6 pages, excluding references) A tool paper should describe the implemented tool and its novel features. Here "tools" are interpreted in a broad sense, including descriptions of implementations of core SAT solving techniques (solvers, preprocessors, etc.), systems exploiting SAT solvers or their extensions for solving interesting problem domains, etc. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. The software for the tool should be made publicly available, for accepted tool papers, and should at least be available to reviewers for evaluation during the review period. Evaluation criteria will include (but not be limited to) accurate documentation, usability, and potential for furthering the state of the art. For the latter criterion, availability of source code will be a significant factor. This is an evolving category, and technical issues involving software availability should be discussed with the program chairs. Be sure to check the conference web page for updates on this category. Papers describing unpublished tool-related work, providing details on a system and the novel algorithms it implements, as well as an experimental evaluation of the system's performance, can also be submitted as regular papers. For all paper categories, the page limits stated above do not include references, but do include all other material intended to appear in the conference proceedings. An additional technical appendix may be included, but it must be clearly labeled as supplementary material and may or may not be examined during review based of the considerations of individual reviewers. The appendix may contain detailed proofs, examples, descriptions of publicly available software related to the submission, or other information that does not fit the page limit. However, the appendix will not be included in the conference proceedings. The main contributions should be made accessible within the page limits, without having to rely on the appendix. Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2013, and should not consist of previously published material. Submissions must use the Springer LNCS style without modifications, and must be written in English. All papers submissions are done exclusively via the SAT 2013 EasyChair Conference Service at http://www.easychair.org/conferences/?conf=sat2013 . PROCEEDINGS =========== All accepted papers will be published in the proceedings of the conference, which will be published within the Springer LNCS series. PROGRAM CHAIRS ============== Matti Jarvisalo University of Helsinki, Finland Allen Van Gelder University of California at Santa Cruz, USA PROGRAM COMMITTEE ================= Gilles Audemard Fahiem Bacchus Armin Biere Maria Luisa Bonet Lucas Bordeaux Uwe Bubeck Samuel Buss Nadia Creignou Leonardo de Moura John Franco Enrico Giunchiglia Ziyad Hanna Marijn Heule Holger H. Hoos Jinbo Huang Tommi Junttila Matti Jarvisalo Arist Kojevnikov Daniel Kroening Oliver Kullmann Daniel Le Berre Florian Lonsing Ines Lynce Joao Marques-Silva Alexander Nadel Jakob Nordstrom Albert Oliveras Ramamohan Paturi Jussi Rintanen Olivier Roussel Ashish Sabharwal Lakhdar Sais Roberto Sebastiani Bart Selman Peter Stuckey Stefan Szeider Naoyuki Tamura Allen Van Gelder Toby Walsh ================================================================

1 0

[CFP] ATVA 2013 (Hanoi, 10/15-18, 2013)
by Ogawa Mizuhito 23 Dec '12

23 Dec '12

$B3'MM(B $B!v!vJ#?t<u$1<h$i$l$?J}$O$4MF<O$/$@$5$$!#!v!v(B $B>.@n!w(BJAIST $B$G$9!#(B2013$BG/(B10$B7n$K%O%N%$$G9T$o$l$^$99q:]2q5D(BATVA$B$N(B 1st call for paper $B$r$*Aw$j$$$?$7$^$9!#O@J8Ej9FDy$a@Z$j$O(B4$B7n(B6$BF|(B $B$H$^$@@h$G$9$,!"(B10$B7n$N%O%N%$$OAV$d$+$J;~4|$G$9!#$U$k$C$FEj9F$r(B $B$47W2h$/$@$5$$!#(B $B>.@n?p;K(B (JAIST) http://www.jaist.ac.jp/~mizuhito --------------------------------------------------------------- CALL FOR PAPERS ATVA 2013 11th International Symposium on Automated Technology for Verification and Analysis October 15 - 18, 2013, Hanoi, Vietnam ==================== The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field. The previous editions of the symposium were held in Taiwan, Beijing, Tokyo, Seoul, Macao, Singapore, Taipei and Thiruvananthapuram. Organised by the University of Engineering and Technology VNU Hanoi, ATVA 2013 will be held in the campus of Vietnam National University, Hanoi from October 15th to October 18th, 2013. SCOPE ATVA 2013 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 Submissions are invited in two categories: regular research papers and tool papers. Submitted papers must present original and unpublished work, and must not be concurrently submitted to any other conference or journal. Regular paper submissions are restricted to 15 pages inSpringer's LNCS format, and tool paper submissions are restricted to 4 pages in the same format. 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. Authors must upload PDF files of their papers throughEasyChair at: https://www.easychair.org/conferences/?conf=atva2013 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. KEYNOTE TALKS AND TUTORIALS Keynote talks and tutorials will be given by: - Alessandro Cimatti (ITC-IRST, Italy) - Marta Kiwakowska (Oxford, UK) - Jerome Leroux (Bordeaux, France) IMPORTANT DATES - April 06, 2013: Paper submission deadline - Jun 1, 2013: Paper acceptance/rejection notification - July 5, 2013: Camera-ready copy deadline - October 15 - 18, 2013: Main conference & Tutorials ORGANIZING COMMITTEES General Chair - Nguyen Ngoc Binh (UET-VNU Hanoi, Vietnam) Steering Committee - E. Allen Emerson (U. of Texas-Austin, USA) - Teruo Higashino (Osaka Univeristy, Japan) - Insup Lee (U. of Pennsylvania, USA) - Doron A. Peled (Bar Ilan University, Israel) - Farn Wang (National Taiwan University, Taiwan) - Hsu-Chun Yen (National Taiwan University, Taiwan) Programme Committee Co-Chairs - Hung Dang-Van (UET-VNU Hanoi, Vietnam) - Mizuhito Ogawa (JAIST, Japan) Publicity Chair - Thao Dang (Verimag, France) Finance/Registration Chair - Thanh-Tho Quan (HCMUT, Vietnam) Local Chair - Hoang Truong (UET-VNU Hanoi, Vietnam) PROGRAMME COMMITTEE - Christel Baier (Germany) - Jonathan Billington (Australia) - Gianpiero Cabodi (Italy) - Supratik Chakraborty (India) - Wei-Ngan Chin (Singapore) - Thao Dang (France) - Hung Dang-Van (Vietnam, Co-chair) - Deepak D'Souza (India) - E.Allen Emerson (USA) - Martin Frnzle (Germany) - Masahiro Fujita (Japan) - Susanne Graf (France) - Teruo Higashino (Japan) - Alan Hu (Canada) - Franjo Ivancic (USA) - Jie-Hong Roland Jiang (Taiwan) - Joost-Pieter Katoen (Germany) - Zurab Khasidashvili (Israel) - Moonzoo Kim (Korea) - Gerwin Klein (Australia) - Fribourg Laurent (France) - Insup Lee (USA) - Xuandong Li (China) - Annabelle McIver (Australia) - Madhavan Mukund (India) - Pham Ngoc-Hung (Vietnam) - Thanh-Binh Nguyen (Vietnam) - Viet-Ha Nguyen (Vietnam) - Mizuhito Ogawa (Japan, Co-chair) - Thanh-Tho Quan (Vietnam) - Venkatesh R (India) - Ganesan Ramalingam (India) - Abhik Roychoudhury (Singapore) - Hiroyuki Seki (Japan) - Martin Steffen (Norway) - Sofiene Tahar (Canada) - Hoang Truong (Vietnam) - Mahesh Viswanathan (USA) - Farn Wang (Taiwan) - Bow-Yaw Wang (China) - Ji Wang (China) - Hsu-Chun Yen (Taiwan) - Wang Yi (Sweden) - Shoji Yuen (Japan) - Wenhui Zhang (China) CONFERENCE VENUE Historical Campus, Vietnam National University, 19 Le Thanh Tong street, Hoan Kiem district, Hanoi, Vietnam.

1 0

LICS 2013 Last Call for Papers
by Kazushige TERUI 20 Dec '12

20 Dec '12

LAST CALL FOR PAPERS Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2013) June 25-28, 2013, New Orleans, USA http://lii.rwth-aachen.de/lics/lics13/ LICS 2013 will be hosted by Tulane University, in New Orleans, LA USA, from June 25th to 28th, 2013. LICS 2013 will be co-located with MFPS13 (23-25 June) and CSF13 (28-30 June). The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification. Important Dates: Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 7, 2013 Extended Abstracts Due : January 14, 2013 Author Notification (approximate) : March 22, 2013 Final Versions Due for Proceedings: April 26, 2013 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via http://easychair.org/conferences/?conf=lics2013. Submission Instructions: Every extended abstract must be submitted in the IEEE Proceedings 2-column 10pt format and may not be longer than 10 pages, including references. LaTeX style files will be available on the conference website. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work must be included. (If necessary, detailed proofs of technical results may be included in a clearly-labeled appendix, to be consulted at the discretion of program committee members.) Extended abstracts not conforming to the above requirements will be rejected without further consideration. Papers selection will be merit-based, with no a priori limit on the number of accepted papers. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The program chair must be informed, in advance of submission, of any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present it at the conference. Short Presentations: A session of short presentations, intended for descriptions of student research, works in progress, and other brief communications, is planned. These abstracts will not be published. Dates and guidelines will be posted on the LICS website. Kleene Award for Best Student Paper: An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. Special Issues: Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing and by ACM SIGACT, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. Program Chair: Orna Kupferman, Hebrew University Program Committee: Parosh A. Abdulla, Uppsala University Amal Ahmed, Northeastern Universtiy Sergei Artemov, City University of New York Andrei Bulatov, Simon Fraser University Yijia Chen, Shanghai Jiao Tong University Veronique Cortier, CNRS, Loria Mariangiola Dezani-Ciancaglini, Univ. di Torino Thomas Ehrhard, CNRS, Universite Paris Diderot Javier Esparza, Technische Universitaet Muenchen Kousha Etessami, University of Edinburgh Maribel Fernandez, King’s College London Santiago Figueira, University of Buenos Aires Simon Gay, University of Glasgow Martin Grohe, Humboldt-Universitaet zu Berlin Martin Hofmann, LMU Munich Petr Jancar, Technical University Ostrava Barbara Jobstmann, CNRS, Verimag and Jasper DA Patricia Johann, University of Strathclyde Bakhadyr Khoussainov, The University of Auckland Antonina Kolokolova, University of Newfoundland Victor Marek, University of Kentucky Angelo Morzenti, Politecnico di Milano Lawrence Moss, Indiana University Madhavan Mukund, Chennai Math. Institute Anca Muscholl, Universite Bordeaux Mogens Nielsen, Aarhus University Catuscia Palamidessi, INRIA, Ecole Polytechnique Luc Segoufin, INRIA, ENS Cachan Natarajan Shankar, SRI International Alexandra Silva, Radboud University Nijmegen Balder ten Cate, UC Santa Cruz Kazushige Terui, Kyoto University Ron van der Meyden, Univ. of New South Wales Jeannette M. Wing, Carnegie Mellon University Nobuko Yoshida, Imperial College London Conference Chair: Mike Mislove, Tulane University Workshop Chair: Patricia Bouyer-Decitre, CNRS, ENS Cachan Publicity Chair: Andrzej Murawski, University of Leicester General Chair: Luke Ong, University of Oxford Organizing Committee: Martin Abadi, Luca Aceto, Rajeev Alur, Franz Baader, Paul Beame, Patricia Bouyer-Decitre, Adriana Compagnoni, Anuj Dawar, Nachum Dershowitz, Martin Escardo, Maribel Fernandez, Martin Grohe, Orna Grumberg, Jean-Pierre Jouannaud, Phokion Kolaitis, Orna Kupferman, Benoit Larose, Vlatko Lipovac, Michael Mislove, Georg Moser, Andrzej Murawski, Luke Ong (chair), Andre Scedrov, Philip Scott, David Shmoys, Matt Valeriote Advisory Board: Martin Abadi, Samson Abramsky, Rajeev Alur, Bob Constable, Thierry Coquand, Thomas Henzinger, Phokion Kolaitis, Dexter Kozen, Dale Miller, John Mitchell, Prakash Panangaden, Andrew Pitts, Gordon Plotkin, Moshe Vardi, Glynn Winskel ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

First Announcement ― TACL 2013
by Hiroakira Ono 18 Dec '12

18 Dec '12

[Apologies for multiple copies] ====================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013) ====================================================== July 28 - August 1, 2013 Department of Mathematics, Vanderbilt University Nashville, Tennessee USA http://www.math.vanderbilt.edu/~tacl2013/ The Sixth International Conference on Topology, Algebra and Categories in conjunction with the 28th Annual Shanks Lecture Series Scope --------- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the sixth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseilles (2011). Confirmed invited speakers ------------------------------------- Vladimir Voevodsky, Institute for Advanced Studies, USA (Shanks Lecturer) Nick Bezhanishvili, Utrecht University, The Netherlands Leo Cabrer, University of Oxford, UK Silvio Ghilardi, University of Milan, Italy George Metcalfe, University of Bern, Switzerland Alex Simpson, University of Edinburgh, UK Featured topics --------------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Lattice theory * Lattices with operators * Many-valued and fuzzy logics * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------------- Contributed presentations will be of two types: o 20 minutes long presentations in parallel sessions and o featured, 30 minutes long, plenary presentations. The submission of an abstract will be required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure, as well as a link to the EasyChair system, can be found at the conference web site. Important dates ---------------------- April 1, 2013: Abstract submission deadline May 1, 2013: Notification to authors July 28-August 1, 2013: Conference Program Committee --------------------------- Steve Awodey, Carnegie Mellon University Guram Bezhanishvili, New Mexico State University David Gabelaia, Razmadze Mathematical Institute, Tbilisi Nick Galatos (co-chair), University of Denver Mai Gehrke, LIAFA, University of Paris Diderot Rob Goldblatt, Victoria University, Wellington John Harding, New Mexico State University Ramon Jansana, University of Barcelona Peter Jipsen, Chapman University Achim Jung, University of Birmingham Alexander Kurz (co-chair), University of Leicester Vincenzo Marra, University of Milan Hiroakira Ono, Japan Advanced Institute of Science and Technology Alessandra Palmigiano, University of Amsterdam Hilary Priestley, St Anne's College, Oxford James Raftery, University of KwaZulu-Natal, Durban Thomas Streicher, Technical University of Darmstadt Kazushige Terui, Kyoto University Constantine Tsinakis, Vanderbilt University Yde Venema, University of Amsterdam Michael Zakharyaschev, Birkbeck College, University of London Organizing Committee ------------------------------- Chris Conidis, Vanderbilt University Lianzhen Liu, Jiangnan University, China Warren McGovern, Florida Atlantic University Francesco Paoli, University of Cagliari Rebecca Steiner, Vanderbilt University Constantine Tsinakis (chair), Vanderbilt University William Young, Vanderbilt University Expression of interest ------------------------------ We would greatly appreciate your taking two minutes to express your level of interest in the conference by filling out a simple form on the conference web site under "Express Interest". This will help the Organizing Committee with their planning. You can also opt-out from receiving future announcements by clicking the link at the bottom of this email. More Information ----------------------- TACL 2013 web site: http://www.math.vanderbilt.edu/~tacl2013/ Use this site for local information, including hotel accommodations, for travel information and registration, and for submitting a request for financial support. Any queries for the Program Committee (such as usage of the EasyChair conference system, abstract submission guidelines, conference program, etc.) should be sent to tacl2013(a)gmail.com. Queries for the local Organizing Committee (registration, hotel accommodations, financial support and reimbursements, technology infrastructure, etc.) should be sent to tacl2013oc(a)vanderbilt.edu.

1 0

First Announcement — TACL 2013 TACL 2013
by Kent, Curt 18 Dec '12

18 Dec '12

[Apologies for multiple copies] ====================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013) ====================================================== July 28 - August 1, 2013 Department of Mathematics, Vanderbilt University Nashville, Tennessee USA http://www.math.vanderbilt.edu/~tacl2013/ The Sixth International Conference on Topology, Algebra and Categories in conjunction with the 28th Annual Shanks Lecture Series Scope --------- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the sixth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseilles (2011). Confirmed invited speakers ------------------------------------- Vladimir Voevodsky, Institute for Advanced Studies, USA (Shanks Lecturer) Nick Bezhanishvili, Utrecht University, The Netherlands Leo Cabrer, University of Oxford, UK Silvio Ghilardi, University of Milan, Italy George Metcalfe, University of Bern, Switzerland Alex Simpson, University of Edinburgh, UK Featured topics --------------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Lattice theory * Lattices with operators * Many-valued and fuzzy logics * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------------- Contributed presentations will be of two types: o 20 minutes long presentations in parallel sessions and o featured, 30 minutes long, plenary presentations. The submission of an abstract will be required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure, as well as a link to the EasyChair system, can be found at the conference web site. Important dates ---------------------- April 1, 2013: Abstract submission deadline May 1, 2013: Notification to authors July 28-August 1, 2013: Conference Program Committee --------------------------- Steve Awodey, Carnegie Mellon University Guram Bezhanishvili, New Mexico State University David Gabelaia, Razmadze Mathematical Institute, Tbilisi Nick Galatos (co-chair), University of Denver Mai Gehrke, LIAFA, University of Paris Diderot Rob Goldblatt, Victoria University, Wellington John Harding, New Mexico State University Ramon Jansana, University of Barcelona Peter Jipsen, Chapman University Achim Jung, University of Birmingham Alexander Kurz (co-chair), University of Leicester Vincenzo Marra, University of Milan Hiroakira Ono, Japan Advanced Institute of Science and Technology Alessandra Palmigiano, University of Amsterdam Hilary Priestley, St Anne's College, Oxford James Raftery, University of KwaZulu-Natal, Durban Thomas Streicher, Technical University of Darmstadt Kazushige Terui, Kyoto University Constantine Tsinakis, Vanderbilt University Yde Venema, University of Amsterdam Michael Zakharyaschev, Birkbeck College, University of London Organizing Committee ------------------------------- Chris Conidis, Vanderbilt University Lianzhen Liu, Jiangnan University, China Warren McGovern, Florida Atlantic University Francesco Paoli, University of Cagliari Rebecca Steiner, Vanderbilt University Constantine Tsinakis (chair), Vanderbilt University William Young, Vanderbilt University Expression of interest ------------------------------ We would greatly appreciate your taking two minutes to express your level of interest in the conference by filling out a simple form on the conference web site under "Express Interest". This will help the Organizing Committee with their planning. You can also opt-out from receiving future announcements by clicking the link at the bottom of this email. More Information ----------------------- TACL 2013 web site: http://www.math.vanderbilt.edu/~tacl2013/ Use this site for local information, including hotel accommodations, for travel information and registration, and for submitting a request for financial support. Any queries for the Program Committee (such as usage of the EasyChair conference system, abstract submission guidelines, conference program, etc.) should be sent to tacl2013(a)gmail.com<mailto:[email protected]>. Queries for the local Organizing Committee (registration, hotel accommodations, financial support and reimbursements, technology infrastructure, etc.) should be sent to tacl2013oc(a)vanderbilt.edu<mailto:[email protected]>. To unsubscribe from this list, please send an email to LISTSERV(a)LIST.VANDERBILT.EDU<mailto:[email protected]> with "SIGNOFF TACL2013" as the body of message.

1 0

ESSLLI Student Seminar 2013 - First Call for Papers
by Mauricio Hernandes 17 Dec '12

17 Dec '12

mlの皆様, As asked by the Chair of the Student Seminar I am forwarding the information below. Regards Mauricio Hernandes First Call for Papers ESSLLI 2013 STUDENT SESSION Held during The 25th European Summer School in Logic, Language and Information Düsseldorf, Germany, August 5-16, 2013 Deadline for submissions: April 1st, 2013 https://www.easychair.org/conferences/?conf=essllistus2013 *ABOUT*: The Student Session of the 25th European Summer School in Logic, Language, and Information (ESSLLI) will take place in *Düsseldorf, Germany on August 5-16, 2013*. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings in Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *A SEPARATE POSTER SESSION*: Note that this year there are two separate kinds of submissions, one for the oral presentations and one for the posters. This means that papers can be directly submitted as posters. Reviewing and ranking will be done separately. We particularly encourage submissions for posters. More detailed guidelines regarding submission can be found on the Student Session website: http://stus2013.loriweb.org/, (links to previous years' proceedings are also available there). Please direct inquiries about submission procedures or other matters relating to the Student Session to margotcolinet(a)gmail.com For general inquiries about ESSLLI 2013, please consult the main ESSLLI 2013 page, http://esslli2013.de/. Kind regards, *The ESSLLI 2013 Student Session Organization Committee*, Chair: Margot Colinet (Université Paris Diderot-Paris 7) LOCO (LOgic and Computation) co-chairs: Ronald de Haan (Technische Universität Wien) Michał Zawidzki (Uniwersytet Łódzki) LOLA (LOgic and LAnguage) co-chairs: Agata Renans (Universität Potsdam) Barbara Tomaszewicz (University of Southern California) LACO (LAnguage and Computation) co-chairs: Pierre Bourreau (Heinrich-Heine-Universität Düsseldorf) Julia Zinova (Heinrich-Heine-Universität Düsseldorf)

1 0

*** 場所と時間を変更しました *** Talk by Keiko Nakata (Tallinn U of Tech), Tue 18 December 2012
by Ichiro Hasuo 17 Dec '12

17 Dec '12

みなさま，念のため，明日の中田景子さんのご講演について場所と時間の変更のご案内を再度お送りします．どうかよろしくお願いいたします！蓮尾一郎 ---------- Forwarded message ---------- From: Ichiro Hasuo <ichiro(a)is.s.u-tokyo.ac.jp> Date: Thu, Dec 13, 2012 at 9:06 AM Subject: *** Time & Venue Changed *** Talk by Keiko Nakata (Tallinn U of Tech), Tue 18 December 2012 To: logic-ml <logic-ml(a)sato.kuis.kyoto-u.ac.jp>, sonoteno <sonoteno(a)m.aist.go.jp>, jssst-ppl(a)kb.ecei.tohoku.ac.jp みなさま，こんにちは！東京大学の蓮尾と申します．先日お知らせした，タリン工科大学の中田景子さんによるご講演ですが，＊＊時間と場所を変更＊＊させてください．（日程は同じです）急なお知らせで申し訳ありません．また，会場の国立情報学研究所では，中田さんのご講演の前（13:30-15:30）に ToPS セミナーが開催されます．そちらにも是非どうぞ！ http://takeichi.ipl-lab.org/~tops/upcoming_seminar.html 蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/ ============================================= Tue 18 December 2012, 16:00-17:30 Keiko Nakata (Tallinn University of Technology), 2 Talks 国立情報学研究所 12階 1208号室 Rm. 1208, 12F, National Institute of Informatics Access: http://www.nii.ac.jp/en/about/access *** 場所・時間が変わりました *** *** The time and venue have been changed *** 中田さんのご講演の前（13:30-15:30）に，同じ場所で ToPS セミナーが開催されます．そちらにも是非どうぞ！http://takeichi.ipl-lab.org/~tops/upcoming_seminar.h… Prior to Dr. Nakata’s talk there will be a “ToPS seminar” at the same location. The talks will be of similar research interests. http://takeichi.ipl-lab.org/~tops/upcoming_seminar.html Talk 1: Proving open induction using delimited control operators Open Induction (OI) is a principle classically equivalent to Dependent Choice, which is, unlike the later, closed under double-negation translation and A-translation. In the context of Constructive Reverse Mathematics, Wim Veldman has shown that, in presence of Markov's Principle, OI on Cantor space is equivalent to Double-negation Shift (DNS). With Danko Ilik, we have reworked Veldman's proof to give a constructive proof of OI, where DNS is interpreted using delimited control operators. Joint work with Danko Ilik. Talk 2: Walking through infinite trees with mixed induction and coinduction: A Proof Pearl with the Fan Theorem and Bar Induction. We study temporal properties over infinite binary red-blue trees in the setting of constructive type theory. We consider several familiar path-based properties, typical to linear-time and branching-time temporal logics like LTL and CTL*, and the corresponding tree-based properties, in the spirit of the modal mu-calculus. We conduct a systematic study of the relationships of the path-based and tree-based versions of ``eventually always blueness '' and mixed inductive-coinductive ``almost always blueness'' and arrive at a diagram relating these properties to each other in terms of implications that hold either unconditionally or under specific assumptions (Weak Continuity for Numbers, the Fan Theorem, Lesser Principle of Omniscience, Bar Induction). Joint work with Marc Bezem and Tarmo Uustalu.

1 0

Logic Zoo Workshop 2013 (Jan. 31, Tokyo)
by Yoichi Hirai 13 Dec '12

13 Dec '12

みなさま東京大学萩谷研の平井洋一より、Logic Zooワークショップのご案内です。 2013年1月31日(木)東京開催です(前日30日には平井洋一の博士論文公聴会)。講演・前日夕食の申込は 2013年1月15日(火) 締切です。詳細及び申込 http://logiczoo13.pira.jp 論理をみつける話から論理を調べる話、論理を使う話までご講演、ご参加をお待ちしております。平井洋一 Logic Zoo Workshop 2013 (Jan. 31, Tokyo) ======================================== A workshop on living, playing or working logics. Topics include: - substructural and more exotic logics - type systems - programming languages - mathematics on non-classical logics - software verification - logics for social, economical, legal or linguistic analysis. Organizer: Yoichi Hirai yh(a)lyon.is.s.u-tokyo.ac.jp Schedule and Location --------------------- - 2013 Jan. 31 (Thu), 10:00--17:00 - Room 236, through Science Bldg. 7, 理学部7号館2階より化東236室 Hongo campus, the Univ. of Tokyo 東京大学本郷キャンパス - with four blackboards 黒板4枚あり Registration ------------ Please register for your talk slot and/or dinner by Jan. 15, 2013. A talk will be 30-minute long (tentative estimation). Fill this form and send it to yh(a)lyon.is.s.u-tokyo.ac.jp ================================== Logic Zoo (Jan. 31) Registration name: affiliation: eve-dinner on 30th: yes / no / not decided giving a talk: yes / not decided title: TBD or a title ================================== Some Other Events ----------------- 2013-01-30 (Wed): Defense and Dinner 12:00--14:00 Yoichi Hirai's defense (first half is public): Hyper-Lambda Calculi Room 102, Science Bldg. 7, Hongo campus, the Univ. of Tokyo 19:00--21:00 Dinner: Logic Zoo Eve nearby restaurant 2013-01-31 (Thu): Workshop 10:00--17:00 Logic Zoo Workshop Room 236, through Science Bldg. 7, Hongo campus, the Univ. of Tokyo

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml December 2012