CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

2nd CFP: IWS 2010: Workshop on Strategies in Rewriting, Proving and Programming

International Workshop on Strategies in Rewriting, Proving, and Programming
                                  IWS 2010
                (A satellite workshop of FLoC 2010)
                       July 9 2010, Edinburgh, UK


Abstract submission: March 26, 2010
Notification date: April 11, 2010
Abstract final version: April 25, 2010
Workshop: July 9, 2010
Submission of full paper for the proceedings: September 5, 2010

Strategies are ubiquitous in programming languages, automated
deduction and reasoning systems, yet only since about ten years have
they been studied in their own right. 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.

Possible topics to address in this workshop include:
* Foundations for the definition and semantic description of strategies:
 models of search spaces, logical or mathematical formalisms
 to define strategies and prove properties about them.
* Properties of strategies and corresponding computations:
 logical or mathematical formalisms to  prove properties about them.
* Analysis and optimization techniques for strategies:
 analysis of the search space, evaluation and comparison of strategies.
* Integration of strategic deductions and/or strategic computations:
 interrelations, combinations and applications of deduction and computation
 under different strategies, control issues and strategies in the
 of systems, strategies in decision procedures for SMT.
* Strategy languages: essential constructs, meta-level features. Definition,
 design, implementation and application. Comparison of  strategies in
 (existing) systems.
* Concrete types of (reduction/evaluation) strategies in rewriting
 and programming, lambda calculi, normalization, narrowing, constraint
 solving, as well as their properties and characteristics (complexity,
 decidability, ...).
* Applications and case studies in which strategies play a major role.

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


The submission process is in two stages.

1) Before the workshop, authors are invited to submit an extended abstract
  (max. 5 pages) to be formatted in the EasyChair class style

  through the EasyChair submission site:

  Accepted abstracts will be presented at the workshop and included in
  the preliminary proceedings, available at the workshop.

2) After the workshop, authors will be invited to submit a
  full paper of their presentation (typically a 15-pages paper), which
  will be refereed  and considered for publication in the electronic
journal: Electronic Proceedings in Theoretical Computer Science

Beyond original ideas and recent results not published nor submitted
elsewhere, we also invite authors to submit a 5-pages abstract describing
relevant work that has been or will be published elsewhere, or work in
progress. These submissions will be only considered for presentation
at the workshop and inclusion in the preliminary proceedings but not
in the final proceedings.

Invited Speakers
Dan Dougherty, Worcester Polytechnic Institute

Assia Mahboubi, INRIA Saclay

Helene Kirchner, INRIA Bordeaux - Sud-Ouest, France
Cesar Munoz, NASA Langley Research Center, Hampton, USA

Program Committee
Maria Paola Bonacina, Univ. degli Studi di Verona, Italy
Jean-Christophe Filliatre, CNRS, France
Bernhard Gramlich, Technische Universitat Wien, Austria
Salvador Lucas, Universidad Politecnica de Valencia, Spain
Pierre-Etienne Moreau, LORIA-INRIA Nancy, France
Natarajan Shankar, SRI International, Menlo Park, CA, USA
Eelco Visser, Delft Univ. of Technology, The Netherlands
Christoph Weidenbach, MPI-INF, Saarbrucken, Germany