[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


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs