[isabelle] 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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.