Formal methods organizations | Theoretical computer science

British Colloquium for 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).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

Computer Science Terminology

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

COMPUTER SCIENCE TERMINOLOGY

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Complexity | Type theory | Mathematical logic | Theoretical computer science | Formal language | Algorithm