coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: "Raamsdonk, F. van" <f.van.raamsdonk AT vu.nl>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "lics AT informatik.hu-berlin.de" <lics AT informatik.hu-berlin.de>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, Coq Club <coq-club AT inria.fr>
Cc: Aart Middeldorp <Aart.Middeldorp AT uibk.ac.at>, "Raamsdonk, F. van" <f.van.raamsdonk AT vu.nl>
Subject: [Coq-Club] TERMGRAPH 2014: call for participation
Date: Wed, 28 May 2014 04:35:38 +0000
Accept-language: en-GB, en-US

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

[Coq-Club] TERMGRAPH 2014: call for participation, Raamsdonk, F. van, 05/28/2014