Logic List Mailing Archive

turing100.nl

5 Oct 2012
Amsterdam, The Netherlands

turing100.nl
Amsterdam, 5 October 2012
Openbare Bibliotheek Amsterdam

   http://www.turing100.nl

The year 2012 marks the centenary of the birth of Alan M. Turing, one of the 
fathers of the modern computer, a key figure in the decryption of the secret 
codes of the Nazis in the second world war, and a contributor of key ideas to 
many areas of modern science, in particular in the mathematical sciences. All 
over the world, researchers are celebrating the 100th birthday of this great 
and inspiring scientist by workshops and conferences. Given that Turing laid 
the foundations to so many different research areas (from logic via 
computability to artificial intelligence), these events tend to be very 
interesting interdisciplinary events, bringing together researchers from 
different disciplines.

The Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen 
(VvL) decided to add an opportunity for the Dutch community of researchers to 
engage in similarly fruitful discussions and have a meeting that will put 
Turing's achievements into a contemporary research context in Amsterdam in 
October 2012. Our meeting will be open for all researchers in the fields of 
logic, artificial intelligence, history of computing, and theoretical computer 
science; it will serve as a forum for Dutch researchers to meet international 
top experts. The meeting is funded by NWO.

turing100.nl will feature five speakers, two from history of computing, two 
from the research areas resting on Turing's ideas, and the science journalist 
Bennie Mols who published the book Turings Tango. Waarom de mens de computer de 
baas blijft. In the evening, the University Players Hamburg will perform Hugh 
Whitemore's Breaking the Code about Alan Turing's life and work:

   http://www.math.uni-hamburg.de/BreakingTheCode/

Speakers:

     Dr. Andrew Hodges is a fellow of Wadham College, Oxford, and currently its 
Dean. His mathematical work is in mathematical physics, but he is mostly known 
as the most important biographer of Alan Turing. His biography Alan Turing: The 
Enigma (1983) has been translated into several languages (winning the Premio 
Letterario Giovanni Comisso). It has also been dramatised (as Breaking the 
Code) for stage and television (see below). His work shows how the historical 
roots of modern technology lie in mathematical discovery and weaves it together 
with Alan Turing's life and consciousness as a gay man.

     Prof. Dr. Antonina Kolokolova is an assistant professor at the Department 
of Computer Science of the Memorial University of Newfoundland, Canada. Her 
research is in theoretical computer science, in particular complexity theory 
and its connection to bounded arithmetic and finite model theory. She received 
her PhD in 2005 from the University of Toronto under the supervision of Stephen 
Cook. Kolokolova is well known for her very clear presentations on the 
connections between logic and the big open questions of complexity theory: 
these connections relate very closely to Turing's own work.

     Prof. Dr. Jan van Leeuwen has recently retired from his position as 
professor for computer science at the Universiteit Utrecht where he was 
vice-dean for the natural sciences in the Faculty of Sciences. His research 
spans large areas of theoretical computer science (algorithms, formal methods, 
automata theory) and reaches into the theory and even the philosophy of 
information.

     Dr. Liesbeth De Mol is postdoctoral researcher at the Universiteit Gent in 
Belgium at the Centrum voor Wetenschapsgeschiedenis. She is one of the most 
prominent researchers in the history of computing in her generation, playing a 
central role in the recent surge of research activity of the field (she was one 
of the organizers of the conference HAPOC 2011 in Gent and will be one of the 
organizers of the 2012 Turing event at the Royal Academy in Brussels). Her 
research is characterized by an interesting blend of historical precision and 
technical investigation of both the physical reality of historical computers 
and the mathematical properties of models of computation.

     Dr. Bennie Mols is a free-lance science journalist, writing for such 
publications as NRC Handelsblad, Natuurwetenschap & Techniek, KIJK, De 
Standaard, and others. He published books about science such as "Geestdrift: 
Wat Cognitiewetenschappers Bezielt" and "Omringd door Informatica". In March 
2012, his new book "Turings Tango: Waarom de Mens de Computer de Baas Blijft" 
will be published. by De Nieuw Amsterdam publishers.