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

CALL FOR PAPERS: Tests and Proofs, 17-21 June 2013, Budapest, HUNGARY

TAP 2013

The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques 
from both sides and their combination for the advancement of software quality.
Testing and proving seem to be contradictory techniques: once you have proved your program to be 
correct then additional testing seems pointless; on the other hand, when such a proof in not 
feasible, then testing the program seems to be the only option. This view has dominated the 
research community since the dawn of computer science, and has resulted in distinct communities 
pursuing the seemingly orthogonal research areas.

However, the development of both approaches has lead to the discovery of common issues and to the 
realization of potential synergy. Perhaps, use of model checking in testing was one of the first 
signs that a counterexample to a proof may be interpreted as a test case. Recent breakthroughs in
deductive techniques such as satisfiability modulo theories, abstract interpretation, and 
interactive theorem proving, have paved the way for new and practically effective methods of 
powering testing techniques. Moreover, since formal, proof-based verification is costly, testing 
invariants and background theories can be helpful to detect errors early and to improve cost 
effectiveness. Summing up, in the past few years an increasing number of research efforts have 
encountered the need for combining proofs and tests, dropping earlier dogmatic views of 
incompatibility and taking instead the best of what each of these software engineering domains 
has to offer.

The TAP conference aims to bring together researchers and practitioners working in the converging 
fields of testing and proving, and will offer a generous allocation of papers, panels and informal 

Topics of interest cover theory definitions, tool constructions and experimentations, and include 
(other topics related to TAP are welcome):
- Bridging the gap between concrete and symbolic techniques, e.g. using
   proof search in satisfiability modulo theories solvers to enhance
   various testing techniques
- Transfer of concepts from testing to proving (e.g., coverage criteria)
   and from proving to testing
- Program proving with the aid of testing techniques
- New problematics in automated reasoning emerging from specificities of
   test generation
- Verification and testing techniques combining proofs and tests
- Generation of test data, oracles, or preambles by deductive techniques
   such as: theorem proving, model checking, symbolic execution,
   constraint logic programming
- Model-based testing and verification
- Generation of specifications by deduction
- Automatic bug finding
- Debugging of programs combining static and dynamic analysis
- Formal frameworks
- Tool descriptions and experience reports
- Case studies combining tests and proofs
- Domain specific applications of testing and proving to new application
   domains such as validating security protocols, vulnerability detection
   of programs, security

Important Dates:
Abstract submission:   January 25, 2013
Paper submission:      February 1, 2013
Notification:          March 3, 2013
Camera ready version:  April 5, 2013
TAP conference:        June 17-21, 2013

Program Chairs:
Margus Veanes (Microsoft Research, USA)
Luca Vigano` (University of Verona, Italy)

Program Committee:

Please submit your papers via easychair
(submission page to be opened in due time)

TAP 2013 will
accept two types of papers:

- Research papers: full papers with at most 16 pages in LNCS format
   (pdf), which have to be original, unpublished and not submitted

- Short contributions: work in progress, (industrial) experience
   reports or tool demonstrations, position statements; an extended
   abstract with at most 6 pages in LNCS format (pdf) is expected.

Subject to final approval by Springer, accepted papers will be published in the Springer LNCS 
series and will be available at the conference.

The contents of previous TAP proceedings is available at: