L2

The BSHM meeting on “The history of computing beyond the computer” looks at the people and the science underpinning modern software and programming, from Charles Babbage’s design notation to forgotten female pioneers.

Registration will be £32.50 for standard tickets, £22.00 for BSHM members and Oxford University staff, and £6.50 for students. This will include tea/coffee and biscuits at break times, but not lunch, as we wanted to keep the registration fee to a minimum. A sandwich lunch or a vegetarian sandwich lunch can be ordered separately on the Eventbrite page. If you have other dietary requirements, please use the contact button at the bottom of this page. There is also a café in the Mathematical Institute that sells hot food at lunchtime, alongside sandwiches and snacks, and there are numerous places to eat within easy walking distance.

https://www.eventbrite.co.uk/e/the-history-of-computing-beyond-the-comp…

Programme

21 March 2018

17:00 Andrew Hodges, University of Oxford, author of "Alan Turing: The Enigma” on 'Alan Turing: soft machine in a hard world.’
http://www.turing.org.uk/index.html

22 March 2018

9:00 Registration

9:30 Adrian Johnstone, Royal Holloway University of London, on Charles Babbage's design notation
http://blog.plan28.org/2014/11/babbages-language-of-thought.html

10:15 Reinhard Siegmund-Schultze, Universitetet i Agder, on early numerical methods in the analysis of the Northern Lights
https://www.uia.no/kk/profil/reinhars

11:00 Tea/Coffee

11:30 Julianne Nyhan, University College London, on Father Busa and humanities data
https://archelogos.hypotheses.org/135

12:15 Cliff Jones, University of Newcastle, on the history of programming language semantics
http://homepages.cs.ncl.ac.uk/cliff.jones/

13:00 Lunch

14:00 Mark Priestley, author of "ENIAC in Action, Making and Remaking the Modern Computer"
http://www.markpriestley.net

14:45 Marie Hicks, University of Wisconsin-Madison, author of "Programmed Inequality: How Britain Discarded Women Technologists and Lost Its Edge In Computing"
http://mariehicks.net

15:30 Tea/Coffee

16:00 Panel discussion to include Martin Campbell-Kelly (Warwick), Andrew Herbert (TNMOC), and Ursula Martin (Oxford)

17:00 End of conference

Co-located event

23 March, in Mathematical Institute, University of Oxford, Symposium for the History and Philosophy of Programming, HaPoP 2018, Call for extended abstracts
http://www.hapoc.org/node/241

Andrew Hodges, University of Oxford, author of "Alan Turing: The Enigma” on 'Alan Turing: soft machine in a hard world.’

http://www.turing.org.uk/index.html

This event is free but you need to register:

https://www.eventbrite.co.uk/e/the-history-of-computing-beyond-the-comp… 2018

Superhydrophobic surfaces, formed by air entrapment within the cavities of a hydrophobic solid substrate, offer a promising potential for drag reduction in small-scale flows. It turns out that low-drag configurations are associated with singular limits, which to date have typically been addressed using numerical schemes. I will discuss the application of singular perturbations to several of the canonical problems in the field. 

The fourth QBIOX Colloquium will take place in the Mathematical Institute on Friday 10th November (5th week) and feature talks from Professor Paul Riley (Department of Pathology, Anatomy and Genetics / BHF Oxbridge Centre for Regenerative Medicine, https://www.dpag.ox.ac.uk/research/riley-group) and Professor Eleanor Stride (Institute of Biomedical Engineering, http://www.ibme.ox.ac.uk/research/non-invasive-therapy-drug-delivery/pe…).

1600-1645 - Paul Riley, "Enroute to mending broken hearts".
1645-1730 - Eleanor Stride, "Reducing tissue hypoxia for cancer therapy".
1730-1800 - Networking and refreshments.

We very much hope to see you there. As ever, tickets are not necessary, but registering to attend will help us with numbers for catering.
Please see the following link for further details and a link to register.
https://www.eventbrite.co.uk/e/qbiox-colloquium-michelmas-term-2017-tic…

Abstracts
Paul Riley - "En route to mending broken hearts".
We adopt the paradigm of understanding how the heart develops during pregnancy as a first principal to inform on adult heart repair and regeneration. Our target for cell-based repair is the epicardium and epicardium-derived cells (EPDCs) which line the outside of the forming heart and contribute vascular endothelial and smooth muscle cells to the coronary vasculature, interstitial fibroblasts and cardiomyocytes. The epicardium can also act as a source of signals to condition the growth of the underlying embryonic heart muscle. In the adult heart, whilst the epicardium is retained, it is effectively quiescent. We have sought to extrapolate the developmental potential of the epicardium to the adult heart following injury by stimulating dormant epicardial cells to give rise to new muscle and vasculature. In parallel, we seek to modulate the local environment into which the new cells emerge: a cytotoxic mixture of inflammation and fibrosis which prevents cell engraftment and integration with survived heart tissue. To this end we manipulate the lymphatic vessels in the heart given that, elsewhere in the body, the lymphatics survey the immune system and modulate inflammation at peripheral injury sites. We recently described the development of the cardiac lymphatic vasculature and revealed in the adult heart that they undergo increased vessel sprouting (lymphangiogenesis) in response to injury, to improve function, remodelling and fibrosis. We are currently investigating whether increased lymphangiogenesis functions to clear immune cells and constrain the reparative response for optimal healing. 

Eleanor Stride - "Reducing tissue hypoxia for cancer therapy"
Hypoxia, i.e. a reduction in dissolved oxygen concentration below physiologically normal levels, has been identified as playing a critical role in the progression of many types of disease and as a key determinant of the success of cancer treatment. It poses a particular challenge for treatments such as radiotherapy, photodynamic and sonodynamic therapy which rely on the production of reactive oxygen species. Strategies for treating hypoxia have included the development of hypoxia-selective drugs as well as methods for directly increasing blood oxygenation, e.g. hyperbaric oxygen therapy, pure oxygen or carbogen breathing, ozone therapy, hydrogen peroxide injections and administration of suspensions of oxygen carrier liquids. To date, however, these approaches have delivered limited success either due to lack of proven efficacy and/or unwanted side effects. Gas microbubbles, stabilised by a biocompatible shell have been used as ultrasound contrast agents for several decades and have also been widely investigated as a means of promoting drug delivery. This talk will present our recent research on the use of micro and nanobubbles to deliver both drug molecules and oxygen simultaneously to a tumour to facilitate treatment.

Proteomics is seen as the next logical step after genomics to understand life processes at the molecular level. With increasing capabilities of modern mass spectrometers the deep proteome (>8000 proteins detected) has become widely accessible, only to be replaced recently by the "Ultra-deep proteome" with ~14000 proteins detected in a single cell line. Furthermore, new data search algorithms and sample preparation methods allow not only to achieve comprehensive sequence coverage for the majority of proteins, but also to detect protein variations and single amino acid polymorphisms in proteins, further linking genomic variation to protein phenotypes. The combination of genomic and proteomic information on individual (patient) level could mark the beginning of the "Post-Proteomic Era".

Please register via https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2017-ticke…

Magnus expansion based methods are an efficient class of integrators for solving Schrödinger equations that feature time dependent potentials such as lasers. These methods have been found to be highly effective in computational quantum chemistry since the pioneering work of Tal Ezer and Kosloff in the early 90s. The convergence of the Magnus expansion, however, is usually understood only for ODEs and traditional analysis suggests a much poorer performance of these methods than observed experimentally. It was not till the work of Hochbruck and Lubich in 2003 that a rigorous analysis justifying the application to PDEs with unbounded operators, such as the Schrödinger equation, was presented. In this talk we will extend this analysis to the semiclassical regime, where the highly oscillatory solution conventionally suggests large errors and a requirement for very small time steps.
 

In this talk, I will give a brief overview of the Langlands program and Langlands functoriality with reference to the examples of Galois representations attached to cusp forms and the Jacquet-Langlands correspondence for $\mathrm{GL}_2$. I will then explain how one can generalise this idea, sketching a proof of a Jacquet-Langlands type correspondence from $\mathrm{U}_n(B)$, where $B$ is a quaternion algebra, to $\mathrm{Sp}_{2n}$ and showing that one can attach Galois representations to regular algebraic cuspidal automorphic representations of $\mathrm{Sp}_{2n}$.