Centre for Cultural and Industrial Technologies Research (CiTech)
|Professor David Anderson|
|Director of the CiTech Research Centre|
|School of Creative Technologies|
|University of Portsmouth|
|tel: +44 (0)23 9284 5525|
I lead the Humanities Computing Group. Over the last two years our group has attracted nearly £1,000,000 in research funding.
Willard McCarty has described Humanities Computing as an academic field concerned with the application of computing tools to arts and humanities data or to their use in the creation of these data.
It is methodological in nature and interdisciplinary in scope. It works at the intersection of computing with the arts and humanities, focusing both on the pragmatic issues of how computing assists scholarship and teaching in the disciplines and on the theoretical problems of shift in perspective brought about by computing.
It seeks to define the common ground of techniques and approaches to data, and how scholarly processes may be understood and mechanised. It studies the sociology and epistemology of knowledge as these are affected by computing as well as the fundamental cognitive problem of how we know what we know.
Its tools are derived from practical work in computer science, but like that work its application of them uses models of intelligence developed in cognitive science and philosophy of mind. It tests the utility of these models to illuminate particular objects of study by direct involvement in the fields of application. Its object of knowledge is all the source material of the arts and humanities viewed as data.
Like comparative literature it takes its subject matter from other disciplines and is guided by their concerns, but it returns to them ever more challenging questions and new ways of thinking through old problems.
Within this broad inter-disciplinary canvas I have three main areas of interest:
(1) Digital Preservation
(a) The KEEP Project - EU Grant Agreement ICT 231954 (£4m)
Working with Janet Delve and Dan Pinchbeck (of the Humanities Computing Research Group) I am part of a European consortium which is deveoping techniques for preserving digital objects: text, sound, and image files; multimedia documents, websites, databases, videogames etc. The overall aim of the project is to facilitate universal access to our cultural heritage by developing flexible tools for accessing and storing a wide range of digital objects.
We will address the problems of transferring digital objects stored on outdated computer media such as floppy discs onto current storage devices. This will involve the specification of file formats and the production of transfer tools exploited within a framework, and will take into account possible legal and technical issues.
Although primarily aimed at those involved in Cultural Heritage, such as memory institutions and games museums, the Emulation Access Platform will also serve the needs of a wide range of organisations and individuals because of its universal approach.
Overall, we will create the foundation for the next generation of permanent access strategies based on emulation.
The particular focus of the Humanities Computing Group within the wider effort is the investigation of metadata models and the development of guidelines for mapping digital objects onto emulated manifestations.
(b) Digital Preservation Console Project (Development Study) - JISC £13k
Coordinators David Anderson & Janet Delve (University of Portsmouth)
This small project seeks to investigate the extent to which it might be possible to develop an
intuitive graphical user interface (GUI) to enable non‐specialist information professionals to
undertake a variety of preservation and information management tasks with a minimum of
preservation‐specific theoretical knowledge. This ‘Digital Preservation Console’, should offer
considerable opportunity for capacity‐building across institutions to manage, preserve and
strategically discard digital material.
(c) POCOS (Preservation Of Complex Objects Symposia) - JISC £130k
Coordinators David Anderson & Janet Delve (University of Portsmouth)
Over recent years significant progress has been made in understanding the issues involved in preserving complex materials and environments. European projects such as Planets and KEEP have provided tools and techniques which have moved forward the state of the art. The POCOS project will deliver a series of 3 symposia at locations across the United Kingdom at which global thought-leaders in research into the Preservation of Complex Objects will share and thereby extend the body of knowledge on this topic. Each seminar will be supported by a substantial and innovative dissemination programme to ensure that the maximum long-term value is obtained from the outputs of the seminar. This will include the production of a peer-reviewed book of the outputs from each symposium offered to the community in a variety of low-cost (or free) formats including print-on-demand, PDF/A and free Kindle e-book. It is also proposed to webcast and/or web-release parts of each symposium in order to increase access for the community. POCOS will deliver pathfinder conclusions to the JISC community which will contribute to shaping the future direction of research in this area.
Project Partners: University of Portsmouth, British Library, King's College London, HATII (Univ. Glasgow), Joguin sas.
(d) Data Warehousing in the context of Digital Preservation (Report) - JISC £2k
Coordinators Janet Delve, Richard Healey, David Anderson (University of Portsmouth)
(2) The History of Computing.
I am particularly interested in the development of the electronic digital computer. I begin in 1936 with Turing’s paper “On computable numbers, with an application to the Entscheidungsproblem” and finish, more or less, with Turing’s death in 1954. This captures well most of the significant early developments in the field on both sides of the Atlantic and opens up for study a number of areas which have received little attention elsewhere or have been treated with less rigour than one would hope.
I am focussed on the, largely unknown, contribution to early computing of the Cambridge topologist Maxwell Herman Alexander Newman. This has led me to investigate Newman's attempt to build a computer at the University of Manchester immediately after the end of WWII. My research has been able to show that the conventional history of the period is substantially in error. I have been able to uncover three significant "myths" which underlie much of the dominant discourse in British History of Computing.
(3) Paraconsistent reasoning
This is a way of overcoming the inability of computers to deal properly with inconsistent data by virtue of being based on classical logic and therby subject to the logical principle ex contradictione qudlibet. Since the turn of the 20th century a number of interesting alternatives to classical logic have been propsed offering varying degrees of effectiveness. Unfortunately such success as they have achieved has been purchased at the cost of sacrificing most of the reasoning tools on which systems, in practice, depend.
I have developed a completely novel approach which has resulted in the development of a group of new paraconsistent systems which arguably achieve an optimal weakening of classical logic. The Epsilon family of logics demonstrably outperform all other 4-valued paraconsistent systems. For the first time, a complete replacement for classical logic can now be contemplated.
As an extension of this work I have provided a tree derivation procedure as a refinement of Beth’s semantic tableaux method and Gentzen’s sequent calculus that provides a straightforward means by which truth-functional multivalued and paraconsistent reasoning systems may be automated.
- B.A. Hons (Philosophy)
- Ph.D. (Artificial Intelligence)
Current Research Projects
I am leading the development of a digital archive comprising the papers and memorabilia of the mathematician and computer pioneer M.H.A. Newman. This is a joint project with St. John’s College, Cambridge. The physical archive currently contains approximately 650 items and the digital version is in excess of 3000 scanned pages. When complete this will be the world’s biggest digital archive in the History of Computing. I also worked on the Turing Digital Archive (currently the world’s largest such enterprise)..
- 2009 Principal Investigator (UoP) KEEP (Keeping Emulation Environments Portable) EU Grant Agreement ICT 231954 (£4m)
- 2010 Principal Investigator: Digital Preservation Console Scoping Study [JISC (£13k)]
- 2010 Joint Principal Investigator: Data Warehousing within a Digital Preservation Context Scoping Study [JISC (£2k)]
- 2011 Joint Coordinator: POCOS (Preservation of Complex Digital Objects Symposia) [JISC (£130k)]
- Artificial Intelligence and Intelligent Systems, Ellis Horwood, Chichester ,1989
- 2011 Preservation of Complex Objects Vol.1: Simulations and Visualisations
- 2011 Preservation of Complex Objects Vol.2: Gaming Environments and Virtual Worlds
- 2011 Preservation of Complex Objects Vol.3: Software Based Art
- The Pioneers of Computing Vol 1: Europe. The Science Museum / Springer , London, date tba
- The Pioneers of Computing Vol 2: USA. The Science Museum / Springer, date tba
- 2010 Towards a Workable, Emulation-based Preservation Strategy: Rationale and Technical Metadata. Co -Authors: Janet Delve, Dan Pinchbeck. New Review of Information Networking ISSN: 1361-4576
- 2010 Preserving our digital cultural heritage, Resurrection The Bulletin of the Computer Conservation Society, Vol. 47. ISSN 0958 - 740. (forthcoming)
- 2009 An interview with Maurice Wilkes. Communications of the ACM. Volume 52 Issue 9 (September) pp.39-42 ISSN: 0001-0782. Co-Authors: Maurice Wilkes
- 2009 Handling Contradictions in knowledge discovery applications., European Computing Conference,
Proceedings of the European Computing Conference Volume 2, Part 11, pp. 1143-1158. ,Series: Lecture Notes in Electrical Engineering , Vol. 27. Mastorakis, Nikos; Mladenov, Valeri; Kontargyri, Vassiliki T. (Eds.)
- 2009 A tree derivation procedure for multivalent and paraconsistent inference. European Computing Conference,
Proceedings of the European Computing Conference Volume 2, Part 15, pp. 1567-1574. Series: Lecture Notes in Electrical Engineering , Vol. 27. Mastorakis, Nikos; Mladenov, Valeri; Kontargyri, Vassiliki T. (Eds.)
- 2009 The contribution of M.H.A. Newman and his mathematicians to the creation of the Manchester 'Baby' ,The British Society for the History of Mathematics Bulletin, Taylor & Francis, Volume 24 Issue 1 pp..27-39 ISSN 1749-8430, DOI: 10.1080/17498430802554503
- 2009 Tom Kilburn: A Pioneer of Computer Design. IEEE Annals of the History of Computing, April-June 2009 (vol. 31 no. 2) pp. 82-86. ISSN: 1058-6180 DOI http://doi.ieeecomputersociety.org/10.1109/MAHC.2009.32
- 2008 Review of "Alan Turing's Automatic Computing Engine: The master codebreaker's struggle to build the modern computer.", History & Philosophy of Logic, Taylor & Francis, ISSN 0144-5340, Vol. 29 Issue 4 (in press)
- 2008 Was the Manchester 'Baby' conceived at Bletchley Park?, BCS eWIC, http://www.bcs.org/upload/pdf/ewic_tur04_paper3.pdf
- 2007 Patrick Blackett: Physicist, Radical and Chief Architect of the Manchester Computing Phenomenon. IEEE Annals of the History of Computing, Vol. 29 No.3 ISSN: 1058-6180, pp.82-85 http://doi.ieeecomputersociety.org/10.1109/MAHC.2007.44
- 2007 Frederic Calland Williams: The Manchester Baby's Chief Engineer., IEEE Annals of the History of Computing, Vol. 29 No.4 ISSN: 1058-6180 pp.90-93 http://doi.ieeecomputersociety.org/10.1109/MAHC.2007.54
- 2007 Max Newman: Topologist, Codebreaker and Pioneer of Computing .IEEE Annals of the History of Computing, Vol. 29 No.3 ISSN: 1058-6180, pp.76-81 http://doi.ieeecomputersociety.org/10.1109/MAHC.2007.42
- 2007 Alan Turing's Automatic Computing Engine: The master codebreaker's struggle to build the modern computer, History and Philosophy of Logic, ISSN 0144-5340, Taylor & Francis,
- 2005 A research note on the discovery of a prototype Hollerith machine in Paris , The New Zealand Journal for the History and Philosophy of Technology, ISSN: 1177-1380, Co-Author(s) Hans Pufal and Janet Delve
- 2005 The French History of Computing Scene , IEEE Annals of the History of Compuitng, ISSN: 1058-6180
- 2004 Pioneers of Payroll on computers: LEO, the Army, the Navy Dockyards and De Havilland , IEEE Annals of the History of Computing, ISSN: 1058-6180, Co-Author(s) Janet Delve
- 2004 Turing in Manchester: A celebration, IEEE Annals of the History of Computing, ISSN: 1058-6180
- 2004 Commemorating the life and death of Alan M. Turing , IEEE Annals of the History of Computing, ISSN: 1058-6180
- 2003 ACONIT: trying to put the ghost back in the machine.Co-author: Hans Pufal. IEEE Annals of the History of Computing Vol. 24 No.3 ,ISSN: 1058-6180
- 2003 Max Newman: forgotten father of the computer? Co-authors: Janet Delve / Mary Croarken. IEEE Annals of the History of Computing Vol. 24 No.2,ISSN: 1058-6180
- 2003 Artificial Intelligence: recollections of the pioneers. IEEE Annals of the History of Computing Vol. 24 No.1 ,ISSN: 1058-6180
- 2002 Artificial Life and the Chinese Room argument. Co -author: Jack Copeland Artificial Life Vol. VIII No. 3
- 2001 “The Pinkerton Lecture” Co -Author: Janet Delve. IEEE Annals of the History of Computing Vol. 23 No.2 pp.68-73, ISSN: 1058-6180
- 2000 Howard Aiken: Portrait of a Computer Pioneer. Information, Communication & Society
- 2000 Makin’ Numbers: Howard Aiken and the Computer. Information, Communication & Society
- 1999 Slaves of the Machine? Research in Philosophy and Technology
- 2011 Requirements and design document and database implementation for the KEEP Emulation Framework GUI. Report to the European Comission. 23pp. Co -authors: Janet Delve, Leo Lonstantelos
- 2010 Requirements and design document for the browsing system and user interface of the KEEP mulation Framework. Report to the European Comission. 75pp. Co -authors: Janet Delve, Antonio Ciuffreda
- 2010 Contested Histories: De-mythologising the early history of modern British Computing, World Computer Conference, Brisbane. Published in IFIP AICT (Advances in Information and Communication Technology) Series by Springer
- 2009 Preservation Metadata Standards for Emulation Access Platforms, Report to the European Comission. 85pp. Co -authors: Janet Delve, Getaneh Agegn Alemu, Dan Pichbeck, Antonio Ciuffreda.
- 2009 Guideline document and peripheral input/output libraries for digital preservation, Report to the European Comission. 23pp. Co -authors: Antonio Ciuffreda. Janet Delve, Getaneh Agegn Alemu, Dan Pichbeck, Bram Loman, David Michel, Bart Kiers, Vincent Joguin.
- 2009 The Corridors of Power: Patrick Blackett and the Political Context of Early British Computing, SIGCIS history of computing workshop, “Michael Mahoney And The Histories of Computing(s).” Pittsburgh, Pennsylvania, USA October 18, 2009.
- 2009 Preservation Metadata Initiatives and Standards TASI Seminar on "Digital Media +100 years“ 16th September 2009, University of Bristol: Co-authors: Janet Delve, Dan Pinchbeck, Getaneh Alemu, Antonio Ciuffreda.
- 2009 Emulation as a strategy for the preservation of games: the KEEP project. Co -authors: Dan Pichbeck, Janet Delve, Getaneh Agegn Alemu, Antonio Ciuffreda. Digital Games Research Assosiation (DiGRA) Loughbrough, UK, 2009
- 2008 It's amazing how many shapes the neck of a bottle can take: how a topologist changed the face of British Computing, The Newcomem Society, Portsmouth Branch
- 2008 The development of the computing community of practice: How physicists, electrical engineers and mathematicians combined to create a new community of practice. Three Societies Conference, Keble College, Oxford.
- 2008 60 years after the birth of the computing revolution: An historical reassessment of the development of the Manchester Baby. Sorbonne, Paris
- 2007 A principle-governed partial exploration of the set of all possible 4-valued contradiction-tolerant logics. IFIP/IIASA/GAMM Workshop on Coping with Uncertainty (CwU) Robust Decisions
- 2007 A simplified system for multivalent and paraconsistent inference using a tree derivation procedure, European Computing Conference 2007
- 2007 A semantic-tableaux procedure for the 4-valued paraconsistent logic Epsilon111., European Computing Conference 2007
- 2007 LM 4 : Enabling autonomous intelligent machines to handle contradictory information., Proceedings of the 2007 International Conference on Artificial Intelligence (ICAI'07) Vol.II. ISBN: 1-60132-023-X, pp.495-500
- 2007 The contribution of M.H.A. Newman and the Department of Mathematics to the development of the world’s first stored-program computer' , British Society for History of Science, Manchester,
- 2007 Three myths of early British computing, Computer History Museum, Palo Alto, California, USA.
- 2007 Challenging the engineering perspective on computing history, SHOT 2007, Washington DC
- 2005 Broadening the Scope of Electronic Book Publishing' , IAHC Amsterdam, September 14th-17th 2005, ISBN: 90-6984-456-7, Co-Author(s) Richard Healey
- 2004 Technology transfer in the 1940s (Invited Paper) BSHM / CSHPM Joint meeting Cambridge, UK, July 2004
- 2004 Was the Manchester Baby conceived in Bletchley ? (Invited paper) Turing 2004, Manchester, UK
- 2004 'E-Checker: A prototype tool for investigating some properties of multivalent logic systems' , AISB 2004 (11th Workshop on Automated Reasoning) - Liverpool University, ISBN: 1-0902956-26-4, Co-Author(s) Peter W. Pearson
- 2004 A systematic examination of paraconsistent logic schemes, University of Salerno - 13th May 2004
- 2004 The long shadow of Colossus: How Bletchley Park changed the face of British Computing , BCS Computer Conservation Society: 28th Oct 2004
- 2003 New directions in paraconsistency. University of Manchester, 7th November 2003
- 2003 Has the Chinese room argument shown ‘strong artificial life’ to be impossible? Co-author: Jack Copeland. 7th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2003), Florida
- 2003 A simplified system for multivalent and paraconsistent inference using a tree derivation procedure. 7th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2003), Florida
- 2003 Max Newman: forgotten father of the computer, The Royal Institution, UK
- 2003 A versatile tree derivation procedure system for multivalent and paraconsis tent inference. AISB 2002 (10th Workshop on Automated Reasoning) Liverpool University, UK
- 2003 'Two values suffice for logic.... true or false?' , University of Manchester - 7th November 2003
- 2002 Is ‘Strong A -life’ possible? Co -author: Jack Copeland. 4th Asia -Pacific Conference on Simulated Evolution And Learning (SEAL 2002), Singapore
- 2002 A solution to the problem of contradiction in knowledge discovery applications. AISB 2002 (9th Workshop on Automated Reasoning) Imperial College, London
- 2002 LM4: a classically paraconsistent logic for autonomous intelligent machines The 6th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2002), Florida
- 2002 Developing a framework for investigating inconsistency handling in automated reasoning 6th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2002), Florida
- 2002 The role of Max Newman in the development of the modern computer. 'Intelligence in the 1940s: Newman, Turing, and machines'
- 2010 BBC Radio 4 (Pilot) The Golden Age (of Computing) - Sarfraz Manzoor (March)
- 2009 BBC Radio Gloucestershire Interview - Mark Cummings Show(July)
- 2009 BBC Radio Solent Interview - Jon Cuthill Show(July) available on http://www.bbc.co.uk/iplayer/episode/p003hxk8/Jon_Cuthill_29_06_2009/
- 2009 BBC Radio York Interview - Jonathan Cowap Show (July) available on http://www.bbc.co.uk/iplayer/episode/p003hwnd/Jonathan_Cowap_29_06_2009/
- 2009 RTE Interview - (February)
- 2004 Granada TV Interviewed by Rachel Gwilliam
In the Media
- 2009 UoP Press Release (http://www.port.ac.uk/aboutus/newsandevents/frontpagenews/title,92028,en.html)
- 2009 BBC News (http://news.bbc.co.uk/1/hi/technology/7886754.stm)
- 2009 Cordis ICT (http://alturl.com/m9i6)
- 2009 The New Scientist (http://www.newscientist.com/article/dn16590-new-software-would-play-any-videogame-ever-created.html?DCMP=OTC-rss&nsref=online-news)
- 2009 The Independent (http://www.independent.co.uk/life-style/gadgets-and-tech/news/eu-project-aims-to-preserve-old-files-for-posterity-1606787.html)
- 2009 Independent Minds (http://danpinchbeck.livejournal.com/671.html)
- 2009 The Telegraph (http://www.telegraph.co.uk/scienceandtechnology/technology/4641841/New-computer-will-play-every-video-game.html)
- 2009 The Guardian (http://www.guardian.co.uk/technology/blog/2009/feb/12/software-internet)
- 2009 ACM Tech News (http://technews.acm.org/archives.cfm?fo=2009-02-feb/feb-11-2009.html)
- 2009 The Independent Live Journal (http://danpinchbeck.livejournal.com/671.html)
- 2009 Which magazine (http://www.which.co.uk/news/2009/02-feb/digital-vault-to-rescue-space-invaders-168352.jsp)
- 2009 IDM magazine, (Australia) (http://www.idm.net.au/story.asp?id=16585)
- 2009 Spong online magazine (http://news.spong.com/article/17136/English_Uni_to_Emulate_All_Video_Games?cb=49)
- 2009 Computer World (http://www.computerworlduk.com/technology/storage/software/news/index.cfm?newsid=13321)
- 2009 Science Daily, (USA) (http://www.sciencedaily.com/releases/2009/02/090211122410.htm)
- 2009 N4G News for Gamers (http://www.n4g.com/dev/NewsCom-276065.aspx?CT=1&Page=1&Page2=1&RID=2049934&RNum=7#CForm)
- 2009 Tech Radar (http://www.techradar.com/news/gaming/uk-uni-developing-massive-games-emulator-528487)
- 2009 Games Asylum (http://www.gamesasylum.com/2009/02/13/games-as-genuine-scientific-news/)
- 2009 PC Authority (Australia)
- 2009 Slashdot (http://games.slashdot.org/article.pl?sid=09/02/12/0830230&from=rss)
- 2009 Odeo (http://odeo.com/episodes/24072864-UK-University-Making-Universal-Game-Emulator)
- 2009 GP32 (http://alturl.com/p6qw)
- 2009 Spawn Point (http://alturl.com/kzoj)
- 2009 News Tin (http://www.newstin.co.uk/rel/uk/en-010-010636272)
- 2009 Manufacturing Computer Solutions (http://www.mcsolutions.co.uk/article/17028/Space-Invaders-to-be-saved-for-future-generations-.aspx)
- 2009 Word Press.com (http://prafulkr.wordpress.com/2009/02/14/fresh-start-for-lost-file-formats/)
- 2009 The Daily Star (http://www.dailystar.co.uk/news/view/69739/Coming-soon-the-console-that-plays-EVERY-game/)
- 2009 Golem (Germany) (http://www.golem.de/0902/65132.html)
- 2009 AlphaGalileo (http://www.alphagalileo.org/ViewItem.aspx?ItemId=55138&CultureCode=en)
- 2009 Tweakers.net (Netherlands) (http://tweakers.net/nieuws/58439/emulator-moet-toegang-tot-verouderde-bestandsformaten-veiligstellen.html)
- 2009 Gracz.info (Poland) (http://www.gry-online.pl/S013.asp?ID=45126)
- 2009 PC Pro Magazine (http://www.pcpro.co.uk/news/247204/scientists-resurrect-classic-digital-content.html)
- 2009 The Hindu (http://www.hindu.com/thehindu/holnus/008200902171332.htm)
- 2009 Tech World (http://www.techworld.com/storage/news/index.cfm?newsid=110782&email)
- 2009 Software Picks Network
- 2009 Geek.com (http://www.softpicks.net/blog/02/universal-emulator-for-playing-archaic-games.htm)
On the Blogosphere
- 2009 Techdune
- 2009 Maildir.com:
- 2009 Webscene:
- 2009 Andrewsblog
- 2009 Geek.com (Brazil)
- 2009 Vogons
- 2009 Mame World
- 2009 Blog Log
- 2009 Video Games Blogger
- 2009 Reddit Gaming
- 2009 AEP Emulation Page
- 2009 Atari Age.com
- 2009 Games Play Around
- 2009 Sony (Current)
- 2009 HCTOR
- 2009 Computers Computers
- 2009 Brave New World
- 2009 NTRA Net
- 2009 IT Examiner.com
- 2009 Hamara Photos
- 2009 Kavandeo
- 2009 Bubble Jam
- 2009 Sir Arthur's Den
- Director: CiTECH Research Centre
- Chairman, IFIP Working Group 9.7 (History of Computing)
- Treasurer (& Board Member): DLM Forum Foundation
- Editor in Chief: New Review of Information Networking
- Series Editor: IEEE Computer Society, History of Computing Series
Awards, fellowships, memberships etc.:
- Member of the IEEE Computer Society Publications Board
- Member IFIP WG 9.7 History of Computing Committee (Vice Chairman from 2009)
- Founding member of the Executive Committee of the European History of Computing Group
- Member of the Executive Committee of the BCS Computer Conservation Society (CSS) for which I have served as webmaster and meetings co-ordinator
- Member of the Executive Committee of the Association for History and Computing (AHC)
- Member of the Institute of Electrical and Electronics Engineers
- Member of the Canadian Society for the History and Philosophy of Mathematics
- Member of the Institute of Historical Research
- Member of the British Society for the History of Mathematics
- Past Visiting Research Fellow, Christchurch University, NZ
- Reviewer for numerous conferences and journals including IEEE Annals of the History of Computing
- Webmaster for the BCS Computer Conservation Society (CSS)
- Meetings co-ordinator for the BCS Computer Conservation Society (CSS)
- Co-organiser of the UK History of Computing Research In Progress Workshops