* [Caml-list] UNIF 2014: Call for Participation
@ 2014-06-01 13:05 Temur Kutsia
0 siblings, 0 replies; only message in thread
From: Temur Kutsia @ 2014-06-01 13:05 UTC (permalink / raw)
To: caml-list
====================================================
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-06-01 13:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-06-01 13:05 [Caml-list] UNIF 2014: Call for Participation Temur Kutsia
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).