[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-------------------------------------------------------------
CALL FOR PARTICIPATION: IWS 2010
International Workshop on Strategies in Rewriting, Proving, and Programming
Edinburgh, Scotland, July 9, 2010
http://iws2010.inria.fr
iws2010 AT inria DOT fr
Affiliated with FLoC (July 9-21, 2010)
http://www.floc-conference.org
EARLY REGISTRATION DEADLINE: May 17
-------------------------------------------------------------
Strategies are ubiquitous in programming languages, automated
deduction and reasoning systems. In the two communities of Rewriting
and Programming on one side, and of Deduction and Proof engines
(Provers, Assistants, Solvers) on the other side, workshops have been
launched to make progress towards a deeper understanding of the nature
of strategies, their descriptions, their properties, and their usage,
in all kinds of computing and reasoning systems. Since more recently,
strategies are also playing an important role in rewrite-based
programming languages, verification tools and techniques like SAT/SMT
engines or termination provers. Moreover strategies have come to be
viewed more generally as expressing complex designs for control in
computing, modeling, proof search, program transformation, and access
control. FLoC 2010 provides an excellent opportunity to foster
exchanges between the communities of Rewriting and Programming on one
side, and of Deduction and Proof engines on the other side.
This workshop is a joint follow-up of two series of workshops, held
since 1997: the Strategies workshops held by the CADE-IJCAR community
and the Workshops on Reduction Strategies (WRS) held by the RTA-RDP
community.
INVITED TALKS
Dan Dougherty, Worcester Polytechnic Institute:
Game Strategies and Rule-Based Systems
Assia Mahboubi, INRIA:
Organizing and Using Algebraic Structures in Large Developments of
Formalized Mathematics
TECHNICAL PROGRAM
Pascal Fradet, Jean-Louis Giavitto and Marnes Hoff:
Refinement of Chemical Programs Using Strategies
Alvaro Garcia, Pablo Nogueira and Emilio Jesus Gallego Arias:
The Beta Cube
Alex Gerdes, Bastiaan Heeren and Johan Jeuring:
Properties of Exercise Strategies
Bernhard Gramlich and Felix Schernhammer:
Termination of Rewriting with - and Automated Synthesis of - Forbidden
Patterns
Ian Mackie:
Closed Cut-Elimination in Linear Logic
Olivier Namet and Maribel Fernandez:
A Strategy Language for Graph Rewriting Systems
Detlef Plump:
Graph Programs
Rene Thiemann, Jurgen Giesl, Peter Schneider-Kamp and Christian Sternagel:
Loops under Strategies ... Continued
PROGRAM COMMITTEE
Maria Paola Bonacina, Universita degli Studi di Verona, Italy
Jean-Christophe Filliatre, CNRS, France
Bernhard Gramlich, Technische Universitaet Wien, Austria
Salvador Lucas, Universidad Politecnica de Valencia, Spain
Pierre-Etienne Moreau, INRIA-LORIA Nancy, France
Natarajan Shankar, SRI International, United States
Eelco Visser, Delft University of Technology, Netherlands
Christoph Weidenbach, Max Planck Institute for Informatics, Germany
ORGANIZERS and CHAIRS
Helene Kirchner, INRIA, France
Cesar Munoz, NASA, US
REGISTRATION (Through FLoC 2010)
http://www.floc-conference.org/registration.html
