1 |
Creative Commons |
Neural Networks and Deep Kernel Shaping |
Rapid training of deep neural networks without skip connections or normalization layers using Deep Kernel Shaping. |
James Martens |
05 Apr 2022 |
2 |
Creative Commons |
Introduction to Advanced Research Computing at Oxford |
Andy Gittings and Dai Jenkins, deliver a graduate lecture on Advance Research Computing (ARC). |
Andy Gittings, Dai Jenkins |
05 Apr 2022 |
3 |
|
Veridical Data Science for biomedical discovery: detecting epistatic interactions with epiTree |
Bin Yu, Chancellor's Professor, Departments of Statistics and Electrical Engineering and Computer Science, UC Berkeley, gives a seminar for the Department of Statistics. |
Bin Yu |
26 Feb 2021 |
4 |
Creative Commons |
Turing 2018/8: Searle versus Turing - Conclusion |
Lecture 8 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
5 |
Creative Commons |
Turing 2018/6: "Computing Machinery and Intelligence" - Overview of Turing's 1950 paper |
Lecture 6 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
6 |
Creative Commons |
Turing 2018/5: Settling Hilbert's Entscheidungsproblem, and the Halting Problem |
Lecture 5 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
7 |
Creative Commons |
Turing 2018/4: Enumerating the Computable Numbers, and the Universal Turing Machine |
Lecture 4 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
8 |
Creative Commons |
Turing 2018/3: "On Computable Numbers" - Turing's 1936 Paper |
Lecture 3 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
9 |
Creative Commons |
Turing 2018/2: Hilbert's Programme and Gödel's Theorem |
Lecture 2 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
10 |
Creative Commons |
Turing 2018/1: Types of number, Cantor, infinities, diagonal arguments |
Lecture 1 in Peter Millican's 2018 Turing series. |
Peter Millican |
14 Jan 2021 |
11 |
|
3f. Values and AI: view from public policy |
Jo Wolff and Vafa Ghazavi, Blavatnik School of Government, gives the sixth and final talk in the third Ethics in AI seminar, held on February 10th 2020. |
Jo Wolff, Vafa Ghazavi |
10 Feb 2020 |
12 |
|
3e. AI and business |
Alan Morrison, Saïd Business School, gives the fifth talk in the third Ethics in AI seminar, held on February 10th 2020. |
Alan Morrison |
10 Feb 2020 |
13 |
|
3d. AI and finance |
Nir Vulkan, Saïd Business School, gives the fourth talk in the third Ethics in AI seminar, held on February 10th 2020. |
Nir Vulkan |
10 Feb 2020 |
14 |
|
3c. Population health and AI: efficiency, accuracy and trust |
Angeliki Kerasidou, Ethox Centre, gives the third talk in the third Ethics in AI seminar, held on February 10th 2020. |
Angeliki Kerasidou |
10 Feb 2020 |
15 |
|
3a. Rethinking ethics and humanities for the 21st Century |
Mike Parker, Wellcome Centre for Ethics and Humanities gives the first talk in the third Ethics in AI seminar, held on February 10th 2020. |
Mike Parker |
10 Feb 2020 |
16 |
|
2d. Computational propaganda |
Vidya Narayanan, Oxford Internet Institute, |
Vidya Narayanan |
27 Jan 2020 |
17 |
|
2a. AI Governance and Ethics |
Allan Dafoe and Carina Prunkl, Future of Humanity Institute, Faculty of Philosophy give the first talk in the second Ethics in AI seminar, held on January 27th 2020 (postponed from December 2nd 2019). |
Allan Dafoe, Carina Prunkl |
27 Jan 2020 |
18 |
|
Interview with Jennifer Scott, Professor of Mathematics at University of Reading, and Individual Merit Research Fellow at the Rutherford Appleton Laboratory |
Georgina Ferry interviews Jennifer Scott as part of the Oxford Women in Computing Oral History project. Scott discusses her D Phil in the Oxford Computing Lab, her fellowship at St. John's college and leading the Numerical Analysis Group at Rutherford |
Georgina Ferry, Jennifer Scott |
20 Jan 2020 |
19 |
|
Interview with Susan Hockey (part 2), Emeritus Professor of Library and Information Studies, University College London |
Carrying on from episode 12, part 2 of Georgina Ferry's interview sees Susan Hockey discussing observations of gender split within the computing profession. |
Georgina Ferry, Susan Hockey |
20 Jan 2020 |
20 |
|
Interview with Susan Hockey, Emeritus Professor of Library and Information Studies, University College London |
Georgina Ferry interviews Susan Hockey as part of the Oxford Women in Computing Oral History project. Hockey discusses digital humanities research, management and organisations, and her work for Oxford Computing Service from 1975-1991. |
Georgina Ferry, Susan Hockey |
20 Jan 2020 |
21 |
|
Interview with Jill Hoare, former programmer for Elliott Brothers and the NHS |
Georgina Ferry interviews Jill Hoare as part of the Oxford Women in Computing Oral History project. Hoare discusses early experiences of coding and programming, work at Stanford University in 1973 and working on hospital systems for NHS Oxfordshire. |
Georgina Ferry, Jill Hoare |
20 Jan 2020 |
22 |
|
Interview with Linda Hayes (part 2), former head of User Services at the Oxford Computing Service |
Carrying on from episode 9, the second part of Georgina Ferry's interview with Linda Hayes includes her recount her time at St. Cross College and the origins of the university single sign on system. |
Georgina Ferry, Linda Hayes |
20 Jan 2020 |
23 |
|
Interview with Linda Hayes, former head of User Services at the Oxford Computing Service |
Georgina Ferry interviews Linda Hayes as part of the Oxford Women in Computing Oral History project. Hayes discusses her diploma in Numerical Analysis and Automatic Computing at Cambridge, and working for the Oxford Computing Service 1965 onwards. |
Georgina Ferry, Linda Hayes |
20 Jan 2020 |
24 |
|
Interview with Eleanor Dodson, computational methods developer of Protein Crystallography |
Georgina Ferry interviews Eleanor Dodson as part of the Oxford Women in Computing Oral History project. Dodson discusses her time as research technician for Dorothy Hodgkin, use of the Oxford Computing Service and Collaborative Computational project no.4. |
Georgina Ferry, Eleanor Dodson |
20 Jan 2020 |
25 |
|
Interview with Julia Dain, former research assistant for the Programming Research Group (PRG) |
Georgina Ferry interviews Julia Dain as part of the Oxford Women in Computing Oral History project. Dain recounts her traineeship at Marconi company, studying Maths at Oxford and working in the computer science department at Warwick University. |
Georgina Ferry, Julia Dain |
20 Jan 2020 |
26 |
|
Interview with Jana Colchester (part 2), former programming teacher at Marconi College and University of Essex |
Carrying on from episode 5, this second part of Georgina Ferry's interview with Jana Colchester includes Colchester discussing attitudes relating to gender in the maths and computing professions. |
Georgina Ferry, Jana Colchester |
20 Jan 2020 |
27 |
|
Interview with Jana Colchester, former programming teacher at Marconi College and University of Essex |
Georgina Ferry interviews Jana Colchester as part of the Oxford Women in Computing Oral History project. Colchester discusses working in the Oxford Computing Labs, lecturing and teaching at a range of further and higher education institutions. |
Georgina Ferry, Jana Colchester |
20 Jan 2020 |
28 |
|
Interview with Shirley Carter, founding member of the Numerical Algorithms Group (NAG) |
Georgina Ferry interviews Shirley Carter as part of the Oxford Women in Computing Oral History project. Carter recounts early experiences of programming, her computer science lectureship at Liverpool in the 1970s and the formation and development of NAG. |
Georgina Ferry, Shirley Carter |
20 Jan 2020 |
29 |
|
Interview with Carol Bateman (part 2), former training and information manager for the Oxford Computing Service |
Carrying on from episode 2, in the second part of Georgina Ferry's interview with Carol Bateman she discusses the professional computing community and needs of users of the Oxford Computing Service in the late 1980s-early 1990s. |
Georgina Ferry, Carol Bateman |
20 Jan 2020 |
30 |
|
Interview with Carol Bateman, former training and information manager for the Oxford Computing Service |
Georgina Ferry interviews Carol Bateman as part of the Oxford Women in Computing Oral History project. Bateman discusses her route into computing via Glasgow University, and progression of the Oxford Computing Service. |
Georgina Ferry, Carol Bateman |
20 Jan 2020 |
31 |
|
Interview with Leonor Barroca, senior lecturer in Computing at the Open University |
Georgina Ferry interviews Leonor Barroca as part of the Oxford Women in Computing Oral History project. Barocca recounts her time on the MSc Computing course at Oxford University and studying and teaching posts at the Universidade do Minho in Portugal. |
Georgina Ferry, Leonor Barroca |
20 Jan 2020 |
32 |
Creative Commons |
Anne Trefethen |
Pro Vice Chancellor Anne Trefethen in conversation with Stanley Ulijaszek |
Anne Trefethen, Stanley Ulijaszek |
28 Nov 2019 |
33 |
|
1d. AI ethics and legal regulation |
Vicki Nash, Oxford Internet Institute gives the fourth talk in the first Ethics in AI seminar, held on November 11th 2019. |
Vicki Nash |
11 Nov 2019 |
34 |
|
1b. The place of philosophy in the ethics of AI |
Carissa Véliz, Oxford Uehiro Centre for Practical Ethics, gives the second talk in the first Ethics in AI seminar, held on November 11th 2019. |
Carissa Véliz |
11 Nov 2019 |
35 |
Creative Commons |
Network-based learning for understanding collective human behaviour |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Xiaowen Dong |
08 Nov 2019 |
36 |
Creative Commons |
Statistical concepts: A framework for research |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Sir David Cox |
08 Nov 2019 |
37 |
Creative Commons |
Eliciting Data in Challenging Intercultural Settings |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Sonja Vogt |
08 Nov 2019 |
38 |
Creative Commons |
Advances in Computational and Experimental Social Sciences |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Ray Duch |
08 Nov 2019 |
39 |
Creative Commons |
Workshop on non-probability surveys |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Roberto Cerina |
08 Nov 2019 |
40 |
Creative Commons |
Computational Text Analysis (part 2) |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Taylor Brown |
08 Nov 2019 |
41 |
Creative Commons |
Computational Text Analysis (part 1) |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Taylor Brown |
08 Nov 2019 |
42 |
Creative Commons |
Digital trace data (part 2) |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Ridhi Kashyap |
08 Nov 2019 |
43 |
Creative Commons |
Digital trace data (part 1) |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Ridhi Kashyap |
08 Nov 2019 |
44 |
Creative Commons |
Mapping human populations and mobility in low and middle income countries for malaria elimination. |
One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019. |
Nick Ruktanonchai |
08 Nov 2019 |
45 |
|
Artificial Intelligence and Consciousness |
Could an AI be conscious? If so, how could we tell? What would a conscious AI mean for the possible risks that AI pose to humanity? In this episode we speak to Professor David Chalmers (NYU) about philosophy, consciousness and AI. |
David Chalmers, Alice Evatt, Henry Tann |
07 May 2019 |
46 |
|
Could quantum computing change the world? |
Peter Millican tries to discover the truth about a global race to develop the world’s first scalable quantum. |
Peter Millican, Peter Leek, David Deutsch, Vera Schafer |
11 Apr 2019 |
47 |
|
The Origins of Enigma Codebreaking at Bletchley Park |
Sir Dermot Turing will talk about the origins of Enigma codebreaking at Bletchley Park, the Bombe machine and how it worked. |
Sir Dermot Turing |
18 Feb 2019 |
48 |
Creative Commons |
Inferring Scope through Syntactic Sugar |
Justin Pombrio (Brown University, USA) gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. |
Justin Pombrio |
23 Jan 2018 |
49 |
Creative Commons |
Automating Sized-Type Inference for Complexity Analysis |
Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. |
Martin Avanzini |
23 Jan 2018 |
50 |
Creative Commons |
Constrained Type Families |
Richard A. Eisenberg (Bryn Mawr College, USA) gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICFP conference. |
Richard A Eisenberg |
23 Jan 2018 |
51 |
Creative Commons |
Gradual Typing with Union and Intersection Types |
Victor Lanvin (ENS Cachan, France) gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. |
Victor Lanvin |
23 Jan 2018 |
52 |
Creative Commons |
On Polymorphic Gradual Typing |
Yuu Igarashi (Kyoto University, Japan) gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. |
Yuu Igarashi |
22 Jan 2018 |
53 |
Creative Commons |
Theorems for Free for Free: Parametricity, With and Without Types |
Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. |
Amal Ahmed |
22 Jan 2018 |
54 |
Creative Commons |
Gradual Session Types |
Peter Thiemann (University of Freiburg, Germany) gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. |
Peter Thiemann |
22 Jan 2018 |
55 |
Creative Commons |
Manifest Sharing with Session Types |
Stephanie Balzer (Carnegie Mellon University, USA) gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. |
Stephanie Balzer |
22 Jan 2018 |
56 |
Creative Commons |
A Metaprogramming Framework for Formal Verification |
Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Sebastian Ullrich |
17 Jan 2018 |
57 |
Creative Commons |
Normalization by Evaluation for Sized Dependent Types |
Andreas Abel (University of Gothenburg, Sweden), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Andreas Abel |
17 Jan 2018 |
58 |
Creative Commons |
A Specification for Dependent Types in Haskell |
Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Antoine Vizard |
17 Jan 2018 |
59 |
Creative Commons |
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) |
Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference. |
Robby Findler |
17 Jan 2018 |
60 |
Creative Commons |
Visitors Unchained |
Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. |
François Pottier |
17 Jan 2018 |
61 |
Creative Commons |
Compiling to Categories |
Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. |
Conal Elliott |
16 Jan 2018 |
62 |
Creative Commons |
Local Refinement Typing |
Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. |
Benjamin Cosman |
16 Jan 2018 |
63 |
Creative Commons |
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools |
Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. |
Konstantin Weitz |
15 Jan 2018 |
64 |
Creative Commons |
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification |
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification |
Muralidaran Vijayaraghavan |
15 Jan 2018 |
65 |
Creative Commons |
No-Brainer CPS Conversion |
Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP. |
Milo Davis |
15 Jan 2018 |
66 |
Creative Commons |
Foundations of Strong Call by Need |
Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. |
Thibaut Balabonski |
15 Jan 2018 |
67 |
Creative Commons |
How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation |
Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. |
Makoto Hamana |
18 Dec 2017 |
68 |
Creative Commons |
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols |
Geoffrey Mainland (Drexel University, USA) gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Geoffrey Mainland |
18 Dec 2017 |
69 |
Creative Commons |
Verifying Efficient Function Calls in CakeML |
Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Scott Owens |
18 Dec 2017 |
70 |
Creative Commons |
A Relational Logic for Higher-Order Programs |
Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. |
Alejandro Aguirre |
18 Dec 2017 |
71 |
Creative Commons |
Verified Low-Level Programming Embedded in F |
Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Jonathan Protzen |
18 Dec 2017 |
72 |
Creative Commons |
Persistence for the Masses: RRB-Vectors in a Systems Language |
Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Juan Pedro Bolívar Puente |
18 Dec 2017 |
73 |
Creative Commons |
Assuring AI |
John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. |
John Launchbury |
18 Dec 2017 |
74 |
Creative Commons |
Effect-Driven QuickChecking of Compilers |
Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. |
Jan Midtgaard |
18 Dec 2017 |
75 |
Creative Commons |
Imperative Functional Programs that Explain their Work |
Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. |
Jan Stolarek |
18 Dec 2017 |
76 |
Creative Commons |
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control |
Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference. |
Ohad Kammar |
13 Dec 2017 |
77 |
Creative Commons |
Abstracting Definitional Interpreters |
David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA. |
David Darais |
13 Dec 2017 |
78 |
Creative Commons |
Symbolic Conditioning of Arrays in Probabilistic Programs |
Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. |
Praveen Narayanan |
13 Dec 2017 |
79 |
Creative Commons |
A Framework for Adaptive Differential Privacy |
Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. |
Daniel Winograd-Cort |
13 Dec 2017 |
80 |
|
Strachey Lecture: The Continuing Evolution of C++ |
Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. |
Bjarne Stroustrup |
12 Dec 2017 |
81 |
Creative Commons |
Prototyping a Query Compiler using Coq (Experience Report) |
Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. |
Louis Mandel |
12 Dec 2017 |
82 |
Creative Commons |
A Unified Approach to Solving Seven Programming Problems (Functional Pearl) |
William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
William E Byrd |
12 Dec 2017 |
83 |
Creative Commons |
Generic Functional Parallel Algorithms: Scan and FFT |
Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
Conal Elliott |
12 Dec 2017 |
84 |
Creative Commons |
A Pretty But Not Greedy Printer (Functional Pearl) |
Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
Jean-Philippe Bernardy |
12 Dec 2017 |
85 |
Creative Commons |
Faster Coroutine Pipelines |
Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
Mike Spivey |
12 Dec 2017 |
86 |
Creative Commons |
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC |
Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference. |
Roberto Di Cosmo |
12 Dec 2017 |
87 |
Creative Commons |
Lock-Step Simulation Is Child's Play (Experience Report) |
Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA. |
Joachim Breiner |
12 Dec 2017 |
88 |
Creative Commons |
Testing and Debugging Functional Reactive Programming |
Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. |
Ivan Perez |
12 Dec 2017 |
89 |
Creative Commons |
Super 8 Languages for Making Movies (Functional Pearl) |
Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference. |
Leif Andersen |
07 Dec 2017 |
90 |
Creative Commons |
Compositional Creativity: Some Principles for Talking to Computers |
Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference. |
Chris Martens |
05 Dec 2017 |
91 |
|
Quantum physics and the nature of computing |
How can we test a quantum computer? An exploration of some of the theoretical puzzles of this field and how we can investigate them with experimental physics. |
Jelmer Renema |
25 Oct 2017 |
92 |
Creative Commons |
Chaperone Contracts for Higher-Order Sessions |
Hernan Melgratti (University of Buenos Aires, Argentina), gives the first talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. |
Hernan Melgratti |
14 Sep 2017 |
93 |
|
Lovelace Lecture: Learning and Efficiency of Outcomes in Games |
Éva Tardos, Department of Computer Science, Cornell University, gives the 2017 Ada Lovelace Lecture on 6th June 2017. |
Éva Tardos, Leslie Goldberg |
22 Aug 2017 |
94 |
|
Exploring the next generation digital learning environments |
Chuck Severance, University of Michigan, looks at Learning Management Systems and what comes next. |
D Charles Severance |
13 Jul 2017 |
95 |
|
2017 Closing Keynote: What Happens When the Internet of Things Meets the Humanities? |
Andrew Prescott, University of Glasgow and AHRC Theme Leader Fellow for Digital Transformations, gives the closing keynote for the 2017 DHOXSS. |
Andrew Prescott |
07 Jul 2017 |
96 |
|
Wikimedia: Wikipedia's sister projects as platforms for Digital Humanities |
Martin Poulter, Oxford's Wikimedian in Reseidence, gives a masterclass in using Wikimedia for digital research. |
Martin Poulter |
07 Jul 2017 |
97 |
|
Working with very large corpora: Building your worksets in the HathiTrust |
Kevin Page, Iain Emsley and David Weigl talk about using The HathiTrust Digital Library to conduct research in this interstice workshop. |
Kevin Page, Iain Emsley, David Weigl |
07 Jul 2017 |
98 |
|
Ada Lovelace: Creative computing and an experimental humanities |
Pip Willcox and David De Roure give a presentation on Ada Lovelace, one of the early pioneers in computing. |
Pip Wilcox, David De Roure |
07 Jul 2017 |
99 |
|
The Open Source Advisory Service - OSS Watch |
Rowan Wilson gives a talk about working with Sebastian on setting up the national service - OSS Watch, the Open Source Software advisory service. |
Rowan Wilson |
16 Nov 2016 |
100 |
|
Humanities Computing at Southampton, and The Non-Catholic Cemetery in Rome |
Wendy Hall and Les Carr share their memories of work at Southampton University. Nicholas Stanley-Price and Amanda Thursfield, (The Non-Catholic Cemetery in Rome) share their experiences with working with Sebastian Rahtz. |
Wendy Hall, Les Carr, Nicholas Stanley-Price, Amanda Thursfield |
16 Nov 2016 |