Monthly archives: November 2006

Open Source Java – Simons Phipps, Sun Microsystems – London, 20/12/06 1

The BCS Open Source Specialist Group (OSSG) announce a presentation on 20th December 2006 by Simon Phipps, Chief Open Source Officer, Sun Microsystems, Inc: on the Open Sourcing of Java under the GPL.

Venue – BCS Central London Offices, First Floor, The Davidson Building, 5 Southampton Street, London WC2E 7HA

Time – 1800 hours for 1830 start.

Free buffet and refreshments including wine.

Please email your name to the events coordinator to book a place at this event.

For further information please contact Mark Elkins via email at

Open Source Information Retrieval – London, 21/11/06

There are a significant number of open source search engines available from sites such as sourceforge and freshmeat. In this seminar we give a survey of these systems, and outline the motivation for using the open source software development model to create IR systems. We then give a detailed case study of Xapian, of how to create a web site search mechansim.

This will be a combined event hosted by the BCS Open Source SG (OSSG) and the Information Retrieval SG on Tuesday 21st November 2006 starting around 1800 hours. Venue – BCS Central London Offices, First Floor, The Davidson Building, 5 Southampton Street, London WC2E 7HA.

Free buffet and refreshments including wine.

Please email your name to the event coordinator to book a place at this event.

For further information please contact Mark Elkins via email at


The OSS Information Retrieval Overview slides and the XAPIAN slides from this event are now available.

Eric Allman, Sendmail, to talk in London – 15th November 2006

Eric Allman, creator of the open source Sendmail MTA, is visiting London to speak at an event celebrating 25 years of Internet Mail. As part of the event, Eric will discuss the evolution of email, how our trust in email has disappeared and what his views are on the development of messaging in the future (until 2030!).

The event also includes a networking session giving you the chance to meet Eric in person, coffee and a buffet lunch (from 12pm).

The event is being held on Wednesday 15th November, at the Soho Hotel, London and registration and coffee takes place from 9am with the briefing starting from 9.30am.
A full agenda and registration details can be found here
For further information by phone contact Alison Palmer

The Open versus Closed Debate – Reading, 14/11/06

OSSG hereby gives notice and support for the following BCS Berkshire event to be held on 14th November 2006 at Reading University.


The talk will cover the open versus closed source software debate, plus disclosure of vulnerabilities in security, copyright versus creative commons-style licensing and patents in standards.Is Open Source software more secure than closed source? Is it better to have digital content controlled by DRM mechanisms or in an open digital format?
Are proprietary data standards or open standards better for the computer industry? Are open communications channels a benefit to the free flow of ideas or simply a channel for spam? Does anonymous access to send and receive information promote freedom of speech or encourage the dissemination of illicit material?Many of the controversial issues about how to design and use computers and communications systems today can be characterised as an “open” vs. “closed” debate.

Venue, Time, and Contact Details

This event will be held in Room 105, Palmer Building at Reading University. Refreshments will be available from 19.15 and the events will start at 8.00pm.

(All BCS meetings are open to everyone unless otherwise stated.)

For further details please visit or contact OSSG via Mark Elkins at

About the Speaker:

Dr Andrew Adams of the School of Systems Engineering at The University of Reading.

Lecturer Appointed: 2000


LL.M., University of Reading, Law, 2005.
Ph.D., University of St Andrews, Computer Science, 1997.
M.Sc. (with distinction), University of Leeds, Computer Science, 1995.
B.Sc., University of Leeds, Mathematics and Computer Science, 1991.

Expertise and Research Interests

I have a wide range of research interests in multi-disciplinary fields:Social, Legal and Ethical Aspects of Computing:
– I am the workpackage leader of WP230 (Social, Legal and Ethical Aspects) in the EU-funded ISCAPS project, collaborating locally with James Ferryman. We also collaborate on the EPSRC project REASON (EP/C533402)
– I gave a University of Reading Public Lecture in November 2004 on “Copyright v Creativity”.
Security Research:
– My work on the ISCAPS Project includes consideration of the assessment of technological responses to security threats.
– I collaborate with Prof Kecheng Liu on informatics for police and security services.
– I have collaborated with researchers at various European institutions and companies on proposals for PASR funding but only ISCAPS has so far been funded. Further proposals are being considered in this area and I am open to approaches for involvement in such projects. My interests are primarily in the human factors of technological approaches to security, including social, legal and ethical questions raised by technological developments, and the potential for abuse and misuse of such technology.Mathematics:
– Higher Order Theorem Proving:
– I have worked with a number of different systems including The Coq System (in which I did my PhD) and PVS (with which I continue to work).
– I am involved in the Calculemus Initiative on combining the facilities of theorem provers and computer algebra systems. I was a research fellow at the Universitaet des Saarlandes in 2001 on the EU 5th Framework Calculemus project and held a grant from the UK EPSRC (GR/S15044/01) to continue collaboration with the group of Prof Siekmann there.
– I am collaborating with Dr James Anderson (The University of Reading) and Dr Norbert Voelker (University of Essex) on formalising the TransNumbers related to Dr Anderson’s Perspex Machine model of computation.Mathematical Knowledge Management:
I was a member of the EU 5th Framework project MKMNet (including UK EPSRC funding on grant GR/S10919/01) which performed initial investigation into the new area of Mathematical Knowledge Management. See my paper from the MKM ’03 conference: Digitisation, Representation and Formalisation for my views on the general direction of this work, called “a manifesto for MKM” by one of the conference referees.

Other Expertise

I supervise undergraduate computer science projects in the area of computer-aided learning and computer mathematics.

Future Research

I am concentrating on the area of social, legal and ethical aspects of high technology, particularly computer and communications. My focus is on privacy and identity with respect to surveillance and dataveillance, identity and authentication issues.