TAIC-PART is an interesting conference on testing that takes place in wonderful surroundings in Windsor Park. I recommend it—I much enjoyed it last year.  It’s calling for “fast abstracts”—short papers on new results—by June 11^th. It would be fun to see work on testing in the FP community represented. Why not submit something?

John

CALL FOR FAST ABSTRACTS: Late breaking, PhD and Tools

Testing: Academic and Industrial Conference -

Practice and Research Techniques (TAIC PART 2010)

Windsor, United Kingdom

September 3 - 5, 2010

http://www2010.taicpart.org/

Theme and Goals:

----------------

TAIC PART is a conference that aims to forge collaboration between

industry and academia on the challenging and exciting problem of

software testing. It is sponsored by representatives of both industry

and academia, bringing together commercial and industrial software

developers and users with academic researchers working on the theory

and practice of software testing. The goals of TAIC PART range from

the articulation of fundamental research questions in the field of

software testing and analysis to practical challenges that are often

faced by software developers in industry.  TAIC PART is a unique event

that strives to combine the important aspects of a software testing

conference, workshop, and retreat.

Keynote Speakers:

-----------------

Dr Wolfgang Grieskamp, Microsoft, USA

Prof Sir Tony Hoare, Microsoft Research Cambridge, UK

Prof Bertrand Meyer, ETH Zuerich, Switzerland

Call for Fast Abstracts:

------------------------

We invite submission of fast abstracts with a limit of 4 pages:

- Late breaking results or work in progress will be evaluated

according to their ability to generate discussion and suggest

interesting areas for future research.

- PhD papers are for PhD students who are interested in receiving

feedback about dissertation research that is an early stage. There

will be a dedicated PhD session at the conference.

- Tool papers must focus on the design, implementation, and evaluation

of software testing and analysis tools and will be judged by the

technical merit, novelty, and evaluation of the tool. There will be a

tools session with the opportunity to demonstrate the tools.

TAIC PART 2010 solicits papers on, but is not limited to, the

following areas:

- Test Adequacy Criteria

- Test Suite Execution

- Test Coverage Monitoring

- Automated Test Data Generation

- Regression Testing

- Automated Debugging and Fault Localization

- Performance Evaluation

- Static and Dynamic Analysis

- Verification and Validation

- Software Reliability Engineering

- Model-Based Testing

- Testing and Formal Methods

- Testing and Model Checking

- Software Testing Process

- Technology Transfer

Submissions:

------------

Authors should submit a PDF version of their paper through the TAIC

PART 2010 paper submission site. Papers must be written in English,

and prepared according to Springer's LNCS style (guidelines:

http://www.springer.de/comp/lncs/authors.html).  All papers will be

reviewed, and accepted papers will be published in a volume of the

Springer Lecture Notes in Computer Science series (LNCS).

Important Dates:

----------------

* Fast abstract submission: June 11, 2010

* Fast abstract notification: June 21, 2010