Public Erlang talk in London at Erlang-Consulting
Sat Apr 15 04:12:55 CEST 2006
It occurs to me that there may be an overlap in potential audience between
this talk, and another public talk that is taking place in London on the
same day, a short tube ride away:
> BCS-FACS Evening Seminar Series
> Joint Event with FME
> Specifying Systems that Connect to the Physical World
> Professor Cliff Jones
> (Joint work with Ian Hayes and Michael Jackson)
> 24 April 2006
> BCS London Offices
> First Floor, The Davidson Building
> 5 Southampton Street
> London WC2E 7HA
> We all know about developing programs from formal specifications. For "closed"
> systems, such methods offer a gold standard against which less formal
> approaches can be measured. But there is an increasing demand for "open systems"
> which interact with the physical world. The overall system might include sensors
> and actuators whose signals flow to and from some control program. The task of
> obtaining a specification for the control program can be more challenging than
> that of deriving a program from that specification. This talk argues that
> recording an initial specification of the behaviour of the whole system in the
> physical world gives a way to derive a specification of a control system and
> also to record precisely the assumptions being made about those components
> which sit outside the computer.
> Refreshments will be served from 5.15pm
> The seminar is free of charge and open to everyone. If you would like to attend,
> please email Paul Boca <mailto:Paul.Boca@REDACTED> your name by 19 April 2006.
> Pre-registration is required, as security at the BCS Offices is tight.
The timing is very tight, though, especially with the Q&A session after the
16:30 - 17:30 Erlang talk (excluding Q&A)
walk to Liverpool Street (~500 m)
Liverpool Street -> Temple on the Circle Line
walk to BCS offices (~650 m)
17:45 - BCS talk
Can the Erlang talk possibly be moved, say, half an hour earlier? How many people
would be interested in attending both talks?
Eric Merritt wrote:
> Is there any possibility of getting this recorded and posted somewhere?
I have a video camera. I'm not absolutely sure yet that I will be able to
> On 4/14/06, Jan Henry Nystrom <jann@REDACTED> wrote:
>>On Monday, April 24th, I will present the results of a three
>>year research project conducted at Heriot-Watt University in collaboration
>>with Motorola Labs in Basingstoke. The project aim has been to produce
>>scientific evidence that Erlang can improve distributed quality and
>>productivity, and to investigate the impact of programming constructs on
>>distributed software. This talk focuses on a comparative study done on a
>>Motorola distributed C++ application that has been re-engineered in
>>Erlang. The study clearly indicates that great benefits can be gained
>>from using Erlang for this type of applications.
>>The talk will start at 16.30 pm, and is expected to take about an hour,
>>followed by a Q&A session. It will be held in the conference room of
>>Erlang_Consulting's London offices,
>>Please let me know if you are planning to attend, so we know how many
>>people to expect. Refreshments will be served after the talk.
>>It would be great if you could make it.
>>Henry Nystrom and Erlang-Consulting
>>Jan Henry Nyström
>>753 32 UPPSALA
>>Phone: +46 (0)18 14 24 04
David Hopwood <david.nospam.hopwood@REDACTED>
More information about the erlang-questions