UNIF 2014: Call for Participation

Temur Kutsia <[email protected]> Sun, 01 Jun 2014 15:05:50 +0200

Newsgroups	gmane.comp.lang.lambda-prolog
Message-ID	<[email protected]>

====================================================
                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