From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kutsia@risc.jku.at>
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 7BEDC7F8F2
	for <caml-list@sympa.inria.fr>; Sun,  1 Jun 2014 15:05:22 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  kutsia@risc.jku.at) identity=pra; client-ip=140.78.116.39;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="kutsia@risc.jku.at";
  x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  kutsia@risc.jku.at) identity=mailfrom;
  client-ip=140.78.116.39;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="kutsia@risc.jku.at";
  x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtpauthhost.risc.uni-linz.ac.at) identity=helo;
  client-ip=140.78.116.39;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="kutsia@risc.jku.at";
  x-sender="postmaster@smtpauthhost.risc.uni-linz.ac.at";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqYCAMcki1OMTnQnl2dsb2JhbABYg1lRw2EWDgEBAQEBCBYHPIJJG300AlkIAQGIPgQEBaINs2+LQ4MshCoEmgCBPoUvhlCJKg
X-IPAS-Result: AqYCAMcki1OMTnQnl2dsb2JhbABYg1lRw2EWDgEBAQEBCBYHPIJJG300AlkIAQGIPgQEBaINs2+LQ4MshCoEmgCBPoUvhlCJKg
X-IronPort-AV: E=Sophos;i="4.98,951,1392159600"; 
   d="scan'208";a="77343721"
Received: from smtpauthhost.risc.uni-linz.ac.at ([140.78.116.39])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Jun 2014 15:05:21 +0200
Received: from [10.0.0.9] (188-22-237-144.adsl.highway.telekom.at [188.22.237.144])
	(authenticated bits=0)
	by smtpauthhost.risc.uni-linz.ac.at (8.14.3/8.14.3/Debian-9.4) with ESMTP id s51D5K9p008028
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT)
	for <caml-list@inria.fr>; Sun, 1 Jun 2014 15:05:20 +0200
Message-ID: <538B250B.405@risc.jku.at>
Date: Sun, 01 Jun 2014 15:05:15 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Validation-by: kutsia@risc.jku.at
Subject: [Caml-list] UNIF 2014: Call for Participation

====================================================
                Call for Participation
                     UNIF 2014
   The 28th International Workshop on Unification
          July 13, 2014. Vienna, Austria
    a FLoC workshop hosted by RTA-TLCA and IJCAR
              http://vsl2014.at/unif
====================================================

Invited Speakers
----------------
  * Jordi Levy, IIIA, CSIC, Barcelona, Spain

  * Jose Meseguer, University of Illinois at Urbana-Champaign, USA:
Extensible Symbolic System Analysis

Program
-------

http://vsl2014.at/meetings/UNIF-program.html

Registration
------------

http://vsl2014.at/registration

(Don't forget the early registration deadline: June 8)

We look forward to seeing you in Vienna!

The UNIF 2014 organizers:
Temur Kutsia
Christophe Ringeissen