HISTORY-OF-COMPUTING-UK http://www.jiscmail.ac.uk/cgi-bin/wa.exe?A0=history-of-computing-uk&F=P&D=1&O=D&H=0&T=0 Archive of the HISTORY-OF-COMPUTING-UK mailing list en-uk Publicly accessible electronic mailing list 2006-10-06T15:00:41Z Museophile forums Museophile forums REMINDER -- FACS/FME Seminar: Formal Methods in the Last 25 Years, 30 January, 5.30pm, London http://www.jiscmail.ac.uk/cgi-bin/webadmin?A2=ind0601&L=history-of-computing-uk&D=1&T=0&O=D&F=P&P=68 HISTORY-OF-COMPUTING-UK message about REMINDER -- FACS/FME Seminar: Formal Methods in the Last 25 Years, 30 January, 5.30pm, London (116 lines) January 2006 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0601&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during January 2006 December 2005 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0512&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during December 2005 January 2005 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0501&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during January 2005 November 2004 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0411&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during November 2004 October 2004 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0410&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during October 2004 September 2004 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0409&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during September 2004 October 2003 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0310&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during October 2003 July 2003 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0307&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during July 2003 March 2003 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0303&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during March 2003 January 2003 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0301&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during January 2003 September 2002 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0209&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during September 2002 June 2002 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0206&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during June 2002 March 2002 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0203&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during March 2002 November 2001 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0111&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during November 2001 August 2001 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0108&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during August 2001 July 2001 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0107&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during July 2001 June 2001 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0106&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during June 2001 May 2001 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0105&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during May 2001 January 2001 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0101&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during January 2001 December 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0012&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during December 2000 November 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0011&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during November 2000 October 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0010&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during October 2000 September 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0009&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during September 2000 June 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0006&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during June 2000 May 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0005&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during May 2000 March 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0003&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during March 2000 February 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0002&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during February 2000 January 2000 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind0001&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during January 2000 December 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9912&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during December 1999 October 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9910&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during October 1999 August 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9908&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during August 1999 July 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9907&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during July 1999 May 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9905&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during May 1999 April 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9904&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during April 1999 February 1999 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9902&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during February 1999 December 1998 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9812&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during December 1998 November 1998 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9811&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during November 1998 September 1998 http://www.jiscmail.ac.uk/cgi-bin/webadmin?A1=ind9809&L=history-of-computing-uk&D=1&F=P&H=0&O=D&T=0 Messages sent to HISTORY-OF-COMPUTING-UK during September 1998