I work at inria (some acronyms used here) and LORIA in the Caramba project-team over 2019, 2018, 2017, 2016, (previous teams are Caramel in 2015, 2014, 2013, 2012, 2011, 2010, Cacao in 2009, 2008, 2007, Spaces in 2006, 2005, 2004, 2003, 2002, 2001, Polka in 2000, 1999, 1998, Eureca in 1997, 1996, 1995, 1994, 1993 [tex], and Algo until 1992).

Address.
Paul Zimmermann
Centre de recherche Inria Nancy Grand Est
Équipe-Projet CARAMBA - bâtiment A
615 rue du jardin botanique
F-54600 Villers-lès-Nancy Cedex

Email: Paul(foo)Zimmermann(bar)inria(foo)fr, where (foo) should be replaced by a dot (.), and (bar) by the at-sign (@).

Phone: +33 (0)3 83 59 30 41

Fax: +33 (0)3 83 27 83 19