Events from the ProTest Project
 |
Past Events |  |
 |
28 Nov 2008:
Tracing Presentation to the Babel group
Hans Svensson talked about the work they are doing on Tracing at the Friday meeting of the Babel group at the Universidad Politécnica of Madrid.
13 Nov 2008:
Erlang/OTP User Conference, Stockholm, Sweden
The ProTest project team is presenting two talks at the 14th Int. Erlang/OTP User Conference
* Update on the EU project ProTest by
Thomas Arts, IT University of Göteborg and Quviq,
Francesco Ceasarini, Erlang Training & Consulting, London, and Simon Thompson, University of Kent.
* Formal Specifications for Free! by
John Hughes, Quviq, Göteborg.
It is the perfect opportunity to meet the team, meet other Erlang enthusiasts, network, exchange ideas, make new friends and meet old ones.
10 Nov 2008:
QuickCheck course (Stockholm, Sweden)
From 10 - 12 Nov, in conjunction with the Erlang User Conference, Quviq will provide a QuickCheck course for Erlang developers. Please see Quviq for details.
27 Sep 2008:
ACM SIGPLAN Erlang Workshop, (Victoria, BC)
This year's ACM SIGPLAN accredited Erlang workshop, held yearly in conjunction with ICFP will be in Victoria, British Columbia in Canada. Erlang Training and Consulting has had three papers accepted. We will be holding talks on Early fault detection with model-based testing, A Comparative Evaluation of Imperative and Functional Implementations of IMAP Protocol and on Usage and potential of testing and modelling Erlang tools. Call for participation and the workshop program is here... Keep an eye on this page for more information.
26 Sep 2008:
Commercial Users of Functional Programming Workshop, (Victoria, Canada)
Erlang Training and Consulting is proud to represent the Erlang Community on the program committee of the 2007 ACM SIGPLAN Commercial Users of Functional Programming Workshop, held in Freiburg, Germany. The workshops are affiliated with ICFP 2008, providing a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Francesco Cesarini will give a presentation on their latest and so far largest project entitled "MMGS: Building the Mobile Messaging Gateway System". We will be covering wireless IM, Email and stress testing Erlang systems to levels never seen before! See you there! Call for participation and the workshop program is here... Keep an eye on this page for more information.
25 Sep 2008:
Practical Erlang & Trace and DBG Tutorials, DEFUN 08 (Victoria, BC, Canada)
Erlang Training and Consulting will be giving a Practical Erlang Programming and a Trace BIF and DBG tutorials at the Dev Conference, a spin-off of the International Conference of Functional Programming in Victoria, Canada. Both tutorials will last half a day and be given by consultants at Erlang Training and Consulting. For more information, visit the DEFUN Conference page!
18 Sep 2008:
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08) L'Aquila, Italy, September 2008
Paper presented at 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08) L'Aquila, Italy, September 2008:
Inferring Finite-State Models with Temporal Constraints by Neil Walkinshaw, who is the co-programme chair.
15 Sep 2008:
ProTest Consortium Quarterly Meeting
The second ProTest Consortium Quarterly Meeting will be held in Gothenburg, Sweden on the 15th and 16th of September. Contact us if you have any ideas or items you would like the Consortium members to raise and discuss.
4 Apr 2008:
Research Seminar
There will be a research seminar in April. Please see the details below.
Speakers: Francesco Cesarini and Dr. Thomas Arts
Date: 4th April 2008 (Friday, 12:00 noon) Title:Erlang & QuickCheck:
Perspectives in Concurrent Design and Model Based Testing.
Place: SJ008 (St Johns Building)
Professor Rob Hierons is going to chair this talk.
[2009] [2008]
