Events from the ProTest Project
 |
Upcoming Events |  |
 |
None.
|
Past Events | |
|
Year 2012
23 Jan 2012:
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation January 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12)
Final Call For Papers
Paper submission deadline: Mon, October 10, 2011, 23:59, GMT
http://www.program-transformation.org/PEPM12
Important Dates
- Paper submission: Mon, October 10, 2011, 23:59, GMT
- Author notification: Tue, November 8, 2011
- Workshop: Mon-Tue, January 23-24, 2012
Invited Speakers
- Markus Pueschel (ETH Zurich, Switzerland)
- Martin Berger (University of Sussex, UK)
Program Chairs
- Oleg Kiselyov (Monterey, CA, USA)
- Simon Thompson (University of Kent, UK)
Year 2011
23 Nov 2011:
First Int. Soft. Tech. Exchange Workshop, 23rd Nov 2011, Stockholm, Sweden
http://www.swedsoft.se/?news=first-international-software-technology-exchange-workshop-2011
4 Nov 2011:
Property Based Testing Tutorials, Nov 2011, Stockholm, Sweden
A series of eleven free Tutorials on Property based testing have been organised in Stockholm, Sweden, following the Erlang User Conference 2011 on 4 Nov. The tutorials will be on Quickcheck, Wrangler, McErlang, Quickcheck Mini, Statechum, Cover, e2 and Exago to name but a few. To register for these tutorials, or the conference,
please click here.
This is a very early announcement to let you know that there will be the Tenth ACM SIGPLAN Erlang Workshop on the 23rd September 2011, held as a colocated event of ICFP 2011, at National Institute of Informatics, Tokyo, Japan. A call for papaers has been announced and you can find out more information on how to do that here.
23 Sep 2011:
The 10th ACM SIGPLAN Erlang Workshop Friday 23-SEP-2011,NII, Tokyo, Japan
The Tenth ACM SIGPLAN Erlang Workshop will be held on the 23rd September 2011.
The course is aimed at Support and Test Engineers, and Software
Developers who have knowledge of basic Erlang. Ultimately the course
will allow you to write more reliable and maintainable software thus
saving time and money. This is only the second time this course is being run. More information can be found via the ESL website.
6 Jun 2011:
Erlang and Test Driven Development Training Course
6 Jun 2011:
Erlang Factory London, UK 2011
The Erlang Factory London is back! The dates you need for your diary
are 6th, 7th and 8th June for the Erlang University courses and 9th
and 10th June for the Erlang Factory Conference.
The Erlang Factory London
is back! The dates you need for your diary are 6th, 7th and 8th
June for the Erlang University courses and 9th and 10th June for the
Erlang Factory Conference.
There will be a new addition to
the Erlang University this year with the introduction of the recently
launched Erlang Solutions course on Test Driven Development with
Erlang.
Talk submission will be opening shortly with
registration and the programme to follow not long after. To get a feel
for the conference take a look at last years programme, photos, talk videos and slides.
You can also subscribe to our Erlang Factory newsletter to receive the latest updates and news or follow @erlangfactory on Twitter.
June 2011 belongs to the Erlang Factory in London!
1 Jun 2011:
RV 2011 - 2nd Call for Papers and Tutorials
2nd Call for Papers and Tutorials
International Conference on Runtime Verification (RV 2011)
September 27 - 30, 2011
San Francisco, California, USA
http://rv2011.eecs.berkeley.edu/
MPORTANT DATES
June 5, 2011 - Submission of regular and short papers
June 12, 2011 - Submission of tutorial and tool demonstration proposals
July 24, 2011 - Notification for regular, short, and tool papers
August 21, 2011 - Submission of camera-ready versions of accepted papers
September 27-30, 2011 - RV 2011 Conference and tutorials
ORGANIZERS
Programme committee chairs:
Sarfraz Khurshid (University of Texas at Austin, USA)
Koushik Sen (University of California at Berkeley, USA)
Local organization chairs:
Jacob Burnim (University of California at Berkeley, USA)
Nicholas Jalbert (University of California at Berkeley, USA)
[2009] [2008]
