Joint 25th International Conference on
REWRITING TECHNIQUES AND APPLICATIONS
and 12th International Conference on
TYPED LAMBDA CALCULI AND APPLICATIONS

July 14-17, 2014, Vienna, Austria
as part of The Sixth Federated Logic Conference (FLoC 2014)
as part of The Vienna Summer of Logic (VSL 2014)

Call for papers

Important dates

Abstract submission: January 28th, 2014 (extended to February 4th)
Paper submission: February 4th, 2014 (extended to February 11th)
Rebuttal period: March 19th-21st, 2014
Notification: April 9th, 2014
Final version: April 29th, 2014

Invited speakers

Nicola Gambino
Manfred Schmidt-Schauss
Nobuko Yoshida

Accepted papers