[TYPES/announce] TERMGRAPH 2014: call for participation

[Raamsdonk, F. van]

=====================================================================
CALL FOR PARTICIPATION   -  TERMGRAPH 2014

http://cl-informatik.uibk.ac.at/events/termgraph-2014/
July 13, 2014, Vienna, Austria

Invited speakers:

Ian Mackie (joint with DCM)
Samuel Mimram (joint with IWC)

Program:

http://www.easychair.org/smart-program/VSL2014/TERMGRAPH-program.html

Early registration deadline: June 8

http://vsl2014.at/registration/

See you in Vienna!
=====================================================================