The logo of ICE-TCS is courtesy of Emilka Bojanczyk. Reykjavik University.


Pearls of Computation Seminar Series

From January 2013, ICE-TCS organizes the Pearls of Computation seminar series. To begin with, the talks in this series will mostly focus on the work of some of the recipients of the ACM Turing Award (or of some other major award related to computer science) in an accessible way.

The Pearls of Computation talks at Reykjavik University are organized in collaboration with the School of Computer Science at Reykjavik University, CADIA, "CRESS: Center on Research in Engineering Software Systems", the Icelandic Mathematical Society, IIIM and the Mathematics Group at Reykjavik University.

Schedule (in chronological order)

Autumn semester 2014

All talks will be held at 2pm in room V1.04 at Reykjavik University.

  • Friday, 12 September 2014: Magnus M. Halldorsson will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk, which is entitled This Year's Turing Award will focus on the work of Leslie Lamport.
  • Friday, 3 October 2014: David Thue will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk, which is entitled A Turing Machine in Conway's Game of Life, will be devoted to John H. Conway and his Game of Life. More details are available here. .
  • Friday, 7 November 2014: Luca Aceto will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk will be devoted to the work of Tony Hoare. More details will be posted in due course.
  • Friday, 11 December 2014: Christian Konrad will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk will be devoted to Philippe Flajolet and his work on the analysis of algorithms. More details will be posted in due course.

Past talks

All talks will be held at 2pm in room M1.01 at Reykjavik University.

  • Friday, 1 February 2013: Luca Aceto (School of Computer Science, Reykjavik University) will deliver a talk on R. Milner and his work. The talk is entitled The work of Robin Milner: Proof, language and interaction and will be held at 2pm in room M1.01 at Reykjavik University. See here for further information on this talk. Attendance is free and open to everyone.
  • Friday, 15 February 2013: Eyjólfur Ingi Ásgeirsson (School of Science and Engineering, Reykjavik University) will deliver a talk on E.W. Dijkstra. The talk is entitled The shortest path to beautiful code ( - DEATH TO GOTO - ) and will be held at 2pm in room M1.01 at Reykjavik University. See here for further information on this talk. Attendance is free and open to everyone.
  • Friday, 5 April 2013: Kristinn R. Thorisson (School of Computer Science, Reykjavik University) will deliver a talk on the work of Marvin Minsky. The talk is entitled Marvin Minsky: Pioneer, Critic, Optimist and will be held at 2pm in room M1.01 at Reykjavik University. See here for further information on this talk. Attendance is free and open to everyone.
  • Friday, 3 May 2013: Henning Úlfarsson (School of Computer Science, Reykjavik University) will deliver a talk on the work of Donald E. Knuth. The talk is entitled Donald Knuth: The great inventor and will be held at 1pm in room M1.03 at Reykjavik University. Note the non-standard time and room!
  • Friday, 17 May 2013: Björn Þór Jónsson (School of Computer Science, Reykjavik University) will deliver a talk on E.F. Codd and the relation model. The talk is entitled Codd and the mathematical model that turned into a multi-billion dollar industry and will be held at 2pm in room M1.01 at Reykjavik University. See here for further information on this talk.
  • Friday, 18 October 2013: Yngvi Björnsson delivers a Pearls of Computation talk on John McCarthy. The talk is entitled John McCarty: A Pioneer of Artificial Intelligence and will be held at 2pm in room V1.01 at Reykjavik University. The recording of the talk is available .
  • Friday, 31 January 2014: Ymir Vigfusson delivers a Pearls of Computation entitled It's a small world: why you are connected to anyone on the planet through only a handful of people. The talk will focus on Jon Kleinberg's work and will be held at 2pm in room V1.01 at Reykjavik University.
  • Friday, 21 February 2014: Marjan Sirjani delivers a Pearls of Computation talk. The talk, which is entitled Edmund Clarke: Sharing a Turing Award for Model Checking, will focus on Edmund Clarke's work and will be held at 2pm in room V1.01 at Reykjavik University. The video of the talk is here.
  • Friday, 14 March 2014: Friday, 14 March 2014: Hannes Högni Vilhjálmsson delivers a Pearls of Computation talk. The talk, which is entitled The Ultimate Display: Imagining and Inventing Computer Graphics Polygon by Polygon, will focus on Ivan Sutherland's work and will be held at 2pm in room V1.01 at Reykjavik University.
  • Friday, 4 April 2014: Björn Þ. Jonsson delivers a Pearls of Computation talk. The talk, which is entitled Lost at sea: From Jim Gray’s first transaction to his final, will focus on Jim Gray's work and will be held at 2pm in room V1.01 at Reykjavik University. The video of the talk is here.

Further details on these events will be posted on this page regularly.