Events from the ProTest Project


Past Events



2 Dec 2009: IGT2009 - Erlang's Journey to the Clouds (Israel)

At The World Summit of Cloud Computing 2009 (IGT), which will take place from 2nd-3th December 2009 in Israel Ulf Wiger (CTO of Erlang Training and Consulting) will be talking about Erlang's Journey to the Clouds. Let's meet at the IGT2009.

Abstract: Erlang was invented in the 90s to address rapid development of non-stop scalable telecoms systems. Initial requirements included massive concurrency, distribution transparency, in-service upgrades, plug-and-play expansion and high programmer productivity. A rapidly growing Open Source community is now using Erlang for scalable web services, messaging systems and cloud computing services. In this talk we will look at how Erlang is breaking out of the clusters of last century and entering today's cloud computing environments.


13 Nov 2009: Property Based Testing Tutorials, Stockholm, Sweden

A series of free Tutorials on Property based testing have been organised in Stockholm, Sweden, following the Erlang User Conference 2009 on 12 Nov. The tutorials will be on Quickcheck, Wrangler and McErlang as well as EUnit, Inviso and the Offline Log Monitoring Tool. To register for the conference, please click here


10 Sep 2009: Wrangler Tutorial (London User Group Talk, UK)

Join us at the Erlang London User Group meeting on theThursday 10th of September, where Huiqing Li, Simon Thompson and Xingdong Bian will give a tutorial on Wrangler. Be there at 18.00 for an 18.30 start. The meeting will be followed by beer, soft drinks and snacks. If you would like to attend this free event, please register here, as places are limited!

The Wrangler tutorial will be held in Erlang Training and Consulting's meeting room on the 3rd floor of the Fruit and Wool Exchange. For directions, visit our Contact page. We strongly recommend you bring your own laptop, so that you can participate fully in the tutorial.

Abstract:
Wrangler is an interactive refactoring tool for Erlang, integrated into both Emacs and Eclipse. Wrangler's refactorings cover structural changes such as function, variable and module renaming, function extraction and generalisation. Wrangler recognises macros in code, and can be used in a
single file or across a whole project. Wrangler can also be used to locate and remove code clones, and we're working on locating similar code fragments. Click the link for more details.

Biographies:
Huiqing Li got her PhD at Kent University in September 2006 and works as a post doc in the EU project ProTest to further develop the refactoring tool Wrangler.

Creator of Erlang's popular Refactoring tool Wrangler, Simon Thompson is Professor of Logic and Computation at the University of Kent and a well-known expert on Functional languages. A long-term contributor to the Haskel and Erlang communities and author of many popular books, including "Haskell: The Craft of Functional Programming", and "Erlang Programming". His work covers many aspects of functional programming and logic in computer science for Erlang and also for Haskel.

Xingdong started working with Erlang two years ago as a result of his passion for functional programming. He has been working on the Erlang web-platform developing reusable components with Wrangler, the refactoring tool from University of Kent, to make the components of the web-platform generic and reusable.


5 Sep 2009: ACM Erlang Workshop (Edinburgh, Scotland)

Do not miss the ACM SIGPLAN Erlang Workshop to be held in Edinburgh, Scotland on 3rd September 2009. The workshop, affiliated with ICFP 2009, aims to bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. The workshop is being chaired by some of the members of the ProTest Consortium, so take the opportunity not only to listen to lots of excellent presentations, but also to meet us in person. To find out more about the workshop, click here... Keep an eye on this page for more information.


4 Sep 2009: Testing: Academic and Industrial Conference 2009 (TAIC PART'09), Windsor, UK

Testing: Academic and Industrial Conference 2009 (TAIC PART'09)
Important dates:
Submission: March 13
Notification: April 10
Camera-ready: May 8
Conference: September 4-6, Windsor, UK


20 Jul 2009: Open Source Convention (OSCON 2009)

For more information on OSCON, visit the OSCON conference site...


2 Jul 2009: TAP: Tests and Proofs 2009, Zurich, Switzerland

TAP 2009 The Third International Conference on Tests And Proofs (TAP) will be held at ETH Zurich, Switzerland on 2 and 3 July 2009. It will be co-located with TOOLS Europe 2009. The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality.
Important Dates:
* Submission deadline: 15 February 2009
* Notification of acceptance: 22 March 2009
* Submission of final camera-ready version: 15 April 2009


22 Jun 2009: Erlang Factory, Conference and University (London, UK)

Erlang Factory London June 2009
University: June 22nd - June 24th
Conference: June 25th - June 26th
Following on from last year's successful Erlang eXchange, this year's Erlang Factory talks and tutorials will be even better. As with the San Francisco event, there will be an Erlang University held for the three days at the beginning of the week. Courses will include Basic Erlang, OTP Design Patterns, Quick Check and Couch DB. The London Erlang Factory is scheduled for the last week in June. Be the first to find out who is speaking and on what by joining our mailing list.


12 Jun 2009: Wrangler Tutorial (Canterbury, UK)

There will be a Wrangler tutorial at the Computing Laboratory of the University of Kent, at Canterbury. Wrangler is an interactive refactoring tool for Erlang, integrated into both Emacs and Eclipse. Wrangler’s refactorings cover structural changes such as function, variable and module renaming, function extraction and generalisation. Wrangler recognises macros in code, and can be used in a single file or across a whole project. Wrangler can also be used to locate and remove code clones, and we’re working on locating similar code fragments. Click the link for more details. There are a few available places. If you would like to attend this free event, contact us for location and time.


27 Apr 2009: Erlang Factory Conference and University, (SF Bay Area, USA)

Erlang Factory SF Bay Area 2009
University: April 27th - April 29th

Conference: April 30th - May 1st
The Erlang Factory comes to the West Coast! For those interested in learning more about Erlang to expert programmers alike, this promises to be the largest gathering of Erlang expertise since last year's eXchange in London. Come and meet Erlang inventors and experts who have been using the language long before it was released as open source, network with committers of the open source applications or debate and discuss the latest features and libraries.
While attending the Erlang Factory, why not take the opportunity to attend our three day Erlang University? We will be offering courses in Erlang Express, OTP Express, Quick Check and CouchDB, giving you a free ticket for the conference! Learn basics and advanced topics from the subject matter experts.


1 Apr 2009: 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009), Denver, Colorado

ICST 2009 Deadlines for:
Submission of Abstracts: Friday, 26 September, 2008,
Submission of Full Papers: Friday, 3 October, 2008.


22 Mar 2009: Workshop on Invariant Generation (WING 2009), York, UK

WING 2009 Satellite Workshop of ETAPS 2009
Important Dates:
January 12, 2009: Submission deadline
February 16, 2009: Notification of acceptance
March 1, 2009: Camera-ready copy deadline
March 22-23, 2009: WING 2009 in York, UK


9 Mar 2009: QCon London (London, UK)

Qcon returns to London. Erlang Training and Consulting will be giving an OTP tutorial and two talks, one on Erlang and SMP and another on Erlang architectures. For more information on the conference, its programme and speakers, visit the QCon London site!


3 Feb 2009: ProTest Consortium Quarterly Meeting, Madrid, Spain

The third ProTest Consortium Quarterly Meeting will be held in Madrid, Spain on the 3rd and 4th of February 2009. Please contact us if you have any ideas or items you would like the Consortium members to raise and discuss.



[2009] [2008]