[Haskell] Call for fast abstracts: TAIC-PART (testing conference)

[John Hughes]

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 11th. 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20100521/db15c743/attachment.html