From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ADF127ED11 for ; Fri, 16 Sep 2016 18:52:50 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AksjiCxSGbzPBWfRLkSOwM9LJ1dpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67YxeN2/xhgRfzUJnB7Loc0qyN4vmmBjNLsMfJ8ChbNscTB1ld0Y?= =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?= =?us-ascii?q?Ora9QdaK3Izkn9y1rpbaZgENgDumfZtzKg+3pEPfrJo4m4xnf6k8zRXHinBTPe?= =?us-ascii?q?FXzGZpY1+fgl68ycq38pAryDlMsPYg+cBNEPapN58kRKBVWWx1e1s+49fm4EHO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DIBAAfItxX/wZZH8BdSRgNgnwBAQEBA?= =?us-ascii?q?YFxgnqkIAGPNoQSAYgxEAEBAQEBAQEBAQEBXSeCMhiCOyEqTTAEHUQUiDalA5k?= =?us-ascii?q?6BoMQjyARAWiBfgtYgi8FiCSGDIs9j1GPcAKMYYN7NR+FBiI0hTGCHwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DIBAAfItxX/wZZH8BdSRgNgnwBAQEBAYFxgnqkIAGPNoQ?= =?us-ascii?q?SAYgxEAEBAQEBAQEBAQEBXSeCMhiCOyEqTTAEHUQUiDalA5k6BoMQjyARAWiBf?= =?us-ascii?q?gtYgi8FiCSGDIs9j1GPcAKMYYN7NR+FBiI0hTGCHwEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,345,1470693600"; d="scan'208";a="237147126" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 16 Sep 2016 18:52:49 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 18D5612152D; Fri, 16 Sep 2016 12:52:49 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20160916165249.18D5612152D@mcclellan.cs.miami.edu> Date: Fri, 16 Sep 2016 12:52:49 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials (with apologies for multiple postings) CALL FOR WORKSHOPS AND TUTORIALS Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP - will be held in Brasilia, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers and practitioners to submit proposals for co-located workshops and in-depth tutorials on topics relating to automated theorem proving and its applications. Workshops/tutorials can target the automated reasoning community in general, focus on a particular theorem proving system, or highlight more specific issues or recent developments. Co-located events will take place between 23 and 24/25 September and will be held on the same premises as the main conference. Conference facilities are offered free of charge to the organisers. Workshop/tutorial-only attendees will enjoy a significantly reduced registration fee. Detailed organisational matters such as paper submission and review process, or publication of proceedings, are up to the organisers of individual workshops. All accepted workshops/tutorials will be expected to have their program ready by 18 August 2017. Proposals for workshops/tutorials should contain at least the following pieces of information: - name and contact details of the main organiser(s) - (if applicable:) names of additional organisers - title and organisational style of event (tutorial, public workshop, project workshop, etc.) - preferred length of workshop (between half day and two days) - estimated number of attendees - short (up to one page) description of topic - (if applicable:) pointers to previous editions of the workshop, or to similar events Proposals are invited to be submitted by email to nalon@unb.br, no later than 9 December 2016. Selected events will be notified by 23 December 2016. The workshop/tutorial selection committee consists of the TABLEAUX, FroCoS, and ITP program chairs and the conference organisers.