Formal methods organizations | Theoretical computer science
The British Colloquium for Theoretical Computer Science (BCTCS) is an organisation, founded in 1985, that represents the interests of Theoretical Computer Science in the UK, e.g. through representation on academic boards and providing commentary and evidence in response to consultations from public bodies. The BCTCS operates under the direction of an Organising Committee, with an Executive consisting of a President, Secretary and Treasurer. The current President is . The purpose of BCTCS is: 1. * to provide a platform from which the interests and future well-being of British theoretical computer science may be advanced; 2. * to offer a forum in which UK-based researchers in all aspects of theoretical computer science can meet, present research findings, and discuss recent developments in the field; and 3. * to foster an environment within which PhD students undertaking research in theoretical computer science may gain experience in presenting their work in a formal arena, broaden their outlook on the subject, and benefit from contact with established researchers in the community. In pursuit of these aims, the BCTCS organises an annual Conference for UK-based researchers in theoretical computer science. A central aspect of the annual BCTCS Conference is the training of PhD students. The scope of the annual BCTCS Conference includes all aspects of theoretical computer science, including algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics. An emphasis on breadth, together with the inherently mathematical nature of theoretical computer science, means that BCTCS always actively solicits both computer scientists and mathematicians as participants at its annual Conference, and offers an environment within which the two communities can meet and exchange ideas. The Annual BCTCS Conference is primarily for the benefit of UK-based researchers. However, to promote British theoretical computer science in the wider community, participants from outside of the UK are welcome to attend, and the programme of invited talks every year includes high-profile researchers from abroad. (Wikipedia).
SketchySVD - Joel Tropp, California Institute of Technology
This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai
From playlist Mathematics of data: Structured representations for sensing, approximation and learning
Stanford Seminar - Swiss Computer Systems
"From chocolate to mice, the darknet to facial expressions, chatbots to humanitarians, and so forth" - Christian Simm, swissnex San Francisco Support for the Stanford Colloquium on Computer Systems Seminar Series provided by the Stanford Computer Forum. Speaker Abstract and Bio can be fo
From playlist Stanford Seminars
Stanford Seminar - Preventing Successful Cyberattacks Using Strongly-typed Actors
Carl Hewitt MIT John Perry Stanford University UC Riverside June 17, 2021 Carl and John discuss how fundamental higher-order theories of mathematical structures of computer science are categorical meaning that they can be axiomatized up to a unique isomorphism thereby removing any ambi
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
Céline Pessis - L'engagement d'Alexandre Grothendieck durant la première moitié des années 1970
Militant singulier ou porte-parole ? Retour sur l'engagement d'Alexandre Grothendieck durant la première moitié des années 1970 Le 27 janvier 1972, au Centre Européen de Recherches Nucléaires (CERN), citadelle d'une recherche de pointe, des centaines de technicien.
From playlist Séminaire Grothendieck 30 mars 2016
6th HLF – Lecture: Gregory Margulis
Gregory Margulis: "On the early history of expanders" The notion of an expander was introduced in early nineteen seventies by M.S.Pinsker in his work on the complexity of a concentrator. In recent decades the theory of expanders attracted a lot of attention and became a rather big industr
From playlist Related videos on other channels
Denis Monasse : Sur la création de livres numériques
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Mathematical Aspects of Computer Science
New Architectures for a New Biology
October 11, 2006 lecture by David E. Shaw for the Stanford University Computer Systems Colloquium (EE 380). This talk describes the current state of the art in biomolecular simulation and explore the potential role of high-performance computing technologies in extending current capabili
From playlist Course | Computer Systems Laboratory Colloquium (2006-2007)
Computer Science and Homotopy Theory - Vladimir Voevodsky
Vladimir Voevodsky Professor, School of Mathematics April 27, 2011 For more videos, visit http://video.ias.edu
From playlist Mathematics
Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC
From playlist Computer Science Concepts
Film on Dr Homi Bhabha by TIFR marking his birth centenary in 2009
About the Film: Homi Jehangir Bhabha, who made visionary and historic contribution to institution and nation building, is one of the leading figures of science in India. On the occasion of his birth centenary in 2009 the Tata Institute of Fundamental Research (TIFR) made a film on his life
From playlist Public Lectures
Quantum Technology: Concepts and Prospects by Apoorva D. Patel
ICTS Colloquium Tittle : Quantum Technology - Concepts and Prospects Speaker : Apoorva D. Patel (Indian Institute of Science, Bangalore) DATE : Monday,November 25,2019 Time : 02:30PM VENUE : Madhava Lecture Hall, ICTS Campus Bangalore Abstract : A variety of
From playlist ICTS Colloquia
Stanford Seminar - How Behavior Spreads
EE380: Computer Systems Colloquium Seminar "How Behavior Spreads" Speaker: Damon Centola, University of Pennsylvania About the talk: New social movements, technologies, and public-health initiatives often struggle to take off, yet many diseases disperse rapidly without issue. Can the les
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------
From playlist Computer Science
Stanford Seminar: Building Systems Using Malicious Components
EE380: Colloquium on Computer Systems Building Systems Using Malicious Components: How I learned to Stop Worrying and Trust SNARK Proofs Speaker: Eran Tromer, Tel Aviv University and Columbia University "Computers are unreliable and vulnerable to attacks. Therefore, we shouldn't belie
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
Yale Day of Data 2014, Keynote: Cathy O’Neil
The 2014 Yale Day of Data was held on Friday, September 26th. This day-long event focused on data science and partnerships across industry, academia, and government initiatives. It included presentations by Yale faculty and researchers; Phil Bourne, National Institutes of Health; and Cathy
From playlist Yale Day of Data 2014
Graduate Conservation Internships and Fellowships and Teaching Undergraduate Courses at Yale
Ian McClure (moderator), Yale University Art Gallery, New Haven, USA Graduate conservation internships and fellowships and teaching undergraduate courses at Yale. Presented at the UN Global Colloquium of University Presidents at Yale University held on April 12, 2016. The colloquium pres
From playlist The Role of Universities and our Cultural Heritage: Education and Training
Stanford Seminar - Google's Peter Norvig on Online Education
"Online Education: One Year Later" Colloquium on Computer Systems Seminar Series (E380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating systems and programming languages. It is free and open
From playlist Engineering
Mission Impossible: Constructing Charles Babbage's Analytical Engine (d)
The Neukom Institute at Dartmouth presents: Mission Impossible: Constructing Charles Babbage's Analytical Engine Given by Doron Swade on May 8th at Dartmouth College Computing is widely viewed as a phenomenon of the electronic age. The mechanical prehistory of computing tends to be seen a
From playlist AnalyticalEngine