coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
To: coq-club AT inria.fr, lfcs-interest AT dcs.ed.ac.uk, stp AT macs.hw.ac.uk, SPLS <SPLS AT dcs.gla.ac.uk>, blc AT cs.nott.ac.uk, functional-programming AT cs.st-and.ac.uk, hamming-members AT inf.ed.ac.uk, categories AT mta.ca
Cc: janwillemklop <janwillemklop AT planet.nl>
Subject: [Coq-Club] 5th International School on Rewriting July 3 � 8, 2010, Utrecht, The Netherlands
Date: Thu, 20 May 2010 15:34:29 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:from:date:message-id:subject:to:cc:content-type; b=NtZrPW3nINxe0O5SMZK/ll5lwOp0CCjXDiVxYyJ5XBZQMAxXSVh/s1XUDDM1LLojBY 1Oq0dnzz2nkKTE5H2urKd8Mx833t6KPF8AIyn6O6dnamS1RZgNI/NkabnoRMzYkRMFp+ XPYKqwv+1usCqFTMz7Mwk34UKmzx3Twfnoyr0=

�� ISR 2010

�� 5th International School on Rewriting

�� July 3 � 8, 2010, Utrecht, The Netherlands

�� Under the auspices of

�� IFIP WG 1.6 � Term Rewriting

Organised by Utrecht Summerschool

Organisers:

Vincent van Oostrom, Utrecht

Roel de Vrijer, Amsterdam

Lecturers:

Aart Middeldorp, Innsbruck

Femke van Raamsdonk, Amsterdam

Ashish Tiwari, Menlo Park

Ralf Treinen, Paris

Peter Schneider-Kamp, Odense

Hans Zantema, Eindhoven

Adam Koprowski, Paris

Georg Moser, Innsbruck

Dimitri Hendriks, Amsterdam

Jorg Endrullis, Amsterdam

Clemens Grabmayer, Utrecht

[Coq-Club] 5th International School on Rewriting July 3 � 8, 2010, Utrecht, The Netherlands, Ekaterina Komendantskaya