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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 5BDCC8015E
	for <caml-list@sympa.inria.fr>; Thu,  1 Jun 2017 15:01:40 +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=3AsJgVzxMs1avAtFKbSdAl6mtUPXoX/o7sNwtQ0KIM?=
 =?us-ascii?q?zox0Lfr6rarrMEGX3/hxlliBBdydsKMazbeJ++C4ACpbsMnH6ChDOLV3FDY7yu?=
 =?us-ascii?q?wu3DYcSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?=
 =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMcbjI9jJ6oryhbEoGZDd+?=
 =?us-ascii?q?BKyW91P16ekRLx68Wq8JJ/7yhcvu8q+tJdX6n9Y6k3QrtUASg8PWwy+MPlqwTI?=
 =?us-ascii?q?QxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK576d2UxDokz?=
 =?us-ascii?q?sINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFHH4iy?=
 =?us-ascii?q?bZYAD/AZMOhGsofzpFUAoxulCAWwGO/j1iNEimPq0aEm1ekqDAHI3BYnH9ILqH?=
 =?us-ascii?q?nUo8v6NKAcUeC716TH0S7DY+lT2Tf88ofIdxEhreuSUr1tbMra1E0jGQLbgVWX?=
 =?us-ascii?q?p4zlMS6e2PkQs2iH8+VgUeOvi2Apqw5vpzSiwNonhIfOhoIQ0F/E9CN5zZ4oJd?=
 =?us-ascii?q?2+U0F3e8WrEIFWuiqHNIV2WtsvT3xstSok0LELt4O3cDIJxZkj3RLSavqKeJWS?=
 =?us-ascii?q?7B35TuaeOzJ4iWpleL2hgxay9lCtyujgWcao1FZFsC5Fkt3WuXALzRDc9tOHRu?=
 =?us-ascii?q?F4/kegwzmP0gHT5vtaLk8piKrXM58hwrgumZoPqUnPAyv7lFvsgKKYa0ko4Oul?=
 =?us-ascii?q?5uD9brjnvpOcMpV7igD6MqQggMy/BuE4PxABX2eF/uS82rPj8FblT7VRlPE2l6?=
 =?us-ascii?q?jZv4rfJcQavKK2HRJa0ps75xalEzimyMgYnWUALF9dZB2IlY3pO1XXLPD8DPe/?=
 =?us-ascii?q?mEisnSxwx/HGO73hGo/CImLCkLfnZ7Z96lRTxBA9zdBFtNpoDeQKKff3H0vwr8?=
 =?us-ascii?q?DwDxkjMgXyzfy0Js9609YRVGWBDIeSK+XXsFaN56QiL/TEJKAYvzjzY8M4+/Xq?=
 =?us-ascii?q?jHE3lB5OLuGSwZILZSXgTbxdKEKDbC+0jw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DwCQD3DjBZ/wZZH8BdHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBhA6BDY4slDoBhUGPYAEniTQUAQEBAQEBAQEBAQFqKIIzIoJnIXc?=
 =?us-ascii?q?wBBILRIoSAxWcapIxhzUNRQeDd444gl2CCWyCMQWQK41DO4chhzKES4ITVYRni?=
 =?us-ascii?q?jeLN4kgNiGBCnYvhGCCayQ2iW8BAQE?=
X-IPAS-Result: =?us-ascii?q?A0DwCQD3DjBZ/wZZH8BdHAEBBAEBCgEBFwEBBAEBCgEBhA6?=
 =?us-ascii?q?BDY4slDoBhUGPYAEniTQUAQEBAQEBAQEBAQFqKIIzIoJnIXcwBBILRIoSAxWca?=
 =?us-ascii?q?pIxhzUNRQeDd444gl2CCWyCMQWQK41DO4chhzKES4ITVYRnijeLN4kgNiGBCnY?=
 =?us-ascii?q?vhGCCayQ2iW8BAQE?=
X-IronPort-AV: E=Sophos;i="5.39,279,1493676000"; 
   d="scan'208";a="276920850"
Received: from mcclellan.cs.miami.edu ([192.31.89.6])
  by mail2-smtp-roc.national.inria.fr with SMTP; 01 Jun 2017 15:01:39 +0200
Received: by mcclellan.cs.miami.edu (Postfix, from userid 501)
	id EEA0112147E; Thu,  1 Jun 2017 09:01:38 -0400 (EDT)
To: caml-list@inria.fr
Message-Id: <20170601130138.EEA0112147E@mcclellan.cs.miami.edu>
Date: Thu,  1 Jun 2017 09:01:38 -0400 (EDT)
From: geoff@cs.miami.edu (Geoff Sutcliffe)
X-Validation-by: geoff@cs.miami.edu
Subject: [Caml-list] TABLEAUX/FroCoS/ITP - Call for Posters

TABLEAUX/FroCoS/ITP
25-29 SEPTEMBER 2017 BRASILIA BRASIL

 **Call for Posters**

TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for
descriptions of works in progress, student projects and relevant research
being published elsewhere.

Submissions should be in English, in the form of at most one page abstract,
ENTCS format containing title and authors name with affiliation. The files
should be sent directly to Elaine Pimentel (elaine.pimentel@gmail.com).

The deadline for posters submission is June 15, 2017. The notification will
be sent to authors June 30th.

Proceedings of this session will not be published. Formatting instructions
for posters will be made available soon.

For more information please contact the local organizers:

Elaine Pimentel (elaine.pimentel@gmail.com)

Daniele Nantes (daniele.nantes@gmail.com)

http://tableaux2017.cic.unb.br
http://frocos2017.cic.unb.br
http://itp2017.cic.unb.br