From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <geoff@cs.miami.edu>
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 0C5CE7EF10
	for <caml-list@sympa.inria.fr>; Mon, 23 Feb 2015 14:04:02 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="postmaster@mcclellan.cs.miami.edu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BNBABpJOtUlwZZH8Bbg1hagjmxJwGNDIIgAodfAQEBAQEBEAEBAQEBCBYHQoQzISpNMAQdRIgvqmaiZoRnAQsgjx8RAW2CFwxBHYEUBYVihGiOSoEcgxWPA4QuIDGBC4E4AQEB
X-IPAS-Result: A0BNBABpJOtUlwZZH8Bbg1hagjmxJwGNDIIgAodfAQEBAQEBEAEBAQEBCBYHQoQzISpNMAQdRIgvqmaiZoRnAQsgjx8RAW2CFwxBHYEUBYVihGiOSoEcgxWPA4QuIDGBC4E4AQEB
X-IronPort-AV: E=Sophos;i="5.09,630,1418079600"; 
   d="scan'208";a="101003357"
Received: from mcclellan.cs.miami.edu ([192.31.89.6])
  by mail3-smtp-sop.national.inria.fr with SMTP; 23 Feb 2015 14:04:01 +0100
Received: by mcclellan.cs.miami.edu (Postfix, from userid 501)
	id B431E1214CC; Mon, 23 Feb 2015 08:04:00 -0500 (EST)
To: caml-list@inria.fr
Message-Id: <20150223130400.B431E1214CC@mcclellan.cs.miami.edu>
Date: Mon, 23 Feb 2015 08:04:00 -0500 (EST)
From: geoff@cs.miami.edu (Geoff Sutcliffe)
X-Validation-by: geoff@cs.miami.edu
Subject: [Caml-list] LPAR-20 Call for Workshops

                 The 20th International Conference on 
     Logic for Programming, Artificial Intelligence and Reasoning 
                              LPAR-20

             University of the South Pacific, Suva, Fiji
                        http://www.LPAR-20.org

                          CALL FOR WORKSHOPS

LPAR-20 workshops will be held either as one-day or half-day events. If you
would like to propose a workshop for LPAR-20, please contact the workshop
chair via email (Peter.Baumgartner@nicta.com.au), by the proposal deadline.

To help planning, workshop proposals should contain the following data:

- Name of the workshop.
- Brief description of the workshop, including workshop topics.
- Valid web address of the workshop.
- Contact information of the workshop organizers.
- An estimate of the audience size.
- Proposed format of the workshop (for example, regular talks, tool demos,
  poster presentations, etc.).
- Duration of the workshop (one-day or half-day).
- Potential invited speakers (if any).
- Procedures for selecting papers and participants.
- Special technical or AV needs.

Important dates
---------------
Workshop proposals submission deadline:     May 15, 2015
Notification of acceptance:                June  1, 2015
Workshops:                             November 23, 2015