[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] IWS 2010: Call for Participation



-------------------------------------------------------------
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