[TYPES/announce] TERMGRAPH 2014: call for participation

Raamsdonk, F. van f.van.raamsdonk at vu.nl
Wed May 28 00:35:38 EDT 2014


=====================================================================
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!
=====================================================================



More information about the Types-announce mailing list