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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9B4778239C for ; Tue, 13 Feb 2018 15:58:11 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=David.Delahaye@lirmm.fr; spf=None smtp.mailfrom=David.Delahaye@lirmm.fr; spf=None smtp.helo=postmaster@kirkenes.lirmm.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of David.Delahaye@lirmm.fr) identity=pra; client-ip=193.49.104.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Delahaye@lirmm.fr"; x-sender="David.Delahaye@lirmm.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of David.Delahaye@lirmm.fr) identity=mailfrom; client-ip=193.49.104.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Delahaye@lirmm.fr"; x-sender="David.Delahaye@lirmm.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@kirkenes.lirmm.fr) identity=helo; client-ip=193.49.104.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Delahaye@lirmm.fr"; x-sender="postmaster@kirkenes.lirmm.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADGvKNRyTeuP0ks7XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+gXIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH2iC?= =?us-ascii?q?kJKj03/m/ZhcN/kK1VrwmspwB8zoPOfI2ZKPRzc6HbcNgHRWRBRMFRVylZD42y?= =?us-ascii?q?dYQPEesBMvtFpIfzuVQOqQGxBQm2C+Lv1DBDm3j706Mg3OQ/EAHJwRYsEdwQv3?= =?us-ascii?q?TQttr1NL0dUOCrw6TTyTXDbulW2TL46ITSfBAhu+iBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9ITyazP8NsmiH4OpgT+2vinQnpxt2oji1yccgkpXGiZwIylDe7Cl4zp01Kc?= =?us-ascii?q?e/SE5hbt6oCJ9QtyCAN4tzR8MuWW9ouDw8x7YbupC7ZDAHxIkjyhPRcfCKfIyF?= =?us-ascii?q?7gj+WOqNLjp0nnxodK6nixqv9UWtxPfwW8aw3VpQsyZJjtjBumoT2xHc6cWKTO?= =?us-ascii?q?Z28F271jaVzQ/T7/lJIUAqmqrfLJ4s2r0wlpsJsUTAACD2nlv5jLSMekUg++io?= =?us-ascii?q?8eHnYrD8qp+SLY94kgD+MqIwlcyjGek0LwwDUmaB9emz0LDv51D1TKlFg/EsnK?= =?us-ascii?q?TVrIjWJcEBqa64Bw9V3Jwj6xG6Dzq+3toXh2cHLFNYdx6dgYbmJVXOL+r4Dfil?= =?us-ascii?q?g1Wjjixmx/THPr37B5XNK2LPkLn7fbpl8U5T1BIzzcxD55JTErwOPOj8Wkr1tN?= =?us-ascii?q?DBCh85Mhe0w/r8BdVm1oIeXHqPDbWDPKPTt1+I/OMvLPOWaI8bojauY8QisvXn?= =?us-ascii?q?iHt8nV4GYYGo24EWYTa2BKdIOUKcNFblnNYNWUsHugM+Rf3nwAmuWCBSazCeUq?= =?us-ascii?q?Y15jgqBaqiDJ3GQ8ajmurSj2+AApRKazUeWRi3GnDyetDcAqZeWGepOsZk1wc8?= =?us-ascii?q?e/2kQo4l2wupsVaimb5mNO/RvCMC58q6iIpFotbLnBR3zgRaStyH2jjVHWV1hG?= =?us-ascii?q?YNATEsjvgm/B5Nj2yb2K09uMR2UNxe4/QQA1U5NITfwup3EJb2WxjEe5GHUgT+?= =?us-ascii?q?Tw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CxAABQ/IJahx5oMcFdHAEBAQQBAQoBA?= =?us-ascii?q?YQoEHCEDYokjieCEYEIlkGCGC2HfxkGBTAYAQIBAQEBAQEBAQESAQEBCgsJCCg?= =?us-ascii?q?vgjgigm0GDwEFGxUKIBwCJgJsCAEBijUBC5IknXSCJ4UBg3yCHSaBD4NyghWBV?= =?us-ascii?q?4FnASmEToFmAQMZhG2CZQWKa5lDCYEYhwiNZIw8iAiOAoEWijwfgVccDghNJ4M?= =?us-ascii?q?VCIJYBIITjQEBAQE?= X-IPAS-Result: =?us-ascii?q?A0CxAABQ/IJahx5oMcFdHAEBAQQBAQoBAYQoEHCEDYokjie?= =?us-ascii?q?CEYEIlkGCGC2HfxkGBTAYAQIBAQEBAQEBAQESAQEBCgsJCCgvgjgigm0GDwEFG?= =?us-ascii?q?xUKIBwCJgJsCAEBijUBC5IknXSCJ4UBg3yCHSaBD4NyghWBV4FnASmEToFmAQM?= =?us-ascii?q?ZhG2CZQWKa5lDCYEYhwiNZIw8iAiOAoEWijwfgVccDghNJ4MVCIJYBIITjQEBA?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.46,507,1511823600"; d="scan'208";a="254650185" Received: from kirkenes.lirmm.fr ([193.49.104.30]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Feb 2018 15:58:10 +0100 Received: from [193.49.106.248] (herbrand.lirmm.fr [193.49.106.248]) by kirkenes.lirmm.fr (Postfix) with ESMTPSA id B5F3F890 for ; Tue, 13 Feb 2018 15:58:10 +0100 (CET) To: caml-list@inria.fr From: David Delahaye Message-ID: <235362f3-2b93-b26a-e444-ac4acffc2a2b@lirmm.fr> Date: Tue, 13 Feb 2018 15:58:09 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: fr Subject: [Caml-list] First CFP 3rd International Workshop about Sets and Tools (SETS 2018) -----------------------------------------------------------------------                       CALL FOR PAPERS -- SETS 2018 ***********************************************************************       3rd International Workshop about Sets and Tools (SETS 2018)                     June 5, 2018, Southampton, UK                         Affiliated to ABZ 2018                     http://www.lirmm.fr/sets2018/ *********************************************************************** AIM Sets and constructs built upon them like relations, functions and 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. We are interested in specialized tools for set theory as well as general-purpose tools where sets coexist with other theories. Contributions by theoreticians working on the mechanical processing of (fragment of) set theory, and by practitioners using set-based tools are both welcome. We are also interested in contributions providing some comparisons between set modeling techniques and other formalisms, such as type theory (and its variants) for instance. Finally, regarding the domains of application, we mainly expect contributions in the framework of formal methods, but we are open to, for instance, contributions reporting formalizations of mathematics using set theory. 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  * Using any of the above tools to teach set theory  * Comparison of set-based tools  * Comparison between set and type theories  * Experience reports CONTRIBUTIONS AND PROCEEDINGS Submitted papers must be 6-15 pages long, 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 format using the SETS 2018 EasyChair web site at the following address: https://easychair.org/conferences/?conf=sets2018 IMPORTANT DATES Abstract submission: April 2, 2018 Submission deadline: April 9, 2018 Paper notification:  May 9, 2018 Revised/final paper: May 16, 2018 Workshop:            June 5, 2018 PROGRAMME CO-CHAIRS Maximiliano Cristia (UNR, Argentina) David Delahaye (Université de Montpellier, France) Catherine Dubois (ENSIIE, France) PROGRAMME COMMITTEE Maximiliano Cristia (Universidad Nacional de Rosario, Argentina) David Deharbe (Clearsy, France) David Delahaye (Université de Montpellier, France) Catherine Dubois (ENSIIE, France) Leo Freitas (Newcastle University, UK) Carmen Gervet (Université de Montpellier, France) Olivier Hermant (Mines ParisTech, France) Michael Leuschel (Universität Düsseldorf, Germany) Stephan Merz (INRIA Nancy & LORIA, France) Eugenio Omodeo (Università degli Studi di Trieste, Italy) Andrew Reynolds (University of Iowa, USA) Gianfranco Rossi (Università di Parma, Italy) Josef Urban (CIIRC, Czech Republic) Wolfgang Windsteiger (Johannes Kepler University, Austria)