Theoretical computer science conferences
Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, , unification and the lambda calculus. The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series until 2009, and since then in the LIPIcs series published by the Leibniz-Zentrum für Informatik. Several rewriting-related workshops are also affiliated with RTA. The first RTA was held in Dijon, France in September 1983. RTA took part in the federated conferences Federated Logic Conference (FLoC) and . In 2016, RTA merged with the International Conference on Typed Lambda Calculi and Applications to form the International Conference onFormal Structures for Computation and Deduction (FSCD). (Wikipedia).
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
From Programs to Systems: Building a Smarter World Presented by Prof. Joseph Sifakis, Turing Award laureate, VERIMAG Laboratory and EPFL Alan M. Turing Centennial Conference - Israel April 4, 2012 The Wohl Centre Bar-Ilan University Ramat-Gan, Israel For more information see: https://sit
From playlist Alan M. Turing Centennial Conference - Israel
Wolfram Data Drop and the Raspberry Pi for Education
Bernat Espigule-Pons To learn more about the Wolfram Technologies, visit http://www.wolfram.com The European Wolfram Technology Conference featured both introductory and expert sessions on all major technologies and many applications made possible with Wolfram technology. Learn to achie
From playlist European Wolfram Technology Conference 2015
Marcus van Almsick To learn more about the Wolfram Technologies, visit http://www.wolfram.com The European Wolfram Technology Conference featured both introductory and expert sessions on all major technologies and many applications made possible with Wolfram technology. Learn to achieve
From playlist European Wolfram Technology Conference 2015
Market Analysis of the Portfolio Using Wolfram Mathematica
Maria Bohdalova To learn more about the Wolfram Technologies, visit http://www.wolfram.com The European Wolfram Technology Conference featured both introductory and expert sessions on all major technologies and many applications made possible with Wolfram technology. Learn to achieve in
From playlist European Wolfram Technology Conference 2015
Probing the Cosmic Theory of Early&Late Universe Physics by J R Bond
PROGRAM: INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY DECEMBER 14-19, 2011 GOA, INDIA ORGANIZERS: Subhabrata Majumdar, B.S. Sathyaprakash, Tejinder Pal Singh and Tarun Souradeep DATE & TIME: 15 December 2011 to 19 December 2011 VENUE: IUCAA, Mobor Beach, Goa International Confer
From playlist International Conference on Gravitation and Cosmology 2011
W1. Classical General Relativity, W3. Early Universe, : Dark Energy
PROGRAM: INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY DECEMBER 14-19, 2011 GOA, INDIA ORGANIZERS: Subhabrata Majumdar, B.S. Sathyaprakash, Tejinder Pal Singh and Tarun Souradeep DATE & TIME: 15 December 2011 to 19 December 2011 VENUE: IUCAA, Mobor Beach, Goa International Confer
From playlist International Conference on Gravitation and Cosmology 2011
RailsConf 2010: Ruby Heroes Awards Ceremony
Ruby Heroes Awards Ceremony
From playlist RailsConf 2010
For the latest information, please visit: http://www.wolfram.com Speaker: José Martin-Garcia Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and more.
From playlist Wolfram Technology Conference 2016
Hermeneutics and Wolfram Language
To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: George Woodrow III Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices
From playlist Wolfram Technology Conference 2018
RailsConf 2022 - Testing legacy code when you dislike tests (and legacy code) by Maeve Revels
Are you supporting legacy code? Would you like to stop? A good testing strategy can transform legacy code into living code that is resilient and easy to evolve. Learn why legacy code is so difficult to maintain and identify where tests can make the most impact. Not just any tests, though!
From playlist RailsConf 2022
DEFCON 16: Playing with Web Application Firewalls
Speaker: Wendel Guglielmetti Henrique, Penetration Test Analyst - Intruders Tiger Team Security WAF (Web Application Firewalls) are often called 'Deep Packet Inspection Firewalls' because they look at every request and response within the HTTP/HTTPS/SOAP/XML-RPC/Web Service layers. Some
From playlist DEFCON 16
Plenary Lectures by Robert Kirshner, Mihalis Dafermos
PROGRAM: INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY DECEMBER 14-19, 2011 GOA, INDIA ORGANIZERS: Subhabrata Majumdar, B.S. Sathyaprakash, Tejinder Pal Singh and Tarun Souradeep DATE & TIME: 15 December 2011 to 19 December 2011 VENUE: IUCAA, Mobor Beach, Goa International Confer
From playlist International Conference on Gravitation and Cosmology 2011
Automated Theorem Proving and Axiomatic Mathematics
Jonathan Gorard
From playlist Wolfram Technology Conference 2019
LA Rubyconf 2015- Build to Last... by Mike Moore
Build to Last: How to design rails apps to avoid a rewrite in 5 years
From playlist LA Rubyconf 2015
Creating tools to cross machines and networks with Viktor Klang (Lightbend)
Join us in person at the O'Reilly Software Architecture Conference to learn the tools, techniques, and leadership skills needed in the evolving discipline of software architecture. Learn more: https://oreil.ly/2NNTQQK Subscribe to O'Reilly on YouTube: http://goo.gl/n3QSYi Follow O'Reilly
From playlist O'Reilly Software Architecture Conference 2018 - New York, New York
jQuery Conference 2013 SF Exterminating Common jQuery Bugs by Elijah Manor
jQuery is so easy to use and thankfully abstracts many of the cross-browser concerns we used to labor over years ago. As with any library, however, there are a common set of bugs that tend to crop up as you start and continue to use it more and more. This session aims to help equip develop
From playlist jQuery Conference 2012 - San Francisco
jQuery Conference SF 2012 jQuery Foundation Keynote by Richard D. Worth
An overview of the changes to the organization of the jQuery Project. Help us caption & translate this video! http://amara.org/v/FGiA/
From playlist jQuery Conference 2012 - San Francisco
DeepSec 2007: The Three Faces of CSRF
Thanks to the DeepSec organisation for making these videos available and let me share the videos on YouTube. Speaker: Martin Johns, University of Hamburg Even though Cross Site Request Forgery (CSRF) vulnerabilities have made it into the OWASP Top 10 [1], this vulnerability class is stil
From playlist DeepSec 2007
Help! I Just Inherited 50,000 Lines of Code! What Do I Do — A Practical Guide || James Powell
This talk will cover some practical strategies for dealing with large Python code bases. EVENT: PyData Los Angeles 2018 PERMISSIONS: PyData provided Coding Tech with the permission to republish PyData videos. CREDITS: PyData YouTube channel: https://www.youtube.com/channel/UCOjD18EJY
From playlist Software Development
RSA Conference 2010 USA: The Cryptographers Panel 6/6
Clip 6/6 MODERATOR: Ari Juels, Chief Scientist and Director, RSA Laboratories PANELISTS: Whitfield Diffie, Martin Hellman, Ronald Rivest, Adi Shamir, Brian Snow Join the founders of the field for an engaging discussion about the latest advances in cryptography, research areas to wa
From playlist RSA Conference USA 2010