From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0900A7FA8B for ; Wed, 25 Mar 2015 23:33:37 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of david.delahaye@cnam.fr) identity=pra; client-ip=163.173.128.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.delahaye@cnam.fr"; x-sender="david.delahaye@cnam.fr"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of david.delahaye@cnam.fr does not assert whether or not 163.173.128.34 is permitted sender) identity=mailfrom; client-ip=163.173.128.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.delahaye@cnam.fr"; x-sender="david.delahaye@cnam.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@incoming2.cnam.fr designates 163.173.128.34 as permitted sender) identity=helo; client-ip=163.173.128.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.delahaye@cnam.fr"; x-sender="postmaster@incoming2.cnam.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CjAAB/NhNVnCKAraNcg1heuy2JWwqHUkwBAQEBAQERAQEBAQEICwkJFC6EOBUBNQocgU2IHQYIoCapbgwBH4xehW0MQYEzBYYYjieHVZEfgTiCMYFggzEBAQE X-IPAS-Result: A0CjAAB/NhNVnCKAraNcg1heuy2JWwqHUkwBAQEBAQERAQEBAQEICwkJFC6EOBUBNQocgU2IHQYIoCapbgwBH4xehW0MQYEzBYYYjieHVZEfgTiCMYFggzEBAQE X-IronPort-AV: E=Sophos;i="5.11,467,1422918000"; d="scan'208";a="130137001" Received: from incoming2.cnam.fr ([163.173.128.34]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Mar 2015 23:33:36 +0100 From: david.delahaye@cnam.fr X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A2C/DACyNRNV/w2AraNcgygwXsUICogeAQEBAQEBfUECg3UVASALAQkKHIFNiB0GCKAkqhqMXoVtDEGBMwWGGIo4YYMOh1WRH4E4IoFRPoFgPYJ0AQEB X-IPAS-Result: A2C/DACyNRNV/w2AraNcgygwXsUICogeAQEBAQEBfUECg3UVASALAQkKHIFNiB0GCKAkqhqMXoVtDEGBMwWGGIo4YYMOh1WRH4E4IoFRPoFgPYJ0AQEB X-IronPort-AV: E=Sophos;i="5.11,467,1422918000"; d="scan'208";a="21457683" Received: from urien.cnam.fr (HELO webmail.cnam.fr) ([163.173.128.13]) by outgoing2.cnam.fr with ESMTP; 25 Mar 2015 23:33:38 +0100 Received: from 85.168.156.18 (SquirrelMail authenticated user delahayd) by webmail.cnam.fr with HTTP; Wed, 25 Mar 2015 23:33:36 +0100 Message-ID: <1fc1bd05d2106519fe340ea865e9c523.squirrel@webmail.cnam.fr> Date: Wed, 25 Mar 2015 23:33:36 +0100 To: caml-list@inria.fr User-Agent: SquirrelMail/1.4.22 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal Subject: [Caml-list] Second Call for Papers: SETS 2015 -------------------------------------------------------------------------------- CALL FOR PAPERS -- SETS 2015 ******************************************************************************** 2nd International Workshop about Sets and Tools (SETS 2015) June 23, 2015, Oslo, Norway Affiliated to FM 2015 http://sets2015.cnam.fr/ ******************************************************************************** AIM Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets also occur in the formalization of mathematics, as evidenced by the large library of the Mizar proof system for example. In addition, still in the domain of verification, there is an increasing interest to automate set theory (which is known to be a difficult problem), with some concrete realizations, such as mp (the "main prover" of Atelier B) or Muscadet (an automated theorem prover for natural deduction, which gives some good performances in set theory). Sets are also the main features of some programming languages like the former SetL language or the more recent {log} language (pronounced as setlog). The workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. These tools may be dedicated or general purpose tools. Contributions by theoreticians working on set theories or fragments of set theories in the aim of designing concrete tools, and by practitioners using set-based tools are both welcome. We are also interested by contributions providing some comparisons between set modeling techniques and other formalisms, such as type theory (and variants) for instance. Finally, regarding the domains of application, we mainly expect contributions in the framework of formal methods, but not exhaustively, and contributions reporting formalizations of mathematics using set theory for example could be of interest for this workshop as well. TOPICS Topics of interest for this workshop include all aspects of set theory and corresponding tools. More specifically, some suggested topics are: * Proof tools for sets * Constraint solvers for sets * Set-based programming languages * Automated verification in set theory * Encoding of sets in provers * Set theories for SMT solvers * Use of set-based tools in formal methods * Use of set-based tools in mathematics * Comparison of set-based tools * Comparison between set and type theories * Experience reports CONTRIBUTIONS AND PROCEEDINGS Submitted papers must be 6-15 pages in length, following the Springer LNCS format. These submissions may be: * Research papers providing new concepts and results * Position papers and research perspectives * Experience reports * Tool presentations Proceedings, including all the papers selected for the workshop, will be published as online proceedings in the CEUR workshop proceedings series (CEUR-WS.org). PAPER SUBMISSION Contributions must be submitted electronically in PDF using the SETS 2015 EasyChair web site at the following address: https://www.easychair.org/conferences/?conf=sets2015 IMPORTANT DATES Abstract submission: March 31, 2015 Submission deadline: April 7, 2015 Paper notification: May 7, 2015 Revised/final paper: May 22, 2015 Workshop: June 23, 2015 PROGRAMME CO-CHAIRS David Delahaye (Cnam, France) Catherine Dubois (Ensiie, France) PROGRAMME COMMITTEE Mats Carlsson (Swedish Institute of Computer Science, Sweden) Iliano Cervesato (Carnegie Mellon University, USA) Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina) David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil) Leo Freitas (Newcastle University, UK) Michael Leuschel (University of Düsseldorf, Germany) Stephan Merz (Inria Nancy - Grand Est, Loria, France) Gianfranco Rossi (Università di Parma, Italy) Arnaud Spiwack (MINES ParisTech, France) Josef Urban (Radboud University Nijmegen, The Netherlands) Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)