Christos Harilaos Papadimitriou is the Donovan Family Professor of Computer Science at Columbia University. Before joining Columbia in 2017, he was a professor at UC Berkeley for the previous 22 years, and before that he taught at Harvard, MIT, NTU Athens, Stanford, and UCSD. He has written five textbooks and many articles on algorithms and complexity, and their applications to optimization, databases, control, AI, robotics, economics and game theory, the Internet, evolution, and the brain. He holds a PhD from Princeton (1976), and eight honorary doctorates, including from ETH, University of Athens, EPFL, and Univ. de Paris Dauphine. He is a member of the National Academy of Sciences of the US, the American Academy of Arts and Sciences, and the National Academy of Engineering, and he has received the Knuth prize, the Goël prize, the Babbage award, the von Neumann medal, as well as the 2018 Harvey Prize by Technion. In 2015 the president of the Hellenic republic named him commander of the order of the Phoenix. He has also written three novels: "Turing," "Logicomix" and his latest "Independence."
There is no doubt that cognition and intelligence are the results of neural activity - but how, exactly? How do molecules, neurons, and synapses give rise to reasoning, language, plans, stories, art, math? Despite dazzling progress in experimental neuroscience, as well as in cognitive science, we do not seem to be making progress on the overarching question. As Richard Axel recently put it in an interview: "We don't have a logic for the transformation of neuronal activity to thought and action. I view discerning [this] logic as the most important future direction of neuroscience". What kind of formal system would qualify as this "logic"? I will introduce a computational system whose basic data structure is the assembly of neurons - assemblies are large populations of neurons known to represent concepts, words, ideas, episodes, etc. The Assembly Calculus is biologically plausible in the sense that Its primitives are behaviors of assemblies observed in, or suggested by, experiments, and can be provably (through both mathematical proof and simulations in biologically realistic platforms) "compiled down" to the activity of neurons and synapses. Using this framework a Parser was constructed which (a) can handle reasonably complex sentences in English and other languages; and (b) works exclusively through the firing of biologically realistic neurons.
One particularly popular moment associated to the colloquium is the “Master Class” where students have the opportunity to give a short (but well-prepared) presentation of his/her work. Each presentation (10 minutes) is followed by an open discussion with the guest speaker (15 minutes) who gives a detailed feedback. The complete program is provided here.
Launched in 2012, the Colloquium d’Informatique de Sorbonne Université is a recurring event that invites major figures of the computer science field to give special lectures on the campus of Sorbonne University’s Science and Engineering Faculty. It targets a diverse yet technically-informed audience, and especially computer science researchers from all specialities, PhD students, and computer science students at master level.
The Colloquium’s main event is the invited speaker’s lecture, a 45-minute talk followed by questions and interactions with the audience. Generally, this lecture is associated with a masterclass reserved for PhD students from LIP6 and/or other labs.
As the main driving force behind to the steering committee, LIP6 oversees the Colloquium’s organisation, with occasional support from ISIR.