Conferences and Workshops
July 2019
11th International School on Rewriting, Paris, 1-6 July 2019.
I am offering a series of lectures on Rewriting in theorem proving (Advanced Track).
Take a quick peek at the lectures
here
June 2019
UNIF 2019 - 33rd International Workshop on Unification, Paris, June 24 2019.
I am on the program committee. Take a quick peek here
Title and Abstracts: April 14, 2019
Paper: April 21, 2019
Notification: May 31, 2019
FSCD 2019 (International Conference on Formal Structures for Computation and Deduction)
June 24--30, 2019, Dortmund, Germany.
Too lazy to put anything up
July 1997
September 1997
October 1997
February 1998
March 1998
April 1998
September 1998
return back to C.Lynch's home page
mail to Christopher.Lynch@loria.fr