[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================================== 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