[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Apologies for multiple copies ] ********************************************************************** Call for Participation Second International School on Rewriting ISR'2007, July 2-6, 2007 Nancy, France http://isr2007.loria.fr/ ********************************************************************** ---------------------------------------------------------------------- Overview ---------------------------------------------------------------------- Rewriting is a fundamental concept and tool in computer science, logic and mathematics. It models the notion of transition or elementary transformation of abstract entities as well as common data structures like terms, strings, graphs. Rewriting is central in computation as well as deduction and is a crucial concept in semantics of programming languages as well as in proof theory. This results from a long tradition of cross-fertilization with the lambda-calculus and automated reasoning research communities. This second International School on Rewriting is organized for Master and PhD students, researchers and practitioners interested in the study of rewriting concepts and applications. This school is supported by the IFIP Working Group on Term Rewriting. The lectures will be given by some of the best experts on rewriting (termination, higher-order systems, strategies, ...) and applications (security, theorem proving, program analysis and proofs, ...). ISR'2007 will hold in Nancy, just after the RDP Conference in Paris: http://www.rdp07.org/ This will be a good opportunity to take the new TGV Est Europeen, reaching Nancy from Paris in 90 minutes! ---------------------------------------------------------------------- Lecturers ---------------------------------------------------------------------- Hassan Ait Kaci, ILOG, France Franz Baader, Dresden University, Germany Gilles Dowek, Ecole Polytechnique & INRIA, France Thomas Genet, Universite de Rennes I & IRISA, France Juergen Giesl, Aachen University, Germany Denis Lugiez, Universite de Provence, France Christopher Lynch, Clarkson University, USA Pierre-Etienne Moreau, INRIA & LORIA, France Vincent van Oostrom, Utrecht University, Netherlands Detlef Plump, University of York, UK Femke van Raamsdonk, Free University Amsterdam, Netherlands Michael Rusinowitch, INRIA & LORIA, France ---------------------------------------------------------------------- Contents ---------------------------------------------------------------------- - Introduction to term rewriting - Termination of term rewriting and applications - Higher order rewrite systems - Call by need, call by value - Compilation and implementations - Applications: Security, Business rules, Theorem proving, Program analysis and proofs - Advanced topics: Graph rewriting, Tree automata, Deduction modulo ---------------------------------------------------------------------- Scientific Committee ---------------------------------------------------------------------- - Juergen Giesl (Aachen) - Claude Kirchner (Nancy), chair - Pierre Lescanne (Lyon) - Christopher Lynch (Potsdam) - Aart Middeldorp (Innsbruck) - Femke van Raamsdonk (Amsterdam) - Yoshihito Toyama (Sendai) - Laurent Vigneron (Nancy), local organization chair ---------------------------------------------------------------------- Further Information ---------------------------------------------------------------------- For up-to-date details on the school organization, visit the official web page: http://isr2007.loria.fr/ or contact the organizers by e-mail: isr2007(at)loria(dot)fr