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 9D8597ED1C; Fri, 25 Sep 2015 11:49:03 +0200 (CEST) IronPort-PHdr: 9a23:FuSRNBW/1bosYuERsu+IJQmPzJXV8LGtZVwlr6E/grcLSJyIuqrYZhKFt8tkgFKBZ4jH8fUM07OQ6PC8HzBQqs/e+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8GVP1UD3WX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MVv9gFPkAVXxmaj10t4XXskz5QAqJ5nIGXi01mxpMDkCR7xj6WprZtyLm8Pd2njGGa57YV7cxDA6v7qFrQQXkwAQONzo0uDXUg8x0gYpeqQ7nuhc525KCM9LdD+Z3Yq6IJYBSfmFGRMsEDnFM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kahle@mat.uc.pt; spf=Pass smtp.mailfrom=kahle@mat.uc.pt; spf=None smtp.helo=postmaster@nmail.mat.uc.pt Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kahle@mat.uc.pt) identity=pra; client-ip=193.137.102.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kahle@mat.uc.pt"; x-sender="kahle@mat.uc.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kahle@mat.uc.pt designates 193.137.102.4 as permitted sender) identity=mailfrom; client-ip=193.137.102.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kahle@mat.uc.pt"; x-sender="kahle@mat.uc.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nmail.mat.uc.pt) identity=helo; client-ip=193.137.102.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kahle@mat.uc.pt"; x-sender="postmaster@nmail.mat.uc.pt"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DTAQBEFwVWlwRmicFdhFIBAQ2DKr5IhG48EAEBAQEBAQEBEAEBAQEBCBYHT4IdgisGFTAQNgIFFgsCCwMCAQIBSw0GAgEBEIgep2OPapROgSKMC4JtCgcBg0GBQwWHNI4zjlqENoJ+kic4gkmBZHCIJAkXgSgBAQE X-IPAS-Result: A0DTAQBEFwVWlwRmicFdhFIBAQ2DKr5IhG48EAEBAQEBAQEBEAEBAQEBCBYHT4IdgisGFTAQNgIFFgsCCwMCAQIBSw0GAgEBEIgep2OPapROgSKMC4JtCgcBg0GBQwWHNI4zjlqENoJ+kic4gkmBZHCIJAkXgSgBAQE X-IronPort-AV: E=Sophos;i="5.17,586,1437429600"; d="scan'208";a="148550291" Received: from nmail.mat.uc.pt ([193.137.102.4]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Sep 2015 11:49:02 +0200 Received: from [10.20.42.216] (unknown [193.144.61.240]) by nmail.mat.uc.pt (Postfix) with ESMTPSA id 022D4254572; Fri, 25 Sep 2015 10:48:58 +0100 (WEST) To: Reinhard Kahle From: Reinhard Kahle Message-ID: <5605188A.7020800@mat.uc.pt> Date: Fri, 25 Sep 2015 10:48:58 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: kahle@mat.uc.pt Subject: [Caml-list] IJCAR 2016: Call for Workshop Proposals ---------------------------- IJCAR 2016 Coimbra, Portugal Conference 27-30, June 2016 Workshops 1-2, July 2016 Call for Workshop Proposals ---------------------------- Workshop proposals on IJCAR-related topics are solicited. Proposals that promise to bring new topics into IJCAR, of either practical or theoretical importance, or provide a forum for more detailed discussion on central topics of continuing importance are highly welcome. Proposals that close the gap between automated reasoning and related areas, e.g., formal methods or software engineering, are especially encouraged. Proposals must contain information sufficient to judge the importance, quality and community interest in the proposed topic. Each workshop must have one or more designated organizers, and may have a programme committee as well. Proposals must be limited to three pages and provide at least the following information: + Title. + Description of the workshop topic and goals. (Why do you believe this is an interesting and significant topic?) + Intended audience. (From which areas do you expect potential participants to come? How many participants do you expect?) + Organization of the workshop. (Describe the intended format of the workshop, its expected duration: one day, Friday, July 1st (preferred) or Saturday, 2nd; or two days, July 1st-2nd. + Information (a) whether papers presented to the workshiop are invited papers or are selected by peer review; (b) if the workshop makes makes part of a series (continuing the past workshops on a regular basis); (c) if the workshop comprises a program competition. + Organizers' details. (Provide affiliations, backgrounds and contact details (email, etc.) of organizers) Proposals should be sent as plain text or as PDF to the workshop chair Reinhard Kahle: kahle@mat.uc.pt. For more information, including fees and provided services, please contact also the workshop chair at kahle@mat.uc.pt. Important dates: Express of interest: at any time. Deadline for proposal submissions: November 15th, 2015. Notification: December 15th, 2015. Workshop Dates: July 1st-2nd, 2016. ----------------------------------------------------------------------